Prolog动态代码的两种语义及其实现方法

Prolog数据库操作内部谓词是Prolog非逻辑成份的一个重要组成部分。为了实现Prolog程序的可移植性,这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义,然后论述了这两种语义在WAM框架下的实现方法。     

跟踪目标的动态模型问题的评述

本文提出跟踪飞机一类机动目标的动态模型,对这些模型的特点和应用范围作出评述。     

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

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

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

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

嵌段聚氨酯弹性体的动态力学性能研究

以预聚体法合成了两嵌段聚醚—聚酯型聚氨酯弹性体。研究了配料比、氨酯基浓度及固化剂用量等对该体系动态力学性能的影响。发现:该嵌段共聚物是完全相容的,其玻璃化转变温度T_g与聚醚含量呈线性关系;固化剂用量对该体系的T_g亦有影响。此外,对于聚酯氨酯体系,其T_g值与氨酯基浓度U亦呈线性关系。     

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

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

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

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

12.7mm高射机枪模态试验与分析

本文利用实验模态分析技术和有限元法研究机枪—土壤系统的动态特性,通过模态试验获得机枪在硬质土壤支撑条件下的低阶模态信息,据此对机枪有限元模型的边界条件进行模拟,并从动力学角度分析影响射击精度的主要因素,为进一步研究机枪结构动力修改和质量评估提供依据,     

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

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