简介:针对目前装备作战概念设计方法无法满足“概念驱动”式装备发展论证中装备作战概念前瞻性、体系化与动态评估要求的问题,提出了模型驱动的装备作战概念设计方法,并以新型装甲突击系统的“侦察、机动、打击一体联动”作战概念为例,验证了该方法的可行性。该方法以装备作战概念的抽象性描述文本为输入,采用模型驱动体系结构、体系结构驱动设计的方式,构建了4类19个基于SysML(SystemsModelingLanguage)的装备作战概念DoDAF(DepartmentofDefenseArchitectureFramework)视图产品模型,实现了装备作战概念从基于文档到基于模型的表述。采用该方法构建的模型可进行可执行开发,为下一步装备作战概念的动态验证提供支持。
简介:给出了一种IMGS方法,在理论上证明了当系数矩阵为不可约的M-矩阵时IMGS方法收敛,且其收敛速度快于基本的TOR迭代法。最后用数值例子验证了所得到的主要结论。
简介:基于软件维护性尽早、全过程迭代验证的思想,提出了贯穿软件生命周期的维护性迭代验证策略及过程,建立了基于功能块平均维护时间的维护性迭代验证模型。通过阶段性地开展软件维护性验证,可及时发现软件维护性设计缺陷并及早更改,避免造成严重的维护性质量问题,大大降低软件使用阶段的维护费用,提高软件系统的完好率。通过制定规范的软件维护性验证策略和方案,规范了软件维护性验证实施过程,为软件维护性验证人员提供了可行的操作指南,也为软件维护性验证平台开发人员明确平台需要提供参考。实例验证结果表明:所提出的软件维护性迭代验证方法是有效、可行的,可为软件研制人员提供理论指导,也为软件使用和维护人员制订软件维护计划、配置软件维护资源提供决策依据。