范畴MSC在轨道交通领域的应用研究  

Research of Categorical MSC in the Field of Rail Transportation

在线阅读下载全文

作  者:黄洁琰 徐中伟[1] 

机构地区:[1]同济大学通信与信息系统,上海201804

出  处:《佳木斯大学学报(自然科学版)》2014年第5期641-644,共4页Journal of Jiamusi University:Natural Science Edition

基  金:国家自然科学基金资助项目(60674004);国家十二五科技支撑项目(2011BAG01B03);863计划(2012AA112801)

摘  要:基于通信的列车运行控制系统(Communication Based Train Control System,CBTC)是完全基于移动闭塞的列车控制系统,使得列车可以在更短的运行间隔内实行安全运行.为提高CBTC系统设计的安全性,必须对CBTC系统的行为进行建模验证.本文将扩展的MSC-范畴MSC应用于CBTC系统形式化建模,增强了CBTC系统形式化建模的准确性,提高CBTC系统设计的安全性.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 .

关 键 词:轨道交通 CBTC系统 范畴MSC 形式化建模 

分 类 号:U284[交通运输工程—交通信息工程及控制]

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象