請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/38051
標題: | 以自動機理論發展之最小模型修復技術 Minimum Model Repair with an Automata-Theoretical Approach |
作者: | Chih-Hong Cheng 鄭志弘 |
指導教授: | 王凡(Farn Wang) |
關鍵字: | 自動機,修復技術, automata,repair, |
出版年 : | 2007 |
學位: | 碩士 |
摘要: | We combine the graph theory and the automaton theory for a general research framework of automatic system repair. This new framework not only allows us to analyze all system repairs expressible with B‥uchi automata but also can help us telling‘economic’repairs from‘expensive’repairs. Three criteria for model repair are proposed: repair for language containment, repair for language equivalence, and repair for bisimulation equivalence. We borrow the concept of graph-edit distance in the graph theory to define the repair cost for a system automaton. We establish the complexities of the problems of finding correct model repairs with minimum cost with the three criteria. We then present an algorithm that uses a breadth first approach to explore the repair space to solve the problem for a repair criterion. We also present a heuristic algorithm for bisimulation. Finally, we report our experiment that checks the performance of our algorithms. |
URI: | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/38051 |
全文授權: | 有償授權 |
顯示於系所單位: | 電機工程學系 |
文件中的檔案:
檔案 | 大小 | 格式 | |
---|---|---|---|
ntu-96-1.pdf 目前未授權公開取用 | 332.69 kB | Adobe PDF |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。