基于SysML的系统体系结构产品设计

系统建模语言(SysML)是国际对象管理组织(OMG)开发的系统工程可视化体系结构设计语言。以该设计语言为基础,参照美国国防部体系结构框架文件(DoDAF),提出一种基于模块化功能分析的体系结构设计思路和体系结构产品描述过程。综合系统工程结构化方法和面向对象方法的优势,支持集成系统高层体系结构设计描述、分析及校验。论述系统体系结构产品设计步骤,并采用防空作战指挥系统的部分产品生成实例展示此过程。     

基于SysML的作战概念描述方法研究

为了便于不同领域研究人员的理解和交流,须采用规范化的方法对作战概念进行描述.基于体系结构的方法,提出将系统建模语言System Modeling Language,SysML)用于作战概念的可视化和规范化描述.分析了将国防部体系结构框架Department of Defense Architecture Framewo...     

基于SysML系统设计的动态性能效能评价

阐述符合DoDAF标准的SysML系统体系结构设计、设计方案的可执行模型和定量化系统动态性能效能评价。通过作战案例分析,提出了指挥自动化系统体系结构设计过程中建立可执行模型的一般步骤,体系结构设计的可执行模型转化方法,系统性能评价体系的构建和动态性能效能测量方法。从而解决了由系统建模语言(SysML)实现的系统体系结构设计的动态评价问题。     

基于DoDAF的载人登月体系结构建模

针对传统文本模式存在的需求域与设计域之间信息离散、关联性差、不易追溯等问题，采用基于模型的系统工程(model-based systems engineering, MBSE)方法开展载人登月系统设计。引入美国国防部架构框架(Department of Defense Architecture Framework, DoDAF),提出载人登月总体设计体系结构可执行模型的流程和方法；采用系统建模语言(system modeling language, SysML)建立了视图模型，描述了系统架构、需求模型和逻辑接口。并开展了初步逻辑仿真验证，可为载人登月系统设计和MBSE方法应用提供参考。     

基于SysML的武器装备体系能力需求建模分析方法

为了便于不同领域研究人员之间的沟通交流，减少文本描述的歧义性，有必要采用建模的形式开展体系能力需求分析。本文根据基于模型的系统工程(model-based system engineering, MBSE)思想，采用系统建模语言(system modeling language, SysML)以及多视图产品形式，描述了武器装备体系能力需求的建模分析方法，分别对作战概念、作战场景、任务分解、作战活动、需求分类、需求分析以及指标分析等7个方面进行了描述，并选取未来空战新概念“作战云”典型空战样式，构建了“海上防御型协同制空作战场景”,验证了该体系能力需求建模分析方法的可行性。     

面向Agent的电梯群控仿真系统建模研究

扩展了UML建模语言，形成了面向Agent的UML（AUML）以辅助面向Agent系统的开发。并应用扩展的Agent图、用例图和顺序图建立了电梯群控仿真系统的Agent模型、功能模型和动态模型，从而为系统的设计、开发奠定了基础。实践表明，该方法在面对复杂多任务系统时具有更强的实用性和优越性。     

基于Modelica的ABS电磁阀多领域建模仿真分析

首先对ABS电磁阀的电控机理做了分析,介绍了Modelica语言多领域统一建模语言的优越性,并在ABS电磁阀的原理基础上,采用Modelica统一建模语言,建立了ABS电磁阀的气动、机械、电路、磁场的多领域模型.通过实验测试与计算机仿真的对比,确定了模型的准确性,同时分析了ABS电磁阀相关参数对其特性的影响,为ABS电磁阀的设计和ABS控制气压制动系统性能分析提供依据.     

基于MBSE的信息管理系统安全识别设计

针对采用基于模型的系统工程(MBSE)实现复杂系统研发时,缺少安全性分析与识别的问题,以高校信息管理系统为例,提出一种安全需求建模方法,选择SysML作为建模语言,采用Cameo System Modeler作为建模工具,使用模型驱动的OOSEM方法进行模型搭建,将安全识别整合到MBSE设计中来.首先,完成高校信息管理的环境构建,以教师申请职称评定为例,构建其白盒活动图,完成各部门解耦,提高系统设计效率,降低用户业务处理迭代次数;随后对安全相关概念进行定义,在系统设计早期进行安全需求设计,建立风险和威胁模型,通过攻击案例分析,进行风险处理.将安全问题识别纳入早期设计过程,减少系统设计的风险与成本,为软件开发提供参考.     

基于元建模的雷达电子战仿真语言研究与应用

基于元建模技术的领域建模语言(DSL)及其支撑环境可以大幅度提高软件的开发效率和可维护性。基于面向领域的设计思想,提出了雷达电子战仿真语言的技术架构,包括服务层、工具层、模型层和应用层;设计了支持模型开发全过程的六级建模机制和相应的模型功能体系。结合应用实例介绍了雷达电子战建模语言的实现方法,开发了支持多类型代码自动生成的模型解析器;采用信息总线和计算总线相结合的方法,实现了模型驱动平台。最后对该仿真语言的应用特征作了介绍。     

基于模型的飞机系统架构多视图表达方法

飞机系统架构设计呈现典型的多层级、多系统集成、多接口形式、多专业合作等复杂特征, 传统的基于文档和离散二维制图的架构设计方法已经不能满足要求。对此, 提出一种基于系统建模语言(systems modeling language, SysML)模型的飞机复杂系统架构多视图设计表达方法, 对各项复杂特征进行了解耦, 将复杂的系统架构设计分解到多张有机关联的视图上; 在开展多视图相对独立的设计和建模工作中, 本质上就已经逐步完成了多层级的飞机系统架构集成设计; 以机轮刹车系统为例, 给出了基于模型的多视图架构设计方法的应用。实践结果表明, 基于模型的多视图架构设计方法可以有效应对各种复杂性, 并充分提升多系统集成架构设计的效率和质量。     

基于Petri网模型的系统仿真验证方法

随着系统工程的发展,对系统的质量提出了更高的要求。首先以系统建模语言活动图模型为焦点,提出一种将活动图模型自动转换为Petri网模型的机制,接着对某指挥控制系统的发射模块进行建模,并通过转换机制将活动图模型转化为Petri网模型,然后使用Petri网验证工具对转后之后的模型进行仿真验证,保证了指挥信息系统的正确性。     

民用飞机高度控制系统MBSE建模方法

针对传统基于文本的系统工程方法中存在设计文档变更难度大、工程模型可读性差、模型复用性不强等问题,提出了基于美国国防部体系架构(department of defense architecture framework,DoDAF)的基于模型的系统工程(model-based systems engineering,MBS...     

基于UML实时扩展的嵌入式软件测试用例生成技术

将统一建模语言(unified modeling language, UML)和对象约束语言(object constraint language, OCL)引入嵌入式软件测试领域,首先提出了一种基于UML实时扩展的嵌入式软件测试建模过程。然后,给出了UML状态图和类图的实时扩展方法。最后,结合航空电子系统嵌入式软件测试用例生成过程,详细阐述了被测系统的静态和动态建模,提出了扩展的测试序列定义及其生成方法,最终将所生成测试用例采用扩展标记语言(extensible markup language, XML)格式存储。工程应用验证表明,上述方法可充分发挥UML作为工业标准的工具资源优势,提高嵌入式软件测试用例生成的准确性、有效性和自动化程度。     

基于UML的飞机维修保障仿真研究

统一建模语言(UML)是一种基于面向对象技术的标准建模语言,其不仅可以在软件开发过程中使用,也可在复杂系统仿真中应用。参照面向对象Petri网的建模过程,提出了一种基于UML的仿真建模方法,通过UML状态视图描述各个仿真实体的状态变化,使用顺序图描述消息交互的时间性,并通过协作图连接各个仿真实体。文中将该方法应用于飞机的维修保障仿真过程,并根据所建立的仿真模型,对仿真系统进行了实现,得到了较好的效果。     

基于Grafcet的电梯控制系统建模

Grafcet建模工具以Petri网理论为其理论基础,它可以为并发、同步系统建模。Grafcet由图形表示,直观、易理解,且有很强的逻辑描述和分析能力,被广泛地应用到工业中。本文运用Grafcet建立电梯控制系统的模型,并将它与状态图模型进行比较,说明Grafcet有强大的描述系统的能力,并且在建立复杂模型方面具有无可比拟的优势。     

空空导弹通用仿真模型研究

采用统一建模语言的包图,将空空导弹系统划分为不同的类包,使其与外部系统解耦,降低了空空导弹仿真模型的开发和测试的难度。采用模块化设计方法将空空导弹划分为松散耦合的子系统,各子系统采用统一的调度接口,提高了空空导弹仿真模型的通用性和可扩展性。采用类厂模式设计了空空导弹仿真模型的创建接口,使模型可灵活的适用于不同的仿真需求。采用单件模式设计了空空导弹仿真模型的数据库访问接口,使模型与数据解耦,使模型可以适配不同的数据存储和访问方式。通过仿真应用证明了通用空空导弹仿真模型的实用性。     

基于Agent行动图的作战建模方法

针对一般的基于Agent作战建模过程中没有实现军事人员主导下的军事概念模型直接驱动的问题,提出一种基于Agent行动图的作战建模方法。在给出基于Agent行动图建模基本原理的基础上,区分Agent行动组织结构图、通信网络图、动作属性图,提出了基于Agent行动图的作战系统静态概念模型建模方法,区分Agent行动指挥交互图、状态行为图,提出了基于Agent行动图的作战系统动态概念模型建模方法;进一步建立了Agent行动图概念模型到行为仿真模型框架转换方法,并设计实现了基于Agent行动图的作战建模工具;最后以装甲分队典型作战行动建模为例,验证了方法的可行性与有效性。