李心磊
- 作品数：4 被引量：10H指数：2
- 供职机构：安徽工业大学计算机科学与技术学院更多>>
- 发文基金：安徽省高校省级自然科学研究项目中央高校基本科研业务费专项资金中国航空科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- Tri-training算法中分类器组合的改进被引量：4
- 2014年
- Tri-training算法是半监督协同算法里的经典算法,该文针对算法中分类器的使用做了一些改进,由原先单一的分类器换成两个不同分类器的组合。使用SVM分类器和最大熵分类器的不同组合作为Tri-training算法里的三个分类器构成分类器模型,然后分别对稀疏型数据、密集型数据与原始Tri-training算法进行实验比较,从而验证改进的有效性。
- 李心磊杨思春彭月娥
- 关键词：半监督学习最大熵
- 面向中文问答社区的问题去重技术研究
- 2014年
- 基于《知网》语义知识资源,提出一种基于问句相似度计算的问答社区问题去重方法。通过计算已有问题集合中问题间的语义相似度,将其中重复度较高的问题进行筛选并去除,从而提高用户获取所需信息的效率,改善用户体验。在"爱问知识人"的真实问题集上的实验结果表明:该方法获得了较好的去重效果。
- 彭月娥杨思春李心磊丁菲菲向恒月
- 关键词：相似度相似度计算
- 双序渐进式概念格合并算法被引量：2
- 2013年
- 针对传统的概念格合并算法仅为单向的纵向或横向合并,提出一种基于概念内涵、外延升降序的双序渐进式合并算法。按照概念的内涵或外延的升序和降序,从两个方向(由上到下和由下到上)同时进行子概念格的纵向或横向合并。算法分析和示例结果表明,该算法不仅在结构上较好地保留了原有信息,而且在效率上也获得了显著的提高。
- 姚佳岷杨思春李心磊彭月娥
- 关键词：概念格
- 带数据约束实时系统的模型检测被引量：4
- 2014年
- 带数据约束的实时系统是指一种既带有时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个模型中的规范及验证研究较少。文中提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连续时间的ZIA规范,并给出它的时序逻辑。MARTE是UML在嵌入式实时系统领域的建模规范,在工业界的应用非常广泛,但是目前对其模型检测的研究较少。在MARTE的基础上扩展Z,提出了Z-MARTE,并将Z-MARTE转换为基于连续时间的ZIA模型,在实现对连续时间ZIA模型检测的同时,也实现了对Z-MARTE的模型检测。最后通过一个实例进行验证,说明此方法可行有效。
- 倪水妹曹子宁李心磊
- 关键词：数据约束实时系统MARTE
