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

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

一个报表生成器的原理与实现

本文介绍了一个基于数据库文件的报表生成器的原理与实现,该生成器具有两种制表机制,它不但能快速简单地生成二维格式通用报表,而且能生成任意格式报表、空表、固定表等,从而为用户提供了一个简便、实用、高效的制表软件开发工具.本生成器采用TURBO C语言在长城系列微机上实现,生成DBASEIII报表打印源程度。     

制式枪膛压测量方法研究

本文针对枪膛内压力变化的测量问题,提出将应变片直接粘贴在枪管外壁上测量其膛压,并根据厚壁圆筒理论,分析了该方法的可行性,同时,与压电式压力传感器进行了对比试验,结果表明,该方法简便可行,测量结果可靠。     

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

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

成型铸钢件的缺陷形貌与评定

本文在显微形貌分析的基础上,运用断裂力学的方法,对射流消能器铸钢缺陷进行了分析,预测了其疲劳寿命,给出了初始缺陷的评判标准。切剖检测和跟踪统计表明,理论结果与实际情况一致。     

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

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

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

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

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

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

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

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

用聚电解质代替铬盐作磷化后处理剂的研究

用聚丙烯酸(PAA)和其它有机化合物复配,得到一种新型磷化后处理剂(CH41)。大量试验表明,其性能不低于含铬后处理剂,而且无毒,使用方便。作者利用电化学测试技术和SEM,EDX和XPS等表面分析手段,研究了它的作用机理。