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

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

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

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

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

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

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

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

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

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

等离子体粒子模拟技术引起的对于色散关系的偏离及对孤立子模拟的影响

本文用解析分析的方法分析了等离子体粒子模拟中的有限大小粒子、电荷近网格分配和时间差分方法引起的相对于等离子体静电波色散关系的偏离,导出了修正后的色散关系。文中设计了等离子体粒子模拟的计算机模拟实验方案,验证了有限大小粒子和时间差分方法引起的对于色散关系的偏离;介绍了用不同大小粒子进行孤立子现象的等离子体模拟,结果表明,粒子的大小不同可产生相反的结果。     

双机编队协同制导的火控机理

针对半主动雷达中制导的远距空空导弹在制导过程中对载机的强依赖性问题,提出了双机协同制导的概念;首次给出了双机协同制导的过程描述.分析了长、僚机制导过程中对导弹导引和目标跟踪过程中的各计算要素;提出了长机对目标预测并进行数据传递,僚机再通过预测值对目标实施机动和照射的协同制导思想.     

一种无人战斗机系统使用保障费用分析方法

基于无人战斗机系统在使用保障上的特点,通过对有人战斗机使用保障费用模型进行合理改造,使其能适用于无人战斗机的使用保障费用分析。经过改造的模型具有结构清晰、概念明确的特点。适合在飞机总体设计阶段用于全寿命周期的费用估算以及飞机的费效分析和综合优化设计。通过与有人战斗机的使用保障费用进行对比计算表明,无人战斗机系统的使用保障费用具有明显的经济优势。     

集成平台空域辅助阵列共址干扰抑制技术

针对同时存在恶意干扰与非法窃听的通信环境,提出一种协作干扰(cooperative jamming, CJ)掩护的保密通信架构,收发信机之间采用跳频技术躲避恶意干扰,并采用协作干扰技术阻塞非法窃听。但该架构的通信带宽较大,会在收发频率振荡器中引起显著的同相和正交(in-phase and quadrature, IQ)通道失衡。鉴于此,对收发IQ通道失衡引起的信号失真进行数学建模,给出接收机处信干噪比的数学表达式,并给出干扰抑制比的闭合表达式。仿真结果表明,收发IQ通道失衡引起的信号失真的功率远大于热噪声功率。随着收发IQ通道失衡加剧,所提架构的信干噪比和干扰抑制比性能均会急剧下降,当幅度和相位失衡分别达到0.95和π/50时,信干噪比和干扰抑制比均损失了47 dB。     

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

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