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

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

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

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

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

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

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

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

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

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

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

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

【将军论坛】科技创新思维的哲学基础、本质特征与实践要求分析

科学技术是核心战斗力,科技创新思维是开启科技创新的“金钥匙”。为实现科技兴军目标,必须高度重视对科技创新思维的研究。本文首先提出马克思主义哲学是指导科技创新思维的锐利思想武器,并从唯物论、辨证法及认识论三个方面进行了论证;其次提出科技创新思维的三个本质特征,即新颖性、全维度和多样性;最后从五个方面提出科技创新思维的实践要求,即深刻认识创新对象、紧贴创新目标要求、重视创新实践探索、建构积淀创新知识、忠于坚守创新追求。     

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

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

远距离反坦克导弹最新发展述评

系统地论述了当前世界范围内各式远距离反坦克导弹的研究、发展、应用、升级改造思路和更新换代情况,以及一些知名公司的研制和发展特色;指出远射程、高精度、大威力,以及良好的适配能力和多用途化将成为其发展的重点。     

武器装备需求问题框架及特性分析

针对武器装备需求内涵模糊的问题,建立武器装备需求问题框架并分析需求的相关本质特性.提取武器装备需求的关键影响要素,提出武器装备需求问题框架--包括需求关键影响要素、影响要素属性、影响要素之间的关系;采用高阶逻辑的规则,分析了武器装备需求及需求映像的特性,包括武器装备需求充分性、前提合理性、实现可行性、必要性和层次性,以及武器装备需求映像充分性、必要性和指导性.以假定的一个城市导弹防御系统的需求研究为例检验了方法的可行性和有效性.