【摘 要】
：
基于Simulink＆Stateflow建立了高速铁路列控系统运营场景的仿真模型,首先根据C2和C3行车许可运营场景的控制时序流,分析了单一场景功能的正确性;其次,结合等级转换场景,验证了
【机 构】
：
北京交通大学轨道交通与安全国家重点实验室,北京交通大学轨道交通运行控制系统国家工程研究中心
论文部分内容阅读
基于Simulink＆Stateflow建立了高速铁路列控系统运营场景的仿真模型,首先根据C2和C3行车许可运营场景的控制时序流,分析了单一场景功能的正确性;其次,结合等级转换场景,验证了C2和C3行车许可运营场景在语用层次上的一致性;再次,结合模式转换场景,验证了C2和C3行车许可运营场景在语义层次的不一致性,发现了列控系统运营场景规范中一个导致列车无法正常行车的漏洞;最后,通过对列控系统运营场景功能逻辑的修改,保证了列车运行的正确性。
其他文献
彩色马蹄莲瓶内结球试验结果表明：提高糖浓度可以促进瓶内结球，糖浓度为100g／L时瓶内结球率和生长效果最好，添加多效唑的效果不及提高糖浓度，基质培养基在糖或多效唑浓度较低时结
目的探讨健康人群血清1,25羟维生素D3水平与动脉僵硬度的关系。方法收集体检且行肱踝脉搏波传导速度（BaPWV）和血清1,25羟维生素D3检测的1 200名健康体检者的人口学、BaPWV和实
实现蔬菜生产现代化必须增加科技投入，特别要重视软件的作用，随着蔬菜的放开，应该加强宏观调控手段，要应用预测技术来确定蔬菜的种植规模，本文提出了动态的蔬菜总需求量，蔬菜亩产量
简述了湖北省十堰市地理气候特征及主要气象灾害及危害,论述了在新农村建设中加强气象灾害防御体系建设的迫切性和重要性,进而对加强气象服务提出了对策。
通过调查分析得出江西省宜能边际土地面积131．2万hm^2。，其中冬闲田面积79．1万hm^2，宜能荒地面积52．1万hm^2。摸清了江西省宜能边际土地资源分布状况。对边际土地中的宜能荒地资源
上海农学院党委书记、院长徐正泰同志在前不久的中层干部会议上,代表党委和院行政提出了我院贯彻十三届三中全会精神,进一步搞好学校各方面工作的总体构想,这就是“稳定完善
在深入分析《工程材料及应用》课程特点及课程现状的基础上,提出了将项目式教学法引入该课程,并通过具体实例详细地阐述了项目式教学法的实施过程及产生的有益效果,并对项目
【摘 要】简便易行的低成本小实验具有独特的教育价值，本文叙述了四个最常见且最易操作的低成本器材在物理课堂上的魅力。例如：百变的白纸在物理课堂上大显身手，小小乒乓球玩转物理大舞台，多功能的塑料瓶使物理课堂妙趣横生， 活蹦乱跳的气球在物理课堂上尽展风采。 【关键词】低成本实验；物理课堂；学习兴趣；教学实验 物理规律来源于社会生活和生产实践、生活周围，物理现象随处可见，要探究和学习物理离不开观察和实
【摘 要】历史是学生在中学时期学习的主要科目之一，作为一门常识性学科，其对学生的理解能力、逻辑思维、文化素养等都有很高的要求。不同于初中阶段的学习，高中阶段的历史增添了许多拓展性、广泛性的知识，而这些都需要凭借学生的个人能力和核心素养来解决。另外，史料实证作为历史学科的基本能力，在培养学生学科核心素养、提高历史能力等方面发挥着重要的作用。本文从教学实际出发，从浏览历史书籍、播放影视资料、开展主题探
目的 探讨慢性紧张型头痛（chronic tension type headache,CTTH）与睡眠障碍的关系,评价睡眠障碍对慢性紧张型头痛的发生、发展及头痛病理生理的影响.方法 依据国际头痛学会2004