基于多形式化语义融合的CTCS-3级列控系统可信性评估方法研究

来源 :2012列车运行控制系统技术交流会 | 被引量 : 0次 | 上传用户:ranranwenwen
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对铁路运输CTCS-3级列控系统结构复杂造成可信性评估综合评估困难问题,提出了多形式化语义融合可信性评估方法,将扩展参数化故障树、可维修故障树和混成马尔可夫维修策略模型进行了融合,形成了HMC-PRFT可信性建模分析方法,并利用扩展有色Petri网实现分析工具.该工具方法充分考虑了可信性的4个属性:可靠性、可用性、可维护性和安全性.这4者之间存在着相互依存和相互制约的关系,能够综合评判CTCS-3级列控系统的可信性,对于提高可信性评估效率、保证列控系统安全和保障列车运行安全具有重要意义.
其他文献
当今体坛.子承父业的明星并不鲜见。身为名门之后,压力可想而知,但他们中的一些人仍然选择走上与父亲相同的路。他们也许会为名所累,也许会让这个姓氏更加骄傲。六月的第三个
有两件事情足以让冯珏在商界成为一种符号:一是20多岁时,一年上百万美金的广告业绩,足以让她成为这个行业后来者的标杆;另一个是不管在什么场合,她的“名门”身份总是“豪取
铁路运输列控系统车载设备是安全性苛求系统,在其运用过程中软件需求的变更是不可避免的,对每次变更所带来的风险做出评估十分必要.提出一种基于层次分析模型,从定性信息产生
布思·塔金顿是20世纪美国的著名小说家和剧作家,他的作品《伟大的安伯森斯》和《爱丽丝·亚当斯》均获得过普利策奖。在塔金顿声名最鼎盛的时期,他在多种场合讲述过这样一个
目的:探究于临床中治疗急性脑梗死使用尤瑞克林的疗效.方法:选择2019年3月至2020年1月在泉州市第一医院经诊断并治疗急性脑梗死患者共计80例,已通过条件筛查得出并将其分成对
从实际应用需求出发,对试车线信号系统的设计进行研究,既保证满足试车需要又尽可能简化设计,节省投资,避免资源浪费.
目的:通过对宁德师范学院附属宁德市医院2017-2019年医院感染现患率调查,对医院感染现患率、感染部位、抗菌药物使用情况等进行分析,为医院感染防控决策提供循证医学证据.方
介绍了电务试验车安装应答器灵敏度测试装置的系统结构、工作原理及主要功能.该系统具备应答器工作性能的测试及报文数据的检测功能,对于铁路现场信号部门的应答器维护管理具
为了适应我国银行业加强信贷管理、提高信贷资产质量和对外开放的迫切需要,中国人民银行决定从2002年起对我国各类银行全面实行贷款风险分类管理(即贷款五级分类管理)。但是,
在高铁逐步成网的大背景下,高铁的互联互通是目前全路关注的重点.分析CTCS3-300T型ATP与郑西高铁地面列控系统在互 联互通中出现的问题进行分析;在现有规范的基础上提出了较