-
题名一种基于规约精化的货物分发问题求解方案分析
被引量:1
- 1
-
-
作者
李英龙
薛锦云
-
机构
江西师范大学省高性能计算技术重点实验室
-
出处
《计算机与现代化》
2006年第7期1-4,7,共5页
-
基金
国家自然科学基金资助项目(60273092)
科技部重大基础研究前期研究项目(2003CCA02800)
-
文摘
介绍了美国Kestrel研究所的一种基于问题理论、算法理论和程序理论的规约精化思想,以及Kestrel如何应用这种思想渐进地形式化构造货物分发问题(GDP)的规约精化。现实生活中存在许多像货物分发问题这样需求可被规范化描述的仿真实际问题,我们认为这种规约精化思想对于解决和设计此类仿真实际问题是非常适用和有效的。
-
关键词
规约精化
规约(同型)态射
GDP
问题理论
算法理论
程序理论
-
Keywords
specification refinement
specification morphism
GDP
problem theory
algorithm theory
program theory
-
分类号
TP311.51
[自动化与计算机技术—计算机软件与理论]
-
-
题名形式化方法Designware及其规约精化机理
- 2
-
-
作者
石海鹤
石海鹏
薛锦云
-
机构
江西师范大学计算机信息工程学院
江西师范大学软件学院
-
出处
《计算机应用研究》
CSCD
北大核心
2008年第3期721-725,728,共6页
-
基金
国家自然科学基金资助项目(60573080)
江西师范大学2006年度青年成长基金资助项目
-
文摘
介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了Designware的两个实际应用项目,最后对Designware进行了评述。
-
关键词
形式化方法Designware
规约精化
算法设计
高可信
-
Keywords
formal method Designware
specification refinement
algorithm design
high confidence
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名形式化PAR方法及其算法程序规约精化机理
被引量:1
- 3
-
-
作者
苏昭
-
机构
江西科技学院信息工程学院
-
出处
《江西科技学院学报》
2014年第3期53-57,共5页
-
基金
江西科技学院自然科学基金项目“基于项目反应理论的成人高考数学模块化训练系统的研制”(NO.XYKJ2011012)
江西科技学院协同创新基金项目“面向车联网的智能交通最短路径算法的优化及其应用研究”(NO.xtcx201318)
-
文摘
用形式化方法开发软件是提高软件生产效率和可靠性的革命性途径,是实现软件自动化的决定性关键。文章介绍了一种新的支持作为软件开发核心的算法设计的形式化方法PAR,分析了其理论基础及算法程序规约精化机理,并结合一个经典实例开发展示了PAR的具体使用,给出PAR的实际应用项目,最后对PAR进行了评述。
-
关键词
形式化PAR方法
规约精化
算法程序
-
Keywords
formal method PAR
specification refinement
algorithmic program
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-