摘要:序贯验后加权检验方法是Bayes统计观点在假设检验中的运用。本文提出了该方法的一般理论，给出了当总体的分布参数具有验前信息时的序贯检验方法。文中确定了决策区的划分，同时讨论了序贯截尾方案，给出了俭验中可能犯两类错误的概率的上界，并将一般理论应用于产品的可靠性检验和再入飞行器随机落点的精度鉴定。由于运用了验前信息，因此能有效地在少量试验之下进行统计假设检验。本文所提供的方法对于昂贵产品试验结果的统计评定具有普遍意义。

摘要:本文介绍空间飞船再入段最优制导方法。纵向制导采用二次型性能指标最优的线性系统，得到最优控制规律。侧向制导利用庞特里亚金最小原理，得到最优开关曲线。结果表明，这些控制规律优于Rodney C. 所介绍的制导方法。

摘要:本文给出了大规模控制系统的一种新的综合 LQG/H_∞模型降阶方法。该方法同时兼顾了系统的时域特性与频域特性，使得对于在状态空间形式下的大系统的降阶既尽量保持原系统的频率特性，又具有与原对象更为接近的最小二次误差。

摘要:本文研究了采用非线性 M 序列辨识 ARMA 模型参数，提出了具体的算法，在特性上同 m 序列作了比较，最后给出了仿真结果。

摘要:本文提出一种用于柔性加工系统(FMS)的自动导向车 (AGV) 导引控制系统。该系统不仅能导引直线运行，而且能控制转弯。当自导车沿直线行驶时，它由设置在地面的气体激光器发出的激光束导引，由最优线性调节器控制，当自导车转弯时，它由三束激光和角锥棱镜检测位置和方向，由模糊控制器控制。实验表明该导引控制系统可行，它将使 FMS 的物流系统具有更高的柔性度。

摘要:本文简要介绍了H_∞控制方法的发展与应用。给出了作者博士论文期间的主要工作。

摘要:本文从信息与决策的角度，分析了决策系统信息特性的几个侧面，为研究信息对决策系统的作用机理做了一些基础性的定量工作。

摘要:文中对开普勒轨道方程中的经典 f、g 级数进行修正，使其适用于考虑主要带谐项的摄动情形，克服了 f、g 级数仅用于开普勒轨道短弧段的限制。公式的推导借助计算机完成。使用此方法所得结果与使用数值积分方法所得结果比较：该方法速度快、精度高、可直接得到连续的状态。该方法简洁有效，在航天导航和制导领域具有很大实用价值。

摘要:本文从基本概念出发，结合两个具体电路讨论如何用信流图建立系统标准状态方程的方法。

摘要:文中讨论了按 CGI 标准来设计智能图形显示终端的软件接口，总结了智能图形显示终端软件的设计和实现的思想和方法。

摘要:文中介绍了 P 波段 6 瓦功率放大器的研制过程，讨论了有关理论和实际问题。该放大器采用徽带和集中参数混合电路形式，具有体积小，结构紧凑，调试方便，性能稳定的特点。该电路已成功地用于某雷达整机。

摘要:文中介绍了采用数字低通滤波器去除红外图象中背景起伏的方法，在红外图象中采用统计矩来估计目标的位置与特征；描述了一种分割红外目标图象的新方法。对红外图象与模拟图象的处理都表明是一种面向实际应用的红外图象处理技术。

摘要:本文概述了远距离目标即点目标自动识别的技术方法，评述了与之有关的一些问题，并就其发展趋势提出了一些看法。

摘要:UPS 己广泛用于各种不允许供电突然中断，或对供电质量要求较高的场合中。但是我国的 UPS 市场几乎被国外产品完全占领着。为引起同行们的关注。本文扼要介绍了 UPS 的一般原理、现状和发展趋势。

摘要:基于小粒度并行结构的分类，提出了结构范式的概念。在此基础上，探讨了多向嵌套循环的并行执行问题，提出了父、母、子进程的概念以及面向多向嵌套循环的FMS 处理机调度策略

摘要:现有面向对象的软件环境大都建立在传统的 Von Neumann 型计算机结构上，其执行效率很低。传统系统是无法支持面向对象风格高效实现的。很有必要开发新型的体系结构以支持这种良好的程序设计风格。本文从介绍面向对象程序设计的基本思想入手，建立面向对象思想与计算机系统的联系，阐述有关研究问题并给出初步的解决办法。

摘要:文中就解Dirichlet边界条件的 Poisson 方程给出了 FACR (L) 算法及其并行实现过程，讨论了 FACR (L) 算法的计算复杂性，给出了针对向量机YH-1 的算法的参数 L 的优选公式，在YH-1机上得到了较为理想的，数值试验结果。

摘要:赋予知识库自动推理和维护功能，从而使知识库有效和实用，是知识库面临的关键问题。本文提出了一程基于缺言推理的知识库自动推理和维护方法，并介绍了根据此方法，在 VAX-Ⅰ/780 上使用 GKO-Prolog 作为工具实现的一个知识库推理和维护系统。

摘要:本文综合地探讨了计算机病毒的概念、原理及其防治。详细地分析了巴基斯坦病毒的结构和传播原理，并叙述了防治这种病毒的方法，包括消除方法和免疫方法。另外，作者认为病毒的防治尚没有完全统一的方法，必须具体情况具体分析，而最有效的措施是病毒预防。

摘要:软件开发到底是一个什么过程？这个过程中的哪些工作能自动化？这是软件开发自动化的两个核心问题。本文以这两个问题为中心来展开讨论，试图提出一些见解以改进过去的研究工作。值得指出的是；基于这里的思想，我们已经实现了一个用于开发 Ada 软件的支持系统。实验表明：在该系统的支持下，开发者能以最少的干预半自动地实现从问题的自然语言描述到程序包规范的转换。

摘要:文中研究对 prolog 编译器的暂时变量的分配，介绍了回溯分配法，着重介绍了一种高效的无回溯分配法的实现原理及其优点。