船用190型柴油机冷却水系统优化仿真

本文采用正交多项式曲线拟合法对船用柴油机(190型)冷却水系统建立了优化仿真数学模型,采用Sargent改进的Powell法对冷却水系统进行了优化仿真,证实了由作者提出的冷却水系统是可行的,并得到了试验结果的验证,计算相对误差在1％以内。     

闭式燃气轮机的最大功率输出

本文从有限时间热力学观点出发,导出有限时间约束条件下闭式燃气轮机循环的最大功率输出及其相应的效率界限。     

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

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