【摘 要】
：
作为CTCS-3级列控系统的核心安全功能,速度-距离模式曲线具有参数输入域规模大、故障模式复杂等特点,如何完备地测试列控车载设备速度-距离监控曲线功能异常困难。提出了一种
【机 构】
：
中铁第五勘察设计院集团有限公司,北京交通大学轨道交通控制与安全国家重点实验室,北京交通大学轨道交通运行控制系统国家工程研究中心
【基金项目】
：
中央高校基本科研业务费(2019JBM009),中国工程院院地合作项目(18-HN-ZD-03)
论文部分内容阅读
作为CTCS-3级列控系统的核心安全功能,速度-距离模式曲线具有参数输入域规模大、故障模式复杂等特点,如何完备地测试列控车载设备速度-距离监控曲线功能异常困难。提出了一种基于输入等价类划分测试理论的CTCS-3级列控车载目标速度监控曲线完备性测试用例生成方法。首先,结合CTCS-3级列控系统需求规范,建立了满足司机制动优先和设备制动优先两种不同制动优先级情况下的TSM有限状态机模型,并利用反应式状态迁移系统的形式化语义,描述了不同输入情况下模型的内部状态迁移过程。其次,利用I/O等价原理和等价类划分理论,
其他文献
为及时准确地评估高速铁路接触网的健康状态,提出一种基于集对分析和证据理论的接触网健康状态评估方法。首先通过变异系数法和层次分析法相结合确定各评估指标的常权重,并根
战后英国高等教育政策决策过程经历了一个颇具章法的步骤,即从政策问题出发、成立专门委员会,到发表调研报告、发布咨询文件,最后形成法案或法律。在这一过程中,各影响因素相
对于王旭东而言,通往罗马的道路不是一条,而是多条。拿着笔记本,背上带有仪器和干粮的行囊,在公路上寂寞前行。饿了就用随身带着的压缩饼干充饥,渴了就拿出包里的饮料或水,就
<正>1.玄参酱烧肝材料:玄参10克,猪肝100克,葱1段,姜1块,酱油1匙,米酒及麻油适量。做法:猪肝洗净切片,葱姜洗净切末;玄参泡水洗净放入锅中,倒入适量的水,中小火炖煮半个小时,
顶板支护新概念【美】约翰Ｃ斯坦库斯塞德Ｓ潘尽管在矿山顶板控制中取得了许多进步，但至今还没有订出确定锚杆长度、张力之类各参数的精确设计标准。吉马尔公司和西弗吉尼亚大
现行《公路钢筋混凝土及预应力混凝土桥涵设计规范》(简称《规范》)的偏心受压构件计算公式中,受拉钢筋的应力是不连续的,这对偏心受压构件的受压区高度、大小偏心判别及构件
2008年7月13日“中国故事”奥运祥云小屋在奥林匹克公园正式揭幕。踏着奥林匹克公园绿茵的草地，来到台湾馆的门前，掀起小屋门帘。耀眼的金色多宝格，是中国故事中台湾篇章的序言
文中简要阐述铝件电泳涂装的前处理工艺，涂料的选择，涂装工艺和设备，工艺管理和疵病防治。
5月20日下午，江苏发展大会重要内容之一的“侨智侨力创未来”专题论坛，在江苏南京侨梦苑举行。江苏省政协主席蒋定之，江苏省人大常委会副主任刘永忠，江苏省人比政府副省长马秋林，