李艳梅

作品数：5被引量：16H指数：2
导出分析报告
供职机构：哈尔滨工程大学计算机科学与技术学院更多>>
发文主题：反例形式化验证高阶聚类算法模糊聚类更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《哈尔滨工程大学学报》《吉林大学学报（理学版）》《计算机工程与设计》《电子学报》更多>>
所获基金：国家自然科学基金国家科技支撑计划中央高校基本科研业务费专项资金中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于最弱前置条件的软件错误定位算法被引量：2
《电子学报》2019年第1期25-32,共8页李雅 黄少滨 李艳梅 迟荣华 郎大鹏 
国家自然科学基金(No.61772177;No.61806075);黑龙江省自然科学基金(No.F2018029);黑龙江工程学院博士科研启动基金(No.2018BJ03;No.2017BJ13)
错误定位是软件调试中非常耗时费力的活动之一,自动错误定位技术可以有效地提高调试效率,降低调试成本.基于最弱前置条件的错误定位技术,首先计算出程序需要满足的最弱前置条件,并为其构造错误分析图;然后在错误分析图上依照失败测试用...
关键词：调试 错误定位 最弱前置条件 反例理解 
基于模型检测的审计方法逻辑正确性验证
《吉林大学学报（理学版）》2017年第5期1261-1268,共8页李雅 黄少滨 关晓康 李艳梅 朱璧如 
国家自然科学基金(批准号:71272216);国家科技支撑计划项目(批准号:2012BAH08B02)
利用模型检测的建模方法,对审计方法及其计算过程和期望的计算结果进行建模,并在模型检测器上对逻辑性较强的凭证断号检查审计方法进行验证,提出一个利用模型检测方法对审计方法逻辑正确性验证的框架.利用模型检测器给出的反例,对验证...
关键词：形式化验证 模型检测 审计方法 
基于遗传算法的反例理解被引量：5
《哈尔滨工程大学学报》2016年第10期1394-1399,1437,共7页李雅 黄少滨 李艳梅 迟荣华 郎大鹏 
国家科技支撑计划课题(2012BAH08B00)
在复杂系统的错误定位过程中,为了寻找合适的证例,提出一种结合模型检测技术的基于遗传算法的反例理解算法。利用遗传算法,针对模型检测中的模型具有初始状态,状态之间有相应的迁移关系等特点,初始化种群、设计适应度函数并进行指向性...
关键词：模型检测 遗传算法 反例理解 错误定位 
高阶异构数据模糊联合聚类算法被引量：8
《通信学报》2014年第6期15-24,共10页黄少滨 杨欣欣 申林山 李艳梅 
国家自然科学基金资助项目(71272216;60903080;60093009);国家科技支撑计划基金资助项目(2009BAH42B02;2012BAH08B02);博士后科学基金资助项目(2012M510480);中央高校基本科研业务费专项基金资助项目(HEUCFZ1212;HEUCFT1208)~~
为了更有效地分析聚簇重叠部分高阶异构数据的聚簇结果,提出了一种高阶异构数据模糊联合聚类(HFCC)算法,该算法最小化每个特征空间中对象与聚簇中心的加权距离。推导出对象隶属度和特征权重的迭代更新公式,设计出聚类过程的迭代算法,并...
关键词：高阶异构数据 联合聚类 模糊聚类 
基于决策图的复杂系统模型对称约减方法被引量：1
《计算机工程与设计》2013年第10期3685-3689,共5页纪明宇 王海涛 陈志远 李艳梅 
中央高校基本科研业务费专项基金项目(DL11BB08);国家自然科学基金项目(71001023)
针对复杂随机系统模型检测过程中的状态空间爆炸问题,提出一种用于支持迁移回报特征描述的概率模型对称约减方法。通过引入状态集等价关系唯一表示函数,约减了原模型中的状态集尺寸;通过加入回报特征描述,改进了传统的多终端二元决策图...
关键词：形式化验证 模型检测 状态空间爆炸 决策图 对称约减 商模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部