【摘 要】
：
CBTC(Communication Based Train Control)系统可有效提高轨道交通的列车运营效率,降低系统建设和维护费用。在系统研发过程中需对系统进行建模、仿真和验证,发现系统设计缺
【机 构】
：
北京交通大学轨道交通控制与安全国家重点实验室
【基金项目】
：
国家自然科学基金项目(60634010)
论文部分内容阅读
CBTC(Communication Based Train Control)系统可有效提高轨道交通的列车运营效率,降低系统建设和维护费用。在系统研发过程中需对系统进行建模、仿真和验证,发现系统设计缺陷,以保证系统的安全性。CBTC区域控制子系统是一实时控制系统,它要求控制时间的精确性和控制过程的准确性。本文通过分析城市轨道交通CBTC区域控制子系统的结构,给出满足该子系统安全性的功能和性能要求,并结合时间自动机理论方法提出包含列车、速度距离控制器、区域控制器和多车控制队列的时间自动机网络模型。同时,应用UPPAAL验证工具对CBTC区域控制子系统进行仿真建模,并验证该子系统功能和性能要求,从而保证了系统模型的安全性和受限活性。
其他文献
非洲有许多为土著人所利用的坚果油类植物资源,现代开发利用较晚。本文主要报道阿甘树(Argania spinosa)、曼杰提树(Schinziophyton rautanenii)、伯尔硬胡桃(Sclerocarya bi
目的:从性满意度、性交流、性焦虑、性反应、性态度、性体像6个方面以及整体状况探讨女性精神分裂症患者的性生活质量及其相关因素。方法:以3所医院门诊就诊的符合CCMD-3精神
从杨梅果园周边环境及杨梅自然发酵醪中共分离得到152株酵母菌,通过TTC显色法、杨梅汁杜氏管法及三角瓶发酵法进行三级筛选,共得到4株酵母在产气性能、色泽及风味方面比较突
<正>民生新闻在人们视线里出现的频率较高,从电视媒体到平面媒体,民生新闻已经变为新闻传媒最为常见的新闻表达手段。但是部分媒体受经济利益的诱惑,打着人文关怀的幌子,以三
改革开放以来,我国基本有机化工原料产业发展迅速,目前在生产规模、生产技术方面已经达到国际先进水平,尤其在特色原料加工方面存在较大的优势。但从市场角度来看,我国基本有
坚持中国特色社会主义文化发展道路,建设社会主义文化强国,是新时代赋予广电媒体的职责。面对新任务、新形势,广电人要不忘初心,牢记使命,努力做中华优秀文化的传播者、弘扬
随着网络舆论的诞生和现代商业资本的渗透,"网络水军"应运而生。网络水军本质上是出卖自己网络表达权的商业行为,其在互联网上充当"伪公众",把控虚拟公共领域,操纵民意、掩盖