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

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

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

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

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

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

近程防御体系作战的计算机仿真研究

未来海战将是高技术条件下的局部战争,作战模式是体系与体系的对抗。因此,应从作战体系的角度研究作战。本文就是对未来自备式近程防御体系进行计算机仿真研究,仿真系统的两台计算机之间通过ＲＳ２３２连接。仿真软件主要包括指控系统软件部分、指控系统界面设计部分、对体系的动画仿真演示制作部分、通信部分设计等。     

从美军信息战计划谈我军炮兵指挥系统现状及发展方向

在未来战争中,信息战是决定战争胜负的关键。为此,美军制定了十分庞大的“打赢信息战”计划,高度重视建立数字化部队,以保持在未来战争中的优势。从美军的“打赢信息战”计划入手,分析了我军炮兵自动化指挥系统研制的现状和与外军相比存在的差距,探索性地提出了发展我军炮兵指挥系统所要解决的问题,指出了发展新装备的方向     

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

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

水面舰艇新一代指挥控制系统新技术应用研究

本文着重介绍了８０年代以来国外发展新一代舰载指挥控制系统所采用的新技术,以及这些新技术对提高指挥控制系统作战效能的影响。     

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

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

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

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

智能化作战指挥模式需求

智能装备已经走入军队、走向战场,创建智能化作战指挥模式是智能化时代作战指挥的必然发展趋势,智能化作战指挥模式需求分析可为智能作战问题研究提供有效的信息。智能化作战指挥模式的需求分析已经具备了一定的物质、理论和技术基础,同时,也具有了一定的构建思路、实践条件和实验平台。在此基础上,本文从军事需求、功能需求和技术需求以及构建要求四个不同角度进行需求分析,以找准创建需求,为后续工作进一步展开奠定基础。