combinatorial optimization problem reduction and algorithm derivation
文献类型：期刊论文
| 作者 | Zheng Yu-Jun ; Xue Jin-Yun ; Ling Hai-Feng |
| 刊名 | Ruan Jian Xue Bao/Journal of Software
 |
| 出版日期 | 2011 |
| 卷号 | 22期号:9页码:1985-1993 |
| 关键词 | Algorithms Combinatorial optimization Optimization |
| ISSN号 | 10009825 |
| 英文摘要 | 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. ©2011, Institute of Software, the Chinese Academy of Sciences. All rights reserved. |
| 收录类别 | EI |
| 语种 | 中文 |
| 公开日期 | 2011-10-10 |
| 源URL | [http://124.16.136.157/handle/311060/13721]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
| 推荐引用方式 GB/T 7714 | Zheng Yu-Jun,Xue Jin-Yun,Ling Hai-Feng. combinatorial optimization problem reduction and algorithm derivation[J]. Ruan Jian Xue Bao/Journal of Software,2011,22(9):1985-1993. |
| APA | Zheng Yu-Jun,Xue Jin-Yun,&Ling Hai-Feng.(2011).combinatorial optimization problem reduction and algorithm derivation.Ruan Jian Xue Bao/Journal of Software,22(9),1985-1993. |
| MLA | Zheng Yu-Jun,et al."combinatorial optimization problem reduction and algorithm derivation".Ruan Jian Xue Bao/Journal of Software 22.9(2011):1985-1993. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。