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

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

智能工具机系统结构

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

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

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

激光模拟器的模匹配

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

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

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

带电粒子束传输中发散范围的计算

本文讨论了带电粒子束在真空环境中的定常传输。对束的径向发散提出了一个计算方法。根据数值计算结果,提出一个计算束半径的近似公式。     

再入飞行器的最大飞行距离的统计决策鉴定

为了充分利用验前信息,在小子样的场合下进行统计评定工作,文中运用了Bayes 统计决策方法,讨论了两方面的问题。1.再入飞行器的最大飞行距离鉴定的Bayes 决策方法。引入了损失函数及验前信息,将决策中所冒的风险与射击效果结合了起来。2.Bayes 估计。给出了最大飞行距离的Bayes 统计估值。理论及计算结果表明:合理地使用验前信息,将有利于在小子样容量之下进行最大飞行距离的统计推断工作。     

解结构特征值的子结构子空间综合迭代法

本文论证了由结构系统的各子结构在子空间的迭代综合,从而导出系统的子空间特征方程的迭代方法。由此方法我们便可求出大型结构的若干低阶模态。这方法只需在计算机里贮存结构的各子结构的质量矩阵和刚度矩阵,便可按预定精度,简便有效地求解大型结构的特征值问题。     

H／HJQW—1型潜艇用计程仪

分析了水银水压式计程仅存在的问题;介绍了采用智能化传感器的新型计程仪的组成、工作原理及其主要特点。     

一种沉底水雷智能检查仪

为了完善经现代化改造的沉底水雷武器系统,而研制了一种集参数预置和引信检测为一体的智能检查仪。该仪器以单片机控制,具有智能化、便携、操作简单。人机交互良好等特点。它的应用方便了水雷参数的设定和仓库快速检测。