一种用UML和SystemC进行嵌入式系统的系统级建模的方法

本文用UML建模工具RationalRose设计了果蔬清洗机的嵌入式系统UML模型,然后再以UML模型为蓝本,用可执行的SystemC语言对该系统进行系统级描述.论文同时给出了系统的最终描述结果,并运行得出了仿真结果.     

基于UML的雷达电磁环境仿真系统建模

雷达电磁环境仿真研究,对于雷达装备试验、训练都有着十分重要的作用.本文以飞机空中突防作战为战术背景,进行一个虚拟战场雷达电磁环境仿真系统的设计.以面向对象仿真技术为基础,利用可视化建模语言UML,详细描述仿真系统的建模过程,给出部分仿真模型和分析实例.     

装备战斗损伤仿真分析方法研究

对装备进行战斗损伤仿真分析不仅可以为战时备件和维修保障研究等提供基本数据,而且可以为战场指挥员进行战术或战役决策提供依据。该文简要介绍了装备战斗损伤仿真的内容,详细论述了威胁模型、装备模型及损伤模型的基本结构及建模方法。结合对某导弹装备的战斗损伤仿真工作,重点描述了装备结构描述、功能描述、几何描述和损伤描述的内容及方法。最后阐述了利用以上模型进行战斗损伤仿真的方法,给出了流程图,并对装备战斗损伤仿真的全过程进行了论述。     

基于UML的船舶阻尼数字化敷设系统需求分析与架构设计

对阻尼敷设体系进行了分析,提出了阻尼数字化模拟敷设系统,并探讨了利用统一建模语言(UML)对系统进行需求分析与架构设计的方法:首先利用UML提供的相关视图,建立了一种清晰明确的功能需求分析模型,包括功能需求描述、需求模型、静态模型和动态模型.其次在目前常见的三层体系架构之上,利用UML的包图对系统进行了多层体系架构设计.最后对系统进行了应用测试,结果表明该方法能够准确描述系统需求,并可以保证系统从需求到实现的转化.     

UML活动图的操作语义

越来越多的系统采用UML(unified model language, 统一建模语言)作为建模语言来进行系统分析和设计. UML活动图是UML语言中描述系统动态行为的一种方法,它广泛地运用于业务建模.由于UML活动图缺乏精确的动态语义,所以不利于对其所描述的系统进行形式化的分析、验证和确认.为解决这一问题,根据UML1.5语义文档,给出UML活动图的形式化操作语义.首先给出UML活动图的形式化的语法,然后详细地定义了活动图的格局和变迁,最后基于LTS给出了活动图的演绎规则.主要工作是：引入状态包的概念,使得描述更加清楚、完善;通过LTS定义活动图的操作语义,并详细阐述演绎规则,从而获得活动图的全局状态转移图,使定义的操作语义很容易地应用到形式化验证中.该语义覆盖了UML活动图的绝大部分特征,为对UML活动图进行模型检验奠定了基础.     

基于UML的海军作战仿真想定设计方法研究

作战想定是作战仿真系统运行的基础,仿真想定辅助生成系统是作战仿真系统一个重要组成部分.以海军装备应用研究系统为背景.着眼于海军作战仿真想定生成系统的标准化,通过分析海军作战想定描述的层次结构,针对统一建模语言(UML)在面向对象系统方面的特点和应用,探讨了使用UML表示标准的作战想定开发方法,以合同进攻敌海上编队为例介绍了海军作战想定的设计方法.通过建立实体行动的军事概念模型以及对其进行的形式化描述,实现了使军事专业人员和仿真技术开发人员之间顺利交流沟通的目的,为仿真想定辅助生成系统的开发奠定了基础.     

装备保障体系建模与仿真关键技术研究

为解决装甲装备体系保障能力生成的关键技术难题,针对现有需求和装备保障体系仿真中心建设的实际情况,以装甲机械化部队为主要研究对象,论文主要研究内容包括:描述了装备保障体系概念,构建了装备保障体系结构框架;总结了适合装备保障体系的建模与仿真方法,采用分层建模、基于多Agent和基于UML的体系建模方法,建立了装备保障体系模型,并对模型进行了仿真;借鉴霍尔三维结构,建立了装备保障体系评估对象维、评估指标维和评估目标维,进行装备保障体系效能评估;通过研究,初步明确了装备保障体系的内涵,明确了适合装备保障体系的建模与仿真方法,具备一定的实用性和可操作性,能够为进一步推进装备保障体制改革、完善综合保障体系、创新保障模式、增强综合保障能力提供有力的理论支撑。      

联合作战仿真模型体系的设计

模型工程(ME-Modeling Engineering)是新一代联合作战仿真系统研究与开发的核心工程。该文从眦的体系结构上研究了这一课题：界定了模型工程的基本概念；给出了模型体系的设计目标、标准与原则；提出了模型体系的框架；探讨了作战仿真模型军事设计、技术设计的本质；归纳了模型设计的方法与模板。该文最后，就联合作战模型体系的标准化问题、联合作战模型体系与联合作战仿真系统等进行了探讨。     

UML模型到面向对象Petri网模型的映射

文章通过分析UML模型和面向对象Petri网各自的特点,提出了UML模型到面向对象Petri网模型的映射规则,从而实现了利用UML模型有效描述系统,利用面向对象Petri网模型模拟仿真系统的有效结合,实现了两者的优势互补.     

电梯仿真设计的UML实现

介绍了统一建模语言 UML的基本知识 ,并利用 Rational Rose分析、设计了电梯的仿真模型 ,并给出了电梯仿真中有关类的设计和 UML框图     

基于UML的地空导弹武器系统IETM建模

地空导弹武器系统IETM是面向地空导弹部队各级各类人员,用于装备管理、操作、维修等的信息系统,是一个大型、复杂的软件系统;部队对该IETM系统的可靠性、规范性、共享性等方面都有着极高的要求;文中运用UML面向对象建模语言,通过用例图、时序图、活动图和部署图等描述了该IETM系统建模方法和过程;通过UML建模,使IETM系统设计和开发工作规范条理地进行,不仅能够满足部队要求,还可以有效地缩短IETM系统开发周期;实践证明,该建模方法可以有效地指导IETM系统开发。     

基于UML和ADC法的舰载反舰导弹武器系统效能评估

为客观、正确地评价舰载反舰导弹武器系统效能的优劣,在参与系统效能分析的各个基本对象较为完备的情况下,借助于UML统一建模语言对系统进行可视化建模;在ADC法基础上,建立了一种着眼系统作战使用的定量评估舰载反舰导弹武器系统效能的方法,得出了系统效能评估模型,可较好地反映出舰载反舰导弹武器系统的实际效能。     

基于UML扩展的实时系统建模方法

UML是一种应用广泛的面向对象建模语言,但是在对实时系统的建模中,UML缺乏实时和并发特性的描述能力,运用UML的扩展机制,借鉴着色Petri网描述并发的思想,扩充了UML的模型元素,并在此基础上提出了一种并发图,用于描述实时系统任务间的动态并发行为。最后通过一个实例说明了该扩展的应用方法和有效性。     

基于UML的作战系统概念模型六元抽象描述

系统六元抽象分析方法,从系统的范畴、系统的组元、系统的结构、系统的状态、系统的运行和系统的功能六个方面对系统进行抽象描述,它对作战系统的抽象更具准确性和完备性。文章通过分析系统概念模型的任务空间、实体、状态、结构、行为和交互的内涵以及UML图形表示法的特征,在概念模型同UML表示法之间建立对应关系。     

对象约束语言对武器系统效能评估指标体系的描述与验证

武器系统效能评估是武器系统设计过程中的重要环节,效能评估指标体系作为效能评估的前提和基础,其描述的精确性将直接影响武器系统效能评估的结果.针对武器系统的设计过程,提出了一种效能评估指标体系的描述方法,即元模型描述方法;引入统一建模语言(UML)规范的一部分对象约束语言(OCL)对其进行精确描述.最后,通过实验验证了OCL描述的正确性,为武器系统设计过程中的效能评估提供依据.     

基于UML的C3I系统软件建模

UML是一种通过面向对象分析确定由类图和行为图表述的逻辑体系结构和通过面向对象设计确定由构件图和配置图表述的物理体系结构的方法,目前已经成为面向对象分析与设计建模事实上的标准;首先介绍了UML技术及其在开发应用程序中的一般框架,并以此为依据,使用UML结合光电干扰武器系统C3I的建模应用实例对其进行了具体论述。     

GL Studio在武器装备虚拟训练系统中的应用

采用虚拟技术对武器装备操作人员进行训练是一种经济,高效的方法。针对武器装备系统结构复杂,精密性高等特点,选择开发周期短,界面真实感强的GL Studio软件来开发虚拟训练系统。探讨了武器装备虚拟训练系统设计开发流程和关键性技术。     

基于UML的仿真实验设计系统设计与实现

为满足信息化条件下武器装备体系概念演示验证仿真的需要,在分析仿真实验设计系统需求的基础上,对仿真实验系统设计中的武器装备体系构建、战场环境生成等问题进行了探讨,给出了作战计划生成方法,并根据仿真系统的需要设计了行动序列生成模版.在对系统架构进行了详细分析的基础上,利用UML对系统结构进行了分析设计,并对系统用例模型、结构模型和行为模型等进行了可视化建模.最后,采用微软公司的VC.NET程序语言进行了系统开发和实现.     

武器装备远程分布式测试与诊断系统的研究及实现

针对武器装备维修过程的复杂性、安全性及故障诊断的及时性要求,建立基于卫星通信或军用通信网的武器装备远程分布式测试与诊断系统.提出了由通信网络及接口、远程信息传输、可视化交互系统、人工智能、故障诊断专家系统、群体决策支持系统等构成的系统平台总体构建方案.阐述了系统的基本结构框架,各功能模块的划分与实现方法,以及关键技术的解决方案.仿真与实际数据表明,该平台的构建可以提高武器装备故障诊断和维修决策支持的自动化和智能化水平,提高现场维修工作效率和降低维修保障费用.     

以网络为中心的武器装备测试信息技术研究进展

随着武器装备信息化需求不断增加,以网络为中心的武器装备测试信息技术越来越受到国内外的重视。首先介绍了武器装备自主保障对该技术的需求,并且分析了以网络为中心的概念,然后分析了国内外发展概况,提出了以网络中心的装备测试信息系统体系架构,最后对国内相关技术发展提出初步建议,对提高我国武器装备信息化技术发展具有重要意义。