论文部分内容阅读
对FOIL算法进行了深入剖析，针对归纳逻辑程序设计处理数值量弱的缺点，在FOIL算法的基础上作了改进。研究一种新的约束归纳算法，该算法通过在特殊化时对假设空间的划分和引入Fisher判别方法，能够导出不受变量个数限制的多种形式的线性约束。实验结果证明，改造后的算法在约束求解方面具有有效性。
基于FOIL算法的约束归纳方法研究
【摘 要】
：
对FOIL算法进行了深入剖析，针对归纳逻辑程序设计处理数值量弱的缺点，在FOIL算法的基础上作了改进。研究一种新的约束归纳算法，该算法通过在特殊化时对假设空间的划分和引入Fish
【机 构】
：
苏州大学计算机科学与技术学院
【出 处】
：
苏州大学学报：工科版
【发表日期】
：
2009年2期
【基金项目】
：
国家自然科学基金资助项目（编号60673092、60775046、60873116）,教香部科学技术研究重点资助项目（编号207040）.
其他文献
关键帧提取技术是基于内容视频检索的基础,关键帧的提取一方面减少了视频索引的数据量,同时也为检索视频提供了一个组织框架。在归纳分析典型的视频关键帧提取技术的基础上,针对交通视频的独特性提出了一种基于虚拟检测线的关键帧提取方法,并在此过程中提出改进的基于双差分法的背景建模以及基于检测线变化的局部背景更新。实验结果证明,该方法能够依据交通视频内容的复杂程度有效地提取出最具代表性的关键帧,具有较高的提取效
电磁兼容实验和实际电子设备中存在较多的线板结构,而电子设备的低频（30~200 MHz）电磁辐射发射主要通过这种结构辐射出去。因此,通过美军标MIL-STD-461F实验对这种线板结构进行
信号交叉口是关乎交通安全的重要区域,而黄灯困境区的存在大大增加了交叉口冲突的可能。目标是通过对广州大学城外环路交叉口两类困境情况的分析提出相应的改善措施。研究基
研究使用基于一阶Markov模型产生相关的瑞利衰落包络。首先介绍产生相关高斯和复高斯随机变量的一阶Markov模型。对相关复高斯随机变量进行取模运算后得到相关瑞利随机变量，并
我国黄土分布广泛,且多处于非饱和状态,土-水特征曲线和渗透系数函数是研究非饱和黄土工程地质特性的重要水力参数。利用瞬时释放和吸入法（TRIM法）对陕西省宝鸡地区非饱和黄土
分析了核电阀门密封面现有激光堆焊材料的现状，自行设计了一种可用于阀门密封面的无钴铁基合金粉末，用激光熔覆工艺在不锈钢基体上激光熔覆，并通过试验验证其能在核阀环境下工作