李艳梅
- 作品数：6 被引量：15H指数：2
- 供职机构：哈尔滨工程大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金国家科技支撑计划中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于模型检测的审计方法逻辑正确性验证
- 2017年
- 利用模型检测的建模方法,对审计方法及其计算过程和期望的计算结果进行建模,并在模型检测器上对逻辑性较强的凭证断号检查审计方法进行验证,提出一个利用模型检测方法对审计方法逻辑正确性验证的框架.利用模型检测器给出的反例,对验证的审计方法进行修正.实验结果表明,模型检测方法能验证审计方法逻辑的正确性.
- 李雅黄少滨关晓康李艳梅朱璧如
- 关键词：形式化验证审计方法
- 基于P2P的文件同步更新的研究与实现
- 文件同步作为维护分布式环境中各个节点文件系统间数据一致性的方法,是分布式环境中的一项关键技术。文章在分析文件同步技术现状的基础上,提出了基于p2p方式传输的用户可选的文件同步系统的设计方案。该同步软件系统选用C/S与P2...
- 高伟李艳梅陈维花
- 关键词：C/SFTPP2P
- 文献传递
- 基于决策图的复杂系统模型对称约减方法被引量：1
- 2013年
- 针对复杂随机系统模型检测过程中的状态空间爆炸问题,提出一种用于支持迁移回报特征描述的概率模型对称约减方法。通过引入状态集等价关系唯一表示函数,约减了原模型中的状态集尺寸;通过加入回报特征描述,改进了传统的多终端二元决策图,用于表示概率回报模型中的迁移关系;基于迁移矩阵,提出了一种高效的对称约减算法,完成了迁移关系的约简。实验结果表明了该方法的可行性与有效性。
- 纪明宇王海涛陈志远李艳梅
- 关键词：形式化验证状态空间爆炸决策图
- 高阶异构数据模糊联合聚类算法被引量：8
- 2014年
- 为了更有效地分析聚簇重叠部分高阶异构数据的聚簇结果,提出了一种高阶异构数据模糊联合聚类(HFCC)算法,该算法最小化每个特征空间中对象与聚簇中心的加权距离。推导出对象隶属度和特征权重的迭代更新公式,设计出聚类过程的迭代算法,并且从理论上证明了该迭代算法的收敛性。另外,通过泛化XB指标,提出适用于评估高阶异构数据聚类质量的指标GXB,用于判断聚簇数目。实验表明,HFCC算法能够有效探测数据内部隐藏的重叠聚簇结构,并且HFCC算法聚类效果明显优于5种有代表性的硬划分算法,此外GXB指标能够有效判定高阶异构数据的聚簇数目。
- 黄少滨杨欣欣申林山李艳梅
- 关键词：联合聚类模糊聚类
- 基于遗传算法的反例理解被引量：4
- 2016年
- 在复杂系统的错误定位过程中,为了寻找合适的证例,提出一种结合模型检测技术的基于遗传算法的反例理解算法。利用遗传算法,针对模型检测中的模型具有初始状态,状态之间有相应的迁移关系等特点,初始化种群、设计适应度函数并进行指向性的变异操作。实验表明该算法能快速有效的获得最近证例,帮助模型检测的反例理解。
- 李雅黄少滨李艳梅迟荣华郎大鹏
- 关键词：遗传算法
- 一种基于最弱前置条件的软件错误定位算法被引量：2
- 2019年
- 错误定位是软件调试中非常耗时费力的活动之一,自动错误定位技术可以有效地提高调试效率,降低调试成本.基于最弱前置条件的错误定位技术,首先计算出程序需要满足的最弱前置条件,并为其构造错误分析图;然后在错误分析图上依照失败测试用例进行初始化标记;最后限定分析图的输入和输出,自顶向下再次对其进行标记,找到冲突的结点,从而进行错误定位.实验结果表明,相对于其它方法,文中提出的方法能有效地提高程序错误定位的效率,使得调试人员只需检查更少的语句即可找到出错的位置.
- 李雅黄少滨李艳梅迟荣华郎大鹏
