===word原格式可編輯===狀態(tài)機(jī)的關(guān)鍵概念State狀態(tài)圖初始化關(guān)于開(kāi)始運(yùn)行時(shí)的初始化問(wèn)題，首先和狀態(tài)圖的設(shè)置有關(guān)系，是否需要在初始化時(shí)進(jìn)入第一個(gè)狀態(tài)。藍(lán)色表示狀態(tài)，黑色目前無(wú)特殊意義〔僅保證整體拖動(dòng)〕。圖表的活動(dòng)開(kāi)始時(shí)，圖表處于非活動(dòng)狀態(tài)。〔某一個(gè)狀態(tài)處于活動(dòng)狀態(tài)〕。圖表只有在進(jìn)行狀態(tài)遷移的時(shí)候才會(huì)發(fā)生激活，遷移完畢，處于睡眠狀態(tài)之中。圖表中的某一個(gè)狀態(tài)處于活動(dòng)中。連接節(jié)點(diǎn)的遷移，具有相同的級(jí)別時(shí)〔具有的事件和條件類似〕，其優(yōu)先級(jí)取決于他們的位置。進(jìn)入和退出時(shí)的過(guò)程執(zhí)行Exit，將該狀態(tài)標(biāo)記為非活動(dòng)狀態(tài)。將事件標(biāo)記為活動(dòng)狀態(tài)，執(zhí)行En動(dòng)作。遷移和動(dòng)作執(zhí)行完畢，圖表又處于睡眠狀態(tài)。同一事件的源狀態(tài)至目標(biāo)狀態(tài)的遷移這里的關(guān)鍵在于，圖表處于非活動(dòng)狀態(tài)時(shí)，哪一個(gè)狀態(tài)處于活動(dòng)。那么開(kāi)始由哪一個(gè)進(jìn)行遷移。首先進(jìn)行的動(dòng)作：遷移檢測(cè)當(dāng)事件發(fā)生，且條件成立時(shí)，確認(rèn)可以執(zhí)行遷移。然后執(zhí)行ex，en等過(guò)程。循環(huán)結(jié)構(gòu)：優(yōu)先級(jí)的應(yīng)用條件和條件動(dòng)作設(shè)計(jì)For循環(huán)。此處的問(wèn)題：條件循環(huán)何時(shí)執(zhí)行？同樣，先進(jìn)行遷移檢測(cè)的判斷：執(zhí)行循環(huán)結(jié)構(gòu)，確認(rèn)遷移可以執(zhí)行后，才進(jìn)行en和ex動(dòng)作。自循環(huán)流程圖的考前須知：不保存任何信息。狀態(tài)的層次子狀態(tài)和父狀態(tài)〔超狀態(tài)〕狀態(tài)機(jī)是集合。狀態(tài)圖是圖表對(duì)象。歷史節(jié)點(diǎn)關(guān)于子狀態(tài)的考前須知，一個(gè)父狀體有子狀態(tài)時(shí)，假設(shè)父狀態(tài)為激活狀態(tài)，那么狀態(tài)機(jī)必定處于其中一個(gè)子狀態(tài)。如果父狀態(tài)中還含有，歷史節(jié)點(diǎn)，那么父狀態(tài)中，子狀態(tài)的默認(rèn)遷移不再起作用。即：在一個(gè)程序運(yùn)行循環(huán)內(nèi)〔含義同駕駛循環(huán)〕默認(rèn)遷移永久性的只運(yùn)行一次，假設(shè)無(wú)歷史節(jié)點(diǎn)，那么在遷移過(guò)程中每次激活父狀態(tài)時(shí)，都會(huì)激活默認(rèn)遷移。歷史狀態(tài)的優(yōu)先級(jí)高于默認(rèn)遷移遷移的層次性遷移在兩個(gè)父狀態(tài)的子狀態(tài)之間進(jìn)行遷移時(shí)。核心問(wèn)題：父狀態(tài)Du，en，ex的執(zhí)行順序，子狀態(tài)的執(zhí)行順序。當(dāng)遷移的條件檢測(cè)成功時(shí)，首先執(zhí)行所屬父狀態(tài)得到du動(dòng)作，并執(zhí)行該子狀態(tài)的ex動(dòng)作，將子狀態(tài)標(biāo)記為非活動(dòng)。然后執(zhí)行父狀態(tài)的ex動(dòng)作。由此可見(jiàn)，父狀態(tài)的du動(dòng)作差不多有一次〔一個(gè)循環(huán)步長(zhǎng)〕的執(zhí)行時(shí)機(jī)。接著，執(zhí)行下一個(gè)子狀態(tài)所屬父狀態(tài)的en，但是不執(zhí)行du，就進(jìn)入了子狀態(tài)的en，然后睡眠。顯式的說(shuō)明退出A1，進(jìn)入B1，陰式的說(shuō)明其父狀態(tài)的退出和進(jìn)入。內(nèi)部遷移〔內(nèi)部和外部自循環(huán)〕內(nèi)部自遷移：事件成立，但是條件不成立時(shí)，先執(zhí)行該狀態(tài)的du，然后進(jìn)行內(nèi)部遷移的執(zhí)行，該狀態(tài)仍然活動(dòng)，故ex和en都不會(huì)執(zhí)行。另一個(gè)關(guān)鍵：只有在執(zhí)行du后〔即第二個(gè)仿真步長(zhǎng)內(nèi)未發(fā)生遷移，且已經(jīng)執(zhí)行過(guò)了en〕，才會(huì)進(jìn)行內(nèi)部遷移的檢測(cè)和子狀態(tài)的du或者ex動(dòng)作。先執(zhí)行遷移后狀態(tài)的en，然后就睡眠了，外部自循環(huán)并沒(méi)有執(zhí)行。進(jìn)入該狀態(tài)后，只有事件再次發(fā)生，且有遷出該狀態(tài)的意圖時(shí)，外部自循環(huán)才會(huì)有執(zhí)行的時(shí)機(jī)。此時(shí)會(huì)順次執(zhí)行該外部自循環(huán)狀態(tài)的ex，en。從初始話開(kāi)始的執(zhí)行順序搭建模型如下所示：內(nèi)部狀態(tài)如下所示：將調(diào)試時(shí)間改為IINF后，輸出結(jié)果為1，由此可見(jiàn)：初始化后，僅僅輸出en值。此時(shí)命令行窗口輸出值為：將事件UlckA觸發(fā)，如下：那么狀態(tài)遷移如下：同時(shí)輸出值為0，即，執(zhí)行了解鎖事件的進(jìn)入動(dòng)作。觀察命令行窗口，發(fā)現(xiàn)在遷移過(guò)程中還執(zhí)行了遷出狀態(tài)的ex動(dòng)作，但是du動(dòng)作自始至終都未執(zhí)行。當(dāng)鎖定事件發(fā)生時(shí)，也只會(huì)執(zhí)行解鎖事件的ex動(dòng)作和鎖定事件的en動(dòng)作，du動(dòng)作自始至終也未執(zhí)行。連接至節(jié)點(diǎn)的執(zhí)行事件的內(nèi)部遷移遷移的檢測(cè)順序：先進(jìn)行父狀態(tài)外部的遷移檢測(cè)，無(wú)遷移，那么執(zhí)行du，然后檢測(cè)自己內(nèi)部的有效遷移。仍然是其中一個(gè)子狀態(tài)處于活動(dòng)。先進(jìn)行父狀態(tài)的檢測(cè)。A的du事件在A仍為活動(dòng)的時(shí)候執(zhí)行?！獑?wèn)題的關(guān)鍵！過(guò)程：退出子狀態(tài)，至父狀態(tài)，然后再遷移。至歷史節(jié)點(diǎn)的遷移層次化圖表中，父狀態(tài)的du執(zhí)行時(shí)刻為，處于子狀態(tài)時(shí)而且有事件發(fā)生時(shí)。并行機(jī)制播送播送用于觸發(fā)并行狀態(tài)。播送狀態(tài)動(dòng)作檢測(cè)的時(shí)候先檢測(cè)父狀態(tài)，檢測(cè)不到那么執(zhí)行du：實(shí)質(zhì)上du的執(zhí)行順序應(yīng)當(dāng)如下：這和狀態(tài)圖的刷新頻率有關(guān)系，有事件觸發(fā)的時(shí)候，無(wú)論是否有條件等數(shù)據(jù)定義，一律按照事件觸發(fā)的頻率進(jìn)行刷新，因?yàn)槭录⑿碌念l率并不是很快，所以會(huì)出現(xiàn)du不執(zhí)行的情況。在沒(méi)有事件的定義下，僅有數(shù)據(jù)時(shí)，狀態(tài)圖的刷新速度比擬高，檢測(cè)不到遷移，又到了刷新時(shí)刻，就必須執(zhí)行du〔因?yàn)樵谶@個(gè)狀態(tài)圖內(nèi)〕。On事件發(fā)生時(shí)，圖表的執(zhí)行順序，僅在該層次中執(zhí)行一次而已。每一次事件發(fā)生時(shí)，都首先從包含該子事件的父事件開(kāi)始執(zhí)行。當(dāng)因?yàn)閛n執(zhí)行的事件執(zhí)行完畢后，再接著執(zhí)行原來(lái)事件引發(fā)的執(zhí)行順序。播送遷移動(dòng)作同樣，開(kāi)始的時(shí)候，狀態(tài)必然處于某一子狀態(tài)內(nèi)部，事件觸發(fā)時(shí)，先從父狀態(tài)開(kāi)始檢測(cè)，一直到子狀態(tài)，在父狀態(tài)內(nèi)開(kāi)始檢測(cè)并執(zhí)行遷移。執(zhí)行完A1的du后才執(zhí)行遷移。播送條件動(dòng)作所謂的播送條件動(dòng)作，指事件在條件中出現(xiàn)，和前面的叫法類似。直接事件播送隱含事件時(shí)間邏輯時(shí)間邏輯事件可以根據(jù)事件發(fā)生的次數(shù)決定事件的轉(zhuǎn)換邏輯。時(shí)間操作符〔at，every，after，before〕分別完成相應(yīng)的布爾運(yùn)算，處理Stateflow事件的發(fā)生次數(shù)。

Stateflow中的真值表真值表Stateflow中定義真值表首先進(jìn)行命名。下列圖為已命名和未命名的真值表的外觀：內(nèi)部編輯和外部真值表一樣。在stateflow中調(diào)用真值表，需要定義輸入輸出對(duì)象。如下列圖：圖形盒圖形函數(shù)建?？记绊氈Ｐ椭校涸谛盘?hào)流，GOTO和FROM中支持下劃線，卻不支持橫杠。模型中的開(kāi)關(guān)量的優(yōu)先級(jí)：越靠后，優(yōu)先級(jí)越高。故障的情況在后，將會(huì)優(yōu)先觸發(fā)。建模過(guò)程中，考慮子系統(tǒng)的原子化，便于代碼生成。尺寸和數(shù)據(jù)