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

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

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

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

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

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

船体曲面的数学表达

本文利用计算几何的曲面理论,选择均匀双三次B-Spline曲面,对船体曲面进行了数学表达。根据曲面顶点反求研究的最新算法,文中推导出了已知型值点与均匀双三次B-Spline曲面控制网格顶点之间的数学关系式。只要已知船体曲面上的一些特定型值点,应用这一关系式,便可求出数学表达所需的曲面控制网格顶点的数值。这种方法简单易行,计算有效。     

改善热带海域船用主机热负荷的研究

本文以8NVD48A—2u柴油机为例,针对船用发动机在热带海域热负荷过高问题进行了研究,并提出了改进方案。通过实船改装和调试,降低了柴油机的排温,改善了燃烧,收到好的效果。     

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

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

中口径舰炮射击方法分析

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

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

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

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

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

移位算子是近次正常算子的充要条件

本文在文献[1]工作的基础上,给出单侧加权移位算子是近次正常算子的充要条件,它们是通过移位算子的权序列性质来刻画的。