课题基金 / 基金详情

基于PAR平台的信息系统应用软件若干共性关键技术研究

批准号：
60773054
项目类别：
面上项目
资助金额：
27.0 万元
负责人：
薛锦云
依托单位：
江西师范大学
学科分类：
计算机科学的基础理论
结题年份：
2010
批准年份：
2007
项目状态：
已结题
项目参与者：
郑宇军、杨波、纪鹏远、万剑怡、钟林辉、胡启敏、石海鹤、左正康、邓安远
关键词：
查询优化PAR和PAR平台软件形式化和自动化信息系统应用程序

项目摘要

结项摘要

项目成果

薛锦云的其他基金

相似基金

相关文献

中文摘要
本项目基于申请者在9个国家级课题连续资助下形成的软件形式化开发的PAR方法和PAR平台，对信息系统应用软件的可靠性、开发效率和查询优化这三项共性关键技术进行深入研究，建立PAR平台中关系代数表达式和PAR平台生成 的SQL语句之间的对应关系和转换规则,进而建立Apla语言应用程序和内嵌SQL语言的C++、Java等OOP语言程序的语义等价关系，并给出基于范畴论的解释；对Apla语言关系代数表达式进行系统的研究，提出基于Apla关系代数的高效查询优化算法；将PAR平台生成"小规模"算法程序的功能，扩展成能生成"大规模"信息系统应用程序，形成信息系统应用软件形式化和自动化开发的理论体系和支撑平台，并在军事指挥和管理、高炉工长管理等方面获得应用。使我国这方面的研究进入世界先进行列，产生显著的理论和应用价值。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
PAR方法和循环不变式的范畴语义
DOI： --
发表时间： --
期刊： 计算机工程与应用
影响因子： --
作者： [薛锦云, 屈文建]
通讯作者： 屈文建
A problem reduction based approach to discrete optimization algorithm design
基于问题简化的离散优化算法设计方法
DOI： 10.1007/s00607-010-0085-0
发表时间： 2010-06
期刊： Computing
影响因子： 3.7
作者： [郑宇军, 薛锦云]
通讯作者： 薛锦云
基于PAR的算法形式化开发
DOI： --
发表时间： --
期刊： 计算机学报
影响因子： --
作者： [薛锦云, 石海鹤]
通讯作者： 石海鹤
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach
面向对象软件设计和综合的基于知识的支持：范畴论方法
DOI： --
发表时间： --
期刊： Journal of Digital Information Management
影响因子： --
作者： [薛锦云, 郑宇军]
通讯作者： 郑宇军
共 27 条
    新概念循环不变式及其自动探测技术研究
    • 批准号：
      61472167
    • 项目类别：
      面上项目
    • 资助金额：
      82.0万元
    • 批准年份：
      2014
    • 负责人：
      薛锦云
    • 依托单位：
      江西师范大学
    高可靠软件建模语言及模型自动转换方法研究
    • 批准号：
      61272075
    • 项目类别：
      面上项目
    • 资助金额：
      70.0万元
    • 批准年份：
      2012
    • 负责人：
      薛锦云
    • 依托单位：
      江西师范大学
    基于PAR方法和PAR平台的泛型程序设计关键技术研究
    • 批准号：
      60573080
    • 项目类别：
      面上项目
    • 资助金额：
      24.0万元
    • 批准年份：
      2005
    • 负责人：
      薛锦云
    • 依托单位：
      江西师范大学
    基于PAR方法的算法设计形式化和自动化研究
    • 批准号：
      60273092
    • 项目类别：
      面上项目
    • 资助金额：
      22.0万元
    • 批准年份：
      2002
    • 负责人：
      薛锦云
    • 依托单位：
      江西师范大学
    国内基金
    海外基金