铁路信号系统软件测试建模方法

针对铁路信号系统软件测试模型不能系统地描述测试需求的问题,提出风险时间状态机建模方法. 首先,分析铁路信号系统软件测试建模的特点,并提出建模需求;然后,以有限状态机理论为研究基础,在有限状态机的变迁和状态中分别扩展出时钟和风险等级元素,提出风险时间状态机建模方法,满足功能逻辑、时间约束和风险等级3个方面的建模需求,采用Z规格说明语言给出风险时间状态机的形式化定义和格局转移机制;最后,以计算机联锁系统中的道岔转换功能为例,建立风险时间状态机测试模型,并与时间自动机建模方法进行了对比,结果表明,建模方法上,所建立风险时间状态机比时间自动机节省62%的变迁数,描述能力更强,能够满足铁路信号系统软件测试的建模需求.      

船舶电气设备的风险预控管理

近年来,由于计算机与通讯技术的日益成熟,船舶的自动化程度也越来越高,向着集成化、网络化、信息化方向迅速发展。另一方面,STCW78/95公约在我国的实施,船舶最低配员中取消了电机员,各大航海院校也相继取消了该专业的设置。如何解决这一矛盾,是机务管理工作新的课题。笔者认为,管理模式的转变是解决矛盾的有效途径。本文从电气设备的风险辨识与预控的角度,探讨电气设备新的管理模式。     

集装箱船市场现“大船追逐赛”规律

<正>对于近期班轮公司"跟风"订造18000TEU级的现象,航运咨询机构德鲁里揭示了一个有趣的"规律":只要马士基航运签订第一笔订单,其他班轮公司最终都将跟随其后,而主要的变化都只是时间问题。举例来说,马士基在1995年订造第一批8000-9000TEU集装箱船,在1997年交付。之后,在2000年,东方海外签订了2艘8063TEU集装箱船订单,并在2003年交付。在其他班轮     

无人驾驶列车系统：郊区列车运营的新时代

在世界范围内，无人驾驶列车的优势已在许多城市铁路网运营中体现出来，但自动化运营方式尚未在郊区铁路收到成效。Parsons公司近日完成了丹麦哥本哈根市郊区列车铁路网自动化运营状况的详尽调研，本文采用了公司开发部主管Tony Gowland先生和投资与交通部负责人Alan Dowton的情况解说报告。     

OCIMF海运终端信息系统探秘

作为一个非商业非盈利组织,OCIMF的主要工作是为成员提供安全与环保两个领域的指南与标准来降低企业风险,与石油公司一起保障海上原油开采、油品运输、油品码头等环节的安全。它推出的指南、标准作为工具给整个行业提供更多安全服务,共同构建油运安全新局面。     

6月国际原油运输评述

受OPEC推迟增产和部分原油储备释放影响,布伦特原油现货价先升后降,平均114美元/日,与5月份持平。原油运输市场总成交量较上月有所减少,运价有升有降。波交所原油综合运价指数先降后升,30日报747点,较上月底下降1.8%,月平均744点,较上月下降5.3%。     

配置艾里逊变速箱的校车增安全保障

在北美地区,超过50万辆校车每天为学生们提供安全可靠、可信赖的接送服务,校车每天接送的学生总人数多达3千万人,而几乎每辆校车都配置了自动变速箱。令校车所有人以及校车公司津津乐道的是学生安全、节油、减少排放和性能可靠之类可用数据证明的好处,然而要问学生们的家长的想法,他们只关注"安全"!"我希望我儿子所乘坐校车的司机两手紧握方向盘,眼睛专注路     

不振海船舶交通管理中心投入运营

9月16日，珠海海事局隆重举行了珠海船舶交通管理中心的揭牌仪式，珠海市政府副秘书长李力、广东海事局副局长庄则平、澳门港务局局长黄穗文、珠海市相关职能部门、口岸查验单位、深圳、广州、佛山、中山、江门海事局以及相关航运公司领导出席了揭牌仪式。     

论物流运营风险控制与防范

物流业的发展推动了社会经济的发展，成为社会经济发展的重要组成部分，然而物流业在发展过程中也遇到了各种风险，如何防范？就此根据物流企业运营过程中所面临的各种风险进行了分析，并运用风险坐标图方法进行风险评价，确定各物流营运风险管理的优先顺序和策略，提出了各类风险控制和转移的防范措施。