形式化开发若干组合数学问题的算法
文献类型：期刊论文
| 作者 | 石海鹤 ; 石海鹏 ; 薛锦云 |
| 刊名 | 江西师范大学学报(自然科学版)
 |
| 出版日期 | 2006 |
| 期号 | 5页码:423-427 |
| 关键词 | 形式化推导 PAR方法 算法程序 |
| 中文摘要 | 计算机科学的核心内容是使用算法处理离散数据,组合数学的重要性日渐凸显.使用形式化方法PAR开发了两个组合数学问题的算法,形式化推导过程为问题求解提供了思路,自然地引进了算法程序中用到的变量,清晰地展示了算法程序的设计过程,最终可得到简洁、易理解、可靠性高的算法程序.对形式化方法开发组合算法做了积极的探索,有利于促进组合算法设计自动化的研究及形式化开发方法的推广应用. |
| 公开日期 | 2011-07-13 |
| 源URL | [http://124.16.136.157/handle/311060/11834]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
| 推荐引用方式 GB/T 7714 | 石海鹤,石海鹏,薛锦云. 形式化开发若干组合数学问题的算法[J]. 江西师范大学学报(自然科学版),2006(5):423-427. |
| APA | 石海鹤,石海鹏,&薛锦云.(2006).形式化开发若干组合数学问题的算法.江西师范大学学报(自然科学版)(5),423-427. |
| MLA | 石海鹤,et al."形式化开发若干组合数学问题的算法".江西师范大学学报(自然科学版) .5(2006):423-427. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。