论文部分内容阅读
为了解决机器发现所面临的问题,本文提出了一种新的机器发现方法——递归函数法,该方法把待求函数本身作为唯一的理论项,从而保证了理论项的合适性;其发现能力也有所提高,该方法采用原始递归式定义函数,递归函数在理论上比较完善,故该方法具有很好的理论依据并且便于计算机实现。
机器发现的递归函数法
【摘 要】
：
为了解决机器发现所面临的问题,本文提出了一种新的机器发现方法——递归函数法,该方法把待求函数本身作为唯一的理论项,从而保证了理论项的合适性;其发现能力也有所提高,该
【机 构】
：
哈尔滨工业大学管理学院,哈尔滨工业大学计算机科学与工程系
【出 处】
：
计算机学报
【发表日期】
：
1993年8期
【基金项目】
：
国家教委博士教育基金
其他文献
随着家电等行业对轴承振动、噪声和异常声性能要求的不断提高，对轴承振动、噪声和异常声的工艺控制、检测以及评定已成为各轴承企业及用户企业越来越关注的问题，本文结合介绍BV
2月7日消息．国家首席兽医师于康震在此间确认．广东省兽医部门近期组织了防疫监督专项检查．未发现家禽高致病性禽流感疫情．家禽生产稳定。近日香港发现感染禽流感病毒的死禽．有人据
近期，中国海关总署公布了2010年上半年进口统计数据，其中，主要进口植物油、籽的供应格局发生重大转变，主要品种食用油价格跟盘进人新一轮的寻底回升阶段。这主要是因为国内、外相
本文用理论分析和程序模拟的方法分析了指令Cache的替换策略和组织,用程序的循环模式研究了Cache的替换策略和组织,得出随机替换策略优于LRU和FIFO策略,在一定条件下,直接相
近日，《农民日报》的文章认为，综观2008年全年畜牧业发展．成就令人振奋．预计全年肉蛋奶产量分别达到7275万t、2630万t和3940万t比2007年增长6．0％、4．0％、8．5％。畜牧业生产持续发展，主要
图的书式嵌入问题是从多层印刷电路板设计，容错多处理器阵列设计等许多应用领域中抽象出来的．本文改进了[1]中提出的平面栅格，任意树，X-树的书式嵌入结果．本文还提出了较优的洗牌
1基本生产情况9月份,在中秋、国庆两节的刺激下,畜产品价格整体上涨,饲料业生产形势持续向好,产量增速环比略有所放缓。由于气温降低,水产饲料产量出现下滑。根据中国饲料工
2月23—24日．农业部畜牧业司在北京举办了全国畜牧法执法培训班。培训班总结了畜牧法实施以来取得的成绩．交流了各地的典型经验和做法．剖析了当前畜牧法实施过程中存在的问题．并
<正> 1.引言 超立方结构具有良好的通用性,许多数值算法的映射也很自然,并且分布路由选择算法也能有效地实现,因而越来越受到重视,目前已成为一些巨型计算机的基础,但VLSI做
本文提出了PROLOG语言的一种新的推理策略:超前检查和选择回溯算法-FTSB(Forword Testing and Selected Backtracking),FTSB的推理过程全部在产生变量约束的目标上进行,而不