-
题名分划递推法及其应用
被引量：5
- 1
-
-
作者
李云清
-
机构
江西师范大学计算机科学技术学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2001年第17期77-79,88,共4页
-
基金
国家自然科学基金高技术探索项目(编号:69783006)
江西省跨世纪人才项目资助
-
文摘
分划递推法是一种新的算法设计技术。在分划递推法中使用逻辑符号和扩充的量词表示功能规约。分划是处理复杂问题的一般方法，而递推可用于循环不变式和算法设计开发。文中给出的三个实例呈现了使用分划递推法进行算法设计和开发的步骤和要点。
-
关键词
算法设计
分划递推法
程序设计
软件自动化
-
Keywords
： design of algorithm，functional specification，Recurrence relation，Loop invariant
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名算法及其时间复杂度可同步形式化推导的方法
被引量：3
- 2
-
-
作者
王昌晶
薛锦云
-
机构
中国科学院软件研究所
-
出处
《计算机应用研究》
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
[自动化与计算机技术—计算机系统结构]
-
-
题名基于PAR方法的并行最大和算法的推导
被引量：2
- 3
-
-
作者
邓笋根
王明文
-
机构
江西师范大学计算机科学技术学院
-
出处
《江西师范大学学报（自然科学版）》
CAS
2001年第2期121-127,共7页
-
基金
国家自然科学基金!资助项目 (6 99830 0 3
6 0 0 730 33)
江西省自然科学基金!资助项目 (99110 0 6 )
-
文摘
在基于薛锦云提出的PAR(Partition and Recursion)方法的思想上 ,通过并行划分数据空间———自然地称之为并行分划递推 ,给出了在PRAM和超立方互联网络模型上的并行最大和最优算法 ,它们的时间复杂性为O(logN) .
-
关键词
PAR方法
并行算法
算法设计
并行分划递推
-
Keywords
PAR method
parallel algorithm
algorithm design
parallel partition and recursion
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名序列折半划分问题的形式化推导
- 4
-
-
作者
左正康
梁赞杨
苏崴
黄箐
王渊
王昌晶
-
机构
江西师范大学计算机信息工程学院
江西师范大学软件学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2022年第6期1063-1071,共9页
-
基金
国家自然科学基金(61862033,61902162)
江西省自然科学基金(20202BABL202026,20202BABL202025,20202BAB202015)
江西省教育厅科学技术重点研究项目(GJJ210307)。
-
文摘
形式化推导是在程序正确性证明理论下所进行的程序开发,最终得到完全正确的算法程序。针对序列折半划分问题,现有的形式化推导方法将推导与证明交替进行,推导过程繁琐且大多无法直接获得可执行程序。为解决上述问题,提出了一种新的序列折半划分问题的形式化推导方法。该方法基于分划递推的核心思想,应用规约变换技术对问题规约进行变换并严格保证一致性,使得在推导过程中无需交替证明,进而导出递推关系式并得到高可靠性抽象算法程序Apla,最终通过转换工具自动生成可执行程序。实现了从程序规约到具体可执行程序的完整程序求精过程。以2个序列算法为例,验证了该方法的有效性和可行性,对相关问题的形式化推导具有指导意义。
-
关键词
折半划分
形式化推导
分划递推
程序求精
-
Keywords
dimidiate partition
formal derivation
partition and recursion
program refinement
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名提高ADA可重用程序部件可靠性的两种方法
- 5
-
-
作者
杨庆红
薛锦云
-
机构
江西师范大学计算机科学与技术学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2001年第6期9-10,共2页
-
基金
国家863高技术发展计划
国家自然科学基金
国家共性软件发展计划资助项目
-
文摘
建立可重用程序部件库是克服“软件危机”，提高软件生产效率的有效途径之一。主要从避错方法和容错技术两方面入手，详细阐述了提高ADA可重用程序部件可靠性的方法。
-
关键词
可重用部件
分划递推法
容错技术
可靠性
ADA
程序设计方法
-
Keywords
Reusable program components；Partition-and-recur approach；Fault-avoidance；Fault-tolerance
-
分类号
TP311.11
[自动化与计算机技术—计算机软件与理论]
-
-
题名EGCL-Java程序转换器的研究与实现
- 6
-
-
作者
李欣
薛锦云
-
机构
江西师范大学计算机科学与技术学院
-
出处
《江西师范大学学报（自然科学版）》
CAS
2001年第2期137-143,共7页
-
基金
国家自然科学基金!资助项目 (6 97830 0 6和 6 99830 0 3)
-
文摘
以分划递推法等理论为基础 ,客观地分析了软件开发的全过程 ,详细阐述了将抽象程度较高的EGCL语言程序自动转换成可执行的高级Java语言程序的关键技术 ,并开发了一套基于Java语言的可重用类库用于支持程序的转换 ,得到了满意的结果 .
-
关键词
分划递推法
EGCL语言
JAVA语言
可重用部件库
程序转换器
软件开发
-
Keywords
partition and recur method
EGCL language
Java language
reuse library
program transform
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
