论文部分内容阅读
知识表示机制的设计是算法设计自动化的核心问题之一。基于算法设计过程的功能规格说明分解树模型,NDADAS系统采用三元组<树形模式,正确性条件,设计策略>作为其算法设计知识的表示机制。与传统的表示机制相比,其主要特点是将算法设计知识表示的清晰性、正确性和自动化溶为一体。
NDADAS系统知识表示机制的设计
【摘 要】
：
知识表示机制的设计是算法设计自动化的核心问题之一。基于算法设计过程的功能规格说明分解树模型,NDADAS系统采用三元组<树形模式,正确性条件,设计策略>作为其算法设计知识
【机 构】
：
计算机软件研究所,计算机软件研究所
【出 处】
：
南京大学学报(自然科学版)
【发表日期】
：
1991年4期
其他文献
黄骅拗陷天然气存在强烈的幔源氦入侵，氦同位素比值＾３Ｈｅ／＾４Ｈｅ０．１２Ｒａ至３．６２Ｒａ，表明天然气中氦组分有１％至４５％来自幔源。＾３Ｈｅ／＾４Ｈｅ频率分布图呈双峰式特点，低值峰０．１２Ｒａ至１．１９Ｒａ，位于新生代中后期构造，岩浆活动不发育和远离断裂效汇带
制造业是指对原材料(采掘业的产品和农产品)进行加工和再加工,以及对零部件装配的工业部门总称.按国民经济行业分类(GB/T4754-94)标准,制造业包含30个大类、172个中类和544个
本文以“理论基础—分析现状—发现问题—提出建议”形式展开,通过四个章节展开对宁波银行小额信贷风险管理体系的研究。从小额信贷的概念、特点入手分析其理论基础,通过对比
一诸葛亮在《隆中对》中有一个与鲁肃相对立之观点,那就是鲁肃认为“汉室不可复兴”,而诸葛亮则为“汉室可兴”。后来的历史证明,鲁肃的预见是正确的,诸葛亮则反之。鲁肃的“
期刊
目标红外辐射特性研究无论是在民用还是军事,理论还是实践都有着十分重要的研究意义。能根据探测目标选择系统的波段以及性能;能为检测、跟踪提供一些基本的光谱特征;能帮助
近年来国际交流逐年深化,对外汉语教学在国际上的普及程度越来越高,全世界范围内掀起了学习汉语的热潮。对外汉语专业是我国高校一个炙手可热的专业,随着国际汉语教学的升温,
农村籍大学新生作为城市的一个新群体,从乡村到城市的转换、从中学场域到大学场域的转换,个体必须重建与外界的互动关系,形成与之相适应的思想、行为、观念,否则会出现诸多适
考虑核函数在端点奇异的第二类Fredholm积分方程,设核函数在区间端点代数和对数奇异,且存在Puiseux级数展开式.针对该类方程,在包含奇点的小区间采用Puiseux基函数插值,在其