基于场景设计的列车调度系统需求建模方法

采用基于场景设计的用户需求建模方法进行列车调度系统建模.将列车调度主要业务场景分解为列车运行计划调整场景、进路控制场景、临时限速场景等.以临时限速场景为例,根据用户需求,将其分解为临时限速命令设置正常、设置错误、下达正常、下达失败4个子场景,分别构建UML消息序列图,并转换为单个场景的CPNs模型,采用模型聚合算法对4个子场景聚合,生成临时限速场景CPNs模型.采用该方法构建的列车调度系统模型具有可靠性高、开发效率高的特点.     

基于Timed-UML顺序图的RBC交接形式化建模与分析

在CTCS-3级列控系统中,采用RBC技术将线路划分成多个管辖区段。当列车行驶并跨越相邻RBC交界区域时,控制权将会移交至前方相邻RBC,整个过程称为RBC交接。在运行中,RBC交接过程能否实时安全可靠地执行,直接影响着列车的行车效率和乘客的生命安全。采用一种基于添加实时约束的UML顺序图与时间自动机结合的模型来建立RBC交接场景。以双车载电台的RBC切换策略出发,建立切换的Timed-UML顺序图模型,然后按照UML-TA转换规则,建立得到完整的时间自动机网络模型。并利用UPPAAL验证工具对RBC交接模型进行形式化建模及分析,对模型的死锁和功能实现做了验证,从而达到对CTCS-3级RBC子系统的实时性以及设计规范合理性的验证目的。     

基于UML的CTCS-3级列控系统运营场景分析方法研究及应用

CTCS-3级列控系统是典型的安全苛求系统,而对于安全苛求系统来说,系统需求规范中的安全隐患是最致命的。CTCS-3级列控系统的需求规范由14个运营场景来描述,因而以运营场景为单位,对规范进行分析与研究是合理的,并且是必要的。以UML和CSP为基础,提出一套适用于CTCS-3级列控系统运营场景的分析和验证方法,并以＂RBC切换＂场景为例,运用该方法分析了其活性、死锁、活锁、确定性和部分安全性。     

设计模式在典型.net三层架构Web程序中的应用

设计模式是一套被反复使用、经过分类编目的、代码设计经验的总结．使用设计模式是为了可重用代码，让代码更容易被他人理解，保证代码可靠性．文中介绍了设计模式，多层架构程序以及.net，论述了如何将设计模式应用到三层．net架构程序中，着重讨论了设计模式在数据库中的应用．     

UML在铁路综合信息系统开发中的研究与实践

基于统一建模语言对面向对象的系统分析、系统设计及系统实现技术做了研究，采用例图、类图、时序图等模型，对车站综合信息系统中的行包车间子系统进行了总体分析、设计、实现与测试，并通过对该方法与传统的软件工程方法的比较，阐明了面向对象方法的优越性。     

Intelligent drug delivery system using UML diagrams analysis

A novel intelligent drug delivery system potential for the more effective therapy of the diabeticswas proposed, and the composition of system was analyzed. Based on the design of micro-electro-mechanicalsystems (MEMS), an iterative modeling process was introduced. Unified modeling language (UML) was em-ployed to describe the function requirement, and different diagrams were built up to explore the static model,the dynamic model and the employment model. The mapping analysis of different diagrams can simply verifythe consistency and completeness of the system model.     

面向对象的数据建模方法及系统仿真中的应用

建模与仿真已成功地应用于军事、社会、经济等各个领域。文章以作战仿真系统中的部分数据为例,描述了利用面向对象的方法,建立基于UML和XML的作战数据模型的过程。     

基于UML的舰载预警机协同作战流程建模研究

舰载预警机的作战效用已经被越来越多的国家所重视,可以有效提升舰艇的探测范围和作战空间,提高自身的生存能力。文章介绍了预警机的分类、任务划分和基本功能,结合舰载预警机的任务和功能需求,分别对其协同对空和反潜两个方面的作战流程展开UML建模分析,明确典型的作战流程,为舰载预警机在作战过程中的使用和调度策略研究奠定基础。     

基于UML构建多层次公交站点模型

现实地理世界的实体在许多情况下不得不利用细节层次（LOD）的概念进行有效的表达，复杂的城市公共交通系统在实际应用中也存在类似的问题。文中对城市公共交通的站点进行空间层次分析，找出不同层次站点实体之间进行关联的必要性及关联方式。利用UML技术和CASE工具，在GIS系统中实现了这种联系，并对UML技术的应用进行了讨论。     

基于RUP的车辆智能调度系统开发研究

章介绍了统一软件开发过程(RUP)，结合九寨沟车辆调度系统的开发实践，运用RUP与UML构建了系统需求。并将其应用到车辆调度系统开发实践中。