位置：立项数据库 > 立项详情页
基于PAR平台的信息系统应用软件若干共性关键技术研究
  • 项目名称：基于PAR平台的信息系统应用软件若干共性关键技术研究
  • 项目类别：面上项目
  • 批准号：60773054
  • 申请代码：F020201
  • 项目来源：国家自然科学基金
  • 研究期限：2008-01-01-2010-12-31
  • 项目负责人：薛锦云
  • 负责人职称：教授
  • 依托单位：江西师范大学
  • 批准年度：2007
中文摘要：

基于在国家级课题连续资助下形成的软件形式化开发的PAR方法和PAR平台，对信息系统应用软件的可靠性、开发效率和查询优化这三项共性关键技术进行了深入研究，建立了PAR平台中关系代数表达式和PAR平台生成 的SQL语句之间的对应关系和转换规则,进而建立Apla语言应用程序和内嵌SQL语言的C++、Java等OOP语言程序的语义等价关系，并给出基于范畴论的解释；对Apla语言关系代数表达式进行系统的研究，提出基于Apla关系代数的高效查询优化算法；将PAR平台生成"小型"算法程序的功能，扩展成能生成"大型"信息系统应用程序，形成信息系统应用软件形式化和自动化开发的理论体系和支撑平台，并在军事指挥和管理等方面获得应用，完成了预定的各项研究计划，取得了处于国际领先水平的研究成果，如基于PAR方法和PAR平台的问题归约图模型PRG。3篇论文在国际权威学术期刊发表,3篇在国内一级学报发表，3篇被全国理论计算机学术年会评选为优秀论文，l9篇属国际顶级学术会议,共发表论文56 篇，其中4篇被SCI收录，22篇被被EI收录,19篇在ISTP收录。组织小型国际会议2次。

中文主题词： PAR和PAR平台;软件形式化和自动化;信息系统可靠性; 问题归约图；SQL程序
结论摘要：

英文主题词PAR Method and Par Platform;formalization and automation for software development;Reliability of information system;Problem reduction graph; SQL

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 36
  • 20
  • 0
  • 6
  • 0
期刊论文
组合优化问题简约与算法推演
基于PAR的软件服务外包开发过程应用研究
PAR平台数据库查询优化方案
形式化方法在高中算法教学中的应用研究
A problem reduction based approach to discrete optimization algorithm design
三个经典数学问题的形式化开发
循环不变式开发技术研究
Huffman算法程序的形式化推导
后序遍历二叉树非递归算法的推导及形式化证明
Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs
基于软件体系结构的可复用构件模型
关系代数派生算子语义表达式间等价性证明
软件测试在APLA→JAVA系统中的应用研究
若干算法程序的形式化推导与生成技术研究
泛型编程扩展及其JAVA实现
Formal analysis of cryptographic protocols in a knowledge algorithm logic framework
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic appr
基于形式演算和不变式验证的可信算法程序构造(英文)
基于MSET的框架变化点实例化模式挖掘
一类0-1背包问题算法程序的形式化推导
基于SPEC#的功能性冗余软件开发
基于扩展的构件依赖关系图聚类的体系结构重构策略研究
基于PAR的算法形式化开发
装备维修规划的多目标优化模型和求解算法
并行遗传算法骨架的研究和实现
一组基于PAR的高可靠查找算法程序开发
数据驱动的多Agent装备器材保障决策支持系统
多核集群系统上的混合编程模型研究
XML在并行骨架描述中的应用
调频发射机的Wince驱动设计
Approach of generating parallel programs from parallelized algorithm design strategies
网格编程方法与环境综述
会议论文
Formal Derivation and Automatic Generation of Sorting Algorithms
A Linear In-Situ Algorithm for the Power of Cyclic Permutation
A Mechanical Approach for Deriving Algorithmic Programs
Introducing Advanced Generic Programming: Categorical Foundations and Applications
Generating Provably Correct Algorithmic Programs from Formal Specifications
ISDGen: An Automated Simulation Data Generation Tool for Object-Oriented Information Systems.
Generating Algorithms plus Loop invariants by Formal Derivation
Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Prob
A category theoretic approach to search algorithms:towards a unified implementation for branch-and-b
Categorial Semantics of a Solution to Distributed Dining Philosophers Problem[C]
Agent Based Framework for Emergency Rescue and Assistance Planning
一种基于PAR的高可靠算法程序设计技术
Toward an automatic approach to greedy algorithms
Formal Derivation of A Generic Algorithmic Program for Solving a Class Extremum Problems
From Mathematics to Software Engineering: introducing category theory into the computer science curr
Formal design and intelligent maintenance of ballistic computers
Automated Large-Scale Simulation Test-Data Generation for Object-Oriented Software Systems
Formal Programming for the Shortest Path and Its Critical Edge Problems
Distributed Cooperative Planning and Scheduling for Disaster Management
Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs
获奖
图遍历的非递归算法生成与形式化证明技术研究
后序遍历二叉树非递归算法的形式化推导及证明
Hanoi塔非递算法的形式化推导和正确性验证
图遍历的非递归算法生成与形式化证明技术研究
后序遍历二叉树非递归算法的形式化推导及证明
Hanoi塔非递算法的形式化推导和正确性验证
薛锦云的项目
基于PAR方法的算法设计形式化和自动化研究
期刊论文 23 著作 17
若干新的算法程序设计和证明方法研究
期刊论文 8 获奖 6
高可靠软件建模语言及模型自动转换方法研究
期刊论文 9
新概念循环不变式及其自动探测技术研究
期刊论文 4
基于PAR方法和PAR平台的泛型程序设计关键技术研究
期刊论文 39 会议论文 22
实用的软件形式化方法及其开发工具研究
期刊论文 2
第十届构件化软件形式化方法国际研讨会及相关前沿技术讲习班
若干软件新技术及其在PAR平台中的实验研究
期刊论文 49 会议论文 7 获奖 4 著作 3
计算机科学和软件新技术
分划递推法应用于高可靠Java程序开发方法研究
期刊论文 2
部分实现理论及其在算法形式推导和证明中的应用
期刊论文 1