淡江大學機構典藏:Item 987654321/7143
English  |  正體中文  |  简体中文  |  全文筆數/總筆數 : 62797/95867 (66%)
造訪人次 : 3744220      線上人數 : 543
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
搜尋範圍 查詢小技巧:
  • 您可在西文檢索詞彙前後加上"雙引號",以獲取較精準的檢索結果
  • 若欲以作者姓名搜尋,建議至進階搜尋限定作者欄位,可獲得較完整資料
  • 進階搜尋
    請使用永久網址來引用或連結此文件: https://tkuir.lib.tku.edu.tw/dspace/handle/987654321/7143


    題名: 平行式程式設計、實作與效能分析-在Stochastic Timed Petri Nets上的實例探討
    其他題名: Parallel Programming Design, Implementation and Performance Analysis-An Application on Stochastic Timed Petri Nets
    作者: 陳伯榮
    貢獻者: 淡江大學資訊工程學系
    關鍵詞: 平行程式;分散式演算法;派翠網路;連續馬可夫鏈;Parallel programming;Distributed algorithm;Petri net;Continuous Markov chain
    日期: 1998
    上傳時間: 2009-03-16 15:28:33 (UTC+8)
    摘要: [Foster 95]提出了一個平行式程式設計的方法論,它包括分割?通訊?聚合和映射四個步驟,本計畫的主要目的即研究此設計方法並實際應用到隨機過程派翠網路(StochasticTimed PetriNets,簡稱為STPN)中三個重要分析的演算法;找尋永不變特性?解決可到達性問題及解相對的連續馬可夫模式。STPN是經常被用來驗證和分析反應式系統的模式,因反應式系統多為高複雜度的系統使其相對應的STPN也擁有極高的複雜度,也因此在透過STPN分析反應式系統的特性時,迫切需要善用所有系統資源才能得到精確且有效率的驗證與分析的結果。我們選擇了隨機過程派翠網路中的三個演算法並不只是因為它們可用來作定性分析(Quality analysis)如檢驗死結和定量分析(Quantity analysis)如系統的生產量,另一個主要原因是我們發現這三個演算法恰好具備設計平行式程式常遇到的一些有趣的問題特性如:盡量克服平行化的最大障礙尤其是無法平行化的循序部份,是極好的探討平行式程式設計方法的實例。在眾多以訊息傳遞(message passing)為主的平行程式規畫環境中,我們選擇了平行虛擬處理機(簡稱為PVM)主要是因為我們可以很快的把現有網路上的工作站甚至個人電腦結合在一起當作平行式電腦來使用。我們也將在PVM環境上實作一些傳統的分散式演算法,以做為實作STPN中三個平行化演算法的經驗及其他系統演算法平行化的基礎。在完成平行式程式設計並在PVM規畫環境實作後,我們也將比較實作前和實作後的效能評估並藉著其中差別來看出設計上或實作上欠考慮之處,以便進一步改進設計或著實作。
    顯示於類別:[資訊工程學系暨研究所] 研究報告

    文件中的檔案:

    檔案 描述 大小格式瀏覽次數
    RRPA87032875.pdf225KbAdobe PDF430檢視/開啟

    在機構典藏中所有的資料項目都受到原著作權保護.

    TAIR相關文章

    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library & TKU Library IR teams. Copyright ©   - 回饋