软件工程国家重点实验室开放基金
- 作品数：325 被引量：2,038H指数：19
- 相关作者：何克清李瑞轩卢正鼎徐宝文吴志健更多>>
- 相关机构：武汉大学华中科技大学华中师范大学更多>>
- 发文基金：国家自然科学基金湖北省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学理学电子电信更多>>
- UNIX实时性扩充方法被引量：6
- 2001年
- 开发实时UNIX的方法有多种,针对传统UNIX在实时应用方面存在的主要问题进行了分析,采用在传统UNIX基础上通过附加一个功能强大的实时库,增加一些实时功能的原理,阐述了UNIX实时性在优先级调度策略、内核抢占、内存上锁、时钟计时器、异步I/O等方面的扩充方法。
- 吴闽泉林子禹刘方早陈小萍
- 关键词：UNIX实时性调度策略定时器操作系统冗余技术
- 一种基于二分图故障检测模型的软件故障定位方法研究被引量：1
- 2013年
- 软件故障诊断过程中代价最昂贵和最耗时的活动之一就是软件故障定位。为了辅助测试人员进行软件故障的定位,在设计分层思想的指导下,在分析软件及其各个模块以及模块中代码之间复杂关系的基础上,通过分析历史数据中软件故障与现象之间的对应关系,建立了基于拓扑图的软件故障传播模型,使得软件故障诊断人员能够利用该拓扑图模型描述具体的软件故障现象。通过该拓扑图模型,软件故障传播模型可转换成更容易进行问题求解的基于二分图的故障检测模型。然后针对该模型设计了基于贪心策略的算法,该算法解决了基于二分图故障检测模型的最小覆盖求解问题,这一问题的求解结果描述了软件故障原因假设集合,通过故障原因与软件模块关系分析可找出与该故障原因对应的相应模块,从而实现故障定位。实验表明,本研究方案能够有效处理软件故障定位问题。
- 王耀宣叶俊民陈静汝欧中红
- 关键词：故障定位二分图
- 一种基于依赖性分析的类内聚度度量方法被引量：26
- 2003年
- 内聚度是指模块内各成分之间的联结强度.在面向对象程序中,内聚度主要是指类内部各成分之间的联结强度.在深入剖析了类的属性与属性、方法与属性以及方法与方法之间的关系及其性质的基础上,提出了一种基于依赖性分析的内聚度度量方法,并证明了它满足优良的内聚度度量方法应该具有的性质,从而克服了已有方法只是分析了某个方面的不足,为综合评价类内聚度提供了指南.
- 陈振强徐宝文
- 关键词：面向对象内聚度
- 一种新的并行自动聚类算法:CGC-Cluster被引量：1
- 2015年
- 针对基于基因表达式编程的自动聚类算法聚类速度较慢和聚簇质量较差的问题,提出一种新的并行自动聚类算法:基于统一计算设备架构和粗粒度并行模型的基因表达式编程自动聚类算法(CGC-Cluster).采用GRCM方法对基于基因表达式编程的自动聚类算法(GEP-Cluster)中聚类中心的筛选与聚合步骤进行了改进,基于统一计算设备架构以达到提高并行处理能力,基于粗粒度并行演化模型以提高并行度.选择了较知名的数据集,从算法的聚类速度和聚类质量两方面与GEP-Cluster算法进行了统计实验对比分析,实验结果表明,CGC-Cluster算法不仅获得了3倍左右的加速比,而且从簇内方差、Ocq指标和Dunn指标三种评判质量的指标进行比较,CGC-Cluster显著地改进了聚簇的质量.最后还通过实验分析了算法参数对并行算法的影响.
- 杜欣刘大刚倪友聪张开活谢大同
- 关键词：统一计算设备架构基因表达式编程聚类算法
- 一种有效的Web代理缓存替换算法被引量：19
- 2007年
- 设计良好的Web缓存替换策略能使网络上的资源得到最有效的利用。文章设计了一个较有效率的Web缓存替换策略LFRU,期望以较佳的方式获得网络资源及改善Web缓存的性能和服务质量。实验结果表明该策略有较高的文档命中率和字节命中率。
- 杨春贵吴产乐彭鸿雁
- 关键词：字节命中率
- 一种基于分形维数的自适应语音信息隐藏算法被引量：2
- 2003年
- 为了提高秘密数据传输的可靠性和安全性 ,本文以语音段分形维数计算为基础 ,提出一种检测时不需要原始语音信号的自适应语音信息隐藏方法 .语音段的秘密信息嵌入位置和数量由人类听觉感知特性和分形维数确定 ,在保证不可察觉性的前提下 ,兼顾了鲁棒性和隐藏量的要求 .仿真实验表明该算法具有较好的信息隐藏性能 .
- 陈力谢玉琼
- 关键词：分形维数数据传输语音信号处理
- 基于对象代理模型的工作流视图实现被引量：13
- 2005年
- 工作流视图源自数据库的视图概念,主要为了支持 Web服务环境中工作流的互操作性和对外界面的柔软性,以适应各种不同应用的需要.然而,目前还没有一种很好的工作流视图的实现机制.该文提出用对象代理模型来实现工作流视图,主要包括工作流相关类的代理类以及代数操作的定义.根据 XML过程定义语言(XPDL)的过程元模型,可以用这些代数操作为工作流的每一个类导出各种所需的代理类,实现柔软的工作流视图.
- 彭智勇罗义单喆李青
- 关键词：WEB服务工作流对象代理模型互操作性
- 基于MAS的电子商务谈判支持系统被引量：11
- 2005年
- 随着Internet技术的发展,网上电子商务谈判方式正在兴起。为了提高谈判效率,并增加谈判的智能辅助机制,该文引入Agent技术,重点介绍了以多Agent系统为基础的谈判支持系统(NSS)设计框架。在此系统中,建立了一个结合多目标决策理论和基于偏好理论的决策模型。
- 曾子明孟波
- 关键词：谈判AGENT多目标决策偏好谈判支持系统
- 一种分布式信息系统的构件模型及其应用研究被引量：2
- 2003年
- 1.引言
随着企、事业信息系统分布式应用需求的不断增长,大型分布式信息系统软件的开发难度在不断提高,项目失败的可能性也相应地增加.大型分布式信息软件系统的开发经常需要利用已有的成果,集成不同系统的标准软件包,通过集成来减少不必要的重复工作,提高软件的可用性,加快开发进度.
- 胡金柱王锐张昭理
- 关键词：软件开发软件系统分布式信息系统
- 一种源程序级软件验证方法研究被引量：3
- 2014年
- 软件质量对使用软件的各行各业有很深的影响,因此验证软件是否满足某些关键性质成为一个重要的问题.提出一种基于C语言的源程序级验证方法,其主要思想是将C源程序转换为与控制流图等价的Kripke结构,将这一Kripke结构作为程序的抽象模型,用CTL描述期望程序具备的性质,然后利用NuSMV模型验证工具检验该模型是否满足所期望的性质公式,从而达到检验程序是否满足该性质的目的.基于这种思想,设计并实现了一个自动将C源程序和其待检验的性质转换为NuSMV的输入文件并对其进行验证的环境原型.
- 叶俊民王珍戴跃庭金聪
- 关键词：KRIPKE结构控制流图NUSMV
