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

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

编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

Lanchester方程与火力指数的内在联系

本文从Lanchester 方程出发,利用正矩阵的特性,将矩阵特征向量与火力指数有机地联系起来。通过例子进一步说明火力指数是Lanchester 方程中威力系数概念的推广;它不仅与武器本身有关,而且依赖于整个战斗的武器配系。当某些种类的武器被摧毁,战斗格局发生一定变化时,火力指数也会发生变化。火力指数还决定于火力分配原则。     

内外干扰因素对液体火箭发动机的影响分析

在已有的液体火箭发动机稳态工况的非线性数学模型基础上,计算分析了单干扰因素对液体火箭发动机参数的影响,用非线性方法和小偏差方法对比分析了两个干扰因素分别和共同对发动机参数的影响。所得结论可用于泵压式燃气发生器循环的液体火箭发动机试验结果分析、可靠性及故障分析,也揭示了此类发动机参数随各种干扰因素的变化规律     

反应堆轴向功率不均匀系数快速算法

本文提出了用于反应堆运行现场安全校核的反应堆轴向功率不均匀系数的快速算法,导出了轴向功率不均匀系数的快速计算式。     

舰船空调系统改进性方案设计

本文针对航行在热带海区的某型舰船用空调系统存在的降温效果差、舱室风机盘管噪音大、操作管理不便等问题进行了研究,并提出了改进设计方案;经实船安装和调试,明显改善了空调舱室的舒适性,提高了设备工作的可靠性和自动化管理程度,收到了良好的效果。     

渐开线球齿轮及范成法加工方案研究

在球冠面上分布着一道道环形齿廓而形成的球齿轮是一种新型齿轮。球齿轮机构可用来传递空间球面运动。为推广应用,有必要对球齿轮的加工进行研究。本文在分析球形齿轮的形状特性的基础上,将常规齿轮的范成法加工原理推广应用到球齿轮的加工上,从而形成球齿轮的范成加工方法。在应用范成法的前提下,设计了车削加工与铣削加工方案,并具体设计了一套球齿轮车削加工装置,为球齿轮加工的进一步研究提供了最基本的实验手段     

天基支援下区域反导组网作战链路规划

天基信息支援下区域反导组网作战各系统实现互连、互通、互操作的关键是战术信息分发系统,而该系统中存在着多种类型的数据链路,这些链路之间又存在着各种约束条件,因此科学合理的对这些链路进行规划是系统实现的重要工作之一.建立并提出了天基信息支援下区域反导组网作战战术信息分发系统数据链路的规划模型和一种新的解算方法,为该系统数据链路的规划提供了理论依据.     

基于组成要素的作战体系构建方法研究

针对当前作战体系构建理论研究中的若干问题,提出了基于组成要素的作战体系构建方法,对作战体系进行了模块分解和功能要求分析,得出了基于组成要素构建一般作战体系的框架图,可为同类作战体系构建提供参考。     

定时截尾与序贯截尾可靠性试验方案分析比较

在生产方、使用方风险及MTBF值同等条件下,对定时截尾与序贯截尾2种试验方案的优缺点、基本原理和方法等进行了对比分析。定时截尾试验能够在事先确定最大累计工作时间及所消耗资源,但所需时间较长,试验成本较高,可应用于武器装备可靠性鉴定和验收试验;序贯截尾试验事先对试验总时间及试验所需用资源无法确定,只能根据事先拟定的接收、拒收条件结束试验,无法估计MTBF的真值,但是所需试验时间较短,费用相对较低,可用于武器装备可靠性验收试验,也可广泛运用于医学及其它科学试验领域。提出了选择可靠性试验方案的基本原则,为科学选择试验方案提供了依据。