行车安全综合监控系统的时序Petri网描述及验证

行车安全综合监控系统规模大,复杂程度高,且具有不确定性。研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要意义。本文基于时序Petri网,提出了相应的分析和验证方法。然后,以系统中数据处理和传输过程的公平性、及时性和可靠性等问题为例,进行建模、分析和验证,从而说明本方法的有效性。     

电动原木抓斗在换装作业中的应用与改进

简述了南昌铁路局南昌机械厂生产的电动原木抓斗为适应口岸站换装作业要求而进行的一系列技术改进，从而实现了人货彻底分离，有效地保证装卸工人的人身安全，大大提高了铁路货场的装卸效率。     

铁路智能运输系统通用信息平台的设计与实现

为全面解决铁路智能运输系统(RITS)各业务系统间的互连问题,保障信息采集、传输、管理及共享功能的顺利实现,提出按照站段级、路局级和铁道部级3层管理模式开发建设RITS通用信息平台的总体思路。整个平台系统分为数据抽取、查询处理、模式集成信息管理、语义冲突处理、局部成员代理、数据字典、综合交通信息发布和应用服务等8个功能模块。根据铁路各信息系统的特征,给出通用信息平台的具体实现方法。采用OLE DB和ODBC API函数屏蔽数据模式的差异,连接和抽取异构数据,创建数据字典;XML作为公共数据模型用以消除异构关系数据的异构性和多语义性;利用CORBA(Common Object Request Broker Archi-tecture)技术和元数据技术构建应用服务器和元数据库,达到已有异构系统以及新建系统通过通用信息平台实现有效集成。     

货运计量安全检测监控系统的研究

结合货运计量和安全检测监控系统的特点，介绍货运计量安全检测监控系统的总体架构、货运安全监测数据的处理流程，阐述系统的网络方案和应用系统的基本功能，对全路货运计量安全检测监控系统的效益进行全面分析，指出系统进一步的发展方向。     

水位升降对库坡渗流场及稳定性影响

依托某库区边坡工程,通过现场水文地质勘察、室内试验,掌握库岸边坡岩土工程性质,结合干湿循环试验、理论分析及数值仿真软件,研究该工程蓄水期及运营后水位动态升降变化下的库岸边坡稳定性。结果表明:在高水位时,地下水浸润线呈"凹"形,低水位时则为"凸"形。库区水位在正常蓄水位30 m、最高蓄水位36 m之间可视为安全水位范围。本研究可为此库区边坡防护与库区水位调度方案提供参考。     

����J2EE�ĸ�����·�ۺ� ����ϵͳ��ȫ�����ϵͳ�����

分析了J2EE的基本体系结构以及该体系结构的优点，结合高速铁路运榆付于安全要求的特点，简要地介绍了MVC模式，以MVC思想设计了基于J2EE的高速铁路综合调度系统的安全监控子系统.该系统具有良好的可移植性和可伸缩性，可以减少系统开发以及部署时间，以较低的控制开梢获得了良好性能的表现.     

绞线式列车总线初运行算法分析

列车通信网络是高速列车的关键技术.系统分析绞线式列车总线(Wire Train Bus)初运行过程的原理,形式化描述初运行过程.     

RITS通用信息平台结构及实现技术研究

分析铁路信息系统现状及存在的问题，从路内、路外两个方面分析铁路信息系统的信息共享需求，并给出设计通用信息平台的原则和指导思想，根据需求分析和设计原则给出三级层次管理的平台整体方案、数据提取、数据预处理、数据组织方式及数据综合利用等关键技术，形成通用信息平台的体系结构。     

日本船厂船舶二次除锈技术现状

作者通过对日本船厂船舶二次除锈技术现状的专题考察,较全面地介绍了船舶二次除锈的工艺方法、质量管理、除锈用磨料的种类以及磨料回收处理等方法.     

货检移动手持系统的设计与实现

根据铁路货检作业的实际需求,研发货检移动手持系统.系统的物理拓扑结构分为应用服务器、集中控制服务器、无线接入点和手持终端4部分,逻辑结构分为系统应用层、业务逻辑层和数据层3层.通过终端功能的开发、信息的集成和业务流程的优化,实现了数字、图片与语音的融合.货检移动手持系统具有对讲、拍照、定位和信息反馈等功能,从而实现了货检作业的移动办公.货检移动手持系统在兰州局的实际应用表明,采用该系统,实现了货检作业的全程控制和闭环管理,提高了货检作业的质量和效率.