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

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

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

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

超高精度车床直线运动误差检测与补偿系统的理论与实验研究

本文介绍了用三传感器误差分离法在线检测超高精度车床拖板直线运动误差和加工工件的素线直度误差。检测系统的精度高达±0.078μm。在此基础上,通过微计算机对误差数据进行数学处理,并驱动伺服机构对工件素线直度误差进行补偿加工。结果使工件素线直度精度提高到0.5μn/160mm,比补偿前的精度提高了50%以上。     

一种逆合成孔径雷达成象运动补偿方法

本文证明了逆合成孔径雷达成象与大阵列微波成象在信号处理方面的等效性,提出利用自适应波束形成技术来实现逆合成孔径雷达成象的运动补偿,给出了计算机模拟一维成象图,并对结果进行了分析。     

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

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

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

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

提高武器系统射击精度的几个技术途径

从几个不同的技术角度,消除火控系统存在的误差,从而大大提高武器控制系统的射击精度,使命中效率明显增加。     

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

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

火炮反后座装置气液量检测的新方法

本文提出火炮反后座装置气液量检测的一种新方法,讨论了系统的工作原理、实现途径及保证检测精度的措施,并给出了实验结果。在新方法的基础上业已形成实用的、具有智能化特征的系统装置。