分布式知识库系统DKBS/TH—1中推理与查询接口的设计与优化

本文介绍了一个分布式知识库系统DKBS/TH—1的结构模型。它以PROLOG作为推理工具,Unify关系数据库系统作为存放知识的机构,二者之间通过一阶谓词逻辑的子集Horn子句进行联系.分布式系统中各结点之间的通讯联系也由Horn子句来实现,本文还讨论了PROLOG与关系数据库的结合方法及查询优化的技术.     

气垫炉板带材漂浮高度的解析与试验

金属板材漂浮高度是气垫炉重要工作参数,影响到加热速度以及风机功率消耗。本文首先提出气垫薄层新概念,进而从纳维尔-斯托克斯方程与连续性方程入手,建立气垫薄层流场的解析式;然后运用能流理论,异出漂浮高度与气体流量关系的数学模型;并通过热态模拟试验加以验证,两者基本吻合。     

钴(Ⅱ)、镍(Ⅱ)、铜(Ⅱ)、锌(Ⅱ)与水杨醛缩异烟肼Schiff碱配合物的合成及其性质研究

合成了钴(Ⅱ)、镍(Ⅱ)、铜(Ⅱ)和锌(Ⅱ)与水杨醛缩异烟肼Schiff碱的固态配合物.通过元素分析、红外光谱、紫外—可见光谱、摩尔电导、磁矩以及差热分析,对配合物进行了表征.配合物的组成可表示为M(HL)_2·xH_2O(M=Co(Ⅱ)、Ni(Ⅱ)、Cu(Ⅱ)和Zu(Ⅱ),x=0-2).     

气垫式金属板带材连续热处理炉内气体动力过程的研究

气垫炉是一种先进的金属板带材连续热处理设备;而至今前人对于此种炉内气体动力过程却很少研究.本文从理论分析入手,阐明板带材在炉内漂浮的基本条件,动压及静压喷嘴的漂浮机理及其特性.而后介绍板带材最佳漂浮所需条件的冷态模拟试验研究装置、方法与结果,获得有一定实际意义的板带材最佳漂浮所需条件的参数.     

一种新的浮选两相动态模型

本文根据浮选速率常数和泡沫脱落速率常数的概念,提出了一种新的浮选两相动态模型。对模型进行了系统的理论分析,得到了几种特殊情况下模型的分析解,并用凤凰山铜矿选矿厂半优先浮选的数据对模型进行了拟合分析,同时给出了一个适用的在线递推公式。     

起重船吊杆在波浪作用下的动力响应

固定式起重吊杆在海上出事故的情况经常发生。根据实际需要,作者在综合应用流体、固体力学较新知识的基础上,经过分析研究,提出起重船吊杆在波浪作用下的动力响应问题的力学模型、计算方法,并给出实例。其目的是为今后起重船吊杆设计计算波浪引起的振动提供一个可行的途径。     

钍(Ⅳ)、铀(Ⅵ)的N_2O_2型Schiff碱配合物的合成与性质

合成了Th(Ⅳ)、U(Ⅵ)与N,N′亚乙基二(2—羟基—3—甲氧基苯甲亚胺)和N,N′-邻亚苯基二(2—羟基—3—甲氧基苯甲亚胺)的四个Schiff碱配合物:ThL_2·XH_2O和UO_2L·H_2O(L=MSEA和MSPA,X=0,2),通过元素分析、摩尔电导、红外光谱、紫外光谱、荧光光谱、x—射线粉末衍射和差热分析,研究了配合物的组成和有关性质。     

关于分布式信息系统的系统设计

本文用分布式系统理论,以结构化设计为指导,讨论了系统设计的有关技术问题,包括系统结构、代码、输入输出、分布式数据库、处理过程等,提出了相应的设计准则、方法和策略。     

煤显微组分的浮选法分离及其富集物燃烧性能

本文主要对七种煤进行了显微组分的分析和分离。并对不同比例显微组分混合物的发热量、燃烧以后的残碳量进行测定,发观镜质组富集物比丝质组富集物发热量高;而燃烧后残碳量,丝质组富集物比镜质组富集物低。     

用专家系统方法寻找机器人无碰撞路径

本文研究把基于规则的专家系统用于机器人无碰撞路径规划系统。系统的世界模型是以知识表示的,并与规则一起存储入知识库。此专家规划系统能够找出一条无碰撞路径,或给出物体阻塞区段的信息。文中所举模拟实例,说明不同物体如何通过不同通道以寻找无碰撞路径。模拟结果所得序列,为机器人运动的决策、机器人低层程序的编制和工艺参数的修正,提供了重要依据。