自动推理是人工智能领域的重要研究课题.Horn子句作为一种特殊的子句有着很好形式和良好的性质，在逻辑推理方面基于Horn子句上的归结往往显得简单而快速.又比如OI消解对一
本文以具有较高的比表面、较大孔径及表面富含弱酸性羟基的介孔分子筛MCM—41为载体,戊二醛为交联剂,采用共价交联法固定化木瓜蛋白酶和胰蛋白酶。 首先筛选出木瓜蛋白酶的最适固定化方法,通过对影响固定化木瓜蛋白酶效果的两个因素的研究,筛选出具有最适孔径的载体。以此载体固定化木瓜蛋白酶,优化了固定化条件,结果表明:当每g载体的给酶量为20mg,固定化温度10～20℃,固定化时间2h,pH7.0,戊
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
鉴于电力设备发热点温度测量的重要性，本文基于无线传感技术，从经济性实用性等角度出发提出了两个基于电力设备温度无线监测系统的关键电路设计。提出了一种新颖的、低功耗
模糊聚类分析结果是否合理的问题属于模糊聚类有效性判定课题，其核心是模糊聚类有效性函数的构造。本文基于序关系定义了模糊划分模糊熵来描述模糊划分的模糊程度。考虑到
柑橘有4000多年的悠久栽培历史,而且种属间较易杂交、芽变频率较高,亲缘关系复杂,致使人们难以对其进行分类研究,已有的几个系统至今仍颇具争议。DNA分子标记为研究柑橘分类
漫长而温馨的寒假已逝去多时,暑期即将到来。但关于那晚的记忆,依旧在心。那晚是正月初一,窗外的月光冷飕飕地穿过窗投射进来,夜已深沉,爸爸妈妈已熟睡。而我却一个人在房间
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
结合软集理论，本文在剩余格上引入了(Obstinate)交软滤子的概念，得到了它们的一系列刻画，给出了(Obstinate)交软滤子是剩余格上一类特殊的交软滤子。