军事交通学院汽车教练大队荣立集体二等功

2006年2月22日，总后勤部发出通令，给军事交通学院汽车教练大队记集体二等功。2006年9月25日，该学院隆重召开“建队30周年纪念暨荣赶集体二等功庆功大会”，院长李长顺、政委高尚国和机关四部领导出席了会议，并为受表彰人员颁奖。会上，高尚国政委宣读了总后勤部关于给汽车教练大队记集体二等功的通令，李长顺院长作了重要讲话。李院长首先代表学院党委、领导和机关对汽车教练大队建队30周年表示了热烈的祝贺和亲切的慰问，     

城市中心区停车设施供应研究

随着城市化进程的加快，我国机动车拥有量及道路交通量急剧增加，停车问题已成为诸多城市的难题。本文在分析了城市中心区停车设施供应的影响因素的基础上，建立了停车设施供应与停车需求关系模型以及停车设施供应与路网容量平衡关系模型，对如何合理确定城市中心区停车泊位供应量进行了探讨，并在浙江省台州市滨海工业城启动区块的停车设施供应规划中得到应用，可为我国城市中心区静态交通设施规划提供借鉴。     

PERTS——一个实时系统的原型建造环境的设计与实现

本文结合我国军用软件的开发特点,针对实时系统的特征,提出将实时需求分为周期需求、非周期频繁需求和非周期偶发需求三类的新思想。在事件—动作模型及实时逻辑的基础上,设计了一种实时系统原型描述语言RTSPDL,该语言形式化地表示了事件——动作模型,突出了对 时需求的优先级及异常和违章机制的描述。实现了一个实时系统的原型建造环境PERTS。该系统包括一组原型建造的工具集和原型的运行环境,支持软件重用的开发方法。语法制导的图示原型编辑器能形象、直观地对原型进行描述,原型生成器快速地生成原型的Ada可执行代码;原型的运行环境保证了原型的有效运行,并支持对实时环境的仿真。