钢球轧辊孔型设计咨询专家系统——BRES

本文介绍供钢球轧辊孔型设计初始参数选择的设计咨询专家系统BRES的设计思想、总体结构和功能,并讨论了该系统的知识库和推理机的构造技术。文中给出了BRES结合孔型优化CAD的设计应用实例,表明本系统能面向一般用户,在专家水平上进行复杂的斜轧钢球轧辊的螺旋孔型设计,为提高设计水平,缩短设计计算周期,推广斜轧零件工艺,提供了一个初步智能化的工具。     

关于有限生成模嵌入自由模的条件

本文给出了一般非拟Frobenius环上有限生成模嵌入自由模的检验方法，即通过内零化子及其链条件和嵌入自由模的给数的检验法。     

模糊逻辑函数的主析取范式的研究

本文首先证明有关模糊逻辑函数的一些定理和并不可约元的充要条件。之后定义了模糊逻辑函数的“互素并不可约元”的概念,以及建立了在主析取范式“互素并不可约元”的条件。最后给出简化模糊逻辑函数的方法,应用它化简模糊逻辑函数,比采用[1]和[2]介绍的方法,化得更简。从而使模糊逻辑函数的化简问题,得到较理想的解决。     

关于矩阵教学的一点探讨

本文利用相似矩阵的性质给出凯利-汉密尔顿定理,并用向量空间关于线性变换的准素分解推出n阶矩阵若当标准形及其求法.     

一类修正Lagrange三角插值多项式在L~(2π)_p中的逼近

本文引进一类以θ_k=2kπ/2n+1(k+0,1,…2n)为插值结点的修正Lagrange三角插值多项式,并且借助于MarcinkieWiCZ-Zygmund三角不等式及Hardy-Little-wood极大函故讨论了其在L~2π_p中的逼近价。其结果可以运用到C.N.PaππoπopT插值算子、Bernstein第一、二求和算子及de La Vallee Poussin等插值算子上去。     

概念图知识表示的推理方法

主要讨论概念图与一阶逻辑的关系，提出一种基于概念图的知识系统的推理方法，该方法在概念图上进行演绎推理。     

一类T_(BOS)~n 唯一路径簇构造与图形特性分析

应用布尔序集关系理论，研究了一类典型Ｔ _ＢＯＳ^ｎ 唯一路径簇的构造与实现方法．同时给出基本图形特性的分析．     

己二腈加氢反应器剖析及模拟计算

本文针对辽化己二腈加氢反应器，利用现场和设计数据对反应器中流体流动参数进行了计算，进而在气体为活塞流动，液固进程活塞流动假设下利用四阶龙格库塔法在计算机上求算了转化率等重要参数随高的变化关系，其转化率的计算值与计值和现场值吻合。     

Movemaster—EX机器人零力跟踪控制

用六维腕力传感器（ＨＵＳＴ－Ｆ５６）检测力信号，并通过将力信号转变成机械手的位置调整量的方法，在五关节机器Ｍｏｖｅｍａｓｔｅｒ－ＥＸ上实现了顺应性跟踪控制（零力跟踪）。实验结果表明，所采用的控制算法简单实用，控制效果良好，且无需测量机械手的开环刚度。对控制参数稍加改变，便可以完成插轴入孔的装配作业。本控制系统用一台３８６微型机作为控制主机，并采用Ｃ语言编制控制程序。     

关于环作为Г—环的根

证明如果Ｍ是一个环，具有素根Ｐ（Ｍ），底座Ｓｏｃ（Ｍ），诣零根Ｎ（Ｍ＿和Ｌｅｖｉｔｚｋｉ诣零根Ｌ（Ｍ）作为一个Г－环（取Г＝Ｍ）有：Ｐ（Ｍ）＝Ｐｒ（Ｍ，Ｓｏｃ（Ｍ）＝ＳｏｃГ（Ｍ），Ｎ（Ｍ）＝ＮГ（Ｍ）和Ｌ（Ｍ）＝ＬГ（Ｍ）。