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

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

船舶上的"黑匣子"--航行状态记录仪研究

介绍我国自行研制的航行状态记录器基本原理及研制工作中采取的技术措施。     

集装箱生成量可拓聚类预测

分析了集装箱生成量可拓聚类预测的建模机制，构建出可拓聚类预测的物元模型，并用该模型对集装箱生成量进行了区间预测。     

注意规律在课堂教学中的运用

注意是人心理过程的动力特征之一,是学生学好知识、掌握技能、完成各种智力和实际操作的心理条件.根据一定的标准,可把注意分成有意和无意两种,两种注意的发生和保持,以及在课堂上的作用不尽相同.教师应充分理解和运用注意的作用和相互转换规律,充分发挥教师的主导作用,力争始终吸引学生的注意力,真正达到高效率的课堂教学,并且使学生身心轻松、愉快地学习.     

落锤式弯沉仪（FWD）应用研究

DYNATEST 8000 FWD落锤式弯沉仪是目前世界上比较先进的路面承载能力动载评定设备。介绍了该测试设备的结构组成、工作原理，并与贝克曼梁进行了对比测试研究。研究表明：对于相同测试状况、相同结构材料，两种弯沉测定值之间具有良好的相关关系，可以采用推荐公式进行动静弯沉转换，从而取代贝克曼粱对结构承载能力进行快速、准确的定量评价。     

一宗货物赔偿案例评析

达成共识的事实及观点陈述 2004年10月31日，一家土耳其公司Ekinciler Dis TicaretAS的2626捆，重达5244．42868吨的热卷曲可变型加固铁条在土耳其Iskenderun港被装载于Ebn AlWaleed轮上，欲运抵加拿大Sorel港，并在那里交付、卸载货物。     

高浓度有机废水强化预处理试验研究

以可生化性差的高浓度有机废水为研究对象，提出了在预处理的基础上进行强化混凝和强化吸附的强化预处理的方法和对应的工艺流程，通过静态和动态试验，高浓度有机废水强化预处理后降低生物处理负荷，CODCx降低约80%，可生化性提高约0.35。     

异构数据库数据迁移工具的设计与实现

异构数据库数据迁移是新型信息系统研制的重点之一。数据迁移就是将数据从一种数据环境移入另一种数据环境，它不仅仅是简单数据转移，还涉及到数据格式转换。在分析数据迁移常用方法基础上，提出一种更有效实现方法，具体实现一个通用异构数据库数据迁移系统。     

WGS—84转换为国家实用坐标的研究

对于小区域的工程测量的ＧＰＳ坐标转换，若仍沿用传统的几何法（公共点法），势必增加额外的联测工作量，这将降低ＧＰＳ的使用效益，据此，本文提出一种不需联测公共点可将ＷＧＳ－８４转换至实用国家坐标的物理法，并经工程验证，可以满足隧道和其他工程测量的精度要求。     

地电动自行车用铅蓄电池充电器的研究

介绍电动自行车电池充电的特殊要求，分析市场充电器优缺点，以及、三段式”充是惨数的确定：列举了理想充电对电极反应状态的检测的几 种方法。