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

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

垂直行程差的数学分析

本文论述了垂直行程差的定义,利用概括的矩阵分析方法推导出垂直行程差的通用计算公式,同时给出了特定条件下的计算公式与简化计算公式,文中分析了各种近似计算公式的计算精度,研究了垂直行程差函数的图象特点。     

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

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

压力容器裂纹寿命预测的概率分析方法

本文在文献的基础上,进一步考虑材料性能分散性和使用环境随机性的影响,用概率分析方法对有裂纹的压力容器进行安全性分析,阐述了其可靠度指标和失效概率的分析计算步骤。并用Monte-Carlo方法预测裂纹扩展寿命,从而为正确确定压力容器的运行方式及合理的修理间隔期提供了重要的技术依据。算例证明了该方法的合理性、可行性。     

一种适用于地面防空武器群的整体电子反对抗能力评估方法

应用雷达反电子对抗(ECCM)模糊矩阵、雷达和各类光电定位器材的作战可用度以及电磁环境的模糊分类等手段,提出了一种地面防空武器群整体反电子对抗能力的评估方法。     

谈有效阅读

阅读必须有一定目的,并自始至终铭记这一目的。通过设问、质疑迅速了解文章大意。通过寻找关键词、中心句以及编写提纲,理解文章的思想。促进知识迁移,使新知旧知融会贯通,化为能力。     

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

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