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

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

铁路、公路两用车高架接触线检测系统的开发

安装在铁路、公路两用车上的高架接触线检测系统是由一小型接触网检测仪和一个装有多种传感器的小型受电弓组成,白天以30 km/h的最大检查速度稳定运行.实验室与现场试验结果均证明其在实际检测中的结果十分准确.     

城市轨道交通工程测量工作应注意的问题

基于项目工作实践提出了城市轨道交通工程测量工作规划设计的必要性，提出了测量规划设计的可持续稳定性和组织工作的系统性，以及承担者的专业性，稳定性的要求，建议考虑充分利用城市轨道工程测量信息。     

外版航海图书资料及其使用

重点介绍英版、美版、日版和澳版航海图书资料反其出版机构、发行情况等，叙述了外版纸质航海图书资料和电子海图的使用和改正的方法以及应该注意的问题等。     

机房管理及维护中的"软问题"与对策

机房管理及维护中的“软问题”主要指软件的问题与软环境的问题，主要表现在人与人的关系、软故障、环境卫生等方面。查找分析这些问题，提出解决措施非常有意义。     

测量监理与高速公路施工

对监理测量工程师在高速公路施工中的有关工作做了简要介绍，详细论述了在各阶段施工中测量监理的有关职责。     

真空—堆载联合预压法加固高速公路软基实例分析

针对某高速公路软弱地基进行真空一堆载联合预压法试验研究，探讨和阐述了该法的加固机理，并对现场试验成果进行分析，得出一些有工程实用意义的结论，为类似工程处理提供参考。     

图形驱动式路线施工放样与控制系统的研究与实现

为提高路线施工测量计算的计算机应用水平,提出图形驱动式路线施工测量计算方法,并以自主研制的FunGra系统为图形环境,通过建立基于功能图形对象的路线施工测量计算对象模型,以及在系统中提供创建和操作这些功能图形对象的便捷机制,实现了一个图形驱动式路线施工测量计算系统。现场应用验证了该系统的可行性和高效率。