Gdel语言的一种并行推理模型

A Parallel Reasoning Model for Gdel

下载PDF

导出

摘要针对Gdel语言成分复杂,难以采用Prolog语言的并行推理策略,给出了基于该语言程序中间代码的并行推理模型,并对该并行模型的加速效果进行了分析,结果表明新提出的Gdel并行策略具有良好的加速比. Godel＇s complicated language components make it hard to use the parallel reasoning method of prolog. A parallel reasoning model which is based on the intermediate codes of the Godel programs is presented. The accelerating effect of the model is analyzed and the result shows that the speedup ratio of the given Godel parallel strategy is approximately fine.

作者李玲赵致琢李松斌王良霖夏金存

机构地区厦门大学计算机科学系

出处《集美大学学报（自然科学版）》 CAS 2008年第2期117-121,共5页 Journal of Jimei University：Natural Science

基金福建省自然科学基金资助项目(A0310007)

关键词 GODEL语言中间代码 AND并行 OR并行 Godel intermediate codes AND paralleling OR paralleling

分类号 TP301.6 [自动化与计算机技术—计算机系统结构]

引文网络
相关文献

参考文献6

1HILL P M, LLOYD J W. The Godel Programming Language [M]. Cambridge: MIT Press, 1994.
2BOWERS A F, WANG J W. Bristol Godel users' manual [R]. Bristol: University of Bristol, 1994.
3HEIKO A, SCHMIDT. TREE - PUZZLE: maximum likelihood phylogenetic analysis using quartets and parallel computing [J]. Bioinformatics, 2002, 18(1/2) : 502-504.
4SARBAZI-AZAD H, OULD-KHAOUA M, ZOMAYA A Y. Performance evaluation of communication networks for parallel and distributed systems [J]. Parallel Computing, 2006, 32(11/12) : 775-924.
5EWIAG, LUSK. The aurora OR-parallel Prolog system [J]. New Generation Computing, 1990, 7(2/3) : 243-271.
6HERMENEGILOD M V, GREENE K J. The &-Prolog system: exploiting independent AND-paralleslism [ J]. New Generation Computing, 1991,9(3/4) : 233-256.

1王良霖,赵致琢,李玲.Gdel程序推理过程的可视化[J].集美大学学报（自然科学版）,2008,13(2):122-126.
2王冬星.一种程序设计语言模块系统的研究与实现[J].大庆师范学院学报,2008,28(5):38-41.
3廖明宏,郭福顺,程退安.一种产生式系统的并行推理模型[J].计算机科学,1995,22(3):37-39.
4陈世鸿,李成夫,刘初长,刘良观.逻辑程序AND并行的一种无冲突处理技术[J].计算机学报,1989,12(12):908-915. 被引量：3
5陈世鸿,彭蓉.模糊逻辑语言FLL的并行计算模型FPCM[J].数学物理学报（A辑）,2002,22(1):48-54. 被引量：2
6高伟,赵致琢,李慧琪,昌杰.Gdel语言控制机制的研究与实现[J].智能系统学报,2009,4(4):345-351.
7唐毅,金吉春.在多机系统环境下Prolog语言的AND并行执行算法[J].上海科技大学学报,1990,13(2):15-20.
8温冬婵,徐众惠,王鼎兴.P-AND并行和无冲突约束技术[J].计算机学报,1992,15(11):830-837.
9宋震,李莲治.产生式系统并行推理机PPIM的研究与设计[J].高技术通讯,2001,11(2):77-79.
10昌杰,郑尚志.Prolog与Gdel语言元程序设计的对比研究[J].巢湖学院学报,2008,10(6):30-32.

集美大学学报（自然科学版）

2008年第2期

浏览历史

内容加载中请稍等...

Gdel语言的一种并行推理模型

参考文献6

相关作者

相关机构

相关主题

浏览历史