【摘 要】
：
自主化ATP(列车自动保护)系统在国产化ATP系统的基础上,增加了一些新的功能需求。针对自主化ATP系统安全关键功能的安全性和正确性保障的问题,以自主化ATP系统中典型的C2等级
论文部分内容阅读
自主化ATP(列车自动保护)系统在国产化ATP系统的基础上,增加了一些新的功能需求。针对自主化ATP系统安全关键功能的安全性和正确性保障的问题,以自主化ATP系统中典型的C2等级转换C3等级的等级转换功能为研究对象,采用时间自动机形式化地分析等级转换功能的安全性、活性和实时性。研究时间自动机的数学理论基础,分析自主化ATP系统等级转换功能的逻辑和与其他系统的数据交互;采用时间自动机建模方法,从ATP、RBC(无线闭塞中心)和应答器3个方面,建立C2等级转换C3等级的时间自动机模型;研究自主化ATP系统等级
其他文献
对于矩阵方程AX-YB=C的解存在问题有许多研究，本文在讨论矩阵方程AX-YB=I有解的充要条件及解的结构的基础上，证明了矩阵方程AX-YB=C有解的充分必要条件。
针对"站桥合一"的大型综合交通枢纽工程,通过建立有限元模型对其进行模态分析,研究在人致振动作用下候车厅楼板以及大跨度悬挑商业夹层结构的振动响应。以南昌西站、南京南站
新词有三种:用新词形表示新语义;用新词形表示旧语义;用旧词形表示新语义.新词与新义是不能混为一谈的,在创造新词的过程中出现了一些生造词以及一些稀奇古怪的词语,对语言造
企业进行技术创新战略投资时面临许多不确定性，同时也面临竞争性。本文对不完全信息下竞争对手先行技术创新战略投资的风险运用风险函数进行度量，建立期权博弈模型，对企业技术创
诗人醉酒是-种有趣的文学现象,而在这现象背后却隐藏着某种文学创作规律,反映了诗人对模糊美的追求.本文通过对诗人醉酒现象的分析,认为诗人醉酒有助于诗歌作品模糊美的创造,
本文从广播文学作品的选择、语言艺术、音乐运用三个方面探讨了广播文学的创作.
以合肥轨道交通2号线青阳路站-西园路站盾构区间下穿五里墩立交桥为工程背景,通过盾构施工时的地层-桩基变形分析和全桥上部结构受力及变形分析,提出了适合本工程盾构施工时