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

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

潜艇侧推装置

尖层型，采用单轴单桨推进的潜艇，由于缺少必要的侧向推力和转产和矩而无法自力离靠码头。如能在潜艇尾部安装一套侧向推力装置，则问题迎刃而解。本文介绍了我国首次采用的潜艇侧推装置的设计设计，试验和使用情况。     

电力牵引供用电管理的思考

根据供用电管理的实践，从牵引供电损耗基本概念出发，分析了影响供电损耗各个环节的主要因素，提出了技术管理措施，并建议以提高铁路分局整体经济效益为目标，用新概念和新方法改进供用电损耗管理工作。     

对未办理注销登记船舶应如何实施登记管理的设想

阐述了对未办理注销登记手续船舶应如何进行管理。     

压载水管理

压载水管理是为了减少有害水生物和病原体通过压载水和沉淀物传播的可能性.作者根据规范要求,结合实船设计,就压载水管理的三种模式进行了介绍、分析、比较.     

全球决胜重在中国--访通用汽车公司首席执行官瓦格纳

通用汽车成立于1908年,从1931年至今,通用汽车一直保持着全球汽车销量第一的成绩。作为全球最大的汽车制造商,目前,通用汽车在全球32个国家和地区建有制造工厂,产品遍布全球200个国家和地区。     

北京《轨道交通工程施工质量验收标准（土建工程篇）》贯标培训工作正式展开

2006年2月25日,在北京中国科技会堂,由北京市轨道交通建设管理有限公司和北京城建科技促进会联合主办了《轨道交通工程施工质量验收标准(土建工程篇)》系列专项技术培训。参加培训的学员是来自北京地铁4号线、5号线、10