【逻辑语言基本算法-合-算法的优化及固化技术的研究】.pdf
浙江大学研究生学位论文用纸P.i 摘 要 未来计算机应用领城的主流是知识信忽处理,经典的 Von Neumam型计算机已α难以满足要求了,中须 开发转一代计算机来适应这一转发展。在就一代计 算机的研光中,核心语言是一个关键河题,日本人 提出以逻搏程序没计语言为核心语言的概念,具有 清人的发展方景。逻辑稳序议计语言的甚术算法之 一是合一算法,它在警了问题求符过经中平均占了 0 .的时间干销,是影响系统性能和效率的关键 因素,尽量减少合一摇作的开销是提高系统效率的 有效措施之一。
浙江大学研究生学位论文用纸P．ji THE OPTIMIZATIONANDHARDWARE/VIRMWARE DIRECTEXECUTION OF THE UNIFICATION ALGORITHM IN IOGIC PROGRAMMINGLANGUAGE*ABSTRACT Theunificationalgorithmisknowntobeoneofthefunda-mentalalgorithms in logic programminglanguage.
浙江大学研究生学位论文用纸P．V 34FUC 的授划器FUC 的适算器FUC的系统财钟及字待逻辑FUL 的其李存贬器FUC共享存之器的刷新挖制5患线仲裁逻辑—-74 第五章 FUC的微序设什与实现 35FUC微程序的设计累想和微程序结构35FUC 内部数据结构 35合一算法的微程疗实现 35:4FUC控划微程序的缔制 第六章FUC的安装、调试与性能分析及评价 Sb,1 FUC的装 36FUC的测统当调试 36结果分析与性能泽所 36.