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

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

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

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

论后勤整体效应

步入八十年代以来,改革的浪潮把后勤工作推向了许多未知的领域,提出了许多新的课题。如何提高后勤整体效应作为后勤改革的一个重要目标,已日益受到重视。一、整体效应的产生及其内在联系。无论哪一级后勤组织,在其自身范围内都是一个相对独立的系统,都是由许多相互联系的模块(子系统)所组成。从自然学和社会学的观点来看,这个系统作为一个运动着的综合体总是存在两个相悖的客观规律: 1.整体效应规律。希腊哲学家亚里士多德对于整体效应下过这样一个决断:整体大于部分之和。也就是说,一个系统的功     

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

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

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

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

1.25cm 体效应振荡器研制

文中讨论了一种1.25cm波段的波导型体效应振荡器。其主腔采用可调节的同轴减高波导座结构,使电路与二极管实现良好匹配。文中着重讨论了主腔各部尺寸对振荡器特性的影响。稳频腔采用高Q值的H_(011)模式圆柱腔,并采用线胀系数不同的金属材料进行温度补偿,提高了频率稳定度。利用WT55型体效应管,在23-25GH_2频带内,功率输出大于30mw,频率稳定度为5×10~(-5)。     

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

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

高技术战场目标价值评价

本文采用模糊数学的方法对高技术战场主要目标进行分析和评价,拽地为我方对敌目标实施有重点的打击提供可靠依据。     

多媒体技术发展综述

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

略论军费的经济效应

军费增长与经济增长之问是一种什么关系?运用不同的理论可得出不同的结论。本文认为,军费具有乘数效应而缺乏加速效应,但在评价军费的经济效应时应注意到军费增长也会带来间接的国防工业的加速效应。