| 形式化开发若干组合数学问题的算法 |
| |
| 引用本文： | 石海鹤,石海鹏,薛锦云.形式化开发若干组合数学问题的算法[J].江西师范大学学报(自然科学版),2006,30(5):423-427. |
| |
| 作者姓名： | 石海鹤 石海鹏 薛锦云 |
| |
| 作者单位： | 1. 江西师范大学,计算机信息工程学院,江西,南昌,330027;中国科学院,软件研究所,计算机科学国家重点实验室,北京,100080
2. 江西师范大学,软件学院,江西,南昌,330027 |
| |
| 基金项目： | 国家重大基础研究(973计划)前期研究专项(2003CCA02800)，江西师范大学2006年度青年成长基金项目 |
| |
| 摘 要： | 计算机科学的核心内容是使用算法处理离散数据,组合数学的重要性日渐凸显.使用形式化方法PAR开发了两个组合数学问题的算法,形式化推导过程为问题求解提供了思路,自然地引进了算法程序中用到的变量,清晰地展示了算法程序的设计过程,最终可得到简洁、易理解、可靠性高的算法程序.对形式化方法开发组合算法做了积极的探索,有利于促进组合算法设计自动化的研究及形式化开发方法的推广应用.
|
| 关 键 词： | 形式化推导 PAR方法 算法程序 |
| 文章编号： | 1000-5862（2006）05-0423-05 |
| 收稿时间： | 2006-06-10 |
| 修稿时间： | 2006-06-10 |
Formal Development of Several Algorithms for Combinatorial Mathematics Problems |
| |
| SHI Hai-he,SHI Hai-peng,XUE Jin-yun.Formal Development of Several Algorithms for Combinatorial Mathematics Problems[J].Journal of Jiangxi Normal University (Natural Sciences Edition),2006,30(5):423-427. |
| |
| Authors: | SHI Hai-he SHI Hai-peng XUE Jin-yun |
| |
| Institution: | 1. College of Computer Information and Engineering, Jiangxi Normal University, Nanchang 330027, China; 2. National Key laboratory for Computer Science, Institute of Software, the Chinese Academy of Science, Beijing 100080, China; 3. College of Software, Jiangxi Normal University, Nanchang 330027, China |
| |
| Abstract: | The core of computer science is handling discrete data employing algorithms,so combinatorics is becoming more and more important.The paper develops two algorithmic programs of combinatorics problems using the formal method PAR.Formal derivation provides clues for solving the problems and can find other intimate definitions that will be used in algorithms,through which achieves concise,readable,high performance and reliability algorithmic programs finally.The paper explores the application of formal methods to combinatorial algorithms,and contributes to the research of automatic algorithm design for combinatorial algorithms and the extensive employment of formal development methods. |
| |
| Keywords: | formal derivation PAR method algorithmic programs |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
