海南省信息化建设

给出了海南省公共信息网络拓扑结构设计思路.采用交互式信息共享平台和全省各区 域网络节点构成,形成一个覆盖全省、用户驱动的交互式的网际网.通过建设公共信息网络系 统来沟通和激励各专用信息网络外部信息流的横向交换,将相互独立的专用网联接成能发挥综 合效益的有机整体海南省公共信息网络主要由基础层、信息交换与服务层用户层三大部分构 成逻辑结构网络.     

高铁运营安全多委托方监督演化博弈的SD分析

针对我国高铁委托运输管理模式下,高铁运营安全监督系统存在高铁公司对多个委托方的监督策略难以合理制定的问题,本文通过分析某高铁公司及其 2个委托方策略的动态选择在安全监督方面存在的复杂博弈现象,建立了三方组成的系统演化博弈模型.通过演化博弈理论证明,结合系统动力学(SD)仿真,可以揭示多委托方条件下,系统各方进行决策的行为特征及其稳定状态.结果表明：采用静态策略时,博弈过程出现了长期波动,并不存在演化稳定策略均衡(ESS);而采用动态策略可以有效抑制博弈过程中的波动,但在奖惩系数相同的情况下,静态策略对于委托路局安全投入率的提升优于动态策略.说明高铁公司在制定监督政策时,应灵活运用静态和动态策略,以使高铁运营安全水平得到有效控制和提升.     

港口水域通航安全管理存在问题分析及对策

《港口法》生效实施以来,港口水域的通航安全监督管理状况发生了较大的变化。从海事机构水上安全监管的职责出发,结合当前港口水域的安全管理状况,对海事机构在港口水域通航安全监督管理中存在的主要问题,如港口水域界定、港口岸线使用许可、港口航道、锚地的划定、水上水下施工等,从法律法规、管理机制和日常监管等几个方面进行分析并提出具体建议。     

地铁车辆段出入线接轨方案探讨

介绍地铁车辆段出入段线的一般配线形式．针对近年来强调在车辆段出入线与正线接轨处应设置安全线问题,提出不同的看法。对照《地铁设计规范》中安全线的设置条件,认为在车辆段出入线与正线接轨点处不需要设置安全线。分析近年来新推出的车辆段出入线接轨方案存在的问题,提出2个优化设计方案,并以上海地铁1号线梅陇车辆段出入线方案进行类比,证明没有安全线列车运行的安全是可以保证的。结果表明,该优化设计方案具有车站长度短、可大幅度降低工程造价、行车安全、调度灵活等优点。     

LNG及车用LNG的现状与未来分析

液化天然气(LNG)具有高效、清洁、安全等特点,目前主要应用于车用燃料、城镇燃气备用气源、发电等,涉及工、商、民用,是一种应用广泛、经济性较高的能源。目前我国天然气车分为液化天然气(LNG)车和压缩天然气(CNG)车两种,两者的本质都是天然气,区别在于生产加工的方式和存在形式。     

道路运输车辆达标车型整车主动安全项目测试简析

道路运输车辆达标车型的实施,有效提升了道路运输车辆的安全性能。文章主要从电子稳定性控制系统、车道偏离预警系统、前向碰撞预警系统、自动紧急制动系统四个整车主动安全测试项目对道路运输车辆达标车型相应标准进行介绍,为道路运输车辆达标车型相关从业人员提供了主动安全整车项目试验参考。     

城市轨道交通线网运营期间安全评估实施研究

文章首先对标《城市轨道交通正式运营前和运营期间安全评估管理暂行办法》及《城市轨道交通运营期间安全评估规范》,结合城轨运营期间安全评估的特点,确定专家评议法作为这一阶段的安全评估方法.然后,通过分析、梳理城轨企业运营期间在网络化运营、行车组织、客运组织和设施设备运行维护等方面的安全生产实际情况,研究得出城轨运营期间安全评...     

港口通航环境对船舶航行安全的影响分析及评价

港口通航环境是发展航运所依托的重要资源之一。为了预防和减少海难事故的发生,降低港口船舶航行的危险程度,除了提高操船者的素质、船舶性能,还需要改善船舶通航环境。从水文气象因素、港口条件因素、航道条件因素、交通因素、水上水下施工作业5个方面对船舶通航安全的影响进行了分析,论述了港口通航环境安全评价的主要内容,提出了改善通航环境的治理对策。     

城市道路安全审计探讨

分析了我国城市道路在安全方面存在的问题,结合城市道路的特点,探讨了城市道路实行安全审计的细则及城市道路安全审计的重要技术问题和采取的减少交通事故应对措施,以减少城市道路交通事故和消减潜在的安全隐患。     

Process Expression of Security Automaton

Security is an essential aspect for mobile systems. Usually, mobile system modeling and its security policies specification are realized in different techniques. So when constructed a mobile system using formal methods it is difficult to verify if the system comply with any given security policies. A method was introduced to express security automata which specifying enforceable security policies as processes in an extended π-calculus. In this extended π-calculus, an exception termination process was introduced, called bad. Any input which violating a security automaton will correspond to a step of transformation of the process that specifying the security automaton to exception termination process. Our method shows that any security automata which specifying enforceable security policies would decide a process in the extended π-calculus.