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

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

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

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

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

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

模块结构EMS 型磁浮列车的导向控制研究

本文研究了模块结构ＥＭＳ型磁浮列车中的一对相互错开的电磁铁的导向模型,采用衰减记忆算法实施导向控制,通过仿真比较了主动控制系统与自稳定系统的导向效果,讨论了导向控制对纵向悬浮的影响     

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

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

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

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

装甲车辆运用工程学科理论体系

本文论述了装甲车辆运用工程学科建立的社会历史背景和理论基础、学科的任务与研究内容,介绍了对学科理论体系研究的成果:归纳理顺了学科理论体系的结构,对各相应层次的知识单元给以定义、编码和内容要点说明,并编制了计算机应用软件,具有检索查询、显示、打印、维护功能,从而大大方便了使用.     

军方在装甲车辆保障性分析中的前期工作

论述了军方在装甲车辆保障性分析中前期应作的主要工作,合理地提出了装甲车辆的保障性指标;参与装甲车辆方案权衡,优化系统设计方案.     

装甲车辆使用可靠性综合评定方法

基于使用可靠性的特点,介绍了装甲车辆使用可靠性综合评定模型的建立过程、参数、权重、目标值等的有关计算,运用该模型可对装甲车辆使用过程中的可性工作进行评价、指导.     

98海湾危机回顾及几点启示

比较全面地叙述了９８海湾危机的成因,英美两国兵力集结情况,重点分析了兵力集结过程中所出现的特点,最后给出了所带来的启示。