YFT77 向量语句的实现

本文提出了通过源语言到中间语言的变换进行语言扩充的方法。这种方法已用来在YFT77中扩充向量语句,实践证明,这是一种有效、可行的途径。     

有限马氏链最优停止的线性规划解

离散时间的有限状态马尔可夫链最优停止的值函数存在的一个充分条件是所对应的线性规划有解,且其最优解等于值函数,本文证明这个条件还是必要的。     

一种新的运输问题对偶算法

本文给出求解运输问题的一种新的方法——运输问题对偶算法(仍是表上作业法)。最后给出的实例说明本文算法在解决某些问题时比[1]中方法简便。     

推理树概率逻辑公式集有效赋值列数计算

本文通过对概率逻辑推理树知识结构模型的研究,得出在树推理中对矩阵列消减起主要作用的相邻关系及其计算方法,给出了树推理模型的有效赋值列数的一般计算方法。     

C3I时隙分配优化设计

用线性规划方法讨论了Ｃ３Ｉ通信网络中时隙分配的优化设计问题     

高级程序设计语言综述

为读者选择语言提供了总体思路,给出了高级语言的发展的趋势。     

一类基于m序列的非线性序列生成器

构造了一类非线性序列生成器,其生成的序列周期长,线性复杂度高,且可控制。分析表明在满足一定条件下,它具有很高的安全性,适于做密钥流生成器。     

最大面积避障矩形问题的解法

建立了在一个含有若干障碍点的矩形母域内求一个最大面积避障矩形问题的数学模型.通过分析避障矩形的几何特性,找到了求解这一含有0-1变量的非线性规划数学模型的一种特殊解法.     

提高某型平显CCIP对地攻击工作式精度的研究

通过对某型平显CCIP炸弹对地工作式的精度分析,讨论了误差产生的原因,并对工作式的改进进行了探讨.     

基于线加速度计卫星平台颤振测量下的高分辨率光学遥感影像重建方法

卫星平台颤振条件下,推扫式高分辨率光学影像成像往往产生扭曲,从而影响影像的定位及信息提取精度。针对当前颤振下影像成像扭曲补偿的问题,本文提出一种基于线加速度计测量平台颤振下的稳态重成像模型实现高分辨率卫星颤振扭曲影像的重建。本文采用受平台颤振影响而扭曲变形的高分某型号卫星全色影像数据进行验证。分析结果表明：本文提出的线加速度计可以有效检测并测量出平台的颤振,设计的颤振影像地面重建模型可以有效改善平台颤振下推扫式光学影像扭曲成像的影响,补偿后的影像扭曲变形现象明显消除。