YFT77 向量语句的实现

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

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

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

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

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

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

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

空地支援多目标模型

本文研究空地支援优化问题。模型的构造是基于目标规划理论。首先建立基础模型,然后根据问题条件,建立多目标模型。     

战场弹药贮供建模分析

本文运用库存论、目标规划和计算机模拟等理论与方法,分析研究了战场弹药的储备与补充问题,建立了“两级”弹药贮供数学模型,并应用实战数据在计算机上进行了模拟运算和分析。     

C3I时隙分配优化设计

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

高级程序设计语言综述

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

科研经费管理决策支持系统若干模型

本文应用多目标决策原理和计算机技术,在分析用户需求的基础上,建立了科研任务项目的预测评价和经费分配模型,并分析了有关模型的关系和解决性质。根据这些模型和决策的特点,简要叙述了该系统的主要功能。我们相信,该系统的应用,将给管理人员提供方便,且使管理进一步科学化,让有限的经费发挥更大的作用。     

一个人机瞄系统的非线性分析设计

讨论了一个人机瞄系统的非线性分析设计。首先建立了人机瞄系统的非线性模型,然后采用反馈线性化方法,利用状态反馈,完全抵消了非线性因素对系统输出的影响,实现了系统输入－输出的严格线性关系和解耦控制,再利用线性系统方法,进行了系统的极点配置,使系统具有希望的跟踪性能,最后提出有待于深入研究的内容。