|
|||||
|
|
| 一种基于GEP的程序不变量动态发现方法 | |
| 作者姓名： | 郭培甲 吴取劲 |
| 作者单位： | 南华大学 计算机科学与技术学院,湖南 衡阳 421001,南华大学 计算机科学与技术学院,湖南 衡阳 421001 |
| 摘 要： | 利用GEP(基因表达式编程)获取最优解的函数发现能力和数学理论的精确计算能力获得较客观的程序不变量的预置形式,能够进行目前技术没有处理的函数型程序不变量的发现生成工作.在函数型程序不变量范围内,有效地克服了目前程序不变量发现技术中存在的两个缺点,即计算盲目性与程序不变量形式预置的主观性.整个工作可以理解为是对目前程序不变量发现技术的一个扩展,它拓广了原有技术可发现的程序不变量种类,增大了从程序运行轨迹数据中发现更多不变量的可能性. |
| 关 键 词： | 程序不变量 GEP函数型程序不变量 |
| 收稿时间： | 2016-10-10 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《南华大学学报(自然科学版)》浏览原始摘要信息 | |
| 点击此处可从《南华大学学报(自然科学版)》下载全文 | |