【摘 要】
：
自动列车驾驶系统(ATO)是CBTC系统的重要组成部分,验证测试其控制功能逻辑的正确性和安全性至关重要。介绍了ATO控制原理和功能,分析了CBTC中典型的两车追踪控制运行场景控制
【机 构】
：
北京交通大学轨道交通运行控制系统国家工程研究中心
【基金项目】
：
中央高校基本科研业务费(2017JBZ004,2017YJS010,2019JBM009),国家重点研发计划(2018YFB1201501),中国工程院咨询研究项目(18-HN-ZD-03)
论文部分内容阅读
自动列车驾驶系统(ATO)是CBTC系统的重要组成部分,验证测试其控制功能逻辑的正确性和安全性至关重要。介绍了ATO控制原理和功能,分析了CBTC中典型的两车追踪控制运行场景控制流程,得到了该场景下的列车运行安全需求。结合时间自动机理论,建立了包含列车动力学、车载ATO、ZC以及时钟控制器的两车追踪场景时间自动机网络模型,验证了模型中安全需求的正确性;基于一致性测试理论,定义了被测车载ATO软件与测试环境的可观测输入/输出接口,利用UPPAAL-TRON工具设计了被测车载ATO软件的一致性测试框架,并进行
其他文献
亚当·斯密生活的时代正是清朝乾隆时代,而"康乾盛世"并没有与西方工业化的发展同步,从而丧失了一次重大的世界性的历史发展机遇。亚当·斯密《国富论》中的有关论述
文章考论魏源所辑撰的《海国图志》一书的三个版本，即道光二十二年五十卷本、二十七年六十卷本和咸丰二年百卷本各自的辑撰、修订增补扩充的情况及其承续关系，旨在正本清源，以方
为探讨血清补体检测稳定、灵敏度简便的方法，设计了速度溶血法测定补体的实验。将羊工细胞与溶血素致敏后与待检标本作用，用光密度仪连续测定溶血情况，以最大溶血速度为参数推断
文章对北京市浅山区森林生态系统的多种生态功能进行评估,从调节服务、支持服务以及文化服务3方面构建适宜的森林生态系统服务评价指标体系。综合运用Invest、USLE模型、ITRE
以平凉职业技术学院学前教育专业普高生和三校生为研究对象,应用单因素方差分析方法,比较两种生源不同类型课程的差异。结果表明:普高生的公共课和专业理论课成绩普遍优于三
具体计算了一维无限深势阱，线性谐振子和氢原子三个实例中坐标中坐标几率分布与动量几率分布的关系，得出了系统的动量几率分布宽度与坐标几率分布宽度的乘积，符合测不准关系的结
以松辽盆地哈达山青山口组二、三段泥岩盖层为研究对象,通过岩石学和地球化学相结合的方法,对泥岩样品中常量元素和稀土微量元素特征进行了研究,结果表明：（1）泥岩稀土元素（∑REE）
本文应用中美合资沈阳协合高科技开发公司的高聚金葡素（ＢＭ－８２８）治疗恶性肿瘤４０例，临床观察发现：高聚金葡素可用以治疗因放、化民引起的白细胞减少，与放、化疗并用可减少放、化疗的毒副作用
ＢＡＳＩＣ语言智能辅助教学系统的设计与实现刘弘，江志超，郑明春，李建国将人工智能技术用于计算机辅助教学（ＣＡＩ），通常称之为智能计算机辅助教学（Ｉ－ＣＡＩ），已成为计算机应用的重要领域，是计算机辅助教育的发
目的：探讨亚胺培南／西司他丁治疗严重肺部感染的疗效。方法：对亚胺培南／西司他丁治疗２１例院内肺部细菌感染进行临床疗效及细菌学评价。并测定其对８２株常见呼吸道病原菌的敏感性。