【摘 要】
：
城市轨道交通CBTC联锁系统是复杂的安全苛求系统,为确保其开发的正确性和安全性,研究采用基于HCPN的CBTC联锁系统进行分层建模的方法,以缓解系统状态空间的爆炸问题。概述城
论文部分内容阅读
城市轨道交通CBTC联锁系统是复杂的安全苛求系统,为确保其开发的正确性和安全性,研究采用基于HCPN的CBTC联锁系统进行分层建模的方法,以缓解系统状态空间的爆炸问题。概述城市轨道交通CBTC联锁系统及HCPN建模方法,基于HCPN对城市轨道交通CBTC联锁系统进行建模,并为了增强模型的可重用性和提高建模效率,在此基础上构建基于HCPN的城市轨道交通CBTC联锁系统分层模型框架,建立一个参数化的可重用模型模板,符合联锁系统规范,适用于各类型车站。
其他文献
在宽带相控阵雷达天线波束合成时，由于天线孔径渡越时间影响，会引起不同频率分量信号合成的天线波束指向相互偏离，造成信号能量损失。本文提出了一种对宽带信号不同频率分量分别
基于移动互联网掌上医院平台的建设概况,从移动客户端、无线通信及业务平台等层面分析其信息安全风险。结合国家信息安全等级保护要求,提出应用移动虚拟隔离技术及各安全加密
依据沉积学原理和水体沉积物重金属的环境地球化学特性,用地积累指数法和改进多变量Chemoff脸谱图,对京杭大运河(无锡段)和支流沉积物中重金属的污染状况以及不同重金属的地
针对农村小学生阅读面相对较窄的问题，教师应抓住课堂阅读教学这个主渠道，选择适合该学段学生阅读的书刊，充分利用家庭、村图书室等教育资源，拓展阅读面，同时要做好阅读评价等。
“孝”是中国传统文化的重要组成部分，也是我们一直引以为豪的传统美德。随着时代的发展与社会的进步，“孝”思想在不同的历史时期具有特定的时代特色。本文旨在寻找“孝”之根
知识信息时代下,数字图书馆的产生是时代发展的趋势,同时,大众的信息需求也越来越具个性化、专深化,泛在化的数字服务方式已不能满足,在这样的大背景下,数字图书馆逐步开展个
随着电力行业的不断发展,变电站在经济社会建设过程中的地位越来越重要。在变电站运行过程中经常会出现一些故障,尤其是设备故障,对变电站的安全稳定运行有很大影响。对变电
‘營’‘衛’二字,在古醫書,亦極爲常見,細繹古人所謂‘營’‘衛’與氣血似有連帶,而意義則略有不同,今欲研讀古醫書,非將古人似是而非,模稜兩可與含混的名稱,進一步的研究,
天水师范学院教师教育学院的前身是天水师范高等专科学校教育学科教学部,2001年更名为教育系,同年开始招生。2003年12月,在教育系的基础上,通过校内教育学科资源重组,改建为
讨论了大型双金属辊套离心复合铸造过程中的主要工艺因素对辊套质量的影响，探讨了常见的产生及防止措施，为大型金属离心复合辊套的铸造，确定了最佳工艺方案。