知识库的一致性与完备性检验

本文讨论了基于知识的系统的知识库的一致性与完备性检验;给出了知识库的一致性与完备性的定义及检验方法;探讨了知识库的各种潜在问题对推理过程及结果的影响.     

双金属固相复合异步轧制新工艺

在φ90/φ200×200 mm 可逆的四辊轧机上进行异步轧制复合新工艺的研究,并与常规轧制的特性比较;研究了轧制工艺参数对复合过程的影响。结果表明,异步轧制对双金属固相复合有特殊的优越性,充分显示出降低轧制压力的特点。采用此工艺可以在一般的四辊轧机上轧出宽板带复合双金属。此工艺可以应用于双金属固相复合的工业生产中。     

用AR模型分析纱条不匀和故障识别的研究

本文在IBM PC/XT微机上,采用模型参数法和模式识别技术,进行了纱条不匀的分析和生产中故障识别的初步研究。研究表明:使用18阶的AR模型所得到的熟条功率谱曲线,能有效地反映出熟条的不匀结构。采用修正的K-L近邻法使故障识别准确率达到85％。这种模型参数法和故障识别技术对改进纺纱工艺有一定的应用价值。     

三维圆柱体的极点条件及其样条函数解法

指出柱坐标下三维圆柱体承受任何荷载时的位移函数应满足4个“极点条件”。在此基础上建立了三维圆柱体的样条有限层解法。给出了包括圆形厚板在内的分析算例。     

向量值函数Bochner积分序列极限定理

本文对向量值函数的Ｂｏｃｈｎｅｒ积分序列极限的换序问题进行讨论，得到了二个Ｂｏｃｈｎｅｒ积分极限定理．     

短纤长丝气流复合纱结构及工艺探讨

本文提出了一种将短纤纱与长丝通过喷气网络技术复合的新颖加工方法．这种气流复合纱既能体现传统混纺纱的优良性能，又具有特殊的外观效应和良好的经济价值，为机织、针织混纺产品的开发提供了新的途径．文章同时也对气流加工工艺作了有益的探讨．     

花生根瘤菌吸氢培养基的改进

花生根瘤菌吸氢培养基的改进许良树，吕荣富，张凤章，曾定，龙敏南（生物学系）１９７８年Ｍａｉｅｒ等￣［１］首次在实验室条件下从大豆根瘤菌诱导氢酶活性、其中一个重要的步骤就是将原来富碳的ＬＮＢ５培养基中的碳源浓度降低。当碳源浓度降低１０倍时其活性最高，并...     

高层建筑筒中筒结构受力性能的研究

基于平面抗侧力体系假设和楼板在自身平面内刚度无、限大、平面外刚度零的假设，依据高层建筑筒体结构计算原理，将规则筒中筒结构展开成等效平面框进行计算。利用杆系结构矩阵位移法对筒中筒结构进行静力分析，从中得出一些重结论，对工程实际中合理设计筒中筒结构具有一定的参考价值。     

全封闭压缩机壳内制冷剂传热特性的实验研究和数值分析

全封闭制冷压缩机的结构和热力特性与开启式有较大区别，其流动和传热特性也很复杂，本文讨论了用实验手段测定壳内介质对流换热系数的方法，提出了用流函数－涡量法来计算壳内介质温度场和对流换热系数，为正确设计全封闭压缩机提供了重要依据．     

关于Γ─环的─致强素根

将一致强素（简称ｕｓ—素）的概念引入到Γ─环，对Γ－环Ｍ定义了ｕｓ—素根τ（Ｍ）．证明了ｕｓ－素Γ－环类与ｕｓ—素Γ－模类是特殊类，同时证明了Ｍ的子集Ｐ是Ｍ的ｕｓ—素理想当且仅当Ｐ是某ｕｓ—素ΓＭ－模Ｇ的零化子．