-
题名一种高效的算法程序设计方法—PAR方法
被引量：4
- 1
-
-
作者
杨庆红
肖燕娟
-
机构
江西师范大学计算机学院
湖南建筑学校
-
出处
《计算机与现代化》
2000年第6期1-5,共5页
-
基金
国家自然科学基金资助项目(Grant No.69783006和69983003)
-
文摘
利用在长期的算法研究中提出的分划递推法 (简称 PAR方法 )开发了三个问题的算法程序 ,说明 PAR方法不仅为算法设计提供了统一而有效的途径 ,也为开发循环不变式奠定了基础。
-
关键词
par方法
循环不变式
递推关系
-
Keywords
par approach
loop invariant
recurrence relation
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
TP311.11
[自动化与计算机技术—计算机科学与技术]
-
-
题名PAR平台从规约出发的算法推导与自动生成
被引量：5
- 2
-
-
作者
王昌晶
薛锦云
-
机构
中国科学院软件研究所
-
出处
《计算机工程与应用》
CSCD
北大核心
2007年第2期41-42,59,共3页
-
基金
国家自然科学基金资助项目(60273092)
科技部973重大基础研究发展前期专项资助项目(2003CCA02800)
+1 种基金
江西省2004年教学改革课题项目
江西师范大学2005年青年成长基金项目。
-
文摘
简要介绍PAR方法及其支撑平台,使用PAR方法及其平台从规约出发形式化推导并生成了两个典型的算法程序。PAR方法及其平台使用一阶谓词逻辑表示功能规约,分划与递推来进行算法形式推导,各种转换系统来自动生成算法程序。这显著地提高了算法程序的正确性和开发效率,也有助于深刻地理解算法设计思想。
-
关键词
par方法
par平台
规约
形式推导
-
Keywords
par approach
par platform
specification
formal derivation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名PAR在数学算法中的应用
被引量：3
- 3
-
-
作者
杨晨
-
机构
江西师范大学计算机信息工程学院
-
出处
《电脑知识与技术》
2010年第3期1641-1644,共4页
-
文摘
针对算法走进高中课堂的现状,提出使用PAR作为高中学习算法开发的主要平台,通过PAR形式化推导实现多项式和素数两个经典数学问题,表明PAR具有良好的数学和程序设计语言透明性,得到算法简短易于理解的同时也可以同时保证算法的正确性,理论分析和试验表明,PAR是学习算法开发的一个有效平台。
-
关键词
par方法
par平台
形式化推导
算法
-
Keywords
par approach
par platform
formal derivation
algorithm
-
分类号
G623
[文化科学—教育学]
-
-
题名三个经典数学问题的形式化开发
被引量：2
- 4
-
-
作者
杨晨
薛锦云
苏昭
-
机构
江西师范大学省高性能计算技术重点实验室
-
出处
《计算机与现代化》
2010年第8期1-4,共4页
-
基金
国家自然科学基金资助项目(60773054)
科技部合作项目(2008DFA11940)
-
文摘
计算机科学最高奖图灵奖获得者Knuth指出,算法是计算机科学的核心。算法的设计和理解对开发高效、正确的软件至关重要。本文选取平方数问题、几何级数求和问题和多项式求值这3个经典数学问题,使用支持算法程序形式化的PAR方法和PAR平台,从待求解问题的精确功能描述出发,使用PAR方法和PAR平台的推理和变换规则,经过一系列等价变换,最后得到正确的算法程序。这一系列形式化推演的过程揭示了这3个经典数学问题的奥妙,事实说明PAR方法和PAR平台在算法程序设计过程中可以发挥更大的作用。
-
关键词
par方法
par平台
形式化推导
-
Keywords
par approach
par platform
formal derivation
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名软件自动化的新途径
被引量：1
- 5
-
-
作者
杨淑群
余巍巍
-
机构
抚州师范专科学校
-
出处
《抚州师专学报》
2003年第3期97-101,共5页
-
文摘
目前软件自动化方法有演绎综合方法、程序转换方法、过程综合途径、归纳综合途径,各种方法都有其特点和缺点。文章给出一种利用PAR方法作理论基础的软件自动化新途径。
-
关键词
软件自动化
新途径
par方法
-
Keywords
software automation
new approach
par method
-
分类号
TP311.51
[自动化与计算机技术—计算机软件与理论]
-
-
题名算法及其时间复杂度可同步形式化推导的方法
被引量：3
- 6
-
-
作者
王昌晶
薛锦云
-
机构
中国科学院软件研究所
-
出处
《计算机应用研究》
CSCD
北大核心
2008年第3期681-683,共3页
-
基金
国家自然科学基金资助项目(60273092)
国家“973”计划资助项目(2003CCA02800)
+1 种基金
江西省2004年教学改革课题基金资助项目
江西师范大学2005年青年成长基金资助项目
-
文摘
对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且这两个问题关于时间复杂度的递归方程式也可同步且自然地推导得到。这为开发并验证高效率的算法开辟了一条新途径。
-
关键词
分划递推方法
形式化推导
时间复杂度
递归方程式
-
Keywords
par（partition-and-recur） approach
formally deduce
time complexity
recursion equation
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
