(3.239.192.241) 您好!臺灣時間:2021/03/02 19:16
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

我願授權國圖
: 
twitterline
研究生:呂芳懌
研究生(外文):LYU,FANG-YI
論文名稱:分散式辦公室資訊系統之內部檢視
論文名稱(外文):An internal inspection of a distributed office information system
指導教授:楊鍵樵楊鍵樵引用關係
指導教授(外文):YANG,JIAN-QIAO
學位類別:博士
校院名稱:國立臺灣科技大學
系所名稱:工程技術研究所
學門:工程學門
學類:綜合工程學類
論文種類:學術論文
論文出版年:1991
畢業學年度:79
語文別:中文
論文頁數:146
中文關鍵詞:分散式辦公室協約協助器辦公室程序模式連接矩陳規則庫自動機理論
外文關鍵詞:(OFFICE-PROCEDURE-MODELOPM)(CONNECTIONMATRIX)
相關次數:
  • 被引用被引用:0
  • 點閱點閱:150
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
本論文首先提出一個系統內部協約協助器, 幫助使用者驗證一個分散式系統子系統內
部訊息之間的關係, 以確定當某些事件發生時這個子系統仍可正常地運作。文中以一
個正規的辦公室模式: 辦公室程序模式(office procedure Model, OPM) 為例說明該
協助器所用之技術與用途, 亦建立一個連接矩陣(Connection Matirix)以資料結構方
式表示出OPM 圖形。其後提出一個將OPM 圖剖析成若干訊息群以降低其複雜度的方法
, 又為每一個訊息群建立一個變遷表以導出最小項正規形之表示式, 使用者可逐一檢
視這些表示式, 以驗證系統之內部協約。
通常一個辦公室系統圖都不是可以執行的模式, 要想模擬系統之功能俾檢查其執行時
之語意, 我們須將此系統圖轉換成可以執行的目標模式, 規則庫為本研究選定的目標
模式。轉換工作以經驗法則方式為之, 之後, 該辦公室系統將被視為一個規則庫系統
而不再是一個二維圖形。此時, 我們再提出一個以自動機理論、圖形理論、人工智慧
技術為基礎, 以規則為著眼點的系統檢視辦法。依此辦法我們可以演算法的方式檢視
一個系統的完整性與一致性問題。一個規則庫系統在本辦法中將表示成一個有限狀態
圖, 經由此圖, 系統內部的錯誤和不正常現象可以被清楚地表示出來, 系統維護因而
就變得簡單了。文中亦將探討這些錯誤和不正常現象之特性, 用以定位這些缺失的演
算法亦將於文中提出與討論。最後提議這些演算法之執行順序, 以有系統地從事內部
檢視工作。
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
系統版面圖檔 系統版面圖檔