基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

避免“泰坦尼克”号悲剧重演仍任重道远——IMO秘书长关水康司

“泰坦尼克”号沉没100年后的今天，尽管已经物转星移．但SOLAS公约仍然是国际规约中针对海上安全最为重要的．它的各项条款已经几乎覆盖到了从船舶设计、建造、运营和管理的方方面面。回眸百年．尽管船舶航运安全的纪录已经发生了历史性的巨变。     

飞利浦:全程质量服务 创造安全畅行感受

<正>日前,由中国照明电器协会主办的第八届中国道路论坛顺利召开。适逢国家质检总局在2011年底公布道路与街路照明灯具产品质量合格率仅为58.3%,因此,LED道路照明灯具质量成为此次论坛的研讨重点之一。飞利浦照明在此次会议上提出:优秀的道路照明方案,应该充分考虑国家标准,施工和维护者以及     

广佛线二期线路接入一期施工组织风险及应对措施研究

广佛线二期线路于2016年4月中旬开始进场施工,6月底完成。总结二期接入工程进展过程中对施工组织各环节的风险识别及措施研究,为后续各延长线路施工安全保障提供借鉴资料。     

“歌诗达·协和”号事故迫使业界重新审视安全问题——国际海事保险（IUMI）总裁Ole Wikborg

IUMI希望对“歌诗达·协和”号事故的调查能延长，并主要集中在长期讨论的安全问题上。至于”歌诗达·协和”号事故对保险费率的影响，目前下结论还为时尚早．因为不是所有的保险商都会与客船签约。     

全国中小学生安全教育日 水上交通安全知识进校园

今年3月28日是我国第21个全国中小学安全教育日,各地海事部门纷纷联合教育部门,连续第四年开展水上交通安全知识进校园活动,为孩子们送上生动的水上交通安全教育现场课,通过赠送《小学生水上交通安全教育读本》、救生衣等形式,传知识、授技能,呵护小学生安全健康成长。     

航母飞行作业空间安全布局研究

研究针对航空母舰飞行作业空间安全问题而开展。研究首先根据作业特点划分航母作业区域，针对飞行作业分析构成空间危害因素的来源，提出一套度量危险因素的空间关联安全水平指标，以便对危险因素的空间关系进行量化；然后在此基础上，对2套不同起飞作业布局进行安全评价；最后，并围绕航母飞行甲板作业空间安全的典型问题进行分析和讨论。     

促进西部航空货运枢纽发展的实证分析和路径探索:以西安空港为例

航空货物运输对丝绸之路经济带建设具有重要意义。而当今航空运输的发展已呈现出功能复合型、内涵演进性、结构立体性和综合性的趋势。本文以促进西部航空货运枢纽发展为研究视角,基于综合交通的特征、功能,阐述了促进发展的保障服务功能和拓展协作功能;又借鉴国内外机场成功的实践和经验,探索了促进发展的方法路径和实施措施。结果表明,促进发展需要具备两个主要条件:一是外部环境条件,包括开拓腹地市场,保证充足运量生成源,培育物流主体,扩大空港吸引范围和辐射半径;二是内部自身条件,包括完善基础设施优化配置、引导运输方式有机衔接、提高运输组织合作效率、提升运营管理水平及信息化水平。     

纽约市道路交通安全改善经验与启示

为提升我国城市交通安全水平,有必要借鉴发达国家与国际先进城市的交通安全治理经验。近年来,美国纽约市在道路交通安全改善方面取得显著成效,安全状况显著优于美国同类城市。纽约将安全列为交通发展的首要目标,提出"零死亡愿景",并强调安全文化。同时,注重慢行交通和道路安全设计,不断塑造可持续的安全街道。纽约的先进经验对于我国城市交通安全战略布局、政策制定以及管理优化有重要的参考意义,有助于支撑我国城市道路交通安全的全方位提升。     

“两会”代表委员热议交通运输问题

随着社会经济的飞速发展,交通运输问题越来越成为人们关注的民生问题。回首2011年,校车安全事故、"7·23"动车追尾事故等无不牵挂着人心。此次两会,交通运输问题也引起了人大代表、政协委员的高度关注。校车安全问题引代表重视国务院总理温家宝于3月5日在政府工作报告中指出,要加强校车安全管理,确保孩子们的人身安全。这是校车安全管理问题被首次写入政府工作报告,也意味着国家对校车问题的关注上升到了一个新的高度。