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

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

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

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

浅谈智能交通系统（ITS）在高速公路上的应用前景

简述了近年来国内外交通智能发展情况，分析了发展交通智能系统（ITS）的必要性，阐述了ITS技术的组成和在高速公路上的应用，以及未来实现智能化管理的21世纪的高速公路。     

我国汽车添加剂市场的发展

介绍了汽车添加剂的发展历程，汽车添加剂质量检验标准，我国汽车添加剂市场的发展状况，存在的问题及对策。     

国有商业银行股份制改造的现实困境与前景展望

我国国有商业银行的改革困难重重,难以取得重大突破和实质性进展。因此,实施股份制改造,加快建立现代产权制度和良好的法人治理结构是国有商业银行走出困境的有效途径。本文通过分析国有商业银行经营管理中股份制改造存在的主要问题和改革的重要性及改革的总体思路作一些粗浅探讨。     

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

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

轨道电路标准分路线的管理与使用

轨道电路标准分路线是专门用于轨道电路，并具有计量性质的器具，一般由导电接触装置和标准电阻线2部分组成。长期以来，轨道电路标准分路线的检测管理一直是一个薄弱环节，具体表现在检测部门不明确、检测手段不完备和检测标准不清楚。随着全路对轨道电路分路不良区段整治工作的高度重视，轨道电路标准分路线作为最基础的标准器具，在现场使用中暴露出来的问题日益明显，     

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

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