基于领域元模型的车载ATP子系统软件建模研究

针对列车自动防护（ATP, Automatic Train Protection）系统开发中所存在的问题，提出一种基于领域元模型的车载ATP子系统软件建模方法。分析铁道信号领域内不同列车运行控制系统对车载ATP子系统的共性特征要求，并基于元模型理论构建其领域元模型。提出了基于领域元模型的车载ATP子系统软件开发方法，该方法支持软件模型重用，可以提高车载ATP子系统软件的开发质量和开发效率。     

基于UML的C4ISR传感器动态处理模型仿真

现代军事仿真需要建立军事对抗活动中的各类模型，包括武器平台模型、作战模型以及决策模型等，传感器功能仿真模型在系统的开发和研制过程中具有重要意义。如何建立出有效的传感器处理模型来保证信息输入的可靠性和真实性是各类C^4ISR系统都面临的问题，使用统一建模语言（UML）对传感器处理模型进行可视化建模，首先使用用例图和顺序图对C^4ISR系统中2维或者3维传感器工作流程建模，然后使用活动图对整个处理流程和每个处理流程来描述问题的细节，为系统分析员、设计人员和开发人员提供了不同的分析问题、解决问题的视角，使从事C^4ISR系统传感器仿真研究的相关人员可以参考该文提出的模型进行软件开发。     

UML建模技术在轨道交通CTCS-3级列车控利系统测试案例生成中的应用

针对CTCS-3级列车控制系统测试案例的特点和生成过程,提出了UML建模技术在测试案例生成中的应用.说明了利用这种方法生成测试案例的优势,介绍了生成测试案例的总体思路.测试案例的生成分为两步,即功能特征的提取和基于UML建模的测试案例生成.从UML的静态建模分析和动态建模分析两个方面阐述了具体实现过程,并举例说明了UM...     

基于UML的电子病案管理系统设计与实现

电子病案管理系统是医院管理信息系统的重要组成部分。分析了电子病案的描述结构,对电子病案系统的功能进行划分,采用统一建模语言UML对系统进行建模,采用客户机/服务器体系结构对系统进行了开发。这是对电子病案的探索与实践,也是对电子病案系统将来真正意义上的临床应用做的尝试。     

基于UML的引俄潜艇技术保障信息系统分析

应用先进保障机制和信息化保障手段有机结合的方法,通过深入调查当前引俄潜艇技术保障存在的实际问题,对引俄潜艇技术保障中的主要要素进行简要分析,运用统一建模语言(UML)完成了信息系统的分析。通过系统应用提高了引俄潜艇的技术保障能力,提升了该类装备作战能力,并呈现军事经济效益。     

形式化可测性约束在软件模型实现过程中的研究

在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

基于UML的构件抽取技术的研究

本文首先介绍统一建模语言(UML),然后提出了基于UML的构件抽取的方法及策略,在此基础上,运用UML的构件抽取方法对教师管理系统进行了构件抽取,为在开发基于构件的应用系统中进行构件的抽取提供了一种可行的解决方案.     

基于VRML的虚拟现实地理信息系统的设计与实现

虚拟现实地理信息系统是将地理信息系统(GIS)技术和虚拟现实(VR)技术相结合的新技术,文中首先提出了一种通过松散模型构建VRGIS系统的方法,然后对空间数据的组织和管理、空间数据引擎的选择、空间数据和属性数据的挂接等关键问题进行了阐述,最后给出了基于VRML的虚拟现实地理信息系统的开发实例.     

军事应用活动仿真建模研究

针对应用活动视图的不足,按照能力需求的分析思路,结合能力模型特点,提出了一种对应用活动视图规范化建模的方法,以详细描述能力模型的动态行为。同时,利用BNF将模型定义为XML格式文档,使模型文件具有良好的可读性、扩展性和重用性,并可以方便地向仿真模型实例转化,有利于实现模型可执行仿真。     

公路交通调查数据管理分析系统

用传统开发方法进行大型交通软件系统开发存在缺陷。通过把UML、组件技术引入到系统的分析和设计中 ,为大型复杂的公路交通调查数据管理分析系统的开发提供了较好的途径 ,改变了传统软件系统开发的低效率模式 ,介绍了系统的具体实现方法。同时给出了系统组件层次结构 ,旨在为利用相关技术作进一步研究提供帮助