查詢結果分析
相關文獻
- Specifying and Verifying the Knowledge-Based Requirements of Digital Systems
- 密碼模組及產品之認驗證體系介紹
- Knowledge-Based Specification and the Verification Supported by Predicate/Transition Nets for Digital Systems
- 機關公文電子交換開啟數位行政新紀元
- ESCO節能績效保證專案與商業模式之案例分析
- 機能性微粒改質纖維及紡織品應用
- 明日之星--LED之發展與LED燈泡產品之驗證規範
- 智慧型紡織品驗證規範介紹
- 車架與前叉組合件之模型驗證與衝擊試驗響應預測
- 生技藥品CGMP微生物醱酵先導工廠建置規劃
頁籤選單縮合
題 名 | Specifying and Verifying the Knowledge-Based Requirements of Digital Systems=規範及驗證以知識庫為基礎的數位系統之要件 |
---|---|
作 者 | 沈榮麟; 賴飛羆; | 書刊名 | 明志工專學報 |
卷 期 | 27 1995.05[民84.05] |
頁 次 | 頁63-75 |
分類號 | 312.49 |
關鍵詞 | 規範; 驗證; 知識庫; 數位系統; |
語 文 | 英文(English) |
中文摘要 | 由於專家系統技術在數位系統設計之中廣受歡迎,所以,建造及維護一個大規模的知識庫也就愈顯得重要。然而,如何建造一個正確及有效率的規則庫卻是知識庫發展過程中最困難的一部分。本文指在提供一種硬體描述語言FARHDL,用來規範及驗證數位硬體系統。因為FARHDL的語法係根據圖框(Frame)及生產規則(Production Rule)的原理,所以,FARHDL得以用來建造一個知識庫,然後透過知識庫的技巧加以驗證數位系統。並且,藉由最後的結果尋找數位系統設計時所隱藏的一些問題,以期獲得良好而精確的數位系統規範。根據FARHDL的語法,已用C語言在Sun工作站上研製一套軟體發展環境供使用。 |
英文摘要 | As expert system technology gains wider acceptance in digital system design, the need to build and maintain a large scale knowledge base will assume greater importance. However, how to build a correct and efficient rule base is even a hard part in the knowledge-based system development. In this paper, FARHDL (Frame-And-Rule-based Hardware Description Language) is proposed to deal with the specification and verification of digital hardware systems. Since the surface syntax of FARHDL is based on frames and production rules, the resulted FARHDL specifications can be introduced into rule-based knowledge bases. Thus, the verification of knowledge-based system can be conducted. Also, the analysis results can be a useful tool for finding obscure problems in tricky digital system designs and aid in the development of good specifications. A software development environment based on FARHDL has been implemented using C on a Sun workstation. |
本系統中英文摘要資訊取自各篇刊載內容。