组合优化问题简约与算法推演
文献类型：期刊论文
| 作者 | 郑宇军 ; 薛锦云 ; 凌海风 |
| 刊名 | Journal of Software
 |
| 出版日期 | 2011 |
| 卷号 | 22期号:9页码:1985-1993 |
| 关键词 | 组合优化问题 问题简约 算法推演 正确性证明 |
| ISSN号 | 1000-9825 |
| 其他题名 | combinatorial optimization problem reduction and algorithm derivation |
| 中文摘要 | 针对组合优化类问题定义了代数结构模型，从问题的形式规约出发，通过一阶谓词和量词演算将问题逐步简约为搜索空间更小、复杂度更低的子问题，根据问题的简 约关系推导出求解算法，并在构造算法的同时也证明了算法的正确性，开发了原型系统以支持上述形式化的开发过程．这种算法推演技术能够显著提高算法程序设计 的自动化水平，而问题简约的思想也更有利于对算法本质特征的理解. |
| 英文摘要 | A unified algebraic model is used to represent optimization problems,which uses a transformational approach that starts from an initial problem specification and reduces it into sub-problems with less complexity.The model then constructs the problem reduction graph (PRG)describing the recurrence relations between the problem,and derives an algorithm with its correctness proof hand-in-hand.A prototype system that implements the formal algorithm development process mechanically is also designed.This approach significantly improves the automation of algorithmic program design and helps to understand inherent characteristics of the algorithms. |
| 学科主题 | Computer Science |
| 收录类别 | EI ; CNKI ; CSCD |
| 资助信息 | 国家自然科学基金; 科技部国际科学技术合作项目 |
| 语种 | 中文 |
| CSCD记录号 | CSCD:4278192 |
| 公开日期 | 2013-10-08 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/16009]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | 郑宇军,薛锦云,凌海风. 组合优化问题简约与算法推演[J]. Journal of Software,2011,22(9):1985-1993. |
| APA | 郑宇军,薛锦云,&凌海风.(2011).组合优化问题简约与算法推演.Journal of Software,22(9),1985-1993. |
| MLA | 郑宇军,et al."组合优化问题简约与算法推演".Journal of Software 22.9(2011):1985-1993. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。