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

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

TN—S和TN—C—S系统采用三相四极设备存在的问题

ＴＮ－Ｓ和ＴＮ－Ｃ－Ｓ系统是三相五线系统，而国内大量使用的电气设备仍是三相四线系统。本文分析三相四线设备用在三相五线系统中存在的弊端，提出了对策。     

兰州西尾部调速系统技术条件及效益分析

提要兰州西站驼峰调车场尾部平面调车自．动调速系统是由可控减速顶、停车顶及计算机控制系统组成。经过4年多的运用试验，取得了明显的技术效果和显的效益。本介绍了该系统的主要技术条件，分析了它的经济效益和社会效益，以及推广前景。     

美国州际高速公路系统的规划

笔者参加交通部“公路网规划培训考察团”赴美国考察学习。系统地接受了美方专家的培训，实地考察了美国的各类公路，访问了美国联邦公路总署，佛罗里选州、乔治亚洲、维吉利亚州交通厅及PBSJ等咨询公司。本文较系统、全面地介绍美国州际高建公路系统规划的制订情况和后期发展。     

华普海迅205

华普汽车绝对不是主流，尤其是这款充满跑车概念的海迅205，但依靠低廉的售价和炫耀的造型，总能吸引一小部分人。