Ontology-Based System for State Specification Verification

碩士 === 國立高雄第一科技大學 === 系統與控制工程研究所 === 94 === ABSTRACT To design automation system specification efficiently, the verification of transitions of the states plays the dominant factor. In this paper, an ontology system possessing domain knowledge to verify the completeness and robustness criteria for st...

Full description

Bibliographic Details
Main Authors: Chi-Yi Hung, 洪慈憶
Other Authors: Haw-Ching Yang
Format: Others
Language:zh-TW
Published: 2006
Online Access:http://ndltd.ncl.edu.tw/handle/56076032978997936225