您的位置: 专家智库 > >

国家自然科学基金(60273092)

作品数:42 被引量:271H指数:7
相关作者:薛锦云揭安全化志章胡启敏杨庆红更多>>
相关机构:江西师范大学中国科学院软件研究所江西省高性能计算技术重点实验室更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划江西师范大学青年成长基金更多>>
相关领域:自动化与计算机技术文化科学兵器科学与技术更多>>

文献类型

  • 42篇期刊文章
  • 5篇会议论文

领域

  • 45篇自动化与计算...
  • 2篇文化科学
  • 1篇兵器科学与技...

主题

  • 14篇形式化
  • 9篇PAR方法
  • 8篇形式化方法
  • 7篇程序设计
  • 6篇递归
  • 6篇规约
  • 5篇并发
  • 4篇形式化推导
  • 4篇循环不变式
  • 3篇递归算法
  • 3篇面向对象
  • 3篇非递归
  • 3篇非递归算法
  • 3篇编程
  • 3篇程序规约
  • 2篇递归问题
  • 2篇递推
  • 2篇形式化描述
  • 2篇时态逻辑
  • 2篇契约

机构

  • 36篇江西师范大学
  • 13篇中国科学院软...
  • 6篇江西省高性能...
  • 1篇南昌大学
  • 1篇南昌航空大学
  • 1篇深圳职业技术...
  • 1篇浙江大学
  • 1篇湖南科技大学

作者

  • 39篇薛锦云
  • 7篇揭安全
  • 6篇化志章
  • 6篇胡启敏
  • 5篇杨庆红
  • 5篇王昌晶
  • 4篇肖美华
  • 4篇郑宇军
  • 3篇陈勇光
  • 2篇李英龙
  • 2篇石海鹤
  • 2篇罗坚
  • 2篇钟林辉
  • 2篇廖春华
  • 2篇吕明琪
  • 1篇吴传孙
  • 1篇薛慧琦
  • 1篇饶红萍
  • 1篇孙凌宇
  • 1篇游珍

传媒

  • 7篇计算机工程与...
  • 4篇计算机时代
  • 4篇计算机与现代...
  • 4篇计算机技术与...
  • 3篇江西师范大学...
  • 3篇微计算机信息
  • 2篇计算机研究与...
  • 2篇计算机工程与...
  • 2篇计算机工程
  • 2篇计算机应用研...
  • 1篇燕山大学学报
  • 1篇南京大学学报...
  • 1篇微电子学与计...
  • 1篇江西科学
  • 1篇计算机工程与...
  • 1篇海军工程大学...
  • 1篇计算机科学
  • 1篇湘潭师范学院...
  • 1篇Defenc...

年份

  • 1篇2010
  • 1篇2009
  • 8篇2008
  • 11篇2007
  • 14篇2006
  • 7篇2005
  • 4篇2004
  • 1篇2003
42 条 记 录,以下是 1-10
排序方式:
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方法
共5页<12345>
聚类工具0