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

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

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

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

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

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

一种加入综合业务数据网的先进的卫星通信系统-DYANETⅡ

本文介绍了一种用于综合业务数据网的先进的卫星系统,称为“动态信道分配和选路的卫星辅助数字网(DYANETⅡ)”．DYANETⅡ利用卫星连通IDON用户并承担过量中继业务．DYANSTⅡ适用于补充地面通信系统的不足,以迅速在全日本扩展ISDN业务．先进的网络控制技术的发展使按呼叫逐个分配卫星信道以及为各种连接建立单跳连接成为可能．此外,借助于编号和收费系统以及户网络接口,DYANETⅡ能使卫星系统用户接收到与地面系统用户相同的ISDN业务。     

TX6392型通信装备综合测试仪

本仪器用于测试收发信机及单、三路载波机主要电性能。含10种仪表,可组合或单独使用。自动测试频率、功率、调幅度、频偏、调制频率、调制失真、信噪比、输出电平、失真度等,半自动测试灵敏度、选择性、振幅特性、净衰耗等。交流或直流供电,用24位5×7点阵[E]显示。测试结果可打印输出。     

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

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

坦克火控系统机动目标的自适应滤波与自适应解命中问题

在非制导火控系统中,为实现目标信息的自适应滤波与自适应解命中问题,机动目标模型应能实时识别,并要适应工作周期的各种变化。本文提出了“参数辨识模型”,首次完全满足了上述要求。     

大型杀爆战斗部动态威力计算

首先,对动态下战斗部破片杀伤威力和爆炸威力进行了计算,在此基础上,再对多发弹对同一目标的杀伤威力进行了计算。     

部分参数不准确的线性系统H∞状态估计滤波问题

本文研究了部分参数不准确的线性系统的Ｈ_∞状态估计滤波问题,或即参数鲁棒性Ｈ_∞估计问题。我们先把它简化为带δ参数的对象的Ｈ_∞状态估计滤波问题,采用Ｊ无损分解方法,推导出可解性条件和滤波器的全部显式通解。     

复铜导线传输性能的初步探讨

本文对复铜导线的导电性能进行了初步探讨,计算出复铜导线的直流电导率和交流电阻、电感等传输参数以及它们与铜层厚度的相互关系,为进一步对复铜导线的研制和开发提供理论依据.