国家自然科学基金(60273092)
- 作品数：42 被引量：271H指数：7
- 相关作者：薛锦云揭安全化志章胡启敏杨庆红更多>>
- 相关机构：江西师范大学中国科学院软件研究所江西省高性能计算技术重点实验室更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划江西师范大学青年成长基金更多>>
- 相关领域：自动化与计算机技术文化科学兵器科学与技术更多>>
- General-Service Ballistic Computer Programming Based on B-Method
- 2006年
- 郑宇军张子丘王金全薛锦云
- 关键词：抽象机精化弹道
- 开发等式比较SQL查询语句的一种模型推理方法被引量：1
- 2007年
- 尝试将模型推理引入一类典型的SQL查询语句(等式比较SQL查询语句)的开发过程中;以便使这类SQL查询语句的开发过程有章可循,减少盲目的直觉推理尝试,保证SQL查询语句的正确性。提出了一种固定形式的一阶谓词逻辑表达式,描述了这种一阶谓词逻辑表达式与等式比较SQL查询语句的对应关系;总结了开发过程的三个步骤;形成了一种开发等式比较SQL查询语句的模型推理方法;并且按照由简单到复杂的顺序给出了两个应用实例。
- 杨波薛锦云
- 关键词：SQL查询语句一阶谓词逻辑
- AOP及其在状态机工作流中的应用被引量：1
- 2006年
- 面向切面编程(Aspect-Oriented Programming,简称AOP)作为一种新的编程技术正日益引起人们的关注.文章介绍了AOP产生背景和理论价值,并结合作者所设计的状态机工作流框架,详细讨论了如何通过在该框架中引入AOP机制来克服纯面向对象编程的不足,从中分析了AOP的优势和应用价值,最后对AOP和OOP的关系进行了讨论.
- 陈勇光薛锦云
- 关键词：面向切面编程面向对象切面横切关注点
- 一种基于规约精化的货物分发问题求解方案分析被引量：1
- 2006年
- 介绍了美国Kestrel研究所的一种基于问题理论、算法理论和程序理论的规约精化思想,以及Kestrel如何应用这种思想渐进地形式化构造货物分发问题(GDP)的规约精化。现实生活中存在许多像货物分发问题这样需求可被规范化描述的仿真实际问题,我们认为这种规约精化思想对于解决和设计此类仿真实际问题是非常适用和有效的。
- 李英龙薛锦云
- 关键词：GDP
- 一种基于Apla-Java可重用部件库的并行（并发）程序开发方法
- 介绍了一种基于Apla-Java可重用部件库并行（并发）程序的开发方法,包括Apla-Java可重用部件的设计策略以及部件库并行并发机制的实现方法。并通过一个并行计算的实例验证了Apla-Java可重用部件库应用于并行（...
- 揭安全薛锦云
- 关键词：PAR方法APLA-JAVA可重用部件并发
- 文献传递
- Hanoi塔非递归算法的形式化推导和正确性验证被引量：7
- 2008年
- 关于Hanoi塔问题的非递归算法已有大量的研究.运用薛锦云教授自创的PAR方法和循环不变式开发的新策略,形式化推导出逻辑结构清晰的Hanoi塔非递归算法及其循环不变式,并用Dijkstra最弱前置谓词法验证了该算法的正确性.充分体现了PAR方法的优越性、高效性和可靠性.
- 游珍薛锦云
- 关键词：HANOI塔PAR方法循环不变式非递归算法
- 若干算法程序的形式化推导与生成技术研究被引量：7
- 2008年
- PAR方法基于分划与递推、量词变换规则、循环不变式开发新策略和软件转换工具,实现了复杂算法问题的形式化开发.采用PAR方法形式化推导几个典型的算法问题.通过量词变换规则对程序规约进行形式化推导,可以得到具有数学引用透明性、易于形式化证明的求解算法问题的递推关系;并在此基础上,自然地导出循环不变式.在得到简短、易于理解、高可靠性的Apla算法程序之后,通过转换工具自动生成Java,C++等可执行程序.
- 胡启敏薛锦云
- 关键词：PAR方法形式化推导递推关系
- UNITY与典型程序设计模型的比较
- 2003年
- UNITY是一种简单统一的理论、计算模型和证明系统,而且具有很强的把UNITY程序映射成不同的计算机体系结构模式的能力。该文在简述UNITY机理的基础上,分析UNITY与几种典型的程序设计模型(函数式、命令式、逻辑式、基于规则式、Petri网、CSP)的区别,并给出它们对应的等价UNITY程序转换,最后,介绍Seuss对完善UNITY的新策略。
- 肖美华薛锦云化志章
- 关键词：程序设计模型
- 程序规约变换技术在程序设计中的应用
- 2006年
- 算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法,并清晰地展示了程序设计的过程,为算法程序设计提供了一种有效的方法和途径。
- 黄海飞杨庆红薛锦云
- 关键词：程序规约
- 形式推导支持的递归程序向非递归程序的转换被引量：5
- 2007年
- 本文提出一种递归消除的方法,适于一类基于递归数据结构的程序。该方法将递归程序作为初始规约,以求解过程的状态变迁序列作迭代模式;通过数据展开和变换实现初始规约向基于序列描述规约的变换,继而用PAR形式推导出序列规约的递推关系,并以之为核心近乎机械地构造出非递归算法。树和图的两个算法实例说明了本方法的有效性。
- 化志章揭安全李云清薛锦云
- 关键词：PAR方法
