(3.238.88.35) 您好!臺灣時間:2021/04/11 18:13
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

我願授權國圖
: 
twitterline
研究生:黃申在
研究生(外文):HUANG, SHEN-ZAI
論文名稱:分散式模型詮釋下的ConcurrentProlog語言
論文名稱(外文):Concurrent Prolog under an interpretation of distributed model
指導教授:林一鵬林一鵬引用關係許清琦許清琦引用關係
指導教授(外文):LIN, YI-PENGXU, GING-GI
學位類別:碩士
校院名稱:國立臺灣大學
系所名稱:資訊科學研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:1986
畢業學年度:74
語文別:中文
中文關鍵詞:分散式述詞邏輯程式語言邏輯
外文關鍵詞:CONCURRENT-PROLOG-LANGUAGE
相關次數:
  • 被引用被引用:0
  • 點閱點閱:96
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
在本論文中,首先探討了以述詞邏輯做為並行程式語言的兩種相反途徑。一者為van
Emden 及 de Lucena將Kahn的定式平行計算以Horn子句邏輯重新表達,此為間接的途
徑;Shapiro 的 Concurrent PROLOG則是直接自Horn子句邏輯出發表達邏輯程式中的
護衛型不定平行計算(guarded nonderter-mistic parallel computation) 。由並行
程式領域的角度看,前者適合分散式系統,可惜是定式;反之,後者具備表達並行性
,通訊,同步及不定式等之能力,卻由於採用了共同變數的方式,而使之較適用於集
中式系統。
在分析二者之功能後,我們決定保存Concurrent PROLOG 既有的功能及語法,而擴張
之使兼具訊息通訊之語意。我們提出DDCS做為分散式Concurrent PROLOG 的基模,該
DDCS模型即建基於將並行計算視為等同於在一各網點為集中式多程序系統之分散式網
路上程序之公設化行為運作。
論文中,解釋了從概念、設計到實作的過程及考慮,亦包以VAX PROLOG所做的模擬。
整個研究過程將有助於開拓邏程式設計論在平行計算及程式設計的應用。

QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
系統版面圖檔 系統版面圖檔