基于车辆实时跟踪的编组站综合自动化系统集成方案的研究

在运输市场竞争环境下 ,编组站运输生产组织受列车到发不均衡性的影响日趋严重 ,使得依靠提高设备能力来缓解这种压力已成迫切需要 ,而优化现有设备系统的结构 ,以充分发挥其效能当为有效途径之一。基于这种认识 ,本文提出了将车辆实时跟踪系统与现有综合自动化系统集成的方案 ,分析了系统基础信息及软件的基本工作机制 ,并探讨了集成中几个关键技术问题的初步解决途径 。

车辆实时跟踪在编组站综合自动化系统中的应用

分析了制约现车信息可靠性的诸多因素;介绍了编组站综合自动化系统结构、性能和改进方案,及车辆实时跟踪系统（RVTS）与货车管理信息系统（YIS）的通信方案;指出实现RVTS在编组站现有综合自动化系统的应用是进一步缓解不均衡运输对编组站的影响,优化综合自动化系统结构,完善其功能的一个有效途径。

铁路自动化系统工程中数据通信的研究

本文主要从现场数据通信和分布式网络的角度对铁路自动化系统工程中的数据传输和数据通信的体制进行一些探讨，提出铁路现场网的概念。

用Notes实现基于工作流程的通用办公自动化系统

本文阐述了通用办公自动化系统(UOAS)的设计思想。并以工作流程为基础详细论述了通用办公自动化系统的组成结构。

位总线网及其在铁路编组站综合自动化中的应用

介绍了位总线的特点，指出了位总线在铁路编组站自动化综合系统中的应用前景，并举例说明了灵活利用位总线实现系统通信网的方法和注意事项。

信息系统评价指标体系及方法的研究

根据系统评价的原则 ,提出了信息系统评价的指标体系结构模型 ,并用模糊综合评价方法和人工神经网络方法进行了研究 。

管理信息大系统的结构模型表示与分解

讨论了管理信息大系统结构模型的表示与分解算法。利用该算法可使复杂系统划分为独立的子系统集或划分为不同的系统层次，这样便于系统结构分析。

信息系统需求分析方法研究

需求分析是信息系统开发过程中一个重要的环节 ,传统的偏重于建模的系统分析方法往往不能全面反映系统需求的多目标性、复杂性和用户群体思想。将Checkland的软系统方法论 (SoftSystemMethodology SSM)应用于需求分析将有助于从整体上考察系统需求。基于这种认识 ,本文提出了把SSM与传统需求分析技术相结合的需求分析方法 ,并以实例作了说明 ,最后探讨了这种结合对于保证需求分析质量的作用。

N个局中人的信息协商决策(支持)系统(IBD_n)

本文将软科学决策和协商学相结合，提出了Ｎ个局中人的信息协商决策系统。这套理论将用于商业谈判以及多方协商等广泛领域，并在 １９９３年 ８月中国昆明出口商品交易会上试用成功。

决策支持系统研究的发展趋势及前景

智能决策支持系统和群体决策支持系统是决策支持系统研究中两个重要的前沿课题．本文介绍了这两个课题的主要研究内容及发展前景，其中包括了基于传统的人工智能的智能决策支持系统、基于人工神经网的智能决策支持系统、群体决策支持系统以及与群体决策支持系统相关的系统，如谈判支持系统、计算机支持协作工作．

双重冗余控制系统故障安全性的研究

为了获得或改善计算机控制系统的安全性 ,从确保系统故障后导向安全的角度出发 ,深入地探讨了双重动态冗余控制系统的故障 安全性 ,从理论上对冗余控制系统故障 安全性进行了分析和推导 ,给出了一般性结论 ,并结合铁路信号计算机控制系统 ,对双重冗余控制系统故障

模糊信息分析决策支持系统

介绍一种信息分析决策（ＩＡＤ）系统，它是将已有的科研成果ＦＨＷ决策系统和ＦＧＲ关联系统融合在一起，再加上其它一些功能扩展而成的一种为信息分析、决策（对策）服务的系统。

SPA在转换桥系统中的应用

本文在总结集对分析(SPA)和转换桥系统的基本概念、基本思想方法的基础上,将集对分析引入了转换桥系统,并举例说明其应用.

一种系统安全性的形式化验证方法

随着计算机系统应用的深入和广泛,系统安全性越来越成为人们关注的焦点,形式化模型检验是解决系统特性验证问题的一种有效途径,用有限自动机表示系统的设计和实现,用计算树逻辑CTL(ComputationalTreeLogic)公式表示系统的安全特性,探讨了系统安全性形式化验证的方法。

实时信息系统需求分析的动态建模方法

实时信息系统是自动化生产及控制系统中对生产过程及作业信息进行实时管理的一类系统 ,它通常具有动态性、实时性等特点 ,保证其功能顺利实现的一个重要途径是提高软件需求分析的质量。本文以作者亲自开发的铁路编组站管理信息系统为例 ,提出了一种运用有限状态机 (FSM)理论对实时信息系统需求进行动态建模和分析的方法 ,它基于系统本质特征 ,可以保证需求分析和定义的完备性、一致性和无二义性 ,同时还便于向系统设计的过渡和进行系统测试。文章最后给出了确定系统状态和识别事件的途径。

微型计算机环境下双机系统的研究

论述了一种简便、可靠的在微型计算机环境下双机系统的实现方法，并且针对双机运行的安全性和可靠性进行了详细的论述。

编组站货车管理信息系统发展综述

目前全路大多数主要编组站已实现“编组站货车管理信息系统”（ＹＩＳ），但由于投产年代不同，设备类型、系统软件、开发形式各有差异，为使今后发展规范化，对小型机方案和全微机方案，从一次性投资、数据共享、可靠性、信息处理能力等方面进行比较，认为编组站适宜采用小型机方案。并根据ＹＩＳ存在的问题。

一种安全关键软件系统的形式化开发模型

形式化方法的主要研究对象是计算机系统的设计和验证。近年来,形式化方法的研究扩展到计算机应用系统的各个领域,尤其是安全关键系统。论述了形式化方法对安全关键软件系统的作用,提出了一种安全关键软件系统的形式化开发模型（Safety Critical Software Model-SCSM）,给出了模型的应用实例。

铁路分局货车管理信息系统

铁路分局货车管理是分局日常运输工作的重要组成部分，其主要任务是掌握全分局的车流，保证各条线路畅通，充分利用运输能力，更好地为国民经济和人民生活服务，努力提高经济效益。

射频识别技术在轮轴车间管理系统中的应用

目前,铁路车辆的轮轴检修作业中使用了一些自动化技术来提高工作效率,但是有大量的测量作业仍然是手工操作,并且有很多测量信息没有得到充分利用。对车辆段轮轴车间的工作流程进行了分析,针对轮轴车间特殊的工作环境与其特点,使用无线射频识别技术实现了对车辆轮对在车间内检修流程的跟踪,在此基础上,结合数据库技术和计算机串口通信等技术,完成了配轮的自动化和检修的数字化,进而实现整个车间管理的信息化。