基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
在复杂系统的错误定位过程中,为了寻找合适的证例,提出一种结合模型检测技术的基于遗传算法的反例理解算法。利用遗传算法,针对模型检测中的模型具有初始状态,状态之间有相应的迁移关系等特点,初始化种群、设计适应度函数并进行指向性的变异操作。实验表明该算法能快速有效的获得最近证例,帮助模型检测的反例理解。
推荐文章
基于遗传算法的图像压缩
遗传算法
图像压缩
聚类
基于改进遗传算法的稀疏重构算法
多种群遗传算法
模拟退火遗传算法
DoA估计
稀疏重构
基于遗传算法的双向搜索 Chord 算法
Chord
物理拓扑
遗传算法
双向查找
基于遗传算法的多维快速聚类算法研究
聚类
遗传算法
密度法
网格法
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于遗传算法的反例理解
来源期刊 哈尔滨工程大学学报 学科 工学
关键词 模型检测 遗传算法 反例理解 错误定位
年,卷(期) 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
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (42)
共引文献  (54)
参考文献  (11)
节点文献
引证文献  (3)
同被引文献  (11)
二级引证文献  (13)
1973(1)
  • 参考文献(1)
  • 二级参考文献(0)
1990(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(2)
  • 参考文献(1)
  • 二级参考文献(1)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(1)
  • 参考文献(1)
  • 二级参考文献(0)
2004(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(4)
  • 参考文献(1)
  • 二级参考文献(3)
2006(2)
  • 参考文献(1)
  • 二级参考文献(1)
2007(1)
  • 参考文献(0)
  • 二级参考文献(1)
2008(2)
  • 参考文献(0)
  • 二级参考文献(2)
2009(2)
  • 参考文献(0)
  • 二级参考文献(2)
2010(6)
  • 参考文献(1)
  • 二级参考文献(5)
2011(6)
  • 参考文献(0)
  • 二级参考文献(6)
2012(13)
  • 参考文献(2)
  • 二级参考文献(11)
2013(6)
  • 参考文献(1)
  • 二级参考文献(5)
2014(2)
  • 参考文献(0)
  • 二级参考文献(2)
2015(2)
  • 参考文献(2)
  • 二级参考文献(0)
2016(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2017(2)
  • 引证文献(2)
  • 二级引证文献(0)
2018(7)
  • 引证文献(1)
  • 二级引证文献(6)
2019(4)
  • 引证文献(0)
  • 二级引证文献(4)
2020(3)
  • 引证文献(0)
  • 二级引证文献(3)
研究主题发展历程
节点文献
模型检测
遗传算法
反例理解
错误定位
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
哈尔滨工程大学学报
月刊
1006-7043
23-1390/U
大16开
哈尔滨市南岗区南通大街145号1号楼
14-111
1980
chi
出版文献量(篇)
5623
总下载数(次)
16
总被引数(次)
45433
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导