UML&UP在VPN网管系统中的应用

介绍统一建模语言UML和统一过程UP的特点,阐述UML建模的过程,通过对VPN网管系统进行建模分析,从而有利于开发人员进行需求分析、系统设计和实现,提高系统的性能,缩短开发周期.     

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

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

UML在软件系统分析设计中的应用

对软件系统开发过程中使用的传统软件建模技术和面向对象的建模技术进行了比较和分析.介绍了UML系统建模的组成要素.并以人力资源管理系统为例,说明UML在系统动态行为建模中的具体应用.     

基于UML的电动汽车数据采集分析系统的开发

简要介绍了统一建模语言UML(Unified Modeling Language)的特点,并结合对一个应用在电动汽车的数据采集分析系统软件进行详细的建模描述,最后给出了基于UML开发的数据采集系统软件运行实例.     

基于Petri网列车连挂解编模型分析

提出一种基于Petri网描述系统的方法,该方法(简称EPN)将Petri网与UML思想相结合,通过5种简单的事件模型来分析系统.由于借鉴了UML思想,使得EPN易于对一些复杂系统进行描述,也易于利用UML分析结果对系统快速建模.同时EPN是基于Petri网,因此完全可以利用现有Petri网的数学模型和工具进行建模和仿真.本文主要对列车控制系统中的连挂和解编过程进行建模.通过模型验证采用EPN分析系统的有效性和便捷性.     

基于统一模型语言的城市轨道交通在线检测系统预研究

城市轨道交通在线检测系统负责对运行中的车辆设备、轨道设备等的工作状态及参数进行实时检测及故障诊断.因关系到安全运行,故要求其具有高可靠性和较强的数据处理能力.阐述了在线检测系统的总体结构,在UML(统一模型语言)建模技术的基础上,提出了基于UML的系统模型.     

UML在油压减震器计算机测试系统中的应用

应用UML对油压减震器计算机测试系统进行面向对象的描述和建模,从问题域出发,定义问题和解决问题.通过使用UML的图形,先从系统的软硬件边界、系统服务、操作者与系统交互的角度去发现对象,根据对象定义类,然后使用VC++完成程序设计.UML对油压减震器计算机测试系统的描述应用于从需求分析到程序实现、程序测试的整个软件过程.     

基于UML的列车自动监控系统分析研究

以沈阳市城市轨道交通建设为背景,介绍在城市快速发展的基础上发展起来的列车自动监控系统,从功能、结构以及面向对象设计3个方面对系统进行分析,并介绍统一建模语言UML及工具Rational Rose,同时给出系统结构图和类图.     

基于IFC的铁路信号UML建模及应用研究

以铁路IFC国际标准项目为依托,研究了铁路信号IFC数据需求、编制过程,以及UML建模目的;从类、属性、关系3个核心要素方面举例,阐述了从数据需求到UML概念模型的技术流程;提出了基于IFC的铁路信号UML建模内容和方法,并分别从实体构件、空间结构、线性定位3个方面对铁路信号UML建模进行分析说明;提出了铁路信号UML...     

基于UML的铁路输送辅助决策软件设计

铁路输送辅助决策软件是C^4ISR系统的重要组成部分,其功能和质量的好坏直接影响着C^4ISR系统的整体性能。UML作为一种定义良好的统一建模语言,适用于软件系统开发过程的各个阶段,它可以从不同的角度,用简单明了的可视化图形将复杂系统表示出来,对整个软件的开发提供灵活、一致、易读的表达,能有效地增进各类人员之间的交流,提高软件的可重用性和可维护性,并降低风险。该文首先介绍UML的建模体系,然后使用UML对铁路输送辅助决策软件进行功能需求分析,在此基础上,进行问题领域分析,建立软件的静态和动态模型,并将该软件系统的各种要素、事件和活动,分别在时间和空间上进行描述,方便开发人员之间的交流,为系统的分析、设计、维护及扩展提供支持。     

联锁系统UML模型的建立与形式化验证

针对目前计算机联锁系统建模与验证难度较大的问题,提出一种UML(Unified Modeling Language)与NuSMV(New Symbolic Model Verifier)相结合的计算机联锁模型形式化检验方法。以一个标准站场中的一条接车进路建立过程为例,对联锁系统需求进行分析并通过UML建立相应的模型,再列出它与NuSMV之间的映射关系并实现将UML模型自动转换为NuSMV形式化模型,最后完成对计算机联锁系统的验证,检测其需求中可能存在的漏洞。该方法能够降低对计算机联锁系统形式化建模与验证的难度与减少人工建模时可能出现的错误,为计算机联锁系统形式化模型的建立与验证提供一种新思路。     

基于UML与CPN的CTCS-3级列控系统建模与验证方法研究

CTCS-3级列控系统安全功能极其复杂,为保障其正常运转,有必要对列车运行控制系统的建模与验证进行深入研究。在分析了UML建模图和有色Petri网优缺点的基础上,提出了UML和有色Petri网(CPN)相结合的建模与验证方法,并应用在CTCS-3系统中,对CTCS-3级列控系统的建模与验证具有积极的研究意义。     

基于沙盘的城轨控制实验室集中站联锁仿真系统

在城轨控制实验室仿真平台中,集中站联锁系统是保障列车各种作业安全的重要子系统.本文运用UML建模方法和Visio工具,对系统的需求、设计、编程实现和测试过程进行了描述和分析,建立了系统不同设计阶段的可视化模型.选取沙盘上2个典型集中站进行编程实现和测试,验证了运用UML方法对系统建模的正确性,且能够与沙盘联动控制.此外,系统还设计并实现了保护区段和侧面防护,这是地铁联锁系统的独有特点.     

轨道交通列车自动运行仿真平台的开发研究

为了研究轨道交通列车自动运行(ATO)系统,需建立一个通用的ATO系统仿真平台,用来对ATO进行研究,以解决企业和学校的培训、教学成本高昂的困难。从体系结构软件开发的四个阶段阐述ATO系统的仿真平台开发过程,并运用UML建模语言,选用Rose可视化建模工具,采用迭代和增量的设计,对ATO仿真平台进行建模,为轨道交通控制系统的培训和教学提供有力保障。     

基于UML扩展机制的列控系统建模方法研究

本文从列控系统中离散计算过程和连续物理过程的一体化建模入手,利用UML2.0支持的底层语言扩展机制构建面向列控系统混成特性的建模方法和原型工具。新的建模方法丰富了UML的模型表达能力和应用范围,使得对列控系统功能和行为的描述更加直观和准确。同时,为进一步的设计和验证提供精确语义支持。     

CTCS-3级列控系统规范建模与验证

结合统一建模语言UML与符号模型检验SMV形式化方法,提出需求规范严格建模和验证方法。利用需求管理工具,保证了模型和规范的一致性和对规范的覆盖性,同时实现了规范验证结果对模型、转换规则和规范的跟踪。给出了CTCS-3级列控系统严格建模与验证的方法体系和流程,并以CTCS-3级列控系统需求规范中的模式转换部分为例,说明了规范的建模、验证和分析过程。     

基于UML的城市轨道交通列车超速防护系统建模

分析I-Logix公司的Rhapsody软件的主要特性,在Rhapsody开发环境下对北京地铁1号线的ATP系统车载设备进行UML建模,并介绍系统级调试功能。     

一种基于场景的CTCS-3列车控制系统建模方法研究

对CTCS-3列车控制系统进行有效的测试、分析和验证是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。本文以CTCS-3列车运行控制系统的UML非形式化模型为基础,以自动机模型作为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为自动机网模型的方法。首先将场景的UML顺序图自动转化为子系统的子自动机模型,然后通过合并不同场景的子自动机模型,得到子系统的组元自动机模型,最后通过对通信通道的建模得到系统的自动机网模型。使用本方法,基于系统的UML顺序图模型可以自动生成系统的自动机网模型。     

基于GIS的铁路选线智能环境及领域本体建模方法

提出基于GIS的铁路选线智能环境(GBRLIE)的智能选线综合解决方案。铁路选线智能环境的既有研究,以及GIS技术、人工智能技术和其他计算机技术的发展为解决方案的研究奠定了基础。在GBRLIE的知识表达上,本体提供了信息共享、互操作的中间件,可保证知识系统从概念分析到系统建立的概念一致性,能保持数据和知识的语义统一。本体位于GBRLIE的逻辑表示层,包括领域本体、方法本体和应用本体。领域本体是对研究领域可共享和重用静态知识的描述,采用UML和面向对象技术进行表示,可克服专用本体描述语言和表示方法的不足。领域本体的形式化描述把关系和规则当作概念处理,用UML表示本体、概念、关系、规则、约束、公理。应用提出的领域本体表示方法描述了铁路选线几何构成本体,列出选线设计中的部分规则及约束。     

基于AUML的列控系统运营场景多智能体建模仿真研究

为满足列控系统交互性、混合性、反应性和并发性的复杂特性,从研究分布式复杂系统的多智能体方法出发,利用UML2.0扩展的AUML统一建模语言,提出一种列控系统运营场景多智能体建模方法。该方法采用基于Agent的AUML,以多智能体建模理论为基础,从系统功能需求、抽象Agent定义、Agent信息交互和Agent内部设计四个步骤对列控系统运营场景进行模型构建。最后以RBC切换场景为例,建立RBC切换场景的多智能体模型,结合模型,利用仿真工具进行仿真,得到满足列控系统复杂特性的仿真结果。结果表明:该建模仿真方法符合列控系统交互性、混合性、反应性和并发性,为列控系统研究奠定重要的仿真环境基础。