| 范畴MSC在轨道交通领域的应用研究 |
| |
| 引用本文： | 黄洁琰,徐中伟.范畴MSC在轨道交通领域的应用研究[J].佳木斯大学学报,2014(5):641-644. |
| |
| 作者姓名： | 黄洁琰 徐中伟 |
| |
| 作者单位： | 同济大学通信与信息系统,上海,201804 |
| |
| 基金项目： | 国家自然科学基金资助项目(60674004)；国家十二五科技支撑项目(2011BAG01B03)；863计划(2012AA112801)． |
| |
| 摘 要： | 基于通信的列车运行控制系统(Communication Based Train Control System,CBTC)是完全基于移动闭塞的列车控制系统,使得列车可以在更短的运行间隔内实行安全运行.为提高CBTC系统设计的安全性,必须对CBTC系统的行为进行建模验证.本文将扩展的MSC-范畴MSC应用于CBTC系统形式化建模,增强了CBTC系统形式化建模的准确性,提高CBTC系统设计的安全性.
|
| 关 键 词： | 轨道交通 CBTC系统 范畴MSC 形式化建模 |
Research fo Categorical MSC in the Field of Rail Transportation |
| |
| HUANG Jie-yan,XU Zhong-wei.Research fo Categorical MSC in the Field of Rail Transportation[J].Journal of Jiamusi University(Natural Science Edition),2014(5):641-644. |
| |
| Authors: | HUANG Jie-yan XU Zhong-wei |
| |
| Institution: | (College of Electrical and Information, Tongji University, Shanghai 201804, China) |
| |
| Abstract: | Trains in CBTC system can travel safely in a shorter interval .The behavior of CBTC system must be modeled and verified before it is put into use .In this paper , categorical MSC was applied to CBTC sys-tem modeling , which enhanced the accuracy of CBTC system formal modeling and improved the safety of the CBTC system design . |
| |
| Keywords: | metro CBTC categorical MSC formal model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
