高速列车ATP控车模式的形式化模型与安全性分析

通过评述当前高速列车的发展现状和趋势,结合我国与欧洲在高速列车应用与相关技术研发方面的差距;对ATP控车模式进行分析,并提出采用时段演算针对实时、连续系统的形式化描述工具;根据时段演算的基本符号、公理、定理和推导规则,建立基于时段演算的ATP控车模式形式化模型;通过对模型的推演,对ATP控车模式进行初步安全性分析,发现ATP控车模式下对安全运行发挥主要作用的几个关键环节,特别是确保列车安全行驶,ATP控车与人工控制在转换时应满足的若干时间约束。研究的成果,为设计安全、可靠的ATP系统提供新的理论和分析手段。     

建设项目安全管理的智能化技术研究

明确建设项目安全管理的意义;简述建设项目安全管理技术的国内外研究现状;指出当前的建设项目安全管理研究存在的主要不足;提出笔者研究的思路和研究的主要内容;收集详细的施工现场资料,参考相关历史文献资料,提取可能引起安全事故的原始不确定风险因素,建立安全管理风险评价指标体系;并利用人工神经网络(ANN)强大的非线性函数逼近能力,将BP神经网络引入建设项目风险控制,构建基于BP神经网络的建设项目安全控制系统,从而实现建设项目安全管理的智能化。通过工程实例验证:该方法具有可行性和有效性,为实现建设项目安全管理目标及工期、成本、质量目标打下坚实的基础。     

空管安全风险评估指标体系的优化设计

结合国际民航组织提出的安全管理体系实施的相关要求及我国《民航空管安全管理体系指导手册(试行)》的指导思想,根据安全管理一线工作人员及中高层管理者的访谈记录,收集整理出影响空管安全的风险因素,并按照人员、设备、环境、管理4个方面进行分类、提炼、合并和综合,设计了风险评估指标体系并进行优化。该体系把安全科学和系统论相结合,把错综复杂的安全风险因素细化综合、提炼出脉络分明的监控对象,有助于空管系统进行风险识别和综合预警,查找安全隐患和分析不安全事件或事故征候的原因,为民航安全风险信息化管理提供基础数据和决策依据。     

在役化工装置安全评价指标体系构建方法的探讨

分析当前在役化工装置安全评价指标体系建立中存在的问题,提出"从风险分析到措施"的建立安全现状评价指标体系的新思路。探讨综合应用事故树分析法、层次分析法等方法并建立安全评价指标体系及确定指标权重的具体方法,使评价指标的建立及指标权重的确定更具有科学性。通过具体的化工装置安全评价指标建立及其权重确定的过程,介绍该方法的具体应用,不仅适用于在役化工装置的安全评价,也适用于其他系统的安全现状评价。该评价指标体系既能查找出装置中存在的具体安全隐患,也能给出装置总体安全性评价结论。