叶飞
- 作品数:28 被引量:38H指数:4
- 供职机构:中国人民解放军军械工程学院装备指挥与管理系更多>>
- 发文基金:中国人民解放军总装备部预研基金河北省自然科学基金国防科技技术预先研究基金更多>>
- 相关领域:自动化与计算机技术兵器科学与技术军事文化科学更多>>
- 软件运行时验证加速中的多目标约束模型研究
- 2016年
- 由于复杂性质的运行时验证中常产生高额时间开销,影响了该技术在系统部署后的应用;减小验证开销提高验证效率已成为亟待解决的难点问题;通过识别运行时验证优化过程中多目标约束间的内在依赖关系,定义并构建了可加速监控器的判定方程,作为验证加速中的多目标约束模型;实验表明:该模型的求解结果能够用来判定可加速监控器,为实施软件运行时验证加速提供量化依据。
- 刘彦斌叶飞王毅刚
- 关键词:多目标约束监控器
- 基于隐马尔可夫链模型的软件维护性评估方法研究被引量:2
- 2016年
- 针对当前软件可维护性评估主观性强,可操作性弱等问题,提出了定量描述维护性的维护时间统计概率描述方法,引人隐马尔可夫链(HMC)模型对维护性状态变迁过程进行描述,以可度量的维护性内部属性影响因素集量化值为观测序列,以维护时间统计概率为状态序列,构造了反映可维护性状态转移的HMC模型;收集配置管理库中软件模块历史维护时间从而确定完成维护任务频率来估计软件维护性初始状态,利用复杂网络特性计算软件维护性影响因素集的量化值,理论上即可评估出当前软件所处的维护性状态,最后运用实例对模型进行了训练与评估;结果表明,利用模型评估出的概率与实际维护任务统计出的可维护性概率基本一致,说明该方法可行且可重复,具有一定实践意义和研究前景。
- 郝学良朱小冬叶飞
- 关键词:软件维护性模糊推理信息融合
- 基于改进GSP算法的软件故障诊断研究
- 2010年
- 提出了基于软件运行序列和改进序列模式挖掘GSP算法进行软件故障诊断的方法。首先利用软件黑匣子进行软件运行序列的提取,然后通过改进的GSP算法进行软件故障诊断定位。实例分析结果表明,该方法能有效地挖掘隐藏在软件运行序列中的信息,实现软件故障诊断。
- 林立李志勇叶飞
- 关键词:序列模式挖掘
- 虚拟维修训练系统在装备应急维修训练中的应用
- 按照通用平台、统一开发虚拟维修训练课程的设计思路,给出了虚拟维修训练系统的系统框架;提出了面向维修训练的虚拟样机模型、训练过程模型、通用交互接口、训练内容数据标准等关键技术的解决途径;分析了其用于装备应急维修训练的实现方...
- 李星新赵征凡叶飞
- 关键词:虚拟维修训练交互接口
- 文献传递
- 虚拟维修训练的基本问题与技术体系研究被引量:9
- 2010年
- 给出了虚拟维修训练的概念和内涵,分析了虚拟维修训练的基本问题,建立了虚拟维修训练的技术体系,并对虚拟维修训练的发展进行了展望。
- 李星新郝建平叶飞赵征凡
- 关键词:虚拟维修训练
- 软件维护性迭代验证方法
- 2016年
- 基于软件维护性尽早、全过程迭代验证的思想,提出了贯穿软件生命周期的维护性迭代验证策略及过程,建立了基于功能块平均维护时间的维护性迭代验证模型。通过阶段性地开展软件维护性验证,可及时发现软件维护性设计缺陷并及早更改,避免造成严重的维护性质量问题,大大降低软件使用阶段的维护费用,提高软件系统的完好率。通过制定规范的软件维护性验证策略和方案,规范了软件维护性验证实施过程,为软件维护性验证人员提供了可行的操作指南,也为软件维护性验证平台开发人员明确平台需要提供参考。实例验证结果表明:所提出的软件维护性迭代验证方法是有效、可行的,可为软件研制人员提供理论指导,也为软件使用和维护人员制订软件维护计划、配置软件维护资源提供决策依据。
- 郝学良朱小冬叶飞
- 关键词:软件维护性
- 军械装备故障诊断训练方法
- 本发明公开了一种军械装备故障诊断训练方法,涉及程序控制系统技术领域。所述方法包括以下步骤:(1)建立虚拟维修训练样机;(2)设置虚拟维修训练样机的故障诊断训练流程;(3)对故障诊断训练流程按科目体系封装;(4)对封装好的...
- 李星新郝建平李浩智叶飞赵吉昌
- 文献传递
- 软件维护性早期设计与评价模型
- 针对当前大型软件维护困难、费用高、维护性差及设计难等问题,重点对软件体系结构设计阶段的软件维护性设计及评价方法进行了研究,提出了一个软件维护性设计与评价概念模型,建立了软件维护性设计模型,研究了软件维护性数据模型以精确描...
- 叶飞朱小冬
- 关键词:软件维护性软件设计数据模型
- 文献传递
- 基于XML的软件非功能需求建模研究被引量:1
- 2008年
- 本文针对当前软件设计中非功能需求描述不清楚、难以实现等问题,对软件非功能需求建模方法进行了研究,提出了一个基于XML的软件非功能需求建模方法,构建了一个软件非功能需求元模型,该模型主要包括属性、约束和实现方法三个数据单元。在此基础上,利用XML Schema定义了软件非功能需求的数据模型结构,以一个通信系统的非功能需求建模为例说明了本模型的建模过程和方法,结果表明,该建模方法有助于设计人员对软件非功能需求进行清楚的定义。
- 叶飞朱小冬王毅刚
- 关键词:XML软件设计
- 基于开发过程数据的软件可维护性评估被引量:2
- 2016年
- 针对软件维护性影响因素多、度量难度大、软件维护实验成本高,且不可避免地产生霍桑效应等问题,提出一种基于开发过程数据挖掘的维护性评估方法,建立了基于平均功能块维护时间的维护性评估模型.通过对软件配置管理库、文档等数据源进行数据收集、整理、分析,将软件维护时间作为维护性验证参数,实现了对软件维护性的定量评估.最后,利用实际的软件工程项目验证了方法的可行性和有效性.
- 郝学良朱小冬叶飞刘丽
- 关键词:软件工程数据挖掘