-
题名行车安全综合监控系统的时序Petri网描述及验证
被引量：5
- 1
-
-
作者
杜彦华
刘春煌
曹松
-
机构
铁道科学研究院电子计算技术研究所
-
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2005年第4期11-15,共5页
-
文摘
行车安全综合监控系统规模大,复杂程度高,且具有不确定性。研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要意义。本文基于时序Petri网,提出了相应的分析和验证方法。然后,以系统中数据处理和传输过程的公平性、及时性和可靠性等问题为例,进行建模、分析和验证,从而说明本方法的有效性。
-
关键词
行车安全综合监控系统
时序PETRI网
正确性验证
-
Keywords
train safety comprehensive monitoring system
temporal Petri nets
correctness verificatiot
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
U29
[交通运输工程—交通运输规划与管理]
-
-
题名沪宁线行车安全综合监控系统
被引量：4
- 2
-
-
作者
黎国清
-
机构
铁道部科学研究院科技处
-
出处
《中国铁路》
北大核心
2001年第7期15-17,共3页
-
文摘
分析了沪宁线采用行车安全监控系统的必要性,提出系统的构成和关键技术装备,以此为试点探索了建立中国铁路行车安全综合监控系统的模式。
-
关键词
沪宁线
行车安全综合监控系统
技术装备
铁路
-
Keywords
the Shanghai-Nanjing Railway, train operation safety monitoring system, technological equipment
-
分类号
U298.12
[交通运输工程—交通运输规划与管理]
-
-
题名铁路安全行车远程图像监控系统
- 3
-
-
-
机构
铁道部科技成果办公室
-
出处
《铁道运输与经济》
北大核心
2003年第2期62-63,共2页
-
-
关键词
铁路安全行车远程图像监控系统
组成
远端系统
传输通道
监控中心
-
分类号
U298.12
[交通运输工程—交通运输规划与管理]
-
-
题名全路信息化会议要求加快新一代CTC建设
- 4
-
-
作者
云圣
-
出处
《铁道运输与经济》
北大核心
2004年第C00期5-5,共1页
-
文摘
2005年2月27-28日，全国铁路信息化工作会议在北京召开。会议要求，根据全国铁路工作会议的总体部署，按照总体规划、分步实施、重点突破、早见成效的原则，大力实施《铁路信息化总体规划》，推进调度指挥智能化、客货营销社会化、经营管理现代化，强化铁路信息安全措施，为铁路跨越式发展提供有力的信息技术支撑和保障。
-
关键词
行车安全监控系统
运行控制
铁路运输
信息化管理
-
分类号
U284.5
[交通运输工程—交通信息工程及控制]
-
