船舶溢油应急处置组织间关联关系形式化描述

为形式化描述船舶溢油应急处置流程中相关组织间的联系,首先利用集合论思想,将应急处置流程抽象为任务集、实体集和联系集的组合,并基于事故报告、应急计划启动、应急方案生成和应急方案执行4个阶段进行形式化描述,在此基础上,给出应急处置流程中的相关组织间的联系网络。研究表明:任务集、实体集和联系集3个不交集合可以覆盖应急处置的全部行为要素,集中式的组织结构可以提高组织的时效性。     

重型载货汽车道路可靠性试验初探

针对目前重型载货汽车在道路可靠性试验方面存在的不足,本文从兼顾用户实际使用条件和产品成本控制的角度出发,从试验要求、试验顺序、数据统计和合格性判定标准等方面,对重型载货汽车的可靠性试验规范进行了初步探讨,并提出了相应的对策和改进建议。     

基于本体的铁路客运枢纽内部设施建模研究

按照设计功能不同,将铁路客运枢纽内部设施分为行人步行设施、交通服务设施和辅助服务设施3类。运用本体建模方法,分析了枢纽内部不同类型设施使用与行人行为之间的关系,建立了设施功能与行人行为关系概念模型,并运用Z语言对其进行了形式化描述。该模型揭示了行人在每一设施内的行为特征以及设施与行人的交互关系,为系统设计、实现和验证提供了准确的、一致的文档依据,为下一步软件结构建模奠定了基础。     

列车运行控制系统中安全通信协议的形式化分析

安全通信协议是保证基于通信的列车运行控制系统中通信安全的主要因素,其性质和最终实现正确的形式化验证具有重要意义。本文将欧洲列车运行控制系统安全通信协议规范中的一些未强制规定的要求明确化,选择分层赋时有色Petri网(CPN)对修改后的安全通信协议进行研究,综合安全层、信道与应用层模型提出无线通信系统模型的分层结构,通过改变信道与应用层模型的参数,分析修改的安全通信协议中安全连接建立的时间特性。分析结果表明:信道丢包率为0.1、0.05、0.01的情况下,修改的安全通信协议安全连接建立时间特性是符合规范要求的。     

25G型淋浴客车的研制

野外作业的条件向来很艰苦,随着管理理念的提升,各行业对人性化产品的需求越来越多,神华公司的25G型淋浴客车就是在此背景下研制开发的新产品,其高效、节能、环保、安全和便于维护的特点,不仅改善了野外作业人员的工作休息环境,而且提高了工作效率。     

机车车辆设备振动冲击试验系统的技术研究

阐述了机车车辆设备力学环境试验要求,给出了机车车辆设备振动冲击试验系统的技术条件,分析了实现技术条件所面临的技术难点,提出了试验系统的解决方案.基于该方案而研制的大型振动冲击试验系统通过了计量检定与试验验证,各项技术指标均达到或超过设计要求,满足机车车辆设备系统级产品的试验要求.     

CTCS-3级列控系统规范的建模与形式化验证方法研究

CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。     

市域(郊)铁路规划建设标准探讨

近年来,国家政府部门先后出台多个鼓励发展市域(郊)铁路的政策文件。通过解读相关政策文件精神,梳 理总结多个市域(郊)铁路规范标准的异同及特点,结合自身规划设计实践,提出市域(郊)铁路在定义内涵、线路规 划、技术标准、客流效益、运营模式和运输组织等方面的一些技术观点。力求采用经济、适用、高效的技术标准 和建设方案,提供公交化服务,降低建设和运营成本,提高线路的经济效益,促进市域(郊)铁路在我国的长期可 持续发展。     

欧盟城市轨道交通装备检验检测与认证制度分析

介绍了轨道交通装备检验检测与认证的定义和功能。依据欧盟指令2008/57/EC,简述了欧洲铁路互通性技术法规体系,介绍了标准规范建立的过程。基于法规要求从互操作性部件和子系统两个方面分析了轨道交通装备的认证方法和程序。对国外第三方检测认证机构在轨道交通领域内的服务内容和运作要求进行了归纳,阐述了第三方检测与认证制度对我国轨道交通装备发展的意义。     

基于剩余蕴涵的模糊概念格构造方法

介绍了由下半连续三角模生成的剩余蕴涵．建立了关于模糊形式背景的模糊概念格，并讨论了其层次结构、由模糊集生成的模糊概念以及Wille算子的不动点．用模糊关系实例说明了基于Godel剩余蕴涵的模糊概念格的构造方法．