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

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

MCS-51系列单片机故障自诊断研究

本文研究在不加任何辅助硬件的情况下,对MCS-51系列单片机进行故障自诊断的方法,并给出了一个优化设计的8031单片机自诊断程序,文中所述的检测方法对其它系列单片机也有普遍意义。     

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

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

等、变深度舰船水压场的理论计算

在浅水、薄船、无限宽水域的条件下,舰船以亚临界速度(F_H<1)运动时,利用E.O.Tuck提出的渐近匹配展开法,可以得到定深度扰动速度势的摄动方程。对水深缓慢变化的海底,舰船的绕流不再是定常的,根据A.Plotkin所采用的多重尺度法,可以得到变深度浅水舰船扰动速度势的摄动方程。如果仅考虑扰动速度势的一阶摄动方程,则可得到考虑了线性兴波影响的舰船水压场的计算公式。     

中口径舰炮射击方法分析

中口径舰炮对海上目标的射击方法是射击指挥自动化研究中的一个重要课题。本文研究的中心问题是:海上目标机动时,在效力射中,中口径舰炮射击指挥自动化系统采用何种射击方式,才能确保目标毁伤,获得最好的射击效果。定量分析结果表明:海上驱逐舰类目标进行反炮火曲折运动时,在有指挥仪中口径舰炮效力射中,应对弹着方向偏差进行修正,然后采用同距射。     

一种诊断测量仪表故障的新方法

本文在分析各种测量仪表故障诊断方法的基础上,综合出一种新的诊断测量仪表故障的方法,称为仪表故障诊断与适应。     

解冻焦散线方法与应力强度因子K_Ⅰ,K_Ⅲ的测定

本文提出了解冻焦散线的实验方法,这是一种应用光弹切片技术获得模型内部任一点焦散线图象的方法。将它用于测定平面应变状态裂纹的应力强度因子K_1,K_2,获得了满意的结果。     

具有离解反应的推进剂高压蒸发理论探讨

文中提出了具有液相离解反应的推进剂液滴高压蒸发模型,同时还考虑了燃气中极性气体成份对液滴蒸发的影响,并以N_2O_4推进剂液滴为例分析了具有液相离解反应的推进剂蒸发规律。结果表明,此类推进剂高压蒸发并不服从非液相离解反应推进剂的t_b～(?)。规律。模型的提出为液体火箭发动机燃烧室燃烧过程分析提供了新的液滴蒸发理论数据和计算方法。     

机构运动弹性动力学普遍方程的研究

本文首次采用等参有限单元,建立了一个为一般机构广泛适用的运动弹性动力学普遍方程。在不附加任何“运动学”假设的情况下,作为自然的结果,方程的质量阵是正定、协调的常数阵;方程中不存在两类时变的非对称系数项,即所谓的“陀螺阻尼”项和“离心动刚度”项。因此,该方程无论在形式上还是在生成及求解方面,都要较其它同类型方程简单。此外,基于一维等参梁单元,本文还具体导出了具有杆状构件的平面连杆机构的弹性动力学模型,并给出了一个铰链四杆机构的算例。     

低能电子散射中的定域交换势(Ⅰ)电子被He，Ne和Ar原子的散射

文中利用自由电子气体近似(HFEGE)定域交换势和修正的半经典近似(MSCE)定域交换势,加上正交化方法(Orthogonalization technique),对能量在0.1～20eV的低能电子被He,Ne和Ar 原子的弹性散射过程进行了计算。其中靶原子的电荷分布以及入射电子和靶原子的静电作用利用原子的Roothaan-Hartree-Fock 波函数求出;相关和极化作用则用一个无参数的相关极化势近似表示。通过本文计算结果和严格计及交换作用的结果及实验数据相比较,对HFEGE和MSCE 交换势的准确性以及正交化过程对计算结果的影响进行了分析。