基于时间自动机模型的安全计算机平台的形式化验证

众多工业控制领域要求计算机控制系统具有高可靠、高可用和高安全的运行基础,2乘2取2冗余结构的安全计算机平台是提高系统安全性、可靠性的一种重要解决方式。CBTC列控系统的安全计算机平台采用2乘2取2冗余结构,它是一个实时系统,控制过程需要考虑时间因素。本文分析CBTC系统安全计算机平台系统的组成结构,提取出系统的功能约束,采用基于时间自动机理论的建模验证工具UPPAAL建立系统的自动机网络模型,进行仿真分析,验证系统的功能性、实时性、安全性要求。     

高速铁路接触网零部件的重要度分析

牵引供电接触网通常所采用的可靠性指标可用概率、频率、持续时间的分布等概率性指标来表示.为了更好地描述接触网各零部件对接触网整体失效的影响程度,本文结合近期开通的高速铁路和客运专线工程,阐述了接触网零部件的概率重要度的分析方法,并给出了与实际运营经验相符的概率重要度排序研究数据,对探索新建高速铁路接触网系统的可靠性规律和...     

改进的故障模式及影响分析在城市轨道交通运营安全评价中的应用

在对城市轨道交通系统进行详细研究的基础上,构建了城市轨道交通运营安全评价指标体系,提出FMEA(故障模式及影响分析)的改进方法.经采用模糊综合评判和序关系分析法改进后的FMEA,克服了传统方法的局限性,并解决了传统方法仅采用简单计算综合评价总值来确定风险等级而造成不够精确的问题.结合实例验证了该方法的合理性和实用性.     

小减压引起的25T型客车制动机缓解不良问题的分析与解决

客车制动机缓解不良问题是困扰我国铁路多年的影响客车行车安全的常见故障,根据KAX1行车安全监测系统采集的数据,例举在25T型客车上发现的小减压引起制动机缓解不良故障的现象,分析小减压引起制动机缓解不良的规律和特点,并提出解决小减压制动引起的制动机缓解不良的措施。     

列尾信息管理系统的研究与开发

分析研制列尾安全保护装置信息管理系统的必要性,介绍列尾安全保护装置信息管理系统的结构、功能和工作原理,指出采用这种系统带来的益处。     

境外施工企业安全管理与安全文化建设

近年来,我国企业“走出去”步伐不断加快,在境外承包工程时项目安全管理工作受到了的严重挑战。从境外施工实践来看,境外承包工程的安全管理工作表现出要求更高、适应性更强、挑战性更大等特点。对此国外承包工程市场安全管理的一些主要做法,我国施工企业实施境外工程中安全管理存在一定差距。但这些差距可以通过对安全管理与安全文化建设的辩证关系的研究,通过进行境外安全文化建设等管理对策加以解决。     

重庆深埋地铁车站入口安全疏散设计

重庆市轨道交通1号线是国内第1条深埋地铁,针对其地下车站埋深大的特点,对其车站出入口的楼扶梯设置、安全疏散、防排烟、消防电梯和大于100 m出入口通道的安全出口以及设备管理用房集中区的安全疏散、出口设置原则和要求等进行探讨,提出一些新的措施和设想.     

我国城市轨道交通安全预评价发展现状

我国城市轨道交通发展迅速,安全形势不容乐观。阐述城市轨道交通安全预评价的重要作用,从发展历程、相关法规标准、组织架构、评价资质、收费标准等方面,介绍城市轨道交通安全预评价的发展现状,就当前城市轨道交通安全预评价技术上的不足展开论述。     

机车司机警惕控制技术探索

机务部门推行机车长交路、单司机操纵改革后,监控司机在值乘过程中可能出现的打盹及意外伤病等引发的丧失控车能力的情况,已经成为铁路安全管理的重要课题。文章概述了部分引进机车的"机车司机警惕控制功能,"并提出了上海铁路局对机车司机警惕控制功能的探索方案。     

��������ҹ���ͨ����Ӧ�������о�ˮƽ

计划经济体制下发展交通运输的理论、方法，在特定时期和特定经济环境下，起到过一定的作用，但在市场经济体制下，它已经显得格格不入，要求我们要有新的理论作指导来完成交通运输对促进经济发展的任务。应用已成熟的市场经济理论，分析和解释我国的交通运输现象，从而建立和完善我国交通运输学科的理论体系，是我国交通运输学科基础理论研究的一项重要任务。交通领域的应用理论，应以交通领域中真实的现象为出发点，用经济理论推出我们的假设，然后将假设解释到我们的交通领域，形成交通理论，以此来指导并建立我国交通运输的理论体系。