基于UML的指挥控制软件开发建模研究

指挥控制是C3I系统的核心功能,指挥控制软件的开发是C3I系统开发的关键。应用UML对指挥控制软件进行开发,能有效地增进各类人员之间的交流,提高软件的一致性和可重用性,并降低风险。该文首先简要介绍了UML技术及其在开发应用程序中的一般框架,并以此为依据,使用UML对指挥控制软件开发进行建模,给出了基于UML的指挥控制软件的分析阶段描述。

基于UML的列车运行调度系统软件模型

按照面向对象软件工程的思想,在对列车运行调度系统分析的基础上,对系统中各实体之间的静态关系和动态关系进行研究,并详细描述软件系统的分析和设计过程。基于UML建立软件系统的用例图、类结构图、序列图和状态转移图,从静态和动态两个角度描述调度系统的软件模型。用例图从用户的角度描述系统的功能;类结构图指明系统中存在的类以及类之间的静态关系,描述系统的静态模型;序列图着重描述控制流在对象之间的流动过程,状态转移图描述对象的转移过程以及状态变化的条件。序列图和状态转移图从不同的角度描述系统的动态行为,建立系统的动态模型。该模型已用VC++6.0实现,并在高速铁路综合调度仿真系统中得到应用。

基于多智能体的指挥控制软件可靠性建模仿真方法

为解决现有可靠性分析和评估方法不能完全应对软件复杂网络特性的问题,提出基于多智能体(Agent)的指挥控制软件可靠性建模仿真方法,包括系统建模仿真和可靠性建模仿真,并实现软件系统可靠性建模仿真平台,以某指挥控制软件系统为对象进行实例应用,分别实施故障传播仿真分析和可靠性建模仿真分析,完成软件系统可靠性分析和评估,验证了所提出方法的有效性和可行性。

UML与ADL在软件体系结构建模中的应用研究

通过软件体系结构理论在实践中的应用,探讨了统一建模语言UML与体系结构描述语言ADL在软件体系结构建模中结合使用的方法和途径。着重研究了UML与XYZ/ADL在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精。

UML在舰艇损管训练系统设计中的应用

应用UML建模技术对舰艇损管训练系统的设计进行建模.详细介绍了损管训练系统设计的用例图模型、静态模型和动态模型.

基于UML/OCL的C^4ISR效能概念建模分析

为了统一描述军事电子信息系统(command control communication computers intelligence surveil-lance and reconnaissance,C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language,UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。

基于UML的航天发射指挥控制软件建模研究

指挥控制软件是影响SLC2S高效运行的重要因素之一。为了提高航天发射指挥控制软件的综合效能,基于统一建模语言(UML)建模技术,从软件需求分析出发,对航天发射指挥控制软件开发进行了静态和动态建模,增强了软件的一致性和可复用性,为软件开发奠定了良好基础。

发动机控制用CAN通信软件的UML建模

针对发动机控制软件的复杂性,引入了基于UML的面向对象的软件开发方法。从CCP协议对CAN通信的要求入手,论述了开发CAN通信软件的整个建模过程。应用UML开发了发动机嵌入式控制的CAN通信软件,并进行了功能验证。

面向软件定义的C~4ISR系统资源建模方法研究

为实现马赛克化的C~4ISR系统构建模式,瞄准系统“元要素”构建,以软件定义技术为驱动,探讨了可定义的资源建模原理,提出了资源建模过程,定义了C~4ISR系统资源概念内涵,基于多视角建立了资源分类框架;围绕资源信息流受控和能力开放共享,提出了模型要素,针对7类资源特点建立了参考模型。通过典型案例下资源实例化建模,验证了模型对软件定义的系统构建的适用性。

基于MDA与UML扩展的安全软件开发方法

为提高软件安全性,提出一种基于模型驱动架构(MDA)与统一建模语言(UML)扩展机制的安全软件开发方法。采用UML扩展机制建立系统安全相关的平台无关模型,将软件的安全性分析提前到设计的早期;利用MDA方法进行软件安全属性的建模,降低后期开发的风险与成本。图书管理系统实例验证了该方法的有效性。

基于UML反导通信与指控系统建模研究

为了具体地分析通信与指控系统作战任务、理解通信与指控系统反导作战的行为特征,分析了反导作战过程,描述了指挥控制系统体系构成;在此基础之上利用UML面向对象系统建模方法,针对通信与指控系统的典型反导作战任务,生成系统高层用例词汇表,建立顶层用例模型.通过标识和分析通信与指控系统用例模型中的所有实体,分析出对象的关联关系和重数,建立描述系统特殊行为的动态模型,形成通信与指控系统高层用例顺序图和典型作战任务顺序图.

UML在航天器姿态与轨道控制应用软件需求建模中的应用

简要介绍了UML语言及其建模技术,描述了航天器姿态与轨道控制系统应用软件的组件构成与接口,并分析了组件间的依赖关系;针对航天器姿态与轨道控制应用软件的需求,对其功能需求和非功能需求进行分析研究;建立的软件需求模型实例体现了UML建模技术的特点和优势。

UML在水下输送艇指挥控制系统分析中的应用

在对水下输送艇指挥控制系统进行需求描述的基础上,遵循统一建模语言UML系统分析的一般过程,分别建立了系统的用例模型、静态模型、行为模型、交互模型和实现模型,并对所建模型逐一进行了测试,测试结果表明了该模型建立的正确性,为下一步系统软件的设计和实现奠定了基础。

浅谈UML全程建模在公安禁毒软件开发中的应用

如何开发出优质的公安禁毒专业软件,多年来人们一直在不断的实践与探讨。本文初步探讨了如何采用"全程建模"理念,并用UML技术全程分析建模方法,提高禁毒软件的开发质量与效率。

基于UML方法和SFC的龙门码垛机器人软件控制系统设计

该文针对龙门码垛机器人软件控制系统的开发设计,研究提出一种基于统一建模语言(UML)方法和顺序功能图(SFC)的软件控制系统设计方法。

基于UML的控制系统软硬件协同设计关键技术研究

为了提高系统在运行时对动态环境的适应性,提出了一种基于UML的硬件/软件协同设计平台(UMLCoH/S),针对动态可重配置的控制系统.计算密集型的控制功能,作为可重配置的硬件功能实现,可以在运行时按需配置.UMLCoH/S不仅能动态适应不同的环境条件,而且提高了硬件资源的利用率.UMLCoH/S提供了可重用的典型可重配置系统模型,可根据用户应用程序进行自定义.UMLCoH/S还提供了一个可重配置的硬件任务模板,用户可以使用该模板专注于其硬件设计.与现有的方法相比,在高抽象级别使用UMLCoH/S可以更高效地减少系统开发工作.

软件定义指挥信息系统基本概念与原理

指挥信息系统未来如何建设发展是指挥控制领域关注的重点问题。首先,分析了软件定义技术的发展现状,在此基础上结合软件定义技术的思想内涵提出了软件定义指挥信息系统的基本概念,并描述了系统的基本组成和装备形态;然后,设计了系统的构建部署、运行调整以及升级演化模式;最后,阐述了系统运行的基本原理。通过探索软件定义指挥信息系统的基本概念与原理,为未来指挥信息系统的建设发展提供有益参考。

基于MVC模式的指控系统软件设计与实现

介绍了MVC模式各部分的功能和关系,针对指控系统的业务需求特点,提出了一个基于MVC模式的指控系统关系模型。基于此模型,针对某试验指控系统软件的研制需求,进行了软件总体架构设计,并在Linux环境下,利用QT开发平台完成了指控软件的设计与实现。

设计模式在电子商务中的应用

设计模式描述了简单的、可重用的软件解决方案的核心。该文深入探讨了3种典型软件设计模式(MVC,COMMAND,FACADE)在电子商务上的应用，针对电子商务的特点结合这些模式将典型的MVC模式改进为MVCC模式并进一步改进为MVCFC模式，从而构建层次分明、结构清晰、重用性好的电子商务系统。

军用指挥控制软件可信性分析与验证技术

随着武器装备信息化程度越来越高,军用指挥控制软件的可信性直接关系到装备整体效能的发挥。在对传统软件质量保证技术研究的基础上,结合军用指挥控制软件的特点,提出了基于形式化方法的软件分析与验证技术。分别从安全性质形式化规约技术、基于模型检验的指挥软件验证技术和基于静态分析的控制软件分析技术三方面保证军用指挥控制软件的可信性,最后,提出了适用于指挥控制软件全生命周期开发的形式化分析与验证集成环境。