%0 Journal Article
%T CTCS-3列控系统RBC切换的形式化建模、分析与验证
%A 潘　登
%A 郑应平
%J 计算机应用研究
%D 2013
%I 
%X 针对影响RBC切换质量的列车速度、RBC切换时间等诸因素, 以及澄清对RBC交接协议安全性在认识上的一些误区, 利用随机Petri网形式化描述工具, 建立了CTCS-3列控系统RBC切换模型。通过理论分析和仿真实验, 验证了不同速度条件下高速列车越区运行RBC交接协议A、B的可靠性、安全性和合理性。交接协议B作为协议A的冗余措施, 由于考虑了RBC切换过程中通信中断时间, 从RBC切换成功概率上讲, 并不存在安全上的问题, 但降低了RBC切换效率, 对行车效率有所影响; 列车速度进一步提高时, RBC切换的可靠性下降, 可考虑适当增加RBC重叠覆盖区域、场强和列车间隔时间裕量。
%K CTCS-3列控系统
%K RBC切换
%K 通信协议
%K 形式化建模
%K Petri网
%K 分析与验证
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=51EFA6F8AD100243F3F145F11D7D8557&yid=FF7AA908D58E97FA&vid=340AC2BF8E7AB4FD&iid=0B39A22176CE99FB&sid=5824536C90612D67&eid=BD7D27247C63490C&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=8