高速铁路列控系统相关论文
针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法.引入了HCSP的假设条件,建......
高速铁路CTCS-2列控系统是典型的安全苛求系统。根据安全苛求系统的特点,针对高速铁路CTCS-2列控系统的安全性测试和评估需求,设计......
近日,由中国通号承担的国家发改委立项“高速铁路列控系统关键技术产业化”项目,顺利通过竣工验收,标志着我国高速铁路列控关键核......
高速铁路列车运行控制系统(简称：列控系统)融入了先进的计算机、通信以及控制技术,极大地提升了系统的效率和安全性。由于系统的硬......
