摘要:逻辑语言和面向对象语言是两种引人注目的知识程序设计语言。如何结合它们各自的优点以支持复杂的知识处理，已成为许多研究者关注的问题。本文首先提出了结合逻辑和面向对象范例的一种新模型SCKE，其特点是在统一的逻辑语义和对象语义解释的基础上，同时支持逻辑语言的描述性特征和面向对象语言的结构化、信息隐藏、继承等性质。本文推广了逻辑语言的Herbrand 解释，并由此探讨了SCKE 模型的形式语义。文中讨论了实现该模型的基于预编译的元级扩充方法，并论述了 SCKE 模型的主要特点。

摘要:文中定义了在当代向量计算机上可高效实现的merge与 pos 函数，提出利用二函数消去do循环中 forward-if与search-if 的方法。本文讨论了向量化 forward-loop的一般性方法并引入封闭子图的概念，给出一种简化语句执行条件的途径。

摘要:SBM 是支持操作级并行的一种有效的同步机制。文中基于 SBM 对结点调度和 barrier 插入算法进行了深入的研究，提出了一套有效的开发操作级并行的方案。用一有向图 G(N，A)表示指令之间的相关关系，并以结点的临界路径为关键字将结点从小到大进行排序。按照排序后的结点顺序，描述了一种分配算法，将结点分配给各处理机。同时，描述了相关结点之间的 barrier 插入算法。

摘要:基于信号分解理论，在非线性秩排序统计滤波器基础上，提出一种新型的非线性滤波器结构——二值秩排序统计滤波器。主要工作包括:(1)提出了滤波器的定义和实现结构；(2)实现算法；(3)滤波特性分析；(4)噪声图象滤波的计算机仿真。理论分析和实验结果表明，本文提出的滤波器具有良好的脉冲干扰抑制能力和边缘保持特性，硬件实现简单。

摘要:本文在完成对称集理论研究基础上，提出了运用对称集理论来解决无线电信号频率间相互干扰的新方法，从而可编制出简明实用的“不干扰表”，达到在狭小地域(航空毋舰〉内有多路无线电信号频率(段)的正确选择。

摘要:本文介绍了巨型机通用数学库软件的概念和意义，指出了巨型机数学软件开发的技术途径与发展趋势，讨论了并行算法在其中的关键性作用，结合实例分析了巨型机通用数学库软件研制中的并行算法设计与实现。

摘要:本文讨论了交叉汇编器设计中的两个关键问题:先引用、后定义内部符号的处理和利用外部符号进行模间通信。提出了一种统一的处理办法——随机文件代真法。实践证明十分简洁有效。

摘要:本文用实验方法从频域和时域两个方面研究了涂覆吸波材料目标的电磁散射，结果表明超宽带信号比常规雷达的窄带信号对付涂覆吸波材料目标有1O～12dB好处， 说明超宽带信号的确具有抗窄带吸波材料的良好能力。

摘要:本文以锁相环大规模集成电路为核心，提出了一种可程控的频率合成器。实践证明，它频率稳定度高，其数量级与晶振相同；频率覆盖范围大，超过了倍频程； 频率切换迅速，转换时间达微秒级。

摘要:本文介绍了应用单片微型计算机技术的智能化相位测量系统。该系统由软件支持，克服了硬件上的许多缺陷，具有测量精度高、工作频带宽、使用简单等特点。

摘要:本文介绍了两种自学习控制方法——P积分学习控制和自校正调节器的参数学习控制，及它们在压电陶瓷刀具控制中的应用。本文的研究表明，用这种先进控制方法可以克服压电陶瓷的非线性和磁滞，实现很高精度的定位和零误差跟踪控制。

摘要:Hopfield 神经网络用于方位估计可获得高的精度和超分辨力。本文综述有关研究，描述该网络模型及用其于信号处理的一般步骤，用于方位估计的具体形式，讨论提高精度及分辨力的一些措施，指出进一步研究的方向。

摘要:本文提出一种计算机声图系统的模型，阐述了它的原理，并以TI-SPEECH语音处理系统、KX-600 图形显示系统和 IBM PC/AT 计算机为基础，实现了一个简单的计算机声图系统。该系统的图形软件采用在 KX-600 图形显示系统上实现的MGP二维军用图形包，实现了语音输入的透明键盘支持。本文还提出了用自然语言输入和 GKD-PROGKS 图形系统构造的智能计算机图形系统的功能模型。

摘要:本文针对锥比率数据包络分析模型，对 DEA 有效决策单元的存在性、几种 DEA 有效性之间的关系、输入(出)锥和决策锥对DEA有效性的影响以及对应生产可能集的性质等问题进行了研究，得出了有关结论。

摘要:本文证明了热传导方程Cauchy 问题 u_t=u_xx+u^a x∈R,t>0 u|_t=0=φ(x) 当实数α>3 时，只要初值φ(x)在某些Sobolev 空间中的范数充分小，就有唯一的全局经典解，且当t→+∞时，这个解具有一定的衰减性。本文所用的方法使得 Cauchy问题中的a的值同解与初值所在的空间紧密联系，a的值越大，解的性质越好。

摘要:本文讨论了N 维欧氏空间R^N上一类临界增长的拟线性椭圆型方程-div (︱Du︱^p-2Du)+k(x)u^p-1=K(x)u^p-1，u∈W^1,p(R^N)∩L^p(R^N)的正解的存在性。其中4≤p²≤N,p=Np/(N-p)。在微分几何与物理学等领域起重要作用的 Yamabe 问题就是其特例 (p=2)。本文运用集中紧引理，证明了问题的正解的存在性。

摘要:本文利用 (c，h，a) 三参数旋转体模型计算了形变核的相对表面能、相对库仑能及相对转动能。这些相对能量与具体核无关，具有普适性，可以用于核裂变动态过程的模拟计算。利用这些结果，计算了一些核的形变位能随三参数变化的情况，给出了裂变位垒高度，与实验结果符合较好。对²³⁶U的形变位能曲面作了较详细的分析，得出一些有益的结论。用 Werner-Wheeler 方法计算了形变核的惯性质量和粘滞张量随三参数变化情况，对断点线方程作了深入讨论，为核裂变动态过程的计算机模拟准备了必要的系数。

摘要:本文介绍一种 REB电子能量径向分布的测量方法。利用REB电子轰击阳极靶产生的“厚靶”韧致辐射的零角度测量，确定束电子能量的径向分布，从而判断 REB的居中性和能量的均匀性。

摘要:在丙酸溶剂中合成了一种新的大环配合物四-(对-甲氧苯基)卟啉氧钒(Ⅳ)[tetra-(P-me-thoxyphenyl)porphyrinoxovana dium(Ⅳ)，T(P-OCH₃)PPVO]，进行了元素分析和差热-热重分析，测定了其紫外-可见光谱、红外光谱和电子顺磁共振谱，确定了配合物的组成、对称性及立体结构。

摘要:以邻苯二甲醛和邻苯二胺为原料，三水合硝酸铜为模板剂，用模板反应在无水乙醇中制备了一种新的固体配合物[CuL]（NO₃)₂? 6H₂O。通过元素分析、磁化率及摩尔电导测定、红外光谱和电子光谱分析、热重-差热分析等，确定了配合物的组成、立体结构与对称性，并对其电致变色机理进行了初步的探讨。

摘要:基于高温超导材料结构的准二维性，建立了高温超导的层状理论，得到了高温超导材料的临界温度Tc与Cu-O面数l间的关系，指出高物质密度N_i⁰和高电子密度N_e⁰的超导材料可能有更高的Tc。