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

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

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

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

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

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

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

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

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

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

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

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

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

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

On efficient algorithms for finding efficient salvo policies

We consider the salvo policy problem, in which there are k moments, called salvos, at which we can fire multiple missiles simultaneously at an incoming object. Each salvo is characterized by a probability p_i: the hit probability of a single missile. After each salvo, we can assess whether the incoming object is still active. If it is, we fire the missiles assigned to the next salvo. In the salvo policy problem, the goal is to assign at most n missiles to salvos in order to minimize the expected number of missiles used. We consider three problem versions. In Gould's version, we have to assign all n missiles to salvos. In the Big Bomb version, a cost of B is incurred when all salvo's are unsuccessful. Finally, we consider the Quota version in which the kill probability should exceed some quota Q. We discuss the computational complexity and the approximability of these problem versions. In particular, we show that Gould's version and the Big Bomb version admit pseudopolynomial time exact algorithms and fully polynomial time approximation schemes. We also present an iterative approximation algorithm for the Quota version, and show that a related problem is NP-complete.     

采用改进遗传算法的舰载机保障调度方法

舰载机保障作业过程受到多种资源约束,同时可能存在突发事件的干扰。针对此特点,分析并制定干扰情况下的模型修正策略。在遗传算法中引入禁忌搜索算子改进传统遗传算法的变异操作,并通过具体实例进行仿真验证,其结果证明改进后的遗传算法在优化含干扰事件的多机保障问题时效率更高,并通过甘特图直观地反映重调度方案,为真实情况下有效处理舰载机保障过程中的干扰事件奠定理论基础。     

大容量储能发电机并联运行励磁控制算法

大容量储能发电机作为脉冲电源,整流后通过逆变器向大功率脉冲负载供电。采用储能发电机直流侧并联方式工作,可以有效提高系统带载能力与可靠性。当并联运行的储能发电机转速不同时,根据转速合理分配电机释放功率可以有效提高系统工作效能,因此需要设计一种具有功率调节功能的励磁控制算法。在电压、电流双闭环控制的基础上,引入功率前馈控制,推导并求解了前馈功率与励磁电流关系以及控制参数,并根据电机初始转速设计了功率分配算法。仿真试验结果表明,功率前馈控制在励磁控制过程中起主导作用,有效分配储能电机释放功率大小,提高了励磁电流响应速度,抑制了负载功率扰动对励磁控制系统的影响。