自学习软件自动化系统NDSAIL的设计与实现

来源 :计算机学报 | 被引量 : 0次 | 上传用户:dlcad
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文介绍一个具有自学习功能的软件自动化系统NDSAiL。该系统能自动从示例中学习问题分解方法,并用于自动生成部分通用算法.该系统还能自动学习基本算法及算法优化方法.在算法构架学习背景下,有效地解决了解释学习的操作性准则问题;并针对一类问题解决了归纳学习结果的正确性问题以及unfold/fold转换技术的完全自动化问题.更多还原
其他文献
<正> 冷冻食品的品质主要由冻结速度、冻结温度等冻结过程和包装材料、包装方法等包装工艺决定。为了防止冷冻食品的脂肪氧化和风味散失,隔气性包装材料和真空包装方法得到了
联邦数据库管理系统FDBMS是对一组给定DBMS的扩充,它支持异构多库间的数据共享,交互操作和自治,并支持涉及多库查询但最多仅涉及一库修改的联邦事务,FDBMS的数据语言与原DBMS
本文研究建立了代数规范和时序逻辑规范的不同语义模型之间的关联,在结构偏代数上解释时序模态词,从而可以利用时序逻辑工具讨论由代数规范所定义的抽象对象的动态行为特征.
<正> 由于单级活塞式制冷压缩机结构的特点,制冷工质的特性以及要求合理、经济地运行,其压力比受到一定的限制(R717压力比P_k/P。不得超过8,R_(22)和R_(12)压力比P_k/P。不得
<正> 引言已经报道过使用磁流体直接转换能量的想法,但由于转换效率很低,报道实际转换能量系统的论文不多。我们报道的自动冷却装置(ACD)可利用部分废热使流体循环从而消除机
本文论述了热管技术在吸收式制冷机、冷风系统、冰贮冷系统、空调系统、电冰箱、土壤冷库等方面的应用。最后预测未来的应用远景。
<正> 通常,制冰厂多采用浸泡法脱冰,这种方法的缺点是脱冰时间长,脱一排冰的时间不少于5分钟。若提高水温来加速脱冰,则条冰容易产生裂纹,给贮存运输和销售带来困难;若水温较
近日,中共山西省委宣传部、山西省新闻出版局和山西省科学技术厅联合发文《关于2011年度全省期刊质量评估情况的通报》(以下简称《通报》)(晋新出报刊发[2011]62号),《建材技术与
结合工程实例,分别就高层写字楼生活给水系统、热水饮用水系统、生活污废水系统、雨水系统、消火栓及自动喷淋给水系统的设计问题进行了探讨。
<正> 随着经济体制改革的不断深入,冷藏企业的生产经营发生很大的变化,要求对冷库既能贮存冻结物食品,必要时又能贮存冷却物食品,以满足多种经营的需要。为解决两用库的技术