安徽省科技攻关计划(08010201002)
- 作品数：24 被引量：94H指数：6
- 相关作者：李龙澍徐怡程凡陈剑李学俊更多>>
- 相关机构：安徽大学中国科学技术大学合肥工业大学更多>>
- 发文基金：安徽省科技攻关计划安徽省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术交通运输工程机械工程更多>>
- 基于Listwise的新型排序算法被引量：3
- 2011年
- 基于Pairwise的排序算法得到的判别式模型准确率较低。为此,提出一种基于Listwise的新型排序算法。采用判别式模型,将基于1-slack的支持向量机作为算法框架,定义算法的优化目标。由于该目标的约束条件太多,难以直接优化,因此使用割平面法求解。对于算法内部寻找最违背排列的子问题,将其看作一个线性指派问题,采用匈牙利法求解。在基准数据集上的实验结果验证该算法的有效性和稳定性。
- 程凡李龙澍
- 关键词：支持向量机匈牙利法
- 基于非凸上界的ranking模型构造算法
- 2012年
- 现有的ranking算法均通过最小化原目标函数的凸上界构造ranking模型,得到的模型不够精确.为此,文中提出一种基于非凸上界的ranking算法.该算法首先给出一个基于多类支持向量机(SVM)的框架,然后定义面向NDCG的目标函数,在此基础上设计一个比现有的凸上界更为紧凑的非凸上界逼近原目标函数;针对上界函数的非凸非光滑,提出使用凹-凸过程进行凸逼近,并采用割平面算法进行求解;最后,通过在基准数据集上的实验对该算法进行验证,并与现有算法进行对比.结果表明,相比现有的基于凸上界的ranking算法,文中算法得到的模型不但更为精确,而且更加稳定.
- 程凡王煦法李龙澍
- 关键词：割平面算法多类支持向量机
- 基于UML状态图的测试技术研究被引量：8
- 2009年
- 统一建模语言UML具有定义良好、易于表达、功能强大的特点,同时还提供了非常强大的图例模型。目前,UML统一建模语言已经广泛应用于软件开发之中,而基于UML状态图的测试技术研究,目的就是为了能够有效地发现软件中存在的缺陷和故障,保证相应软件质量。讨论分析了基于UML状态图的测试用例生成技术,提出一种基于UML状态图的测试用例生成方法,生成较少但有效的测试用例,便于实现自动化测试,并介绍了基于状态图的测试覆盖标准,最后讨论了未来可以研究的方向。
- 高莉李龙澍
- 关键词：UML状态图软件测试测试用例
- 改进的启发式LEM2快速规则获取算法被引量：3
- 2010年
- LEM2算法是一种有效的规则提取算法,但是效率有待提高.针对效率问题,文章对LEM2算法作了一些改进:在计算属性值对的同时获取单条件属性的确定规则,并且可以去掉某些冗余属性;定义了决策分配势矩阵作为启发信息,简化了LEM2算法内部的多重循环.最后给出了两种算法的复杂度分析和仿真对比试验,结果表明改进算法能获取更为简洁的规则,并能有效的提高算法的效率.
- 纪霞李龙澍陈圣兵赵鹏
- 关键词：启发信息
- 多层次、多侧面的商空间合成方法研究
- 2013年
- 文章对商空间理论中的合成方法进行了扩展,提出了多层次、多侧面的商空间合成模型,讨论了模糊等价关系运算与距离空间合成和多侧面商空间合成之间的关系,并将多层次、多侧面的商空间合成模型应用于纹理图的分割。实验验证了这一方法的可行性和有效性。
- 齐平李龙澍
- 关键词：模糊等价关系
- 基于粗糙集与证据理论的测试用例优化研究被引量：2
- 2012年
- 由于软件体系复杂度和数量不断增加使得测试用例的设计和选择越来越困难,为了能够在来自不同信息源的众多测试用例中选择有效的用例集,提出了一种基于粗糙集与证据理论的测试用例优化方法。粗糙集是一种处理不确定信息的有效方法,其本身不需要先验知识、有经典的约简算法等;D-S理论处理来自不同信息源的数据合成问题,是经典概率论的一种扩展,但其本身存在许多不足。粗糙集的特点恰好可以弥补其不足,两者结合从而达到良好的效果。在实际应用分析中,证明该方法是可行而且有效的。
- 孙青青李龙澍李学俊徐怡
- 关键词：测试用例粗糙集证据理论多源信息
- 改进的基于包含约束的指针分析法
- 2010年
- 针对基于包含约束的指针分析法存在的主要问题是包含约束语言的限制性和约束图的简化,提出了一个基于包含约束语言的指针分析算法。首先对包含约束语言进行扩展,使其不再局限于几个基本形式,并进一步给出约束传播规则;然后一次性构建约束图,图中不再存在复杂边,整个分析过程由动态转化为静态;最后,提出一个算法对简化的约束图进行分析,得到指针信息。实验结果表明,该算法能够精确地分析出一个指针的任何级别脱引用的指向信息。
- 崔应霞李龙澍姚晟
- 一种新型直接优化NDCG的排序模型构造算法被引量：1
- 2013年
- 针对现有直接优化NDCG的排序算法或基于虚梯度或基于结构化学习,其得到的模型均不够精确,提出一种新的排序算法.算法以多类SVM为框架,在此基础上设计了一个面向NDCG的目标函数.考虑到该函数的非光滑性,提出使用割平面算法进行求解,同时注意到已有割平面算法可能存在的"主问题"非单调递减,会降低算法的收敛速度,进而设计了一种高效的线性搜索算法对割平面的选择进行改进,确保了"主问题"的单调递减.基准数据集上的实验证明了所提算法的有效性.
- 程凡王煦法
- 关键词：多类SVM
- 组合测试用例集的动态生成算法被引量：3
- 2011年
- 在逐因素扩展算法的基础上,提出了一种有效的组合测试用例生成算法IPO_T。该算法根据已被扩展的测试用例覆盖t(t≥2)参数值组合的情况确定水平扩展方法,并依据新的被覆盖的t参数值组合修改已被扩展的部分测试用例,从而达到对测试用例集的优化。设计实现了基于该方法的测试用例生成工具。通过和部分现有的支持t维组合测试工具比较,IPO_T在合理的时间内产生的测试用例集较小。
- 崔应霞李龙澍姚晟
- 关键词：测试用例生成
- 不相容决策系统中的规则提取方法研究被引量：4
- 2013年
- 现有规则提取方法大多数只能在相容决策系统中提取规则,并且提取出的规则冗余度高、用户不易理解。针对该问题,提出一种基于对象集覆盖的规则提取方法,利用粗糙集理论将对象集划分为相应的等价类,根据属性特征值的一致性程度和相似程度产生有效性规则,通过等价类划分和对象集覆盖解决不相容决策系统的规则提取问题。算例分析结果表明,该方法提取出的规则简单可靠,具有较好的鲁棒性。
- 朱国龙李龙澍
- 关键词：数据挖掘粗糙集特征集决策表
