区域控制器移动授权的统一建模语言(UML)建模与验证

探讨了基于通信的列车控制(CBTC)系统中区域控制器(ZC)子系统不同运营场景下移动授权的生成过程。采用统一建模语言(UML),与CBTC中列车运行控制的特殊要求相结合,以规范ZC子系统实现的过程和改善系统的开发效率。通过UML建模直观展现系统的结构,检查系统完整性,并完成该系统模型的仿真验证。

扩展UML语义以支持并行和分布式仿真系统设计

标准UML中不包含虚拟时间和时间同步语义 ,因而缺乏对并行和分布式仿真 (parallelanddistributedsimula tion ,PADS)系统设计的支持 对标准UML语义进行扩展以支持PADS领域的概念并降低PADS系统构造的复杂性 主要的工作包括在UML中引入虚拟时间语义 ,用包含虚拟时间标记和约束的状态图和交互图来描述仿真实体的功能属性 另外 ,通过创建虚拟时间同步构造型 (stereotype) ,提出“分离法”将时间同步细节与仿真模型内部的功能属性逻辑地分离 ,不仅使得仿真对象建模更加容易 。

Spatial data modeling for coalfield geological environment

Presented a study on the design and implementation of spatial data modelingand application in the spatial data organization and management of a coalfield geologicalenvironment database.Based on analysis of a number of existing data models and takinginto account the unique data structure and characteristic, methodology and key techniquesin the object-oriented spatial data modeling were proposed for the coalfield geological environment.The model building process was developed using object-oriented technologyand the Unified Modeling Language (UML) on the platform of ESRI geodatabase datamodels.A case study of spatial data modeling in UML was presented with successful implementationin the spatial database of the coalfield geological environment.The modelbuilding and implementation provided an effective way of representing the complexity andspecificity of coalfield geological environment spatial data and an integrated managementof spatial and property data.