基于HLA的智能交通信息试验平台研究

从智能交通信息平台的概念出发,研究利用已有的智能交通系统资源建立智能交通信息试验平台。首先对比分析了已有的平台体系结构开发方法,即面向过程的开发方法和面向对象的开发方法,两者都已不能适应复杂大系统的开发需求。通过引入计算机建模与仿真领域的HLA（高层体系结构）技术,创造性地提出了基于HLA的体系结构开发方法,结合信息试验平台需求分析,设计了智能交通信息试验平台的逻辑结构。平台分4层来组织,分别是基础数据层、数据库层、应用服务层和用户主体层,在若干接口程序的衔接下,各类联邦成员协同作用以实现信息平台的功能。结合现有的技术设备条件,实现了信息平台的物理连接。平台搭建后运营正常,已接入信息平台的ITS系统包括车载导航系统和城市商用车辆调度系统,并为其他子系统的接入预留了接口。     

公路建设企业信息系统网络设计原则与方法研究

系统先进性：符合国际与国家最新标准，选用国际领先水平的主流品牌和符合发展趋势的产品。主机和网络系统有优良的性能，处理和传输能力上应留有充分的余量。应保证与各种主流的机型、网络和数据库的良好互联，以确保系统具有较长的生命期。软、硬件的投资要考虑到今后的发展，不能使用已经淘汰的产品或将要淘汰的产品，避免投资的浪费。     

安全苛求系统的形式化开发方法

从系统工程的角度出发，基于形式化理论，对安全苛求系统的开发方法进行了研究。首先介绍了安全苛求系统的形式化方法，分析了形式化方法对安全苛求系统的作用；提出了一种安全苛求系统的形式化开发模型（FDM），给出了具体的应用实例。     

当量公里记录仪地面分析软件的研制开发

介绍了当量公里记录仪地面分析软件总体结构、子模块功能,系统开发的方法与技术.     

会计决策支持系统及其开发方法的研究

根据会计信息的特点，结合知识工程等有关理论，从会计决策的角度对会计决策支持系统的含义，特点及其组成进行的探讨，论述了会计决策支持系统的模型构造及其主要的作用，并在此基础上，采用原型法，提出了会计决策支持系统的开发方法。     

设备备件微机管理系统的开发

备件管理是设备管理系统中的一个重要组成部分。介绍了《设备备件管理系统》的开发方法和设想。对于备件的查找算法、备件订货采购计划、加工计划等过程进行了论述。总结了在微机网络上具体实现的方法和经验；同时在数据库的网络共享方面做了大量工作，在软件的通用性方面也做了一些尝试。     

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

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

汽车运输企业MIS开发方法研究

汽车运输企业MIS是运输管理现代化的必然要求.针对汽车运输企业管理的特点,提出了建立局域网网络环境下汽车运输企业MIS的开发方法.并对开发方法作了深入的研究和探讨.这种方法对汽车运输企业如何开发高效、实用的MIS具有参考价值.     

基于MDD的住宅报警系统开发模型分析*

应用 MDD方法,提出了住宅报警系统开发的模型分析方法,涉及开发过程中需求与分析2个阶段。功能性需求通过用例建模搭建。非功能性需求用自然语言文本表述。系统结构用 UML类图建模,系统行为通过状态图描述。建模实践说明,MDD方法是实时和并行控制系统模型分析的有效方法。     

多媒体技术开发及其应用

本文介绍了多媒体应用系统的开发技术以及在铁路信息综台管理中的应用，并提出了在研制过程中的一些关键技术、工具包的开发方法。