| 一种将遗传算法应用于谓词求精的方法 |
| |
| 引用本文： | 曹晓夏,缪淮扣,高晓雷.一种将遗传算法应用于谓词求精的方法[J].应用科学学报,2003,21(3):289-295. |
| |
| 作者姓名： | 曹晓夏 缪淮扣 高晓雷 |
| |
| 作者单位： | 上海大学计算机工程与科学学院 上海 200072 |
| |
| 基金项目： | 国家自然科学基金资助项目(60173030) |
| |
| 摘 要： | 提出了将Manna的程序综合方法和Caroll Morgan的求精演算方法相结合的求精方法.为了提高求精的自动化程度,在求精的规则选择过程中引入遗传算法.利用遗传算法能够在庞大的规则库空间中搜索合适规则的特性,提高求精的自动化程度.
|
| 关 键 词： | 软件自动化 求精 谓词求精 遗传算法 |
| 文章编号： | 0255-8297(2003)03-0289-07 |
| 收稿时间： | 2002-05-27 |
| 修稿时间： | 2002-12-31 |
An Approach to Applying Genetic Algorithm to Predicate Refinement |
| |
| CAO Xiao-xia,MIAO Huai-kou,GAO Xiao-lei.An Approach to Applying Genetic Algorithm to Predicate Refinement[J].Journal of Applied Sciences,2003,21(3):289-295. |
| |
| Authors: | CAO Xiao-xia MIAO Huai-kou GAO Xiao-lei |
| |
| Institution: | School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China |
| |
| Abstract: | Selecting rules is the most difficult and creative work in predicate refinement. This paper gives a method of refinement from specification to program code by combining Manna's program synthesis method with Caroll Morgan's refinement calculus. The paper also presents a method for applying genetic algorithm to predicate refinement. |
| |
| Keywords: | software automation refinement predication refinement genetic algorithm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《应用科学学报》浏览原始摘要信息 |
| 点击此处可从《应用科学学报》下载免费的PDF全文 |
