查詢結果分析
來源資料
相關文獻
- Knowledge-Based Specification and the Verification Supported by Predicate/Transition Nets for Digital Systems
- 工程智庫應用
- 工程智庫應用
- 建構一個終身學習的自學式網路資源知識庫
- 活用企業大腦建構智價企業
- 資訊再工程--從傳統程式到物件導向規格
- 線切割放電加工故障診斷專家系統之研發
- 壓鑄模具方案設計專家知識庫系統建立
- A Study of Power Transformer Fault Diagnosis Using Neural Network
- 冷軋排程系統一物件導向觀念在知識庫系統之應用
頁籤選單縮合
題 名 | Knowledge-Based Specification and the Verification Supported by Predicate/Transition Nets for Digital Systems=數位系統之規範及驗證(知識庫及述語/轉移網路) |
---|---|
作 者 | 沈榮麟; | 書刊名 | 明志工專學報 |
卷 期 | 28 1996.05[民85.05] |
頁 次 | 頁35-51 |
分類號 | 312.2 |
關鍵詞 | 知識庫; 要件規範; 述語/轉移網路; 故障診斷; 管線式結構; Knowledge base; Requirements specification; Predicate/transition net; Fault diagnosis; Pipelined architecture; |
語 文 | 英文(English) |
中文摘要 | 專家系統之技術愈受大眾歡迎,建造及維護大型知識庫就愈顯得重要。傳統式的 知識庫驗證一般僅將規則兩兩相互比較,因此,速度就變得很慢。本文旨在將述語╱轉移網 路所具有的最小定點特性導入知識庫驗證,俾加速驗證速度,進而節省數位系統的設計時間 。在此提出一故障診斷演算法,可有效地確定故障發生之所在位置。本文之主要貢獻在於 FARHDL可以很容易用來建造一個知識庫,再經由述語╱轉移(pt╱t)網路的T-恆等性技術 ,進行數位系統的驗證工作,最後藉著管線式結構DLX的實驗證實FARHDL驗證系統的有效性 。 |
英文摘要 | As expert system technology gains broader acceptance, the need to bulid and maintain large scale knowledge bases will assume greater importance. Traditional spproaches to knowledge-based verification have generally adopted pairwise comparison of rules, making them slow for large scale knowledge-based systems. This paper introduces the least fixpoint semantics of a predicate/transition (pr/t) net model into knowledge-based verification for the purposes of speeding up the computation and saving the design time of digital systems. An efficient fault diagnosis algorithm is presented to locate some fault(s) made in the digital system design. The significance of this work is that FARHDL (Frame-And-Rule Hardware Description Language) can form a knowledge base easily, and the pr/t net model provides a T-invariant technique to verify the correctness of digital systems. Experiments are presented using a FARHDL verifier that implements a pipelined architecture-DLX. |
本系統中英文摘要資訊取自各篇刊載內容。