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

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

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

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

试论建立一体化火力协调指挥体制

高技术条件下合同作战的火力线和火力支援,其打击形式,打击的目标,作战任务以及对打击效果的要求均与以往不同,更加突出了火力协调的重要性。据此,本文讨论了建立一体化火力协调指挥体制的问题,包括建立这种火力协调指挥体制的客观要求、火力协调的基本原则以及火力协调的一些基本方法。     

火炮操作方便性浅析

从分析火炮操作方便性的含义、分类、试验与评价等方面评价火炮操作方便性,提出应采用定量分析方法。     

平面交叉杆系变形协调普适方程及其通解

本文运用拓扑学、微分学、几何学的数学方法,捕捉到平面三交叉杆系的变形特点——拓扑特征.在小变形条件下,通过变换得到变形协调普适方程.从而推导出解此类拉压超静定问题的一种快速有效方法.该方法可直接应用于教学与工程计算.     

论国防建设与经济建设的协调发展

国防建设的发展要以经济建设的发展为前提。经济建设是当前我国社会发展的主旋律,也是国防建设系统与其外部协调发展的最根本点。国防现代化不能等到工业、农业和科技现代化实现后再加强,而必须与其他“三化”同时进行,互相协调,按比例发展,共同保证国家综合实力的同步增长。我国国防建设的道路只能走“短缺自补型”之路:首先要合理调整国防资源流程,其次要充分利用市场经济的社会环境,开展生产经营创收活动。     

官德决定成败

决定成败的是什么?有的认为是细节,有的觉得是机遇,有的判定是心态,有的分析是性格……各有论证,也不无道理。无数的事实说明,官德同样决定成败。官德,就是为官之德,是领导干部的政治信仰、道德品质、思想观念、工作作风,涵盖着感情趋向、思想意志、奋斗目标,体现于指挥决策、领导管理、协调服务之中,是国家政权维系之要,是党风军风建设之道,是家风民风引领之基,是领导干部权力运行之魂。     

基于指数收敛观测器的协调臂自适应滑模控制

提出了一种基于扰动观测器的弹丸协调臂电液伺服系统自适应滑模控制方法.设计干扰观测器在线观测系统扰动大小并进行补偿,从而有效降低切换增益;设计自适应律不断调整系统参数以适应对象变化,并采用一种映射自适应算法保证估计参数有界;为了加快趋近速率,设计了基于指数趋近律的滑模控制方法,保证在大阶跃情况下系统仍然能以较大的速度趋近...     

基于操作路径评分的某雷达参数测量考试系统

参数测量训练及考核是提高雷达技师维修保障能力的重要手段。在分析当前某型雷达参数测量训练及考核手段存在不足的基础上,针对当前的考试系统软件只能对考试结果进行评分,不能适用于既要对考试的操作过程又要对考试结果同时进行评分的问题,根据某型雷达参数测量训练及考试业务的特殊需求,设计并实现了一种基于操作路径评分的软件系统,该系统能够对某型雷达参数测量训练及考试的模拟操作步骤及结果同时进行评分。系统已经投入应用,实践证明:本系统能够节约成本,有效提高训练效率。     

围绕提高核心军事能力 推进民兵预备役部队训练转型

军事训练是未来战争的"预实践".信息时代,战争形态和作战方式发生了很大变化,民兵预备役部队在未来战争中担负的任务也随之变化.因此,必须紧跟时代发展和新军事变革步伐,坚持以科学发展观为指导,以新时期军事战略方针为统揽,以提高打赢信息化条件下局部战争能力为核心,积极推进民兵预备役部队军事训练转型.