逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

海平面的眼睛

本文论述了当今世界上正在研制生产的海军红外搜索与跟踪系统的发展情况以及它在防御反舰导弹上的重要作用。     

现代防空三坐标雷达技术体制评述

对现代防空三坐标雷达在地面防空和舰艇防空系统中的基本任务和地位作了描述,对雷达各种技术体制（叠层波束、频扫、一维相扫、相频结合等）的优缺点作了分析比较,指出了防空三坐标雷达的发展方向。     

精确制导武器的关键技术和战略发展方向

本文分析几次局部战争中精确制导武器运用情况,预测了未来可能发生的战争战场环境,论证精确制导武器的地位和作用,剖析精确制导武器的主要关键技术,提出综合利用多敏感器信息融合技术提高武器性能的方法,以及实现精确制导武器智能化的技术发展方向和需要解决的主要技术问题。     

标准化管理在质量责任制中的地位和作用

在建立健全企业标准体系和质量责任制基础上,依据标准和质量法规,对产品实施质量监控的经验和效果,说明标准化管理在质量责任制中的地位和作用。     

炸药热安定性的快速评定方法

本文分析了量气法和热分析法评定炸药热安定性的问题,提出把由一条DSC曲线测得的热分解动力学参数引入热平衡方程,以数值模拟方法计算出炸药在一定环境温度下的热爆炸延滞期,并据此判别炸药热安定性的观点和方法。经实验验证,该方法快速、准确。     

军事物流的若干问题刍议

针对军事物流的特点,本文分析了军事物流中物资储备、仓储管理和技术革新等存在的问题,并提出了相应的发展对策。     

可修系统的一个模型

本文研究一种具有4种故障形式的可修系统。利用向量Markov过程方法,求出了系统的可靠性指标。     

59式坦克的战斗恢复力

本文提出了一个新的武器装备特性——战斗恢复力.它是武器装备的设计属性之二.它主要研究在战场上,对战损武器装各,如何在人力、物力缺乏以及时间紧急的情况下,能够采取一切可以采用的手段,迅速恢复其战斗功能.战斗恢复力就是指战场损伤评估与修复水平(Battlefield Damage Assesment and Repair,简称 BDAR).本文对59式主战坦克的战斗恢复力进行了研究,并提出了一些意见和看法.     

未来的导弹技术

本文综合报道了美英法等国在几种新的技术领域发展和改进导弹的情况,对未来导弹技术作了展望。