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

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

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

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

复合控制在电动舵系统设计中的应用

采用电磁离合器控制的电动舵机,是一个带延迟的典型继电特性的非线性系统。由于延迟与死区使舵系统的稳定输出误差很大。为解决此问题,本文讨论了用复合控制方法减少舵系统稳态误差;通过数字仿真证实表明,此法可使稳态误差达到令人满意的程度。引入滞后——超前校正后大大改善了舵系统的稳定性。     

边界润滑膜的微观分析

利用X—射线光电子能谱、扫描电镜等手段对新研制的含S、O、Mo油溶性化合物作为极压剂所形成的边界润滑膜进行了微观分析。结果表明:该极压剂的极压抗磨作用除了与极压剂在摩擦表面上分解,生成具有良好润滑性能的MoS_2、MoO_3、MoO_2等化合物有关外,还与极压剂对摩擦表面有化学抛光作用有关。     

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

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

国防科技大学科技论文分析研究

本文以1992年国外著名八大检索工具收录国防科技大学的论文及1989年-1991年在国内1230种中文科技期刊上发表的论文为依据,分析了科技论文的分布,高产著者群的年龄、学历、职称结构。对如何进一步提高国防科技大学的学术地位,提出了相应的建议。     

关于闭环火控原理中的若干问题

目前火控界对大闭环火控原理中的一些基本概念的看法还不太一致,有的甚至还比较模糊,对这些基本概念的深入探讨,对大闭环火控系统的发展有重要意义。本文针对其中一些基本问题谈了笔者的观点。     

地面炮兵集中配置方式定位定向系统

提出了一种适用于地面炮兵测地作业,并与地面炮兵射击指挥控制系统一体化的集中配置的指挥测地车式地面炮兵定位定向方案,并对方案的可行性,测地精度,反应时间进行了分析。     

舰载跟踪雷达捕获概率分析

论述了舰载跟踪雷达捕获概率的分析与计算方法,给出了影响跟踪雷达照准概率的误差环节,并对搜索雷达稳定平台的隔离剩余误差作了较详尽的分析。