王毅刚

作品数：36被引量：84H指数：4
导出分析报告
供职机构：中国人民解放军军械工程学院更多>>
发文主题：软件维护嵌入式软件软件可维护性插桩监控器更多>>
发文领域：自动化与计算机技术兵器科学与技术军事交通运输工程更多>>
发文期刊：《科技广场》《计算机仿真》《计算机与数字工程》《计算机与现代化》更多>>
所获基金：中国人民解放军总装备部预研基金国防科技技术预先研究基金河北省自然科学基金军队科研计划项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
软件运行时验证加速中的多目标约束模型研究
《兵器装备工程学报》2016年第10期80-83,138,共5页刘彦斌 叶飞 王毅刚 
河北省自然科学基金项目(F2014506017)
由于复杂性质的运行时验证中常产生高额时间开销,影响了该技术在系统部署后的应用;减小验证开销提高验证效率已成为亟待解决的难点问题;通过识别运行时验证优化过程中多目标约束间的内在依赖关系,定义并构建了可加速监控器的判定方程,...
关键词：运行时验证 多目标约束 监控器 监控开销 运行时监控 
软件运行时验证加速中的多目标约束模型研究
《兵器装备工程学报》2016年第9期79-82,104,共5页刘彦斌 叶飞 王毅刚 
河北省自然科学基金项目(F2014506017)
通过监控程序运行检验软件运行是否满足给定性质的轻量级验证中常产生高额的时间开销,阻碍了该技术部署后在系统中的应用。如何减小验证开销、提高验证效率,已成为亟待解决的难点问题;通过识别运行时验证优化过程中多目标约束间的内在...
关键词：运行时验证 多目标约束 监控器 监控开销 运行时监控 
多目标约束下软件运行时验证加速技术框架被引量：2
《兵器装备工程学报》2016年第8期88-92,121,共6页刘彦斌 王毅刚 叶飞 
河北省自然科学基金项目"多目标约束下的软件运行时验证加速技术研究"(F2014506017)
软件运行时验证是一种近年来逐步兴起的通过监控程序运行来检验其是否满足给定性质的轻量级验证技术。由于复杂性质的运行时验证中常产生高额的时间开销,阻碍了该技术在部署后系统中的应用。在深入剖析国内外研究现状及存在问题基础上,...
关键词：运行时验证 多目标约束 监控器 监控开销 运行时监控 
装备完好率要求和人才成长规律的维修任务分配方法被引量：4
《火力与指挥控制》2014年第9期96-100,共5页陈冰 朱小冬 王毅刚 叶飞 
装备完好率是军事单位战备完好性水平的重要组成部分,人才的成长需要在实践中锻炼,针对我军装备维修任务分配难题,根据不同维修级别的情况,分析维修任务分配对装备完好率水平和人才成长的影响,提出基于装备完好率要求和人才成长规律的...
关键词：装备完好率 人才 任务分配 方法 
软件体系结构级维护时间预测
《计算机仿真》2013年第11期238-241,共4页刘丽 朱小冬 叶飞 王毅刚 
装备预先研究项目(基金项目号不公开)
软件维护难度大、费用高已成为人们日益关注的焦点,而软件体系结构设计在很大程度上决定了软件的可维护性。为提高软件维护效率,降低费用,首先提出对某一体系结构设计变更场景,将变更场景按复杂性区分为简单场景、一般场景及复杂场景,...
关键词：软件体系结构 软件可维护性 变更场景 复杂性分类 影响因素分析 
基于模糊推理的软件可维护性度量模型研究被引量：1
《计算机测量与控制》2013年第7期2005-2007,共3页李贵根 朱小冬 王毅刚 
二五装备预先研究项目
针对当前软件的可维护性度量难度大,度量结果不精确的突出问题,在传统层次度量模型的基础上,提出了一种基于模糊推理的软件可维护性度量模型,该模型运用模糊推理的数学原理,改变了传统的定性度量方法,使其是定量化的连续度量,从而使结...
关键词：软件可维护性 度量模型 模糊推理 层次模型 
基于CBR和XML软件体系结构改进方法
《计算机测量与控制》2013年第7期2008-2010,共3页刘丽 朱小冬 叶飞 王毅刚 
装备预先研究项目
软件体系结构设计改进是增强系统可维护性,使之适应可能的需求变化的一种有效手段。提出了一种基于CBR和XML的体系结构设计改进方法。以XML语言描述了反体系结构模式和相应的改进方案,研究了它们在案例库中的组织和索引机制。根据基于...
关键词：基于案例推理 可扩展标记语言 软件体系结构模式 反体系结构模式 可维护性 
基于人才成长规律的维修任务分配模型研究被引量：1
《计算机与数字工程》2013年第5期763-765,847,共4页陈冰 朱小冬 王毅刚 叶飞 
针对我军各维修级别的不同情况,对不同维修级别的装备保障人才影响因素进行了分析研究,建立了不同维修级别装备保障人才成长的模型。并运用实例对模型的正确性进行了说明和验证,实例结果表明,该模型更贴近部队实际,对于部队的维修任务...
关键词：人才 维修级别 任务分配 模型 
基于改进关联规则的维修专业组合与优化模型被引量：2
《计算机应用研究》2013年第2期410-413,共4页孙志刚 朱小冬 王毅刚 
针对维修过程中各专业忙闲不均和协同工作效率低下等问题,提出了一种基于改进关联规则的维修专业组合和优化方法。首先,以均衡任务量为目标,建立了维修专业关联度分析模型;其次,以功能聚合为目标,提出了以较大概率共同承担任务且任务量...
关键词：维修任务 维修专业 关联规则 组合优化 
一种基于场景的软件维护性需求分析方法被引量：2
《计算机科学》2013年第1期166-170,共5页叶飞 朱小冬 王毅刚 
国防预研项目资助
软件维护性是软件质量的重要属性之一,它在很大程度上决定了软件的后期维护成本。设计赋予软件良好的维护性是软件需求、设计和开发经常忽视的一个问题,也是一个难题。提出了一种基于场景的软件维护性需求分析方法,即通过对软件将来可...
关键词：软件维护性 软件维护 场景 需求分析 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部