全方位抗击巡航导弹的招式——侦攻扰迷打阻拦

近期局部战争充分证明，空袭作战已经成为美军进行局部战争的主要作战样式，以巡航导弹为代表的精确制武器已经成为未来反空袭作战的主要威胁。根据巡航导弹的制导原理、发射平台和使用特点．论述了抗击巡航导弹的主要战法。     

PPSM嵌入式RTOS中的窗口系统开发

PPSM是Motorola为M68K系列提供的实时嵌入式操作系统。本文介绍在PPSM嵌入式RTOS上开发窗口及控件系统的体系和方法。     

电磁纯铁磁时效工艺改进试验

本文分析了电磁纯铁磁时效机理及人工时效工艺特点，对太钢近几年新工艺电磁纯铁磁性能进行了统计分析，并进行了两种不同时效工艺的对比试验，从而得出试验工艺可替代原工艺的结论。     

回气管道对压缩机吸气的影响

制冷系统回气总管对压缩机吸气的影响很少予以重视。本文就回气总管对压缩机吸气的影响进行了阐述。结果表明,回气总管的管径、布置方式对压缩机的吸气都有影响;同时也提出了解决影响的这些方法。     

多点热浇道模具的结构设计及其特点分析

采用多点热浇道模具进行无浇道废料注塑成形,不仅可节约原材料、保证塑件质量、利于特大塑件的成形,还可以通过改变定模板和动模板,实现多品种塑件的成形,有助于推行模具标准化。本文结合一模四腔成形盒体、盒盖的四点热浇道模具和成形冰箱上、下栅板长塑件的两点热浇道模具的结构,简要介绍多点热浇道模具的设计要点。并对两种结构作一比较。     

逻辑语言Setlog的证明论和过程性语义

本文对目前在处理复杂对象上的３种有代表性的逻辑语言进行了详细的综合分析，对比了它们在语法，语义及应用上的优优点。在此基础上提出了一种清晰，严谨和可实现的、能处理复杂对象的逻辑语言Ｓｅｔｌｏｇ。本文给出了Ｓｅｔｌｏｇ语言的严谨法形式，并讨论了模型论和证明论。     

多普勒雷达本振相位噪声导致的目标信噪比损失

本文讨论本振相位噪声产生的运动目标信号与接收机热噪声功率比的损失,得到了本振相噪为白噪声调相和白噪声调频时,目标信噪比损失的计算公式。