首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
3.
Prolog语言自1971/1972年就已问世了。但对它的商业兴趣只是近两、三年才明朗起来。产生这一兴趣的原因有两个。第一,日本(或其它国家)把Prolog作为第五代计算机系统的核心部分。第二,它是开发专家系统的一个理想语言。  相似文献   

4.
5.
6.
7.
编译技术是实现高效率Prolog系统的一个重要手段。本文提出了设计prolog编译系统时应解决的几个重要问题。这些问题包括:系统设计方案、中间代码的选择、编译器的设计、交互性问题、数据库及数据库操作内部谓词的实现方法等。文中论述了我们对这些问题的看法及提出的解决方法。  相似文献   

8.
罗钢  陈俊亮 《计算机学报》1991,14(11):838-844
Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.  相似文献   

9.
10.
基于神经网络的逻辑计算   总被引:1,自引:0,他引:1  
神经网络得到了越来越广泛的应用,目前它主要应用于模式识别和联想记忆等领域。我们通过研究发现,神经网络同样可以很好地应用于逻辑计算。本文提出了可以完成任何逻辑计算的通用模型,根据这种模型构造的神经网络可以实现复杂的逻辑计算,并且能够根据退化了的数据进行精确的逻辑计算。  相似文献   

11.
蒋炎华 《计算机应用》2011,31(2):462-465
提出了计算资源共享平台中的一种非集中式元数据管理方法,它利用对等网络的方式把数据和元数据分散到网络上的其他节点,而不是在后台服务器端。该方法可以在平台运行数据密集型应用时支持大容量的并行工作机读写数据,同时具有随机的访问、灵活的访问粒度、支持高负载的并行读写的特点。运用了分布式哈希表技术,把大容量元数据划分成树型结构的分段树的形式。描述了数据与元数据的读写与追加新数据的过程。测试结果表明:该方法针对3D图像渲染类数据密集型应用,在不同的工作机并行访问与读写过程中,可以获得很高的聚集带宽与平均读写带宽。  相似文献   

12.
Transputer系统成功地应用在数值计算领域,但人工智能这个重要领域因缺乏相应的并行化编程语言而得不到广泛应用.本文介绍了两种基于Transputer的并行Prolog语言,详细描述了它们的运行机制和在多机系统的实现。  相似文献   

13.
Prolog编译的高效实现   总被引:1,自引:0,他引:1  
本文提出了一种用向量链接表表示Prolog 中表的方法,一个有效的抽象指令集以及栈压缩优化技术。在主频为8MHz 的Intol 80286微机上应用这些技术实现的Prolog 编译系统的速度大约为100 KLIPS。  相似文献   

14.
Transputer系统成功地应用在数值计算领域,但人工智能这个重要领域因缺乏相应的并行化编程程语言而得不到广泛应用,本文介绍了两种基于Transputer的并行Prolog的语言,详细描述了它们的运行机制和在多机系统的实现。  相似文献   

15.
本文给出 PC Prolog 的规范模块 CONSULT 及其相应的数据结构,可用作简单交互式面向对象 Prolog 系统的内核。该系统最初是为 CAD/CAM 的应用而设计的,但也可用于许多与复杂层次数据结构有关的领城。  相似文献   

16.
本文主要介绍模糊推理语言FPL(Fuzzy Prolog Language),有关研究见[1]—[5],FPL语言系统的主要特点是运用了作者提出的软匹配机制,这使模糊推理过程得到简化,本系统已在Dual 68000上实现。  相似文献   

17.
近些年为了将大尺寸数字图像的内容自适应地显示在手机、PDA(掌上电脑)等屏幕较小的显示终端上以得到更好的显示效果,图像适应得到了很大的关注。现有的大量方法使用了不同的重要度映射来得到最优的图像缩放结果。图像适应算法就是为了去除图像中的不重要信息,为此提出在图像适应方法中使用非冗余显著图的计算来分析不重要信息的位置。首先,引入了图像分解,提出图像高梯度区域的冗余信息。然后,提出纹理梯度的概念,并进一步针对细节信息建立了纹理冗余度分析机制。纹理梯度非常适合卡通图像分析,从而将现有图像适应方法推广到非真实图像。大量实验结果显示,本文方法并不受图像适应算子的影响,该方法对具有复杂背景和包含多目标物体等的图像适应问题都比较鲁棒。  相似文献   

18.
利用保关系的思想,定出了部分二值逻辑函数中准完备集的最小覆盖。从而给出了部分二值Sheffer函数的最简判定方法。该方法具有重要的理论和实际意义。  相似文献   

19.
本文是定义了(单向)下推自动机的逻辑计算类型,对逻辑计算类型进行了分类,并证明了它们都是线性时间界限的.  相似文献   

20.
本刊1982年第4、5期(总第154、155期)曾刊载R. S.博耶J. S.穆尔著的《计算逻辑》,深受广大读者欢迎,现又将其附录部分刊登于此,以飨读者。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号