【摘 要】
：
轨道交通信号系统在架构设计阶段为了制订细化的安全需求,需要分析组件中导致系统危险源发生的组件失效事件最小割集。为了提高危险源分析结果的一致性和重用性,提出了一种基
【机 构】
：
北京交通大学电子信息工程学院; 北京交通大学轨道交通控制与安全国家重点实验室;
【基金项目】
：
国家863计划(2012AA112801);高速铁路运行控制系统安全分析及设计平台,国家国际科技合作专项项目(S2012GR0192);高速铁路信号系统安全认证和评估技术研究
论文部分内容阅读
轨道交通信号系统在架构设计阶段为了制订细化的安全需求,需要分析组件中导致系统危险源发生的组件失效事件最小割集。为了提高危险源分析结果的一致性和重用性,提出了一种基于失效逻辑建模技术的轨道交通信号系统的安全评估方法。通过设计失效逻辑模型的元模型和配置方法,基于信号系统功能设计,建立了Cecilia OCAS平台下的组件失效分析模型,使用AltaRica数据流语言描述了组件的失效逻辑行为,通过模型仿真获得了危险源的最小割集。基于通信的列车控制系统CBTC车载设备的案例研究证明:失效逻辑建模技术实现了复杂系统功能故障树的自动生成,保证了安全分析结果与系统设计变更的一致性,提高了危险源分析流程的效率。
其他文献
企业集团作为大规模经营的企业集群,其财务管理难度相比普通企业更大,在低管理水平与高发展速度的矛盾之下,由于财务风险管理失效导致的企业集团破产屡见不鲜,探讨企业集团财
针对立式环模成型设备生产率低、吨产品能耗高的问题,文章采用TRIZ理论对立式环模压块机进行了创新设计。通过确定立式环模压块机的系统矛盾、明确需要解决的工程参数,根据阿
简要介绍了汉中市水稻生产概况,适宜种植品种,实现高产、优质、高效、生态、安全目标应重点推广的集成配套栽培技术,以及稻作技术发展方向等内容。
一个建筑的设计是否顶尖,一般人难以评判,起码对于普通人,设计无所谓好坏,只有适合不适合,喜欢不喜欢。正如"鸟巢"设计者之一艾未未在接受采访时说,对一个设计师来说,一个作
<正> 国外的毛泽东研究,特别是美国和日本的毛泽东研究,成果之多、资料之丰、范围之广、学者之众,在某些方面甚至超过国内。“他山之石,可以攻玉”。我们在毛泽东生平、事业
分析了仿真技术发展现状和仿真面临新需求,提出了面向服务的仿真平台技术框架,该框架基于面向服务架构和软件组件技术,可较好地满足仿真灵活性和扩展性的要求。构建了一个面
<正>农产品加工业是现代农业的重要组成部分,一头连着农户,一头连着市场,对推动农产品规模化生产和产业化经营、促进传统农业向现代农业转变、增加农民收入有着十分重要的作
西安旅游业在整个城市的经济发展中占有极其重要的地位,如何提高西安旅游业的国际竞争力,是提高西安旅游业在世界旅游中的地位和影响力的核心问题。本文运用波特的国家竞争优
在未来十年全球化不断深化的语境下,我国影视产品继续肩负着树立国家形象、服务经济大局、弘扬民族文化、增进国际交流的多重使命。为突破我国影视产品的输出瓶颈,增强其国际
利用我国统计数据,建立了一个修正的萨缪尔森(Samuelson)乘数-加速数模型.在此基础上,对我国宏观经济系统的稳定性、能观性、能控性进行了讨论,结果表明,经济系统从不稳定到