编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

CCD摄象机在检测雷达角度跟踪系统性能中的应用

本文提出用 CCD 摄象机和单片微计算机所组成的系统实现对雷达角度跟踪性能指标的检测,这一新方法可自动录取:雷达的光轴与电轴的匹配状况;雷达角度跟踪系统的误差;当雷达跟踪空中目标时对目标录象,用以评定雷达的跟踪质量.     

热漏对热机功率效率特性的影响

本文研究热漏对热机最优性能的影响,导出存在热阻和热漏损失的定常态流不可逆热机的功率、效率关系。所得结果不同于仅存在热阻损失时的内可逆热机的功率效率特性,且与实际热机特性相一致。     

新型TTB-08／32型数字话路终端特性自动测试仪问世

一种由数字式电平表、杂音计、失真仪、信号源组成．并由微型计算机控制的智能化综合测试仪,在我所研制成功并通过部级技术鉴定．     

雷达装备战斗恢复力设计初探

本文阐述了雷达装备战斗恢复力的重要性,提出在雷达装备论证设计阶段就应考虑如何提高其战斗恢复力,以及研究开发全方位、全过程的测试诊断技术。     

“非逃逸”导弹──燃料的改善使人们对冲压发动机重新发生了兴趣

在现有的火控系统下,适用于远距离作战的冲压发动机不能发挥其优势。由于导弹飞行状态的不断变化,火控雷达及隐身技术的发展与超视距的结合,为冲压发动机的应用创造了条件。文章介绍了几个国家在冲压发动机方面进行的应用。“非逃逸”导弹的应用前景十分广阔。     

固体弹道导弹机动性能评估

本文从某型固体弹道导弹机动性能方案论证的需求出发 ,采用系统分析法 ,建立了机动能力评估指标体系层次分析模型、指标量化和综合模型 ,并对机动性能论证中形成的四种待选方案进行了评估和比较 ,得出了较为理想的结果 ,为机动方案决策提供了定量分析依据。     

在线测量精密机床和加工工件直线度的新方法——优化误差分离法（OEST)

目前,运用多传感器对工件和精密机床的直线度进行在线测量的方法有ＳＴＰ法、ＳＴＲＰ法和ＦＳＴＰ法等。由于受到传感器相邻间隔距离的限制,这些方法往往只适合于长工件的在线测量。本文推荐的新方法──优化误差分离法（ＯＥＳＴ）可以用于短工件中的测量,它是基于频域分析和时域优化搜索的原理,可以克服频域变换中出现的边缘失效问题以保证频域变换的正确性。本文还介绍了计算机仿真和实际测量实验的结果,并验证了该方法的可行性和正确性。     

一类较为完善的不可逆制冷机模型及其最优化

在考虑工质与热源间热阻损失的内可逆卡诺制冷机模型基础上,用一常数项表示热源间的热漏,用一常系数项表示循环中除热阻和热漏外的其余所有不可逆性（如摩擦、涡流、惯性效应等）,提出了一类较为完善的不可逆卡诺制冷机模型,并对此不可逆制冷机模型进行优化分析,导出了其最佳制冷率与制冷系数间的优化关系和最大制冷系数及其相应的制冷率。由定义的一常数项和一常系数项可定性、定量地分析不可逆性对循环性能的影响,所得结果包含了有关文献的一些特例。最后,给出了详细的数值算例,说明本模型的有效性。