臺灣博碩士論文加值系統

English |FB 專頁 |Mobile

免費會員登入| 註冊

功能切換導覽列

(44.200.82.149) 您好！臺灣時間：2023/06/11 02:02

字體大小：

:::

詳目顯示

第 1 筆 / 共 1 筆

/1頁

論文基本資料
摘要
紙本論文
QR Code

本論文永久網址:

研究生:

邱孟佑

研究生(外文):

QIU,MENG-YOU

論文名稱:

可視性模組驗証器之設技與建構

論文名稱(外文):

Design and implementation of a visual model checker

指導教授:

雷欽隆

指導教授(外文):

LEI,QIN-LONG

學位類別:

碩士

校院名稱:

國立臺灣大學

系所名稱:

電機工程研究所

學門:

工程學門

學類:

電資工程學類

論文種類:

學術論文

論文出版年:

1991

畢業學年度:

語文別:

中文

論文頁數:

中文關鍵詞:

可視性模組驗証器、建構、同作系統、操作介面、內部檢查過程

相關次數:

被引用:0
點閱:118
評分:
下載:0
書目收藏:0

在同作系統(Concurrent system) 中一個常用來驗證該系統之正確性的方法是將此系
統表成一個狀態圖，再用一模組驗證器來檢查其正確與否？但很不幸的是現今的模組
驗證器在使用者操作介面上非常地不方便且使用者亦看不到內部檢查過程，因此，我
們的目的就是著手進行發展出一套可視性的模組驗證系統，讓使用者可以很輕易的來
描述他系統的結構，以及提出一個可視性的驗證環境，讓使用者非常容易且迅速地驗
證他所欲發展之系統或程式。

國圖紙本論文

推文
網路書籤
推薦
評分
引用網址
轉寄

top

相關論文
相關期刊
熱門點閱論文

無相關論文

無相關期刊

1.	以交通狀態為基礎之旅行時間預測
2.	計算凸多邊形直徑之最佳平行演算法
3.	在即時多種處理機系統上執行工作排程
4.	在多種處理器系統中新的快取記憶體協調方式
5.	用於強健性控制之泛集自組式控制器
6.	以鉭酸鋰為基板研製馬赫仁德調制器
7.	以最佳控制法作不考慮火力機組動態的電力系統之發電調度
8.	以規劃為基礎之串聯通訓晶片合成
9.	以規化為基底之數位鐘晶片和成
10.	以規則為底的缺角模組的配置系統
11.	目標導向為基礎的電路設計
12.	正交伴隨聯想記憶
13.	平面傳輸線分散特性之微擾分析
14.	平面光波入射於非線性介質薄膜之研究
15.	線性及非線性電路之諧波、暫態、及穩態分析

簡易查詢 | 進階查詢 | 熱門排行 | 我的研究室