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

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

提高舰船生命力的模块化方法

本文在广义的生命力概念基础上介绍了提高舰船生命力的模块化方法，论述了舰船装备及其系统模块化对提高舰船生命力的意义．     

驾驶失误与记忆系统

本文提出记忆系统科学概念，论证驾驶失误的内在规律和防范途径，对端证学习和驾驶态度，提高培训效果有普遍指导意义。     

EMC屏蔽暗室设计镜面区及路径损耗问题探讨

论述了ＥＭＣ屏蔽暗室在设计过程中所遇到的关键镜面区及路径损耗等问题的考虑，结合作者的实践经验。给出了一些有益的建议及解决方案；最后阐述了这些问题的解决对屏蔽暗室吸波材料的选型、屏蔽暗室改善的改善所产生的影响，还给出了电磁兼容性国防科技重点实验室屏蔽暗室的镜面区、路径损耗的预测结果及其于此方案的性能测试曲线图。