【摘 要】
：
根据CTCS-1级列控系统总体设计方案，以安全控制为核心，结合系统理论事故模型和控制过程提出多层STAMP模型与相应的安全分析方法。利用UML语言对列控系统内部组件交互控制过程进
【基金项目】
：
中国铁路总公司科技研究开发计划(2015X002-A).
论文部分内容阅读
根据CTCS-1级列控系统总体设计方案，以安全控制为核心，结合系统理论事故模型和控制过程提出多层STAMP模型与相应的安全分析方法。利用UML语言对列控系统内部组件交互控制过程进行描述并将其转换为多层STAMP模型和故障分析模型，分析危险事件产生原因，实现对系统功能的安全分析。以CTCS-1级列车进站场景为例，建立多层STAMP模型并针对可能发生的危险事件进行系统功能安全分析。分析结果表明，多层STAMP模型和安全分析方法适用于CTCS-1级列控系统的功能安全分析。
其他文献
在厦门经商的吴嫣夫妇,学习了许多教育理念,制作成一本独家“教育清单”,成功将大儿子王龙培养成才。对儿子教育的成功,让吴嫣夫妇信心百倍,他们将这本“教育清单”视为法宝,
“这是属于20多岁人的爱情，带着对经典致敬的浪漫，和踩着青春尾巴的幽默、不羁。”说这话的人叫阿全，他媳妇叫十三，这对90后夫妻生了两个儿子，小名老虎、花椒。 和现在的年轻人不一样，他们不买房不买车，从大学开始环游世界。两人相识10年，跑了全世界60多个国家和地区，费用全靠一块花布铺出的摊子，上边摆满了两人在国外淘到的首饰和小玩意儿…… 他们过着辛苦却精彩的生活，上了“朗读者”节目，《人民日报》
CTCS3-300H型ATP车载设备安全计算机通过HDLC通信接口与外围子系统进行信息交互,具有成熟稳定的特点。CTCS2-200C型ATP车载设备的CFSK板通信接口为串口RS-422,为了使CTCS2-20
这是一个传奇之家，父亲叫沈笑世（艺名），母亲叫钟荣芳，儿子叫沈洋屹，一家三口都创了吉尼斯世界纪录。 沈洋屹非常聪明，一心想让他上科大少年班的父母每天都给他加课，致使他9岁半就学完了小学的全部课程，接着又学完了初中的全部课程。在等待长到18岁参加高考的日子里，沈洋屹竟玩出了一项吉尼斯世界纪录。他的父母因为陪他玩，也各自玩出了吉尼斯世界纪录。发现潜能，儿子“玩”出了创意 2018年3月8日晚，天津
日前，马云在阿里巴巴集体婚礼上大谈“婚姻不是为了积累财富，不是为了买房买车，是为了生孩子”，给员工的婚姻制订生育KPI，并且多次“飙车”开“黄腔”，尺度大到“把眼睛辣瞎”。 马云的这次演讲满篇都写着3个字——生孩子，还不时抖抖机灵，讲点黄段子“活跃气氛”，看似平易近人“接地气”，其实格调颇为低俗不雅，令人不适。 老板关心员工是对的，但该不该谈论和指导别人的私生活，“指示”明确细致到令人羞于
设计了一种基于Visual C#的25 Hz相敏轨道电路计算软件,在测试出轨道电路设备器材参数的基础上,采用均匀传输线理论构建其四端网络模型,分别对轨道电路的调整状态和分路状态
本文主人公 “癌细胞，你不要太嚣张！”每次妻子闫宏微自言自语时，吴载斌的笑容里总有些许苦涩。从2016年确诊乳腺癌至今，国内所有可用的化疗药物都已用尽，闫宏微的病情却并无好转。女儿才3岁，闫宏微不甘心，吴载斌更无法释怀。抱着向死而生的想法，他们踏上了艰难的赴美求医之路。 哪怕坠入癌症暗夜，也总有人在苦苦寻求微光！校园恋情童话：该死的病魔来搅局 吳载斌和闫宏微相识于大学里的一次晚会。作为校园街
结合北京化工大学橡胶塑料机械研究所多年从事混炼技术和装备的理论研究和开发实践,对现代混炼技术与装备的研究现状和发展动向进行了述评.
2019年国庆期间,著名演员张译参演的两部大片《我和我的祖国》《攀登者》都获得了惊人的票房,他精湛的演技受到观众赞叹。张译曾荣膺中国电视剧“飞天奖”优秀男演员奖,他主
即便放在今天，李芳芳多年前写的剧本《十七岁不哭》，仍是一部优秀之作。她对青春的理解，远在大部分国产青春片导演之上，所以她5年前执导的《无问西东》，放在今天看也一如既往地对味，尽管这还是一部清华百年校庆的命题作文。 “立德立言，无问西东。”表面上，影片用打乱的叙事、交错的时空，呈现四位清华学子的故事，实际上也是从小切口进入中国近百年的历史。如此宏大的历史格局，做得不好分分钟就要翻车，但影片基本做到