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

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

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

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

火炮操作方便性浅析

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

“软硬兼施”催效率——重庆市万州区人武部用科学发展观克服人少事多难题纪实

重庆市万州区人武部针对人手少、事务多的问题,坚持以科学发展观为指导,通过软硬兼施的举措提高工作效率,促进了人武部全面建设。对职工高看一眼今年5月,万州区人武部部长蒋健在组织民兵进行森林防火和冲锋舟操作训练时发现,现役干部忙得不可开交,可12名     

防务快讯

法国意大利联合组建重量级水下武器系统公司2007年11月30日,法国 DCN 公司、泰利斯公司和意大利芬梅卡尼卡公司联合宣布,将合并三个公司的水下武器系统业务,即 DCN 公司的水下武器业务部,芬梅卡尼卡公司的白头阿莱尼亚系统分部及泰利斯公司的水下系统部。三方在法国尼斯签署了关于合并的首脑协     

辽宁省出台《关于加强农村国防教育的实施意见》

为进一步加强农村村民国防教育,增加国防意识,近日,辽宁省出台了《关于加强农村国防教育的实施意见》,为全国普及农村国防教育提供了基本依据和具体操作规范。     

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

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

机载卫星导航终端定位精度试飞中杆臂效应的校正

飞机/直升机加装机载卫星导航终端后,需要对终端的定位精度进行试飞测试。由于试飞测试中产生基准数据的机载差分卫星导航系统(DGNSS)天线通常无法与待测终端(TUT)天线共用安装位置,因此,两者测量结果存在杆臂效应,从而导致试飞中TUT产生的定位数据相对基准数据存在变化的偏差。通过分析试飞测试中差分卫星导航系统产生的基准数据与被测终端输出测量值的关系,给出了统计意义上的待测终端精度计算方法,可有效校正杆臂效应对待测终端定位精度分析的影响。最后,仿真分析验证了方法的正确性,并在实际试飞测试中进行了应用。     

无人机系统控制站操作容错控制技术

通过对国内外无人机系统控制站操作容错技术发展现状及大量实际飞行操作经验的总结和分析研究,明确了现阶段无人机控制站操作容错控制技术主要涵盖了操作软件容错、控制站面板容错和操作界面布局容错等三个维度的核心问题。并从设计依据和原则入手,提出了无人机系统控制站操作容错设计的要求,分别针对软件容错设计、面板容错设计、操作界面容错布局要求进行了分析,可为无人机控制站操作容错设计提供有益参考。     

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

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