论文部分内容阅读
广义包含关系是利用背景知识进行子句比较的一种偏序关系.通过将含有冗余约束条件的假设合并为一个等价类,广义包含关系能显著缩小搜索空间.本文给出了基于广义包含关系构作假设空间的算法,以及有关定理的证明,进而讨论了这种假设空间的结构、性质等问题.
基于广义包含关系的假设空间构作
【摘 要】
：
广义包含关系是利用背景知识进行子句比较的一种偏序关系.通过将含有冗余约束条件的假设合并为一个等价类,广义包含关系能显著缩小搜索空间.本文给出了基于广义包含关系构作
【机 构】
：
南京大学计算机软件新技术国家重点实验室,南京大学计算机软件新技术国家重点实验室南京210008,南京210008
【出 处】
：
自然科学进展：国家重点实验室通讯
【发表日期】
：
1992年1期
其他文献
目的观察老年2型糖尿病(T2DM)患者应用胰岛素联合二甲双胍的疗效及安全性。方法入选2016年3月至2017年3月西京医院老年病科住院的老年T2DM患者52例,其中男性38例,女性14例,年
手性配体高分子铜络合物通过配体交换反应拆分未经修饰的DL-氨基酸是一项很有应用价值的新技术,我们合成了10多种新的手性聚合物配体,并研究了这些聚合物配体与铜离子的络合
目的观察大蒜素对大鼠心力衰竭模型细胞迟后除极(DAD)、触发活动(TA)和离子流的作用及机制。方法选取20只SD大鼠利用腹主动脉结扎法制备大鼠心力衰竭模型(模型组),另选取10只
目的探讨老年2型糖尿病(T2DM)患者认知功能障碍发生的影响因素。方法回顾性分析2017年6月至2018年5月首都医科大学宣武医院内分泌科2型糖尿病患者204例,根据简易版蒙特利尔认
全下颌骨切除病例罕见,而有关钛合金全置换术后护理体会尚未见报导.我科于1996年4月收治1例全下颌骨巨大造釉细胞瘤患者,行全下颌骨巨大肿瘤切除及钛合金支架置换术获成功,经
本文以实验模拟的方法,在不同酸度、溶解氧浓度等实验条件下,对玄武岩-水相互作用过程中样品表面和溶液中铁的浓度与价态变化进行了研究.结果发现:玄武岩-水相互作用时,样品
揭示了实际合金退火过程中在淬火空位作用下短程有序转变的一般形式。建立和完善了分析有关实验曲线获得合金中原子扩散数据的方法，使得低温度下合金中扩散的研究成为可能。
流化床具有良好的传热速率、较好的气固接触并能处理大量固体颗粒,在化工过程中得到了极广泛的应用,但由于床内流动的复杂性,在设备放大过程会遇到不同难点。使用数学模型进
从培养实用型中医护理人才的观点出发,讨论了社区中医康复护理的教学方法,以中风后遗症病人做为教学的对象,介绍了课程的设置,分析了在教学过程中,教师和学生的角色,突出了中
血管炎是一组以血管壁炎症和纤维素样坏死为主要病理表现的异质性疾病,累及大动脉及分支致慢性肉芽肿,累及中动脉致坏死性炎症,累及微小动静脉致坏死性炎症及血栓栓塞病变[1]