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

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

北京市商业区可达性研究

为建立商业区可达性计算方法,并为未来商业区的选址、设计提供参考,选取北京市较为典型的5个商业区为研究对象,对商业区的特点进行了分析。从理论上探讨了计算商业区可达性包含的4个因素：土地利用、交通系统、时间因素以及个体因素。借鉴潜能模型,提出了可达性理论模型,并给出具体的可达性计算公式。以北京市5个商业区中18个大中型商场为例,计算可达性以及各区域到达这些商业区的可达性分布。     

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

介绍地铁车辆段出入段线的一般配线形式．针对近年来强调在车辆段出入线与正线接轨处应设置安全线问题,提出不同的看法。对照《地铁设计规范》中安全线的设置条件,认为在车辆段出入线与正线接轨点处不需要设置安全线。分析近年来新推出的车辆段出入线接轨方案存在的问题,提出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.     

12m大客车侧面碰撞安全性分析

建立了被撞大客车车身骨架、撞击大客车车身骨架和撞击货车有限元模型,运用ANSYS／LS—DYNA软件,分别模拟了撞击大客车与被撞大客车和撞击货车与被撞大客车侧面碰撞．并从侧面碰撞位置、骨架结构变形、乘员生存空间、碰撞速度和加速度方面分析了被撞大客车侧面碰撞安全性。