顺序PROLOG机KD-PP的系统结构和硬件实现技术

本文提出的KD-PP系统是一种基于编译技术的顺序PROLOG推理系统,该系统的设计为逻辑型程序语言PROLOG的实现提供了硬件支持,因而能高效地执行PROLOG程序。本文从数据表示、存储系统、机器状态和指令系统等方面全面地介绍了顺序PROLOG机KD-PP的系统结构和硬件实现技术。     

智能工具机系统结构

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

激光模拟器的模匹配

本文根据椭圆高斯模的传输和变换理论,分析了椭圆高斯模的模式变换,讨论了模式匹配的计算,并列举了两种椭圆高斯模的计算实例。     

画法几何模型在计算机辅助图测、图解及图显中的应用

本文用画法几何的模型,以计算机为辅助工具,进行图测、图解和图显。试行结果既快速准确,又形象直观。使数据的计算过程及计算结果可视化,便于检查结果、修改参数及调试程序。     

火炮整体动态分析与土壤的耦合作用

本文以85加农炮为实例,根据实测结果,估计了土壤的物理参数,从而确定了火炮的边界条件;用塑性杆元及线性阻尼器模拟了驻退机、复进机的作用;在此基础上,建立了火炮整体的有限元模型。所得计算结果与实测结果符合较好。     

未知最优值线性规划的修正 Karmarkar算法

本文对未知最优值的Karmarkar型线性规划,得到了一种复杂性为O(n~(3.5)L)的修正Karmarkar 算法;通过讨论加边矩阵和秩1修正矩阵的LDL~T 分解,得到了一种计算Q—斜投影的有效方法。最后,从理论上分析了算法的收敛性和复杂性。     

Prolog 编译器中暂时变量分配方法研究

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

高炮人机半实物实时仿真系统

本文以P56半自动高炮系统为对象,介绍一个高炮人机半实物实时仿真系统的实现。主要包括系统设计思想和基本原理、硬件组成、软件设计以及系统主要特点。该系统的实现,为高炮人机系统提供了一个良好的研究手段。     

应用三相系统对称分量法分析六相同步电机的非平衡短路

六相双丫移30°绕组同步电机的非平衡运行,可用对称分量法计算其电流、电压的基频分量。本文阐明了利用三相系统对称分量的分析计算方法,着重分析了各序阻抗。通过几个典型实例的分析可以看出,应用三相系统对称分量分析这种电机的非平衡短路是非常简便的。     

聚氨酯/环氧树脂SIN中的增塑作用初探

本文通过测量聚醚氨酯(PU)/环氧树脂(EP)SIN系列的玻璃化转变温度(Tg);并对该数据进行分析及用DiBenedetto理论式对该Tg数据进行了处理,发现PU/EP SIN中,EP对PU链段存在着较强的增塑作用,这个增塑作用与PU与EP网间的互穿作用并存,它主要受PU/EP组成配比等因素的影响。