樹狀自動機 的英文怎麼說
中文拼音 [shùzhuàngzìdòngjī]
樹狀自動機
英文
tree automaton-
In oilfield, feeder line of 6kv often has many branches. the pole high voltage automotive capacitor compensation system controlled by single chip computer is designed for this situation. in the system, we separate the measure position and compensation position and realize the supervision of reactive load in local area
文章以油田6kv輸配電線路為例,針對多分支樹狀結構線路的特點,研製出由單片機系統控制的戶外術上型高壓電容器自動補償系統。Plastic logo line is a combination of a series of single machineries, which has been rationally designed according to pvc ' s specialties of droppable, moldable and fast - molding, and becomes a semiautomatic production process, it ' s easy to operate and is used in a variety of products, such as color labels or trademark, tags, decorations, and sealed cushion for bottle cap, etc
滴塑產品生產線是由一系列單機組合而成的整體,它根據pvc (聚氯乙稀)糊狀樹脂的可滴性、可塑性、快速成型的特性作出合理設計,形成半人工半自動生產工藝,工藝之簡單,用途之廣泛,是生產各種色彩商標、掛標、裝飾品、瓶蓋密封墊等塑膠製品的理想設備。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的演算法對時序約束一致性進行驗證。
分享友人