state-transition diagram 中文意思是什麼

state-transition diagram 解釋
狀態轉移圖
  • state : n 1 〈常作 S 〉國，國家；〈通例作 S 〉（美國、澳洲的）州；〈the States〉 美國。2 國務，政權，政府...
  • transition : n 轉變，演變，變遷，變化；飛越；過渡期；【音樂】變調，轉調；【修辭學】語次轉變；【語法】轉換；【...
  • diagram : n. 圖，圖形，圖解；【數學】作圖。 a diagram of an engine 發動機設計圖。vt. （-gram（m）ed; -gram（m）ing） 用圖表示，圖解。
  1. At the same time, the formulas on reliability, mean time to failure and availability, mean time between failure etc were deduced respectively based on the distribution density function and markov state - transition diagram

    同時依據分佈密度函數和馬爾可夫模型的數學理論分別推導了兩種系統的可靠度、平均故障前時間和可用度、平均故障間隔時間等指標的計算公式，為軟體內核程序的開發奠定了理論基礎。
  2. Verifying the soundness of the uml statecharts model can be translated into the verification of the soundness of the global reachable state transition diagram, and the algorithms verifying the soundness and the properties of semantic - related are given. at the aspect of verifying the consistency of temporal constraints of workflow, the time events are added into the uml statecharts, then the rules translating the extended uml statecharts into timed automata are given. the upper constraints ( the most time interval between two tasks ), lower constraints ( the least time interval between two tasks ) and deadline constraints are defined by tctl. the consistency of these constraints in build time, instantiation time and run - time are defined respectively

    在驗證工作流時序約束一致性方面，在uml狀態圖中加入了時間事件，給出了將擴展后的uml狀態圖轉化為時間自動機的規則，用時間計算樹邏輯定義了兩個任務間的最大、最小時間間隔（上、下界約束）和工作流的最終期限約束，並給出了這三類約束分別在創建階段、實例化階段和運行階段的一致性定義，通過alur的演算法對時序約束一致性進行驗證。
  3. State - transition diagram

    狀態轉移圖
  4. State transition diagram

    狀態轉移圖
  5. State transition diagram. another formalized diagram that breaks the software into basic states, or conditions, and shows the means for moving from one state to the next

    《狀態轉移圖》 ? ?也是一個正式圖表，它描述軟體怎樣從一個狀態轉到另一狀態，以及從一個狀態轉到另一個狀態的原因、方法。
  6. A business state machine is graphically specified by a state transition diagram that shows its states, possible transitions between the states with the events that trigger them, and the resulting operations

    業務狀態機是由狀態轉移圖以圖形方式指定的，狀態轉移圖顯示其狀態、狀態間可能的轉移和觸發狀態轉移的事件，以及作為結果的操作。
  7. We extend the state - transition diagram with uml " actor " notation to show the owner of the object when it is in that state

    我們使用uml " actor "符號來擴充狀態轉換關系圖，以顯示當處于該狀態時物件的所有者。
  8. This approach to providing separate class diagrams per state explains why some classes in figure 3 and figure 1 use a in the class name to indicate the state, tying the " dynamic " state transition model together with the " static " class diagram

    該方法按照各個狀態提供獨立的類關系圖，說明了為什麼圖3和圖1中的類名使用了[ ]來指示狀態，並將「動態」狀態轉換模型和「靜態」類關系圖綁在一起。
  9. Therefore, two testing methods are put forward in the phase of class testing. the first is the method of state transition diagram - based testing which is presented on the specific characteristics of oos. the second method is the technology of data flow testing on class which improves the traditional data flow testing and can be applied to class testing

    類測試是面向對象軟體測試的關鍵，因此在類測試階段，提出了兩種測試方法，一種是根據面向對象軟體自身的特點而提出的測試方法，即基於狀態轉移圖的測試；另一種則是改進已有的數據流測試技術，使之能夠應用於類的測試，即類的數據流測試技術。
  10. That process can be described with using a state transition diagram, such as the one in figure 2, that shows the stages in the lifecycle of an individual order being managed

    該流程可以使用狀態轉換圖（ std ）進行描述，如圖2中所示，其顯示了受管理的單個訂單的生命周期的各個階段。
  11. The software of the devicenet interface was compiled by c51, including the duplicate mac id detect, the predefined master / slave connection set, the state transition diagram and so on

    Devicenet通訊介面的軟體設計採用c51語言來實現。重點設計了從站的重復macid檢測、預定義主從方式通訊以及從站的狀態轉換等軟體模塊。
  12. The disadvantage of extended state transition diagram is very complex, so we used petri net to analyze systems. petri net has many virtues. it can easily describe the actions of systems

    但是由於這種擴展的狀態圖分析方法較復雜，而且也不能細致的描述具體系統的一些具體的特性，因此提出使用基於spn的分析方法，基於spn的分析方法能夠非常細致的刻畫具體系統，非常真實的描述系統的行為。
  13. It makes possible that system can be verified without constructing the global state transition diagram. furthermore, we make use of the hierarchies in compositional verification, which makes it possible to substitute some components of implementation with abstract specifications ( which usually have smaller state space )

    此外，根據statecharts的特點把層次結構加入到組合驗證的過程中，使得對實現的驗證可以通過把系統的某些精化部分用更抽象的規范（通常有更小的狀態空間）代替來進行。
  14. Like the business process model, we used a state - transition diagram, where the states indicate the screens and dialogs and the transitions represents the actual ui events, like menu items being selected and buttons being pressed

    與業務流程模型一樣，我們也使用狀態轉換關系圖，其中狀態代表螢幕和對話方塊，而轉換代表實際的ui事件，如選擇功能表項和按下按鈕。
  15. We have used this simple extension for years as a way to organize use cases and tie them to the business process in fact, we like to joke that a use case diagram is just a state - transition diagram that hasn t " hatched " yet

    我們使用這個簡單的擴展已經多年了，將此作為組織用例並將其綁定到業務流程的方法（事實上，我們喜歡開玩笑地稱用例關系圖就是一個尚未「孵出」的狀態轉換圖） 。
  16. 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的標記。
分享友人
分享到 Line

分享到臉書