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

摘要:文中全面地介绍了数据流模型机 SDS-l的特点和实现方法。SDS-l 模型机是一种同步和异步相结合、数据流和控制流相结合的数据流模型机，它能开发复合函数级的并行性。该模型机在Inte186/310微机和 8 个Inte186/12 单板机组成的多机系统上实现，达到了80年代初国际先进水平。

摘要:文中首先以数据库为基础研究了知识库系统KBS-l，然后基于关系知识模型，研究了一台关系知识库模型机，并以它为硬核研究了知识库系统KBS-2，最后进行了性能分析。

摘要:文中概述顺序执行PROLOG程序的计算机的一种系统结构的研究和实现情况，主要包括一个扩充的顺序PROLOG的抽象执行模型、机器指令系统、编译型PROLOG数据库的研究与实现算法、实验系统YH-SIM-ES的设计与实现、以及一种支持快速回溯的PROLOG机硬件组织的研究。

摘要:大型机采用的软硬结合的迭代除法方案具有很高的计算速度，但存在精度合理性问题。经过大量随机数试算验证和算法的误差分析证明：本文中提供的优选除法方案，提高了除法精度，解决了精度合理性问题。该除法方案装机运行后，提高了大型机的适应能力和运算速度，改善了处理效果。

摘要:文中讨论了非线性状态观测器的一种新的构造方法，建立了非线性系统观测器的一种线性化设计过程，所得结果是线性系统观测器理论在非线性系统中的直接拓广。

摘要:文中提出了采用前馈动力学补偿和实时动力学补偿的两种机器人位置/力混合控制器。仿真结果显示了这两种动力学补偿的有效性。由于动力学补偿的引入、机器人位置/力混合控制系统的性能得到明显改善。

摘要:本文以基本的矩阵代数为工具，对于多维 AR模型推导了梯格滤波的一般公式。在此基础上，可方便地得到在不同数据窗下(如预加窗、协方差窗和滑动窗)的实现算法。

摘要:文中提出了具有液相离解反应的推进剂液滴高压蒸发模型，同时还考虑了燃气中极性气体成份对液滴蒸发的影响，并以N₂O₄推进剂液滴为例分析了具有液相离解反应的推进剂蒸发规律。结果表明，此类推进剂高压蒸发并不服从非液相离解反应推进剂的t_b～P^1/3规律。模型的提出为液体火箭发动机燃烧室燃烧过程分析提供了新的液滴蒸发理论数据和计算方法。

摘要:本文将需要速度运用于导弹末助推级以提高导弹的再入点精度，为再入机动及末制导提供较好的初始条件。文中还考虑到为调整推力方向进行姿态控制的工程可实现性。

摘要:本文中讨论由若干个相依目标群组成的平面点目标系统的火力分配问题。对于武器型号相同的情形，得到了“边际毁伤递减原理”和“循序最优方案即全局最优方案”等结论，并在此基础上提出了问题的解算方法。对于武器型号不同的情形，提出了“循序最优枚举法”，并得出有关结论。

摘要:本文对相依目标群的状态转移概率矩阵的性质进行了深入的分析，得到了若干重要结论，并在此基础上讨论了相依目标群系统的火力分配模型。

摘要:文中讨论了用Z变换计算DFT的方法。对于N=2^t的DFT，本算法所需的加法及乘法量分别为：A=3Nlog₂N-2N，M=3/2Nlog₂N-3N+4。与Cooley-Tukey基-2算法比较，乘法量与加法量均减少25﹪。文中还讨论了本算法在微机上的实现，给出流程图。在运算时间上，本算法与通用FFT算法程序进行比较，节省时间30﹪。

摘要:本文针对对称矩阵A建立起性态数的并行计算公式，并通过数值试验得到了矩阵性态数变化对方程组Ax=b的解的误差影响，同时进行了向量和标量计算，计算结果表明：当n大于等于300时，向量计算速度比标量计算速度快17倍。