程媛
- 作品数：4 被引量：5H指数：1
- 供职机构：哈尔滨工程大学计算机科学与技术学院更多>>
- 发文基金：中央高校基本科研业务费专项资金国家科技支撑计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 模型检测中关键反例的提取算法
- 2015年
- 针对模型检测过程中产生的反例过于复杂和冗长的问题,提出一种基于时态逻辑ACTL*的模型检测关键反例的提取算法。基于存在性抽象框架提出了关键反例的概念,通过采用图论中对节点权重的计算方法,结合抽象技术,重新分析和设计了反例识别算法。基于关键反例的识别和抽象,算法大大缩减了反例空间,能够更准确迅速地定位错误。实验显示,在不提高算法复杂性的前提下,通过分析和计算模型中节点权重,构造带有权重的Kripke结构,能够更高效地引导反例精化过程,反例识别效率提升15%,同时为设计开发人员提供关于系统失效的更丰富的关键因素信息。
- 郎大鹏黄少滨程媛迟荣华
- 关键词：精化
- 一种基于部分已验证匹配关系的模式匹配模型被引量：3
- 2013年
- 模式匹配是模式集成、语义WEB及电子商务等领域的重点及难点问题.为了有效利用专家知识提高匹配质量,提出了一种基于部分已验证匹配关系的模式匹配模型.在该模型中,首先,人工验证待匹配模式元素间的少量对应关系,进而推理出当前任务下部分已知的匹配关系及单独匹配器的缺省权重;然后,基于上述已收集到的先验知识对多种匹配器所生成的相似度矩阵进行合并及调整,并在全局范围内进行优化;最后,对优化矩阵的选择性进行评估,从而为不同匹配任务推荐最合理的候选匹配生成方案.实验结果表明,部分已验证匹配关系的使用有助于模式匹配质量的提高.
- 黄少滨刘国峰万庆生程媛申林山
- 关键词：相似度矩阵
- 一种基于IDEF1x模型的层次多关系聚类算法被引量：1
- 2014年
- 多关系聚类仍存在利用统计方法提取一对多联系对应的信息时会忽略数据的原始特征、不同关系表间的联系出现的回路可能导致信息重复利用等问题,且尚未见有效的解决方法.本文认为利用IDEF1x模型中不同联系的特点,可重构有助于解决上述问题的模型.因此基于IDEF1x模型构建多关系数据集中表间关联关系层次模型的框架,然后定义框架中不同种类的联系对聚类结果传递的影响,以及整合多个子节点聚类结果的方法,并以此为基础提出新的多关系聚类算法.在真实的以及人工数据集上的实验效果表明,相较于单关系聚类算法以及对比的多关系聚类算法,所提算法可获得较准确的聚类结果.
- 黄少滨程媛万庆生刘国峰申林山
- 关键词：最短路径
- 基于聚类和辅助词典的模式匹配方法被引量：1
- 2013年
- 针对中文环境下的模式冲突问题,提出了一种利用元数据的模式匹配方法.该方法从数据字典中为模式提取特征向量,并采用聚类技术对其进行聚类,将语义相近的模式划分到相同聚簇中;对于同一聚簇中的不同模式,借助辅助词典计算属性间的语义相似度,并采用多种选择策略相结合的方法对结果进行过滤,为每个属性生成候选匹配集合.实验结果表明,该方法不仅可以提高模式匹配效率,而且具有较高的准确度.
- 刘国峰黄少滨程媛郎大鹏
- 关键词：聚类技术语义相似度
