https://scholars.lib.ntu.edu.tw/handle/123456789/151918
標題: | 混合系統的全符號式自動化分析軟體工具環境(1/3) Full-Symbol Automatic Analyzed software tool for Hybr id System |
作者: | 王凡 | 公開日期: | 31-七月-2003 | 出版社: | 臺北市:國立臺灣大學電機工程學系暨研究所 | 摘要: | 我們藉著國科會三年長期的支持,我們要在根本上探討混合式自 動機的自動分析、驗證問題,並進而提出經驗上有效率解決方案。而 此一根本,在於資料結構與其配合的演算法。我們也將進一步提升我 們的軟體工具的可親近性與功能性,譬如發展功能強大的全符號式模 擬器、與視窗圖形介面。在經過一年努力後,已經有了一個雛形可用, 並通過數項驗證實驗。 With the three-year support from NSC, we want to invesigate the root of the complexity of the analysis and verification problems of hybrid automata and move to the development of empirically efficient solutions. The root of the complexity lies with the data-structures and their manipulation algorithms. we shall also enhance the friendliness and functionalities of our verification tools. For example, we shall develop the window GUI and fully symbolic simulators. After almost one year’s effort, we now have a usable SGM which has already passed several small benchmarks. |
URI: | http://ntur.lib.ntu.edu.tw//handle/246246/7934 | 其他識別: | 912213E002131 | Rights: | 國立臺灣大學電機工程學系暨研究所 |
顯示於: | 電機工程學系 |
檔案 | 描述 | 大小 | 格式 | |
---|---|---|---|---|
912213E002131.pdf | 253.46 kB | Adobe PDF | 檢視/開啟 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。