国家自然科学基金(60873083)
- 作品数：7 被引量：51H指数：3
- 相关作者：李兵韩光辉曾诚陈昊曹步清更多>>
- 相关机构：武汉大学武汉商业服务学院湖北大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划湖北省青年杰出人才基金更多>>
- 相关领域：自动化与计算机技术天文地球更多>>
- 基于错误传播概率网络的软件回归测试用例选择
- 软件测试是保证软件质量的重要方法,回归测试是软件测试和维护过程中的重要过程。传统的回归测试方法开销较大,如何提高回归测试的效率和减少成本,测试用例的选择就成为一个需要解决的问题。软件内部结构对软件质量有重要影响。因此,对...
- 周晓燕李兵潘伟丰覃叶宜
- 关键词：软件网络
- 文献传递
- 云推理方法及其在预测中的应用被引量：18
- 2011年
- 不确定性推理是当前人工智能研究领域中的一项重要研究内容。云模型实现了定性概念与其定量表示之间的不确定转换,在云模型基础上构建的规则发生器能有效描述用自然语言表示的定性规则,实现不确定性推理。将基于云模型的不确定性推理方法用于预测实际工作环境中电子产品的使用寿命,说明了云推理方法的有效性和实用性。
- 陈昊李兵
- 关键词：云模型
- 基于加权类网络的面向对象软件系统耦合度分析
- 模块独立性是软件设计的重要原则。具有良好独立性的模块划分,系统可靠性强,易于理解和维护。模块独立性反映了软件的质量,因此,分析软件的模块独立性对评价软件质量具有重要作用。软件工程使用内聚度和耦合度评价模块独立性,高内聚和...
- 覃叶宜李兵潘伟丰周晓燕
- 关键词：面向对象软件加权网络耦合度
- 右线性文法与有限自动机等价性的一个新证明
- 2012年
- 迄今为止,左、右线性文法与有限自动机的等价性都是通过相互模拟构造来证明的。文章首先引入字母表上的右线性方程组及其最小解的概念,证明了最小解的存在性与有效可解性,描述了最小解的结构;其次通过右线性方程组及其最小解,证明了右线性文法与有限自动机的等价性。完全类似地,可以引入字母表上的左线性方程组及其最小解,并且证明左线性文法与有限自动机的等价性;最后简要阐述了右线性方程组在有限自动机的矩阵模型和正则语言类的形式模型方面的研究意义。
- 韩光辉曾诚
- 关键词：有限自动机等价性最小解
- 基于问题域的领域模型库度量
- 在网络化软件中,为了便利地对领域建模所得到的巨量、多粒度、多层次的领域模型进行复用,从而实现按需服务,需要以问题域为单位对领域模型进行组织.为此,以领域问题域的内聚度和耦合度为指标,对问题域的划分合理性进行度量,基于该度...
- 余敦辉何克清李兵余红卫
- 关键词：问题域
- 文献传递
- 一种半自动Web服务语义标注方法
- 2012年
- 针对目前Web服务语义标注方法的准确性不高和随意性较强等问题,提出一种半自动Web服务语义标注方法。首先解析Web服务的功能接口信息,抽取作为标注对象的核心词;然后利用概念相似度匹配算法生成候选概念集合,供自动标注或人工选择标注;若候选概念集合为空集,则利用同义词匹配算法与模式匹配算法再次匹配,求得新的候选概念集合。实验结果表明,该语义标注方法有效提高了查全率。
- 韩光辉曾诚
- 关键词：WEB服务语义标注WORDNETKMP算法
- 基于软件网络的软件度量若干问题研究
- ＜正＞～～
- 李兵
- 文献传递
- 基于逆向云和概念提升的定性评价方法被引量：23
- 2010年
- 基于自然语言的定性评价在人类活动中有着广泛应用.逆向云能有效实现从定量数值到定性概念的转化,已有的逆向云发生器由于估计误差原因,会出现超熵为虚数问题.本文提出的逆向云算法通过合理改进超熵的估计方法,确保了逆向云发生器的有效性.概念提升操作可以将用数字特征表示的原子概念组合成粗粒度的综合概念.将基于新的逆向云发生器和概念提升的定性评价方法用于词汇量定性评价,并与传统的定性评价方法相比较,说明了云定性评价方法的实用性、全面性和有效性.
- 陈昊李兵
- 关键词：云模型
- 云计算的栈模型研究
- 云计算包含了两个方面的含义:一方面是底层构建的云计算平台基础设施,是用来构造上层云服务的基础;另外一方面是构建在这个基础平台之上的云计算服务层.首先综述了云计算的研究现状,然后重点给出了云计算的栈模型结构.并在此基础上针...
- 曾诚李兵何克清
- 关键词：云计算虚拟化互操作性
- 文献传递
- 一种网络化软件的按需服务发现方法被引量：3
- 2012年
- 针对网络化软件的多种多样、个性化、模糊的用户需求,如何从海量、异构、动态的网络服务资源中找到最符合用户需求的、高质量的服务来构造网络化软件,以提高用户的体验质量,变得尤为重要。提出一种网络化软件的按需服务发现方法,首先根据具体领域,利用事先所建的领域本体对具体需求实例和服务信息进行语义标识,然后建立起"基本+功能+质量"的三阶段语义匹配模型。3个阶段逐步递进,通过判断是否大于预定阈值,找到最符合用户需求的服务资源来构造网络化软件;最后,应用物流领域实例对方法的性能进行了比较测试,结果表明,所提方法提高了网络化软件的需求和服务之间的语义匹配精度,能够找到最佳的服务资源服务来构造网络化软件。
- 曹步清李兵
- 关键词：网络化软件按需服务服务质量领域本体
