摘要:逻辑程序 AND 并行性的开发是逻辑程序并行执行研究中的一个重要课题。文中提出了一种开发逻辑程序中 AND 并行性的静态编译方法。该方法分成三个阶段: 第一阶段，进入模式 (entry mode) 的分析；第二阶段，退出模式 (exit mode) 的生成；第三阶段，执行图表达式(execution graph expression) 的确定。通过运行一些基准程序可知，与其它方法相比，该方法能在“生产者-消费者”原则(producer-consumer scheme)下最大限度地开发AND 并行性，且只需很小的动态开销。

摘要:YH-SIM是一种正在研制中的顺序 PROLOG 机。本文介绍该机存储组织的设计考虑^{[9，11，12]}。根据PROLOG过程执行的具体特点，文中提出了一种多专用Cache的存储子系统结构，旨在支持深度优先加回溯的顺序 PROLOG 求解机制。即按照不同的访问方式，设立常规Cache和栈式Cache，分别支持存储空间中的随机访问区域和栈式访问区域。作为一个典型的子部分，文中详细讨论了选择点Cache的控制和调度策略。

摘要:文中给出了一个机械人力反馈依从控制用多微机系统的VME总线控制器的基本结构，给出了采用循环选择 (RRS) 优先策略裁决器的设计细节，指出了在设计过程中遇到的问题及其解决办法，最后以 MSI、SSI给出了总线控制器的具体实现。

摘要:多处理机系统是巨型机的发展方向。宏任务是在多处理机系统上用来加快程序执行的一条主要途径。文中介绍了宏任务并行，描述了宏任务的实现，讨论了编译器和操作系统的支持。最后解释了宏任务的-个程序。

摘要:文中以合同战术级军事专家系统的实践为基础，以逻辑型语言为主要实现语言，描述基于黑板模型的问题求解策略，使用框架与产生式规则相结合的知识表示方法，以及运用基于预制文本与模糊文法的解释机制等。应用表明，本文提出和采用的方法与技术取得了明显的效益。

摘要:为解决调试并行程序碰到的第一个困难：并行程序的不确定性，文中提出了环境再现技术。文中叙述了环境再现技术的思想和实现这一技术需要的数据结构，并用 CCNPASCAL 语言进行了描述，最后给出了一个典型的应用例子。

摘要:图形核心系统GKS是二维图形软件的唯一的国际标准，且为我国采纳为国家标准。YH-GKS是基于GKS，为银河机设计的图形软件系统。文中介绍了YH-GKS的设计特色与实现方法。

摘要:智能化和工具化是 RDMS的主要设计思想和技术特色，体现在RDMS的基于规则的计算工具、通用文档管理子系统和汉字通用报表工具。本文着重讨论这三部分的设计与实现问题。

摘要:文中对YH-l标量线性代数库进行并行算法研究：改造串行算法，挖掘其中的向量成份，实行并行计算。根据并行机的特点采取有效的程序优化措施，设计出银河机向量线性代数库。该库采用各种直接解法的并行算法求解各类线性代数问题，精度好，运行速度快(当 n=300时，向量库运行速度平均为标量库的13倍)。

摘要:单极天线安装在理想导电平面屏上，屏上刻有有限深度的环形缝。将单极天线上电流及缝和自由空间交界处的等效磁流作为未知函数，建立了一对耦合积分方程。从方程得到电流和磁流的数值解。从这些电流和磁流计算了输入阻抗和辐射方向图。

摘要:文中探讨了在仅已知噪声边缘分布族和相关系数的条件下非高斯马尔可夫噪声中确知信号的Robust检测问题。设噪声样本可表示为一阶AR过程: n_i= ρn_i-1+Y_i，(i=1，2，…，N)，其中Y_i为独立同分布的随机序列。当ρ较小时，以检测器效验为性能指标并对 ρ取一级和二级近似，分别得到了对应的有记忆和无记忆Robust检测器的结构。

摘要:文中讨论了非均匀线阵自适应超角分辨问题，证明了在入射场条件一定的情况下，特征矢量角谱性能完全由阵列因子决定。通过分析与仿真，说明最小冗余阵(LMR) 是一种性能优良的超角分辨阵。并讨论了非均匀线阵存在的栅瓣问题，给出避免栅瓣的单位间距的上限公式。

摘要:文中基于频域测速的基本原理，研究-种弹道 FFT 分析器系统。在给出该系统基本结构后，研究了在强地物杂波干扰环境中保证测频精度、分辨率和动态范围的基本方法。文中还着重介绍了用于这种频谱分析系统的可编程高速 A/D 数据采集系统和以TMS32010为主体的高速FFT协处理器系统。它们与IBM/PC 和加权ZFFT分析软件共同构成了一个完整的频谱分析系统。

摘要:在线性电路分析中，直接求解线性时变电路的冲激响应一般是很困难的。但是，可将求解冲激响应的问题转化为在一组等放的初始条件下求解零输入响应的问题，关键在于得出这组等效的初始条件。文中介绍了一种求等效初始条件的方法。

摘要:根据 Petri 网络结构分析C³I系统的时延性能，并用计算机软件实现，给出了典型系统的实验结果。

摘要:文中介绍了多目标联立最佳逼近CAD方法，对各种设计方法的性能作了分析比较，提出了改善途径。程序在IBM-PC/XT微机上运行通过，文中给出了应用线性相位 IIR数字滤波器线性规划逼近法设计的低通实例。

摘要:文中运用传热学理论，用电模拟法建立了FECL100K24线陶瓷扁平封装组件在强迫风冷条件下的等效热路，并在此基础上推算出其热传递数学模型，为电子计算机辅助热设计提供了基础。文中还运用所建立的等效热路和数学模型，对该组件在电子设备中安装形式的合理性进行了论证。