搜索筛选:
搜索耗时0.0814秒,为你在为你在102,285,761篇论文里面共找到 16 篇相符的论文内容
发布年度:
[期刊论文] 作者：沈宁川,
来源：计算机研究与发展 年份：1993
本文简单介绍了逻辑程序设计语言S-Prolog,并提出了支持它的抽象图归约机SFCM。S-Prolog 是Prolog的发展,而SFCM是FCM——函数程序设计语言CD-FFP2的抽象图归约机的发展。我...
[期刊论文] 作者：沈宁川,
来源：计算机研究与发展 年份：1991
已提出的图归约机的基础是Currg 的合成逻辑(简称C 逻辑),但是在图归约机中用C 逻辑中的组合子定义作为归约规则似乎过于烦琐。我们提出的CD-FFP2(FFP 的方言)的抽象并行图归...
[期刊论文] 作者：沈宁川,
来源：计算机研究与发展 年份：1993
本文提出了FCC中的灰尘概念及其回收算法,完善了FCC的垃圾回收系统.最后给出了有关FCC垃圾回收算法及灰尘回收算法效率的测试结果。...
[期刊论文] 作者：沈宁川,
来源：计算机研究与发展 年份：1992
由于FFP语言中存在着非严格(non-strict)函数,所以用紧迫计算(eager evaluation)方式计算非严格函数,不仅降低了执行效率,而且还可能导致计算失败.为此,本文又提出了几个在FC...
[期刊论文] 作者：沈宁川,
来源：计算机研究与发展 年份：1991
FCC是在多处理机上实现的FC 机。FC 机是CD-FFP2(FFP 的方言)的抽象并行图归约机。本文详细描述了如何在一个具有共享存储器的多处理机上实现CD-FFP2的并行图归约。...
[会议论文] 作者：沈宁川,
来源：全国计算机体系结构会议 年份：1986
提出了实现正式函数语言FFP的并行体系结构——Redaflow，它是归约（Reduction）、数据流（Dataflow）和诺依曼三者的混合模型。作者的策略是在函数级上实行归约计算，函数内曼实现数据计......
[会议论文] 作者：沈宁川,
来源：第四届全国青年计算机会议 年份：1992
...
[会议论文] 作者：沈宁川,
来源：中国第三届知识工程研讨会 年份：1990
新一代程序设计语言的特征之一是具有很强的表达能力。在这篇文章中，描述了一个集合程序设计语言（SPL）并讨论了它的实现。SPL程序是一组集函数表达式和集合计算式。在集函数表达......
[期刊论文] 作者：沈宁川,
来源：计算机应用与软件 年份：1987
本文阐述了如何设计H码(即Huffman码,以下简称H码)对用ASCⅡ码书写的文件进行压缩及恢复的方法。...
[期刊论文] 作者：沈宁川,龙翔,
来源：软件学报 年份：1997
本文首先简介了基于ａｇｅｎｔ的软件工程技术，然后利用这一技术，设计了一个用于知识库维护的软件ａｇｅｎｔ互操作系统ＳＡＩＳ，ＳＡＩＳ系统是由多问题求解器构成，每个问题求解器是一个软件ａｇｅｎｔ，本文给出了ＳＡＩＳ的结构，并描述了......
[期刊论文] 作者：沈宁川,龙翔,
来源：软件学报 年份：1997
本文首先描述了知识库维护过程中的协调怀问题，然后给出了扩充逻辑程序设计的框架，在此框架下，每个逻辑程序等价于一个知识库，为了检查知识库的协调性，本文为知识库中的推理规则构......
[期刊论文] 作者：沈宁川,李未,
来源：计算机学报 年份：1996
本文首先介绍了知识库维护过程中诸如知识库序列、新规则、用户反驳以及重构等概念；然后给出了一个扩充逻辑程序设计的框架，在这一框架下，每个逻辑程序等价于一个知识库；进一步定......
[期刊论文] 作者：沈宁川,王晓斌,
来源：计算机研究与发展 年份：1991
FCC 是在多处理机上实现CD-FFP2(FFP 的方言)的并行图归约系统。由于FCC 中的并行计算模型的基础是FFP 合成逻辑,不同于其它的归约机。这篇文章以FFP 合成逻辑为基础,提出一...
[期刊论文] 作者：沈宁川,王晓斌,
来源：电子科技大学学报 年份：1990
由于 FFP 表达式具有引用透明性,对于给定的表达式每次计算都得到同样的结果,所以每一个值只需计算一次.然而,由于 FFP 语言支持递归程序,FC-机在处理递归结点时需要拷贝代码...
[会议论文] 作者：聊鸿斌,沈宁川,
来源：第六届全国青年计算机工作者会议 年份：1996
该文将首先介绍基于ａｇｅｎｔ的软件工程技术，然后描述了一个维护知识库的软件ａｇｅｎｔ互操作系统ＳＡＩＳ及其构造，进步阐述了在ＳＡＩＳ系统的实现中对支持异构环境下的互操作，网络通信的透明性和资源分布的透明......
[会议论文] 作者：沈宁川,王晓斌,
来源：第三届全国青年计算机学术会议 年份：1991
...
相关搜索：
