国家自然科学基金(61003203)
- 作品数：10 被引量：35H指数：4
- 相关作者：丁晓明陈武唐海鹏潘珍李正浩更多>>
- 相关机构：西南大学重庆大学重庆师范大学更多>>
- 发文基金：国家自然科学基金重庆市科技攻关计划中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术电子电信哲学宗教更多>>
- 基于稀疏表示的近邻传播聚类算法被引量：6
- 2014年
- 借助稀疏表示具有能较好刻画样本之间相似度的特点,提出一种基于稀疏表示的近邻传播聚类算法.仿真实验表明,本聚类算法较基于其它距离度量的算法能获得更好的聚类效果.
- 胡晨晓邹显春陈武杨阳
- 关键词：聚类
- 网络教育信息系统中的信息关联定位挖掘方法研究被引量：2
- 2017年
- 针对网络教育信息系统中信息检索的实时性和准确度不高的问题,提出基于教育信息资源最短路径调度的信息关联定位挖掘方法。构建网络教育信息系统中的信息资源的分布式存储结构模型,采用关联规则的候选概念格结点分配策略进行信息关联定位的信息素导引,提取网络教育信息系统中的所有对象信息的频繁项集特征,实现信息关联定位挖掘。仿真结果表明,采用该方法进行信息关联定位挖掘的准确度较高、时间开销较小,具有较好的应用可靠性。
- 李川王智
- 关键词：信息检索
- 基于RDF图的测试用例生成被引量：2
- 2014年
- RDF为Web服务提供了灵活的数据模型,可以用来表达数据之间的关系,其实质是功能强大的有向图.提出了一种基于RDF图的Web服务测试用例生成方法,基于RDF数据模型,结合测试路径覆盖准则,提出了基于RDF图的Web服务测试路径生成算法,由RDF图生成测试用例.通过实例证明,该方法可以从Web服务中得到测试用例.
- 李小亮丁晓明尹然梅莹
- 关键词：WEB服务测试用例
- 基于AdditionalUL策略的回归测试用例优先级排序
- 2015年
- Additional策略被广泛应用于测试用例的优先级排序,其排序结果与其他方法相比,具有较好的错误检测速率.但当遇到具有相同代码覆盖率的测试用例时,Additional策略采用随机选择方式,该方式降低了排序效果.基于此提出一种新的带使用标签的Additional策略,简称AdditionalUL策略.新策略根据捕捉到的测试用例的执行信息为测试用例添加标签,设定测试用例的优先级,以此优化排序效果.分别使用Additional策略与AdditionalUL策略对多组程序的测试用例集排序,并利用APFD评测指标衡量排序结果,实验表明,改进后的方法能够提高Additional策略的排序效果,具有更高的错误检测速率.
- 唐海鹏丁晓明
- 关键词：标签
- 半实物环境下嵌入式软件通用测试平台研究被引量：4
- 2015年
- 嵌入式软件规模日益增大,结构也越来越复杂.当前嵌入式软件测试系统通常针对特定被测软件,从底层做起,没有一个通用平台提供支持.本文提出了一个半实物环境下嵌入式软件通用测试平台框架,采用基于Eclipse CDT/JDT的跨语言源代码分析,使用XML文档作为测试数据交换介质,结合半实物环境下目标机的可替换性,实现了测试平台的通用性,自动化程度较高.根据该框架建成的测试平台,支持对被测程序进行源代码分析、按类插桩、自动编译、测试数据分析等操作.
- 郭旺丁晓明唐海鹏唐海鹏顾卫华
- 关键词：嵌入式软件软件测试测试环境
- 单尺度词袋模型图像分类方法被引量：12
- 2011年
- 针对基于SIFT特征描述的图像分类方法需构造多尺度极值空间,运算耗时且部分极值点无直观视觉意义,提出一种新型的图像分类方法。该方法通过网格直接提取单尺度SIFT特征,并对局部特征进行单尺度词袋模型描述。由于单尺度SIFT无须构造多尺度空间且保留了更多的全局信息,从而极大地降低了计算复杂度且使分类正确率得到显著提升。实验结果表明,提出的单尺度SIFT比常规SIFT所形成的词袋模型在分类正确率上有明显提高。
- 陈凯肖国强潘珍李正浩
- 关键词：图像分类视觉单词
- 西安地区PM_(2.5)扩散预测评估被引量：1
- 2015年
- 选取西安为研究对象,通过建立能够刻画该地区PM_(2.5)发生和演变(扩散与衰减等)规律的数学模型,完成对该地区污染扩散预测评估.通过采用PCA方法确定西安地区PM_(2.5)的扩散中心,并构建线性抛物型方程对一般情况下的扩散进行刻画,针对突发情形,即当PM_(2.5)浓度最高点处增至2倍时,采用高斯模型对数据进行扩散的预测和评估,计算出PM_(2.5)的污染扩散范围.最后通过比较完成对该地区的污染预测评估.
- 刘诗源丁晓明
- 关键词：MATLAB线性抛物型方程高斯模型
- 协商推理机制中的需求序关系研究被引量：1
- 2014年
- 在多AGENT系统的协商推理机制设计中,协商需求的序一直扮演着重要角色.为了设计合理的协商推理机制,一些研究者基于经典命题逻辑提出协商需求的序需要满足逻辑限制,但是命题逻辑表达常识推理的能力有限.近年来,越来越多的研究者选择表达常识推理更为有效的回答集程序作为协商背景知识表示的工具.为了设计基于回答集程序的合理协商推理机制,首先将逻辑限制转换成命题逻辑的模型表示,形成等价的模型限制,然后将模型限制的思想应用到回答集程序中形成回答集限制.同时,也证明了研究者们提出的基于需求出现次数的序满足回答集限制.
- 陈武
- 关键词：协商
- 多目标测试用例优先级排序研究进展被引量：4
- 2017年
- 单目标测试用例优先级排序具有片面性的缺点,为解决问题出现了多目标测试用例优先级排序;多目标测试用例优先级排序是根据多个优化目标给出测试用例的执行次序,从而提高软件测试效率,并降低回归测试开销;在介绍多目标测试用例优先级排序基本概念的基础上,总结了目前求解问题的主要方法,指出其存在的问题,给出了多目标测试用例优先级排序问题的未来研究方向。
- 杨芳丁晓明
- 关键词：帕累托最优
- 多元模态逻辑中的范本特姆—罗森定理被引量：4
- 2013年
- 证明了在多元模态逻辑中范本特姆—罗森定理仍然成立,即:无论在经典或有限模型论意义下,一个量词深度为n的一阶公式在多元互模拟关系下保持当且仅当它逻辑等价于一个模态词深度小于2n的多元模态公式.
- 陈武
