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

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

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

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

反舰导弹电视制导ATR方法研究——多目标几何识别

本文运用图象处理与图象识别技术,结合应用光学的方法,研究了舰船目标图象识别的有关问题,并提出了一个可用于反舰导弹电视制导的自动目标识别（ATR）系统的方案设想。实验室模拟结果表明本方案具有实现的可行性     

防空作战单元的航迹管理和目标识别

本文以防空导弹作战单元指控系统的航迹管理和目标识别为应用背景,着重介绍单目标和编队目标航迹管理的可行性及存在的间题,并阐述一种改进的目标识别算法.     

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

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