回答问题名词解释.DOCVIP

（一）、state diagram： 整個密碼鎖的狀態圖 (見圖一) ctype記錄此時執行的case,開鎖(ctype=’0’) or 更改密碼(ctype=’1’) num用來紀錄已經檢查了多少位數 chnew 改密碼時用來判斷是比對完舊密碼(在qmodify會把chnew由0設成1並根據這變數做適當處理)還是比對完新密碼(會把chnew由1設成0),所以在改密碼時,第一次要比對舊密碼時(chnew=0)第二次要比對新密碼時(chnew=1)在qcheck state 可以依此決定要比對的資料. 一開始在qstart state,當按下pass鍵以後,會將ctype設成0, 之後進入qcheck ,因為 進入qcheck的情形有兩種,一種是比對舊密碼,一種是比對第二次輸入的新密碼是否相同,所以在qcheck會設定要比對的資料在的位址(如果是再比對舊密碼時密碼存放位址or 新密碼暫存位址),同時將num設為0,然後進入 qtest (qx0,qx1,qx2,qx3)檢查16位數是否相同(使用者每按一次enter比對1位數),檢查完以後會跳到qreject或qaccept,在qreject和qaccept都會根據ctype決定接下來要跳到的state,如果是qreject表示密碼比對失敗,此時如果是開鎖,那就跳回最初的state (qstart),開鎖失敗,如果是更改密碼時比對失敗,就會跳回開完鎖的state (qlogin) ,(因為要開鎖以後才能按config執行更改密碼的動作),如果accept 表示比對成功,如果是開鎖時,那就成功開鎖,就入qlogin state,如果是改密碼時比對成功,進入qmodify state,這時有兩種情形(用chnew判斷),一種是比對舊密碼成功時跳進來,這時會讀入要更改的新密碼,另一種情形是第二次輸入新密碼時和要更改的新密碼比對成功,這時會將要更改的新密碼存到 鎖的密碼儲存位址 . 圖一 qtest 的狀態圖(原來) 見圖二 (包含q00,q01,q02,q03,q10,q11,q12,q13,…,q150,q151,q152,q153,q160) cmp16紀錄是否已經比對了16位數 qcheck會進入q00, q00,q10,q20,q30,….,q150,q160是用來檢查是否已經輸入了16位數,如果已經輸入了16位數就會跳到qaccept,不然就跳到q01,q11,……q151,q151 (output出”01” 見底下附註),檢查之後輸入的密碼 q01,q11,……q151:用來比對數字分兩種情形:一種是還沒按pass,這時會等待enter,enter按下後,會把輸入的4bit 和舊密碼的第1,2,3,…,16位數作比對(在q01時和第1位比, 在q11時和第2位比,以此類推),每比對一位數就把num變數加一,當比對第16位數時,num為15,此時不做+1的動作,而是把cmp16設為1,如果比對結果是一樣的same=1,就跳到q10,q20,..q160, (output出”00”)結果不同的話same=’0’,就跳到q02,q12,…,q152. (output出”10”) 另一種是還按了pass,使用者不打算繼續輸入,這時會用”0000”和舊密碼剩下位數做比對. q02,q12,…,q152:進入這些state的條件是只要有一位數比對失敗,所以最後一定會跳到qreject(雖然已經知道會開鎖失敗,但還是要等使用者輸完該輸入的數,否則密碼很容易被猜到),在這些state會檢查是不是已經輸入了16位數,如果是,跳到qreject,不然就跳到q03,q13,q23,…,q153繼續讀使用者輸入的數. q03,q13,q23,…,q153:在確定會開鎖失敗情形下讀入使用者輸入的數,一樣彙等待enter鍵按下時讀入使用者輸入的4bit,因為之前已經有比對錯誤,所以不論接下來比對是否正確都已經不重要,會回到q02,q12,…q152 (output出”10”)去檢察是否已經輸入16位數了 原來的flow table: 附註:flow table裡的ouput我是根據接下來要做的事設的,分四類,所以用兩bit代表 圖二 根據階梯狀表格,見圖三 因為 q00,q10,q20,…,q140,q150,q160 可能跳到的stat不相衝突,output也不相衝突=合成一個state : qx0 因為 q01,q11,q21,…,q141,q151 可能跳到的state不相衝突,output也不相衝突 = 合成 qx1 因為 q02,q12,q22,…,q142,q152 可能跳到的state不相衝突,output也不相衝突 = 合成 qx2 因為 q03,q13,q23,…,q1