基本介紹
- 中文名:擴展有限狀態機
- 外文名:Enhanced Finite State Machine
- 簡稱:EFSM
- 構成:許多狀態和狀態之間的轉換
狀態轉換在一個事件發生或者滿足轉換的條件時候被觸發。當觸髮狀態轉換時候,可能會引起某個行動,這個行動可能會操縱變數進行輸入或產生輸出,為了執行轉換,條件是某個布爾謂詞必須為真。
在EFSM的圖形表示當中,節點代表各個狀態,而邊則代表各個狀態之間的遷移關係。一個遷移包含以下元素:(1)事件,(2)條件,(3)一系列動作。
歐洲金融穩定機制(European Financial Stabilisation Mechanism;EFSM)成立於2011年1月5日,是由歐盟委員會創立的緊急救助基金,以歐盟預算為擔保,在金融市場籌資,通過救助歐盟中經濟困難的成員以確保歐洲金融穩定。基本情況 EFSM由27個歐盟...
結合了電勵磁磁通切換型磁阻電機(EFSM)的磁場調節靈活和永磁勵磁磁通切換型磁阻電機(PMFSM)的勵磁損耗小的優點,本項目提出並研究了一種單相混合勵磁磁通切換型磁阻電機(HEFSM),主要的研究內容和成果包括:提出了定子槽口放置永磁體的新型...
《新型狀態模型切片關鍵技術研究》是依託北京化工大學,由李征擔任項目負責人的青年科學基金項目。項目摘要 基於狀態模型的切片技術可以有效地約減模型尺寸,分析和管理複雜模型。當前EFSM模型依賴分析技術和切片算法要求模型狀態圖必須有唯一的...
在已經解決具有多終止狀態或無終止狀態的EFSM 模型非終止性依賴分析問題的基礎上,本申請旨在進一步探索含有不可約簡結構的EFSM 模型依賴性分析方法,研究遷移間的順序依賴關係,並針對包含遷移變數和觸發事件等多切片準則研究相應切片算法,...
構建基於動態信息記憶反饋的深度學習網路,實現報警線上分類識別,提高報警識別準確度及抗干擾能力;提出報警依賴溯源方法,引入擴展有限狀態機(EFSM),建立報警系統多層EFSM模型,探究遷移內和遷移間數據依賴及傳遞性,構建報警系統EFSM數據依賴...