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

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

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

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

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

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

利用 Nernst 效应的高 Tc 超导红外探测器分析

高T_c超导膜中Nernst效应的存在为研制辐射探测器开辟了新的途径。本文分析了以Nernst效应为基础的高T_c超导红外探测器的工作原理及有关的噪声源。     

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

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

测量聚合物在高应变率下力学性质的实验系统

本文介绍了一种用于测量材料在高应变率下单轴应力─应变性能的实验测量系统：落重与高速摄影实验系统。该系统在现有的落重装置的基础上,增加了高速摄影和应力过程的同时测量,使得在一次实验中可同时取到应力应变数据。从而避免了这类实验中常用的变形过程中体积不变的假设。通过高速实验提供的实验照片,我们还可以观察到聚合物在高应变率下从变形到断裂的发展过程。     

复合导线高电导特性的机理分析

分析了复合导线在一定的频域,其导电性能优于铜导线的高电导特性的物理实质.认为,这种特性是由于电磁波在导线内部界面上的反射引起的.     

多媒体技术发展综述

本文主要论述多媒体技术的现状和发展动态.