计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2013年
2期
443-446,453
,共5页
CTCS-3列控系统%RBC切换%通信协议%形式化建模%Petri网%分析与验证
CTCS-3列控繫統%RBC切換%通信協議%形式化建模%Petri網%分析與驗證
CTCS-3렬공계통%RBC절환%통신협의%형식화건모%Petri망%분석여험증
针对影响RBC切换质量的列车速度、RBC切换时间等诸因素,以及澄清对RBC交接协议安全性在认识上的一些误区,利用随机Petri网形式化描述工具,建立了CTCS-3列控系统RBC切换模型.通过理论分析和仿真实验,验证了不同速度条件下高速列车越区运行RBC交接协议A、B的可靠性、安全性和合理性.交接协议B作为协议A的冗余措施,由于考虑了RBC切换过程中通信中断时间,从RBC切换成功概率上讲,并不存在安全上的问题,但降低了RBC切换效率,对行车效率有所影响；列车速度进一步提高时,RBC切换的可靠性下降,可考虑适当增加RBC重叠覆盖区域、场强和列车间隔时间裕量.
針對影響RBC切換質量的列車速度、RBC切換時間等諸因素,以及澄清對RBC交接協議安全性在認識上的一些誤區,利用隨機Petri網形式化描述工具,建立瞭CTCS-3列控繫統RBC切換模型.通過理論分析和倣真實驗,驗證瞭不同速度條件下高速列車越區運行RBC交接協議A、B的可靠性、安全性和閤理性.交接協議B作為協議A的冗餘措施,由于攷慮瞭RBC切換過程中通信中斷時間,從RBC切換成功概率上講,併不存在安全上的問題,但降低瞭RBC切換效率,對行車效率有所影響；列車速度進一步提高時,RBC切換的可靠性下降,可攷慮適噹增加RBC重疊覆蓋區域、場彊和列車間隔時間裕量.
침대영향RBC절환질량적열차속도、RBC절환시간등제인소,이급징청대RBC교접협의안전성재인식상적일사오구,이용수궤Petri망형식화묘술공구,건립료CTCS-3렬공계통RBC절환모형.통과이론분석화방진실험,험증료불동속도조건하고속열차월구운행RBC교접협의A、B적가고성、안전성화합이성.교접협의B작위협의A적용여조시,유우고필료RBC절환과정중통신중단시간,종RBC절환성공개솔상강,병불존재안전상적문제,단강저료RBC절환효솔,대행차효솔유소영향；열차속도진일보제고시,RBC절환적가고성하강,가고필괄당증가RBC중첩복개구역、장강화열차간격시간유량.
