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

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

智能工具机系统结构

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

单调光滑函数的保形插值算法

对于给定的单调数组,本文描述了一种保形二次插值样条函数。插值函数结构简单、计算方便。最后估计了插值函数的误差。     

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

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

武器精度截尾SPOT 检验最大风险计算

就正态圆分布的武器命中精度的截尾序惯验后加权检验犯两类错误概率上界的计算问题,指出了目前沿用的计算公式的错误,推导了新的计算公式,并给出了算例,分析了计算结果的合理性;同时,指出了目前截尾点选取方法存在的问题     

超声合成三烷基硼的研究

在超声波作用下通过修正的有机金属路线一步合成三烷基硼,使得反应产率提高、反应时间也大大缩短。     

蒙特卡洛法在火箭简控系统设计中的应用

建立了火箭弹道仿真模型。用蒙特卡洛法对简控火箭在无控条件下进行了模拟打靶。从其所有成功子样中统计出了火箭运动参数在主动段一系列时间点上的容许偏差。分别以上述时间点为起点，综合考虑运动参数偏差及其它随机偏差的影响，对落点散布进行了仿真分析。找出了合适的简控时间终点及其运动参数容许的偏差范围，为简控系统的设计提供了直接依据。     

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

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

金属冲击温度的测量研究

文中介绍了冲击温度的多波长光谱辐射测量方法。利用光学高温计测量了４５号钢在２３０ＧＰａ左右的冲击压力下的冲击温度值,对所测得的结果进行了比较和分析。     

固体法稀土—硼共渗研究

本文研究了固体法稀土-硼共渗层的组织性能,并与单渗硼层进行了比较,结果表明,稀土-硼共渗提高了渗硼层的耐磨性,降低了渗硼层的脆性,改善了渗层的组织。文中还用现代分析测试手段分析了渗层中的稀土元素,发现稀土元素可渗入到40Cr钢中800μm深处。本文对稀土-硼共渗的机理及稀土元素的作用做了初步的分析探索。