基于遗传算法的反例理解

• 作者: 李艳梅 李雅 迟荣华 郎大鹏 黄少滨
• 来源期刊: 哈尔滨工程大学学报
• 学科: 工学
• 关键词: 模型检测 遗传算法 反例理解 错误定位
• 年，卷（期）: 2016,（10）
• 页码范围: 1394-1399,1437
• 页数: 7页
• 分类号: TP311.5
• 字数: 7258字
• 语种: 中文
• DOI: 10.11990/jheu.201509006

摘要

在复杂系统的错误定位过程中，为了寻找合适的证例，提出一种结合模型检测技术的基于遗传算法的反例理解算法。利用遗传算法，针对模型检测中的模型具有初始状态，状态之间有相应的迁移关系等特点，初始化种群、设计适应度函数并进行指向性的变异操作。实验表明该算法能快速有效的获得最近证例，帮助模型检测的反例理解。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄少滨	哈尔滨工程大学计算机科学与技术学院	55	319	10.0	15.0
2	李艳梅	哈尔滨工程大学计算机科学与技术学院	14	107	6.0	10.0
3	郎大鹏	哈尔滨工程大学计算机科学与技术学院	19	33	3.0	4.0
4	迟荣华	哈尔滨工程大学计算机科学与技术学院	8	30	3.0	5.0
5	李雅	哈尔滨工程大学计算机科学与技术学院	4	9	3.0	3.0