针对复杂轨道机动规划与实际问题紧密耦合,建模和求解复杂的难题,提出复杂轨道机动规划本体元建模方法,设计并实现了通用软件。分析轨道机动规划特点,抽象得到任务段、停止条件、控制变量和约束组成的MSCC(Mission control segment-Stop...针对复杂轨道机动规划与实际问题紧密耦合,建模和求解复杂的难题,提出复杂轨道机动规划本体元建模方法,设计并实现了通用软件。分析轨道机动规划特点,抽象得到任务段、停止条件、控制变量和约束组成的MSCC(Mission control segment-Stop condition-Control parameter-Constraint)元模型体系,将MSCC元模型映射到软件设计,得到通用轨道机动规划软件类层次结构,采用C++语言实现了自主软件ATK.Planning,使轨道机动规划可以采用统一的方法描述和软件求解。针对快速交会和地月自由返回转移的仿真结果表明,软件仅通过人机界面配置就可以完成复杂轨道机动规划问题求解,收敛误差小于设定值,大大降低了任务设计时间。展开更多
为解决软件组织在软件项目开发过程中难以实施CMMI(capability maturity model integration)过程改进的问题,基于模型驱动架构的思想和技术,提出了一种"裁剪+重型扩展+轻型扩展"的元模型建模策略。给出了该建模策略下的具体...为解决软件组织在软件项目开发过程中难以实施CMMI(capability maturity model integration)过程改进的问题,基于模型驱动架构的思想和技术,提出了一种"裁剪+重型扩展+轻型扩展"的元模型建模策略。给出了该建模策略下的具体实施步骤和方法,实现了一种支持CMMI过程改进的软件过程元建模,同时给出了基于该元模型的建模实例。实验结果表明,该元模型有助于软件组织建立体现其组织特征并有效支持符合CMMI框架的软件过程用户模型。展开更多
提出了一种在构建形式化的软件演化过程模型(formal software evolution process model,FSEPM)中使用X-S图来度量开发人员的统计控制方法。开发人员是构建模型的核心角色,度量其相关属性可以透析和严格管理开发过程。通过一个实例说明...提出了一种在构建形式化的软件演化过程模型(formal software evolution process model,FSEPM)中使用X-S图来度量开发人员的统计控制方法。开发人员是构建模型的核心角色,度量其相关属性可以透析和严格管理开发过程。通过一个实例说明如何度量处在构建过程中的开发人员,利用度量结果来分析开发过程的稳定性、找出可归属原因、进行预测和估计、并为整个开发过程的演化奠定基础。展开更多
针对当前武器装备仿真训练软件(WETS,Weapons and Equipments Training SimulationSoftware)开发存在的问题,提出一种基于特定领域元模型的武器装备仿真训练软件开发方法。采用元建模理论,通过分析WETS基本特征,确定描述构成WETS元模型...针对当前武器装备仿真训练软件(WETS,Weapons and Equipments Training SimulationSoftware)开发存在的问题,提出一种基于特定领域元模型的武器装备仿真训练软件开发方法。采用元建模理论,通过分析WETS基本特征,确定描述构成WETS元模型整体的各部分及其相互关系,构建了描述武器装备仿真训练软件建模语言(WSML,Weapons and Equipments Training Simulation SoftwareModeling Language)的元模型。提出了基于元模型的WETS开发流程。通过大量工程应用,表明该方法是支持模型重用的,可显著提高仿真训练软件的开发效率及其运行可靠性的开发方法。展开更多
文摘针对复杂轨道机动规划与实际问题紧密耦合,建模和求解复杂的难题,提出复杂轨道机动规划本体元建模方法,设计并实现了通用软件。分析轨道机动规划特点,抽象得到任务段、停止条件、控制变量和约束组成的MSCC(Mission control segment-Stop condition-Control parameter-Constraint)元模型体系,将MSCC元模型映射到软件设计,得到通用轨道机动规划软件类层次结构,采用C++语言实现了自主软件ATK.Planning,使轨道机动规划可以采用统一的方法描述和软件求解。针对快速交会和地月自由返回转移的仿真结果表明,软件仅通过人机界面配置就可以完成复杂轨道机动规划问题求解,收敛误差小于设定值,大大降低了任务设计时间。
文摘为解决软件组织在软件项目开发过程中难以实施CMMI(capability maturity model integration)过程改进的问题,基于模型驱动架构的思想和技术,提出了一种"裁剪+重型扩展+轻型扩展"的元模型建模策略。给出了该建模策略下的具体实施步骤和方法,实现了一种支持CMMI过程改进的软件过程元建模,同时给出了基于该元模型的建模实例。实验结果表明,该元模型有助于软件组织建立体现其组织特征并有效支持符合CMMI框架的软件过程用户模型。
文摘提出了一种在构建形式化的软件演化过程模型(formal software evolution process model,FSEPM)中使用X-S图来度量开发人员的统计控制方法。开发人员是构建模型的核心角色,度量其相关属性可以透析和严格管理开发过程。通过一个实例说明如何度量处在构建过程中的开发人员,利用度量结果来分析开发过程的稳定性、找出可归属原因、进行预测和估计、并为整个开发过程的演化奠定基础。
文摘针对当前武器装备仿真训练软件(WETS,Weapons and Equipments Training SimulationSoftware)开发存在的问题,提出一种基于特定领域元模型的武器装备仿真训练软件开发方法。采用元建模理论,通过分析WETS基本特征,确定描述构成WETS元模型整体的各部分及其相互关系,构建了描述武器装备仿真训练软件建模语言(WSML,Weapons and Equipments Training Simulation SoftwareModeling Language)的元模型。提出了基于元模型的WETS开发流程。通过大量工程应用,表明该方法是支持模型重用的,可显著提高仿真训练软件的开发效率及其运行可靠性的开发方法。
