【摘 要】
：
本文讨论了NDIPS系统中基于轨迹的归纳程序综合方法。该方法对问题求解机制产生的或手工给出的程序执行轨迹,使用匹配识认算法找出其递归关系,进而生成目标程序,文章从理论和
【机 构】
：
南京大学计算机软件研究所,南京大学计算机软件研究所,南京大学计算机软件研究所 南京 210008,南京 210008,南京 210008
论文部分内容阅读
本文讨论了NDIPS系统中基于轨迹的归纳程序综合方法。该方法对问题求解机制产生的或手工给出的程序执行轨迹,使用匹配识认算法找出其递归关系,进而生成目标程序,文章从理论和实现上对这种方法进行了探讨,用hanoi程序的归纳综合为例展示了方法的使用。
This paper discusses the trajectory-based generalization method of NDIPS system. The method of the problem solving mechanism or hand-given program execution trajectory, using the matching recognition algorithm to find the recursive relationship, and then generate the target program, the article from the theory and implementation of this method were discussed using hanoi program The synthesis of an example shows the use of the method.
其他文献
音韵学界对汉语语音系统撮口呼中y韵形成的确切年代尚有不同看法。本文以15—18世纪朝鲜文献的谚文对音为参证,比较我国韵书的相关记录,认为y韵母经过15—16世纪的过渡期,最
根据激光热源在生物组织中热传导的实际情况,提出一维热传导方程的一类边界条件和初始条件.采用数学物理方程定解求法分别得出有血流散热和无血流散热两种情况下一维瞬态温度
配电网现场故障试验一般不可频繁重复,工况较为单一,提出一种基于序阻抗法的线路参数识别与故障波形重现方法,构建可进行重复故障仿真验证的线路序阻抗数字模型,在现场试验过
今天的股市,犹如金大侠笔下的旧日武林,总有神话诞生,总有新人叠出。至少就6月25日上市的“新八股”而言,每一位被中小企业板这根“金手指”点化的民企富豪,都可以在金大侠
针对于机器人无标定视觉伺服问题,提出一种基于支持向量回归机(Support Vector Regression,SVR)学习的模糊控制(Fuzzy Logic Control,FLC)方法.FLC直接用于构建图像特征与机
目的：观察特发性癫痫患儿的身高状况，分析不同癫痫样放电部位及放电指数与特发性癫痫患儿身高指标的相关性，探索可能的影响因素。
方法：选择2011年3月～2012年3月间在我院小儿
民间美术具有多元的造型方法和独特的造型语言。我们可以从形式的借鉴与转化、内涵的延续和衍生两个方面使民间美术造型成为现代设计的有效手段,实现民间美术造型与现代设计
一为了鑑定晚稻矮稈品种在欽州专区的增产性能,我們到欽州、合浦、浦北和灵山等四个县进行調查。共調查了23个点,面积206.1亩,其中广秋矮系統占150.8亩,鴨仔矮系統45亩,矮澄
近几年来,越来越明显地可以看出合理安排輪作复种耕作制度,对实现粮食持續增产具有重要作用。从浙江省已实现粮食亩产八百斤生产单位的經驗来看,增产原因虽然是多方面的,但
目的：比较空心钉联合带旋股外侧血管升支髂骨瓣转移术与单纯空心螺钉内固定术治疗青壮年股骨颈骨折的疗效。
方法：回顾性分析我院自2002年1月～2008年1月，采用两种术式治疗股