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

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

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

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

Fuzzy-AHP在军械软科研管理中的应用

本文采用群组Fuzzy-AHP对军械管理软科研成果进行综合评价,给出了一个简便、可行的评价标准。军械管理系统是一个复杂的开放系统,有诸多不确定的因素存在,我们认为要提出一个适应性较强的、具有浓缩内涵和广大外延的军械管理软科研成果的评价标准,必须遵守局部服从整体、近期效果与远期效果相结合、定性分析与定量分析相结合的原则。针对军械管理软科学研究的特点,本文建立了表征软科学成果的包括价值、质量、投入在内的指标体系,构成了多目标决策数学模型,运用层次分析的方法,结合模糊评判的手段,给出了模糊评判矩阵、综合评分与排序。     

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

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

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

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

矩形带簇的推广

本文将矩形带簇的概念扩张到了广义矩形带簇,讨论了广义矩形带簇的若干性质.     

单基药挥分的色谱测定法及其应用

本文阐述了单基药挥分的色谱测定方法,并探讨了在单基药挥分变化规律等问题研究中的应用。     

多媒体技术发展综述

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

一种新型雷达接收机前端的研制

本文介绍一种具有快速、准确、高载获率和高分辨率的Ｃ波段雷达侦察信道化接收机的前端,首先叙述它的组成原理,然后简介电路的构成适到的性能参数。