摘要:本文提出了一种面向PROLOG的计算机系统，它采用传统计算机做为主机，后端机采用通用CPU芯片和支持 PROLOG高速执行的专用硬件。该系统结构简单，性能高。 性能模拟表明，该系统具有500KL1PS的逻辑推理速度和17M1PS的数值计算速度。

摘要:本文以排队论为工具建立了紧耦合多处理机系统存贮器的排队模型。通过对存贮体忙期的分析，得出了存贮器有效频带的解析表达式，研究了在保证存贮器有效频带最大的情况下，处理机的访存请求率λ、存贮体的服务率μ和存贮体数m三者之间的关系。

摘要:本文给出了一种获取多类知识的决策树算法，该算法根据所给定的属性的优先级和取值类型进行分类型知识的获取。为了保证获得知识的有效性，根据科恩(Cohen) 的归纳概率提出了一种证据支持程度来对所获得的知识进行评价，并相应地给出了一种知识求精的方法。

摘要:类比推理是人工智能领域中的重要研究方向，而相似性准则是类比推理中的重要概念。文中给出了类比推理的一种描述框架，定义了相似性准则，并且基于项重写技术，提出了相应的验证方法。

摘要:目前，诸如Fortran 8x程序设计语言中已经引入了并行运算成份。这给普通串行(标量)机上实现编译器带来了困难。本文提出了数组(矩阵)运算串行化的概念，并给出了串行化的判别准则及算法。

摘要:本文给出正切函数的有理展开和契比协夫展开式系数的加速计算方法，同时在 YH-1 机上进行了数值试验，结果表明：用现在的系数来计算正切函数，其精度比原来正切函数的精度可提高30%左右。

摘要:本文介绍在机器人力反馈依从控制器多机系统中采用程序设计语言C与分布式库函数相结合实现分布式程序设计的方法，论述了分布式库函数形式，支持分布式库函数设计的多机操作系统功能及其在设计过程中应予以重视的某些问题，并给出了分布式程序设计的一个简例。

摘要:本文提出了一种用于机器人力反馈依从 (Compliance)控制的计算机体系结构—M1MD型的多微机并行处理系统，并从硬件系统结构和系统软件两方面予以了说明。该系统是为完成一项实际科研任务而设计的，它能有效地实现机器人力/位置混合控制中多任务的并行处理，它的实现将使伺服控制周期缩短到 5ms以下，能满足各种机器人控制任务的需要。

摘要:本文论述了提高智能工具机性能所采取的技术措施，并对其性能进行了模拟。模拟结果表明，智能工具机的平均推理速度可达500KL1PS左右，比日本的PS1-Ⅱ约快一倍，比美国加州大学Berkeley分校研制的PLM约快两倍。

摘要:MT-l是在汉字dBASE-Ⅲ的基础上开发的数据库工具软件，它具有图形化的数据描述和数据操纵语言，是一个实用的微机管理信息系统开发工具。它在图形化用户界面、数据字典、视图、数据完整性和安全性等方面优越于dBASE-Ⅲ。本文描述了 MT-l的总体结构和主要功能，讨论了主要设计和实现问题。

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

摘要:基于YH-1巨型机，本文详细介绍了一种计算机图形的二次压缩法。该方法己经在YHHT图形软件上成功地实现，应用结果证明这种方法是高效的。

摘要:本文研究了最佳（n,2,w）二进制等重检错码的存在性问题。对于文【5】中n为偶数时所得的结论，本文给了一个简练的证明。更为重要的是，利用以上方法，作者证明了文【5】中关于n为奇数时的一个猜想。

摘要:本文提出了m序列递归采样的概念，研究并解决了素数周期 m序列的完备递归采样，对周期为合数的情况得到了一些有用的结论。

摘要:本文讨论了前馈序列的周期性问题，找到了使前馈序列获得最大周期的一般方法。

摘要:为提高在弱可观测条件下滤波器的稳定性，本文把非线性优化方法应用于递推滤波，形成了阻尼的最小二乘选代滤波算法。同时还得出了该方法的信息平方根滤波形式。

摘要:本文研究AR模型参数特征用于瞬态信号自适应检测的问题。本文依据AR模型参数矢量长度为特征检测信号的思思，提出了一种具有良好地自适应抑制噪声扰动的参数估计方法，弥补了 LS、SVDT方法的不足。理论分析和实验结果均表明，本文的方法具有很好的AR模型参数估计和瞬态信号检测性能。

摘要:如何维持雷达检测系统恒定的虚警率是现代雷达技术和信号处理技术中重要的问题之一。为使雷达检测系统在复杂的杂波环境中获得恒定的虚警率，就需要有高性能的恒虚警(CFAR)处理器。本文提出的新型CFAR处理器选择一个与被检测距离单元的值相接近的均值来作为CFAR的门限，从而使这种处理器具有能够及时反映外部杂波环境变化的自适应性;它硬件实现简单，具有很好的抗多目标效应、抗杂波边缘效应、抗大目标“吃”小目标效应以及降低(CFAR)损失的性能。

摘要:本文论述了采用FFT技术进行弹丸速度测定。这种技术优于传统的模拟滤波器，可以同时测定位于天线波束内的多个弹丸的速度；经数字滤波器过滤后的信号具有更高的信杂比和信噪比，从而测速距离有较大的提高。仿真表明，应用FFT技术测速，也有较高的精度。

摘要:文中给出一种多功能微型计算机接口，可应用于微机控制、信号测试、电路自检、故障诊断及数字信号产生等技术领域，是一种功能较强的调试、控制和测试段，具有一定的实用价值。