导读:本文包含了图归约论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:存储器,逻辑,程序设计语言,清华大学,数值,抽象,性能测试。
图归约论文文献综述
杨祥金[1]（1993）在《泛函程序设计语言实现中的图归约演算》一文中研究指出本文叙述了在Von Neumann机器上实现基于λ演算、SKI 演算的泛函程序设计语言所采用的图归约演算(SKI-G 演算)。SKI-G 演算是SKI 演算的图形表示,是基于图形的形式归约系统,面向机器实现,是实现高阶、引用透明、归约语义、全惰性泛函程序设计语言的主要技术基础。(本文来源于《计算机研究与发展》期刊1993年12期）
沈宁川[2]（1993）在《SFCM:支持逻辑程序设计语言S-Prolog的抽象图归约机》一文中研究指出本文简单介绍了逻辑程序设计语言S-Prolog,并提出了支持它的抽象图归约机SFCM。S-Prolog 是Prolog的发展,而SFCM是FCM——函数程序设计语言CD-FFP2的抽象图归约机的发展。我们设计SFCM的目的是为了使函数和逻辑语言在抽象机这一层次上统一起来。最后,我们讨论了SFCM的实现,并通过实验给出它的性能测试结果。(本文来源于《计算机研究与发展》期刊1993年04期）
杨蓉[3]（1992）在《清华大学开发出并行图归约智能工作站》一文中研究指出在863计划资助下,清华大学计算机系王鼎兴、郑纬民、沈美明等成功地研制出"并行图归约智能工作站",并于1992年5月8日通过鉴定。这一成果将对我国并行计算和人工智能技术及智能计算机的研究起到重要的推动作用。(本文来源于《高技术通讯》期刊1992年05期）
沈宁川[4]（1991）在《FC机:CD-FFP 2的抽象并行图归约机》一文中研究指出已提出的图归约机的基础是Currg 的合成逻辑(简称C 逻辑),但是在图归约机中用C 逻辑中的组合子定义作为归约规则似乎过于烦琐。我们提出的CD-FFP2(FFP 的方言)的抽象并行图归约机——FC 机,它的基础是FFP 高级合成逻辑。用FFP 高级合成逻辑中的组合子定义作为并行图归约机的归约规则有许多突出的优点。这为具体实现FFP 语言的体系结构奠定了基础。(本文来源于《计算机研究与发展》期刊1991年05期）
沈宁川[5]（1991）在《FCC:多处理机上的并行图归约》一文中研究指出FCC是在多处理机上实现的FC 机。FC 机是CD-FFP2(FFP 的方言)的抽象并行图归约机。本文详细描述了如何在一个具有共享存储器的多处理机上实现CD-FFP2的并行图归约。(本文来源于《计算机研究与发展》期刊1991年05期）
张蓓楠,沈美明,郑纬民[6]（1990）在《并行图归约机中智能存储系统的设计与研究》一文中研究指出本文介绍了并行图归约(PGR)机中智能存储系统的设计方案。智能存储系统不仅能响应高级访存命令,依存储信息自动实现操作变换;而且能独立完成自己的存储管理任务.进行存储空间的动态分配和回收。文章提出了一种有效的无用单元回收方法,使得回收工作能够分布并行地高效执行。智能存储系统的引入,实现了计算与存储访问,计算与存储管理的并行执行。(本文来源于《计算机研究与发展》期刊1990年03期）
图归约论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文简单介绍了逻辑程序设计语言S-Prolog,并提出了支持它的抽象图归约机SFCM。S-Prolog 是Prolog的发展,而SFCM是FCM——函数程序设计语言CD-FFP2的抽象图归约机的发展。我们设计SFCM的目的是为了使函数和逻辑语言在抽象机这一层次上统一起来。最后,我们讨论了SFCM的实现,并通过实验给出它的性能测试结果。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
图归约论文参考文献
[1].杨祥金.泛函程序设计语言实现中的图归约演算[J].计算机研究与发展.1993
[2].沈宁川.SFCM:支持逻辑程序设计语言S-Prolog的抽象图归约机[J].计算机研究与发展.1993
[3].杨蓉.清华大学开发出并行图归约智能工作站[J].高技术通讯.1992
[4].沈宁川.FC机:CD-FFP2的抽象并行图归约机[J].计算机研究与发展.1991
[5].沈宁川.FCC:多处理机上的并行图归约[J].计算机研究与发展.1991
[6].张蓓楠,沈美明,郑纬民.并行图归约机中智能存储系统的设计与研究[J].计算机研究与发展.1990
论文知识图
