【摘 要】
：
本文给出CTCS-3级列控系统中组件控制行为的形式化定义，并针对控制行为的时序关系，提出控制行为时序逻辑。以此时序逻辑为基础，给出控制关系模型的形式化定义，使用控制关系模型对
【机 构】
：
北京交通大学国家轨道安全评估研究中心,北京交通大学轨道交通控制与安全国家重点实验室,中国铁道科学研究院通信信号研究所
论文部分内容阅读
本文给出CTCS-3级列控系统中组件控制行为的形式化定义，并针对控制行为的时序关系，提出控制行为时序逻辑。以此时序逻辑为基础，给出控制关系模型的形式化定义，使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式，对系统的控制关系模型进行分析，实现STPA（System-Theoretic ProcessAnalysis）过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例，使用上述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式
其他文献
建立藏药六味能消丸中土木香内脂和异土木香内酯的含量测定方法。采用气相色谱法。在HP-5毛细管色谱柱上以高纯氮为载气;程序升温:初始温度70℃,保持1min,以每分钟25℃的速率
本文采用非离子表面活性剂聚乙二醇2000(PEG2000)与硫酸钠所构成的双水相体系,研究了水溶液中钒的萃取、反萃性能,与金属阳离子分离性能,并对萃取机理做了分析,为进一步工业应用提供理论指导。首先研究了PEG2000-Na_2SO_4双水相体系的相平衡,考察了体系组成与温度对相平衡性质的影响。结果表明,随双水相体系组成增加和温度升高,两相组成差异增大,两相区面积增大,体系分相能力增强。应用Oth
为支持沿海港口溢油应急资源合理布局,运用引力模型和社会网络分析方法(SNA)构建基于港口油品吞吐量的溢油应急资源关联网络模型,通过网络密度、中心性等网络特征研究港口基
本研究主要依据中兽医理论,围绕中药制剂调动动物自身这一主要法则,以充分发挥中药扶正祛邪、标本兼顾的特色和优势,使中药的组合效应达到最佳。荆防败毒散主要成分为荆芥、
本文应用1979-2010年共近32年的四川省36个地面代表站夏季7月的月降水实况资料及美国国家环境预报中心与美国国家大气研究中心(NCAR/NCEP)再分析的高空月平均资料,利用EOF分
数学教学的根本目的是培养学生能够独立思考问题,分析问题和解决问题的能力.为了达到此目的,仅仅依赖课本知识,局限个别题型,满足单一思维是难以达到要求的,这样可能会是“只
近年来 ,家用硬表面清洗剂的发展异常活跃 ,并在西欧形成了高度细分的消费市场。这种发展趋势是由以下多种因素共同驱动的 ,如人们对微生物污染的关注、家庭生活模式的改变、
吞口，起源干图腾崇拜，旧时西南地区的人们常将其做成面具，持于门楣之上，用来驱邪镇宅保平安。吞口，豹眼怒视，龇牙咧嘴，犬齿突出，血口大开，好似能吞掉一切灾祸，保佑民间风调雨顺。因其口
微博操作的简易性和高速裂变传播等优点，给大众提供了自由发表意见以及与他人分享信息的空间和平台，促进了公众话语权的实现，颠覆了传统新闻制作和传播的模式，其围观效应催生了大
采用炭化-湿式消解原子吸收光谱法测定龙葵果中的铜、铅、锌、镍、镓5种微量元素的含量,采用湿式消解原子荧光光谱法测定龙葵果中的锗的含量。龙葵果中Cu,Pb,Zn,Ni,Ga,Ge含量