狀態遷移圖 的英文怎麼說

中文拼音 [zhuàngtàiqiānyítú]
狀態遷移圖 英文
state transition chart
  • 狀 : Ⅰ名詞1 （形狀） form; shape 2 （情況） state; condition; situation; circumstances 3 （陳述事件或...
  • 態 : 名詞1. （形狀; 狀態） form; condition; appearance 2. [物理學] （物質結構的狀態或階段） state 3. [語言學] （一種語法范疇） voice
  • 遷 : Ⅰ動詞1. （遷移） move 2. （轉變） change 3. （古時指調動官職） be appointed to a certain post Ⅱ名詞（姓氏） a surname
  • 移 : Ⅰ動詞1. （移動） move; remove; shift 2. （改變; 變動） change; alter Ⅱ名詞（姓氏） a surname
  • 圖 : Ⅰ名詞1 （繪畫表現出的形象; 圖畫） picture; chart; drawing; map 2 （計劃） plan; scheme; attempt 3...
  • 狀態 : status; state; condition; state of affairs: （病的）危險狀態 critical condition; 戰爭狀態 state o...
  • 遷移 : move; remove; migrate; shift; transport; migration; transference; removal
  1. Following the standard of status view provided by uml, we describle the status changes during the process of sync and put forward the solution based on limited states machine

    依照uml動態模型中狀態視圖的規范描繪同步系統的狀態遷移並提出了基於有限狀態機的解決方案。
  2. The workflow model is built by uml statecharts in this paper, and the correctness of the control flow in workflow is verified, including the verification of soundness and the properties of semantic - related of the control flow

    把驗證uml狀態圖的完全性轉化為驗證全局可達遷移圖的完全性，給出了驗證控制結構完全性和語義相關性質的演算法。
  3. Following the standard of status view provided by uml, we describe the status changes during the process of sync and put forward the solution based on limited states machine

    依照uml模型視圖的規范描繪了同步系統的狀態遷移並提出了基於有限狀態機的解決方案。
  4. The algorithm processes the set of xpaths and compiles three things : a set of states that the transition diagram might go through, the transition function to move from one state to another, and an indication of which states mark successful recognition of an xpath

    該演算法處理這組xpath ，並編譯三樣東西：轉換圖可能經過的一組狀態，從一種狀態遷移到另一種狀態的轉換函數，以及表明哪些狀態成功地識別了xpath的標記。
  5. The model testing process : first, making the space structure of the uml statechart into two - dimensional structure of tfg ; secondly, with the test coverage criteria covering tfg, we can get the test sequences of events according with the transition of the state

    該模型的測試過程是，首先，把空間結構的uml狀態圖轉換為易於分析的平面結構圖? tfg ;其次，使用分支覆蓋標準覆蓋tfg圖，得到符合狀態遷移的消息事件測試序列。
  6. These methods can be used to verify the properties of whole system. to reduce the state explosion caused by concurrent objects, we study the compositional verification of synchronous uml models based on synchronous composition and simulation relation between structures

    為緩解並發對象導致的狀態爆炸問題，本文還研究了根據同步合成和結構間的模擬關系，對同步uml模型進行並發組合推理，使得有可能不必建立全局狀態遷移圖來驗證系統。
分享友人
分享到 Line

分享到臉書