课题基金 / 基金详情

基于PAR方法的算法设计形式化和自动化研究

批准号：
60273092
项目类别：
面上项目
资助金额：
22.0 万元
负责人：
薛锦云
依托单位：
江西师范大学
学科分类：
软件理论、软件工程与服务
结题年份：
2005
批准年份：
2002
项目状态：
已结题
项目参与者：
杨庆红、万剑怡、化志章、徐文胜、余彤仑、揭安全、李欣、钟林辉
关键词：
PAR方法.算法设计自动化算法演算.

项目摘要

结项摘要

薛锦云的其他基金

相似基金

相关文献

中文摘要
基于四个国家自然科学基金连续资助下形成的PAR方法，进一步深入研究算法演算这一新概念的机理和方法，寻找从算法规约（低效算法）形式推导快速RADL算法的规律，进而构造基于知识的生成最优化算法的自动转换工具，课题涉及软件开发形式化和自动化、算法程序形式推导和证明研究最关键最具挑战性内容。这是一项原始创新研究的继续意义明显。
英文摘要
新概念循环不变式及其自动探测技术研究
  • 批准号：
    61472167
  • 项目类别：
    面上项目
  • 资助金额：
    82.0万元
  • 批准年份：
    2014
  • 负责人：
    薛锦云
  • 依托单位：
    江西师范大学
高可靠软件建模语言及模型自动转换方法研究
  • 批准号：
    61272075
  • 项目类别：
    面上项目
  • 资助金额：
    70.0万元
  • 批准年份：
    2012
  • 负责人：
    薛锦云
  • 依托单位：
    江西师范大学
基于PAR平台的信息系统应用软件若干共性关键技术研究
  • 批准号：
    60773054
  • 项目类别：
    面上项目
  • 资助金额：
    27.0万元
  • 批准年份：
    2007
  • 负责人：
    薛锦云
  • 依托单位：
    江西师范大学
基于PAR方法和PAR平台的泛型程序设计关键技术研究
  • 批准号：
    60573080
  • 项目类别：
    面上项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2005
  • 负责人：
    薛锦云
  • 依托单位：
    江西师范大学
国内基金
海外基金