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

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

垂直行程差的数学分析

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

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

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

应用内弹道势平衡理论对单一曲线数据的处理方法研究

本文利用弹后空间一维均相流假设推导了弹道参数λ_ε,λ,λ_ε的理论表达式。同时对三个参数的相关量进行了研究,得出了与ε相关的关系。利用多通道数据解决了λ-ε的变化规律。文中给出一套完整的膛内火药燃烧规律的处理方法,并对实例进行了计算。     

机械振动特征分析中的信号处理技术与微机特征分析系统

文中指出抑制阶比混迭和泄漏是建立一套完整的微机特征分析系统中需要解决的二个关键的信号处理问题。提出了阶比滤波器是抑制阶比混迭有效和实用的方法;并研制频率比合成器以抑制泄漏。介绍了由频率比合成器、阶比滤波器、TMS32010数据采集装置、主机和绘图仪所组成的微机特征分析系统。最后给出了该微机特征分析系统对轴承进行故障诊断的结果。     

非均匀径向冲击下圆柱壳塑性动屈曲

本文采用王仁等提出的塑性动力屈曲的能量准则讨论了圆柱壳在不均匀的外部径向冲击下的塑性动屈曲问题,获得了屈曲的占优波数公式及临界冲击速度公式。经过初步实验,证明本文的结论是合理的,并进一步证实了该能量准则的有效性。     

边界润滑膜的微观分析

利用X—射线光电子能谱、扫描电镜等手段对新研制的含S、O、Mo油溶性化合物作为极压剂所形成的边界润滑膜进行了微观分析。结果表明:该极压剂的极压抗磨作用除了与极压剂在摩擦表面上分解,生成具有良好润滑性能的MoS_2、MoO_3、MoO_2等化合物有关外,还与极压剂对摩擦表面有化学抛光作用有关。     

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

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

关于闭环火控原理中的若干问题

目前火控界对大闭环火控原理中的一些基本概念的看法还不太一致,有的甚至还比较模糊,对这些基本概念的深入探讨,对大闭环火控系统的发展有重要意义。本文针对其中一些基本问题谈了笔者的观点。     

一种确定检测时间的方法

在许多作为侦察用的无源传感器只报出其检测结果时,利用此传感器一系列检测报告确定被检测目标何时进入及何时离开此传感器检测区域,成为解决决策级信尽融合问题的关键。本文讨论了一种利用序贯分析方法计算检测时间的近似方法。