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

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

Cayley—Hamilton定理的推广

本文证明 Cayley-Hamilton 定理的一个推广:设 R 是含单位元的交换环,M_n(R)[λ]是 R 的矩阵环 M_n(R)上的多项式环,如果 F(λ)∈M_n(R)(λ),F(A)=0,(?)(λ)=detF(λ),则(?)(A)=0.     

多播ATM交换技术

为适应点对多点通信业务的发展,ＡＴＭ交换必须具有多播功能。将ＡＴＭ交换的各种多播实现方式进行分类,并重点介绍了近期关于循环复制多播技术的进展。     

阳离子交换树脂催化合成1—萘乙酸甲酯的研究

本文研究了用强酸性阳离子交换树脂作催化剂,１—萘乙酸和甲醇直接酯化合成１—萘乙酸甲酯的反应。考察了催化剂用量,反应物料配比,反应时间等因素对产率的影响,通过正交实验,找到了较佳反应条件：当催化剂用量为反应液的３％,醇酸摩尔比为２０～３０,在回流温度下反应４小时,酯的收率＞９２％,纯度＞９９％。该法工艺简单,操作方便,无三废污染,适合工业化生产。     

交换环的素谱空间的连通性

本文中的环均指有单位元的交换环。本文在一定条件下对于J.R.Silvester提出的关于环的素谱空间连通与道路连通关系的问题给出了肯定的回答,并给出了极大理想或极小素理想个数有限的环的结构定理。     

矩阵约当化方法的研究

作者研究了矩阵约当化的简化方法,指出并证明了矩阵约当化与对角化的充要条件。只要根据约当子块的数目及其维数,即可写出约当形矩阵,而不必求出变换矩阵,从而也不必求特征向量和广义特征向量。     

关于结合环交换性的一点注记

本文讨论结合环的可挟性问题,推广了Bell,高洪生和杜先能的有关结果。     

Eastman－AQ－四硫富瓦烯修饰的电流式葡萄糖传感器

用牛血清白蛋白－戊二醛交联剂把葡萄糖氧化酶固定在Ｅａｓｔｍａｎ－ＡＱ－四硫富瓦烯（ＴＴＦ）修饰电极上，再在电极的表面修饰一层Ｅａｓｔｍａｎ膜，制备成葡萄糖传感器．实验表明，ＴＴＦＦ＋１，ＴＴＦ＋２都能够氧化葡萄糖氧化酶中的辅酶（ＦＡＤＨ２）．该传感器的浓度线性范围为５．０×１０－４～１．０×１０－２ｍｏｌ／Ｌ，响应时间小于４０ｓ．     

基于规则的专家系统诊断问题求解的一种模型

本文试图通过引进外推推理来克服基于规则的专家系统的不足,并为演绎推理和外推推理寻求一种一致的解释和理论基础.在讨论了规则的因果模型解释后,本文提出了诊断问题求解的最佳蕴含模型和基于该模型的循环生成-测试的推理方法.     

腐植酸树脂处理含镍废水的研究

以丰富低廉的风化煤为原料,经活化转型后,制成腐植酸树脂。该树脂系天然高分子化合物,分子中含有大量的羧基,羟基,醌基等活性基团。利用它处理含镍废水,吸附力强、交换性好、净化率高、且无二次污染。静态吸附和动态交换表明:交换容量大、使用寿命长、净化率远远超过国产732型阳离子交换树脂。饱和吸附与交换后的腐植酸树脂,经脱附再生后仍可继续使用。