利用时间自动机理论探讨客专RBC控车流程

基于时间自动机理论,在UPPAAL这种目前最先进的实时系统建模分析验证工具中,对RBC系统消息收发进行分析、建模及验证。最终对RBC系统控车消息收发流程的特性进行验证,对于保证RBC系统控车流程的安全性、减少系统开发周期及开发成本都有重要的实际意义。     

力矩管理在动车段物资管理信息系统中的应用

应用刷脸识别、扫码识别技术于力矩管理信息管理中,简化复杂的工具领用流程,缩短力矩工具领用过程,严格控制力矩工具的使用规范。     

动车组运行途中登顶处置方案研究

分析研究高铁动车组在运行途中发生需登顶处置的作业流程,提出改进的处置方案。该方案从动车组放电方式、安全信息确认和工具备品准备等方面进行了流程优化。经现场演练验证,优化后的方案在保证随车机械师人身安全的前提下,显著提高了登顶应急处置效率。     

WEB上通用数据库数据查询工具的开发方法

在分析了采用ASP结合ADO开发WEB网站的技术的基础上,结合自己开发的软件,对WEB上通用数据库的数据查询工具的功能、设计方法、流程进行了介绍,并提出了发展方向.     

集装箱多式联运发展对策研究

通过概述集装箱多式联运的发展现状,借鉴发达国家集装箱多式联运的运作模式,在分析集装箱多式联运的作业流程和信息流程的基础上,根据不同运输方式的各自经济技术特征,提出我国集装箱多式联运的发展对策:协调发展多种运输方式,统一技术标准,装卸、载运工具专业化,完善信息系统,以及推行运输代理制等,在实践中不断完善。     

多专业协同高效动车组检修物资管理模式研究

本文分析了动车组检修过程中对检修配件、材料、工具等的管理和使用要求,提出了采用多专业协同物资管理模式优化管理流程,减少重复工作,实现重要配件全生命周期管理并提高检修效率.     

LKJ基础数据的编制复核及信息化管理的探讨

分析了现有LKJ基础数据编制业务流程,指出了其中存在的不足,并有针对性地提出了一种基于信息化工具的LKJ基础数据管理流程,可实现LKJ基础数据全过程的自动化复核、校验和管理,提高LKJ基础数据的准确性。     

基于Petri网的机车检修作业管理信息系统设计与实现

应用Petri网作为描述工具,分析了机车检修作业流程,建立了机车检修作业工作流Petri网模型,通过化简验证了该模型的畅通性.对该模型的合理性及正确性进行了仿真分析.在此基础上,设计实现了机车检修作业管理信息系统,以提高机车检修质量和效率.     

一种ATS系统自动化测试工具的设计与实现

列车自动监控系统(ATS)是车载信号系统中的重要组成部分.本文提出一种ATS系统的非侵入式自动化测试工具,模拟测试人员真实测试的整个流程,可配置的测试脚本更具有灵活性,可以实现不同的测试需求;采用基于计算机视觉与光学字符识别的信息提取方式,使测试流程可以完全模拟真人测试;通过验证状态机的结果,简化了测试验证流程.该工具节省了测试过程中耗费的人力成本和时间成本,并在多条实际线路上进行了应用,验证了该工具的适用性和有效性.     

CRH2型动车通信网络协议分析系统的设计与实现

列车控制网络是面向控制的一种连接车载设备的网络通信系统,是分布式列车控制系统的重要组成部分,它能够通过信息的实时交互来实现对列车各种车载设备的通信、管理与控制等.通信协议是网络运行的最基本的保障,协议实现情况的好坏对于网络以及列车的正常运行都有重要的意义.本文对CRH2型车通信网络协议实现情况的分析方法进行了研究,并且设计了协议实现情况的分析工具,分析内容包括协议报文封装的分析,协议工作流程的分析,不同应用报文封装的分析,不同应用工作流程的分析等.