【摘 要】
：
列控系统是一个典型的安全苛求系统,传统的安全分析方法难以保证分析结果的全面性和客观性,因此将危险和可操作性分析方法 (HAZOP)与符号模型检验工具(SMV)结合,形成一种安全
【机 构】
：
北京交通大学轨道交通运行控制系统国家工程研究中心,北京交通大学轨道交通控制与安全国家重点实验室
论文部分内容阅读
列控系统是一个典型的安全苛求系统,传统的安全分析方法难以保证分析结果的全面性和客观性,因此将危险和可操作性分析方法 (HAZOP)与符号模型检验工具(SMV)结合,形成一种安全分析与验证方法,并以典型的CTCS-3级列控系统等级转换场景为例,进行HAZOP安全分析和形式化建模与验证,在SMV中发现了一条导致危险发生的路径,用来指导列控系统的开发设计。
其他文献
<正>卡斯柯信号有限公司LKD2-KA型列控中心、TSRS-KA型临时限速服务器已在近期正式获得中铁检验认证中心(CRCC)产品认证。至此该列控产品获得了国家铁路局行政许可准人和CRCC
<正>牙科焦虑症普遍存在,在口腔门诊患者中,牙科焦虑症发生率较高,其发病率为27%~74.3%不等[1~4]。牙科焦虑症(Dental anxiety,DA)又称牙科畏惧症(Dental fear,DF),是指患者
获得性反应性穿通性胶原病属于穿通性疾病中的穿通性胶原病,其临床表现为中心出现脐凹的丘疹,覆以不易剥脱的痂皮,组织病理学可见表皮局部缺损,痂皮内可见变性的胶原纤维,真
随着社会的不断发展,影响土木工程项目风险的因素也在不断增加,对风险管控工作造成了极大的难度。本文通过简要介绍土木工程项目风险管控的理论和方法,进而论述如何构建土木
《伤寒论》选穴是在辨证论治的前提下,选取特定穴位进行针刺治疗,选穴有一定的理法规律。通过细读条文,运用类比之法归纳整理,发现风池、风府与桂枝汤,期门与小柴胡汤,大椎、
主要介绍了房屋建筑施工中地基处理的特点,并且介绍了一般处理技术和新技术,同时简要论述了一些尚在研究的优化技术,对未来发展做出了展望。
针对污水处理过程的特点,在保证出水质量和节能前提下,建立获取控制参数溶解氧(DO)的优化模型;在此基础上,为有效跟踪控制DO,克服由于干扰等不确定因素对DO控制的影响,建立了
技术创新的制度研究一直是各界关心的焦点，在研究产权制度与技术创新关系的基础上。就传统产权制度的弊病及其对企业技术创新的影响做了分析，并对技术创新制度安排的主体、发展
景观电影的出现是技术进步与人文环境改变的双重产物。创作手段的丰富和创作者、接受者的双向探索也造就了景观电影在视觉审美上的不断扩展,给予当代观众耳目一新的审美体验
目的评价腹腔镜可调节胃绑带术(LAGB)治疗肥胖症及其合并症的中期疗效。方法对75例肥胖合并肥胖相关合并症患者采用LAGB,其中15例联合行食管裂孔疝修补术,8例联合行胆囊切除