自動機狀態 的英文怎麼說

中文拼音 [zìdòngjīzhuàngtài]
自動機狀態 英文
state of automata
  • 自 : Ⅰ代詞（自己） self; oneself; one s own Ⅱ副詞（自然;當然） certainly; of course; naturally; willin...
  • 機 : machineengine
  • 狀 : Ⅰ名詞1 （形狀） form; shape 2 （情況） state; condition; situation; circumstances 3 （陳述事件或...
  • 態 : 名詞1. （形狀; 狀態） form; condition; appearance 2. [物理學] （物質結構的狀態或階段） state 3. [語言學] （一種語法范疇） voice
  • 狀態 : status; state; condition; state of affairs: （病的）危險狀態 critical condition; 戰爭狀態 state o...
  1. In this paper, it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency. such atomic formulas are called as irrelevant atomic formulas. a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables

    一個時間自動機是一個五元組n ， l 0 ， c ， e ， i ，其中n為一個有窮的位置集合， l 0n是初始狀態， c是一個取實數值的時鐘變量的有窮集合， e ng c 2 cn是轉換的集合。
  2. In chapter 2, a class of fuzzy finite automata corresponding to the mealy type of ordinary automata is formulated and two types of statewise equivalence relations are introduced

    在第二章中，對應于經典mealy型有限狀態自動機的一類模糊有限狀態自動機-新mealy型模糊有限狀態自動機被建立。
  3. From the equivalence relations, a minimal form is defined and a minimization algorithm of the mealy type of fuzzy finite automata is obtained. in chapter 3, a fuzzy finite automata with a fuzzy initial state that was first considered by m. mizumoto, j. toyota and k. tanaka in 1969 is introduced. based on the mizumoto type of fuzzy finite automata, a statewise equivalence relation is considered

    在第三章中，我們首先介紹了一類有模糊初始狀態的模糊有限自動機- mizumoto型模糊有限自動機，然後定義了兩種狀態等價和兩種模糊有限自動機等價的概念，接著證明了對于每一個mizumoto型模糊有限自動機，都存在一個與之等價的狀態最小化模糊有限自動機，並且給出了一個狀態最小化約簡演算法及其演算法終止條件。
  4. For its characteristic of parallel logic and dispersed state, ca can be realized easily in hardware

    元胞自動機的并行邏輯特性以及離散狀態等特性，使其易於硬體實現。
  5. 1 ranjan d, chang r, hartmanis j. space bounded computations : review and new separation results. theoretical computer science, 1991, 80 : 289 - 302. 2 geffert v. nondeterministic computations in sublogarithmic space and space constructability

    交替式下推自動機進入存在狀態，可以在多種可能性中選擇一個可行的而進入萬能狀態時，就協同地對多種可能性進行并行計算，當且僅當所有可能性都可行時，整個計算才是可行的。
  6. 2 daws c, olivero a, tripakis s, yovine s. the tool kronos. in dimacs workshop on verification and control of hybrid systems, lncs 1066, springer - verlag, october 1995. 3 henzinger t a, ho p h. hytech : the cornell hybrid technology tool

    當自動機當前狀態為l時，轉換l ， g ， r ， l的使能條件是時鐘變量的取值滿足g ，而當轉換發生之後， r中時鐘的值被重置為0 。
  7. Based on lotfi a. zadeh ’ s work, mingsheng ying ’ s work and daowen qiu ’ s work, the author proposed two new formal models of computing with words, namely the formal model of computing with words via lattice - valued finite state automata and the formal model of computing with words via lattice - valued regular grammar. the formal model of computing with words is expored and investigated

    本文在lotfia . zadeh教授、應明生教授、邱道文教授等人的工作基礎上，提出了詞計算的兩種新的形式模型? ?基於格值有限狀態自動機的詞計算形式模型和基於格值正則文法的詞計算形式模型，對詞計算的形式模型作了進一步研究和探討。
  8. This paper is concerned with the classification of fuzzy finite automata and the minimization algorithm of fuzzy finite automata

    本文研究了模糊有限自動機的分類和模糊有限自動機的狀態最小化演算法。
  9. This task can be achieved by a finite automaton with just two states and a “ program ” consisting of four statements called transition rules

    有限自動機在執行這項工作時，只需要兩個狀態和一套含四則轉換規則的程序。
  10. Alternating finite automaton

    交替式有限狀態自動機
  11. In the simulation model, the cellular automata model is applied to describe the tunnels system, and a cellular is used to represent an energy unit of flame, which is eradiated from the fire - point and contains such status parameters as temperature, velocity, smog density, density of poisonous gases

    在該方法中，用元胞自動機模型描述地下礦巷道網路系統，用元胞來描述火焰蔓延能量單元，該單元用火焰溫度、蔓延速度、煙霧濃度和有毒氣體濃度等狀態參數來描述。
  12. Cellular automata ( ca ) is nonlinear dynamical system in which space, time and state values are discrete. by using simply rules, ca has attained very good results in simulating variable complex natural phenomena and physical problems

    Ca模型的時間、空間、狀態均為離散的，易於在計算機上進行運算且靈活可調，近年來在對交通流的研究中，元胞自動機模型得到了廣泛的應用。
  13. Then we also formulate the model of computing with values via lattice - valued finite state automata, as well as the state transition function of the model of computing with words via lattice - valued finite state automata and the language accepted by lattice - valued finite automata

    然後，給出了基於格值有限狀態自動機的數值計算的形式模型。同時，建立了輸入是詞的格值有限狀態自動機的轉移函數以及格值有限狀態自動機所接收的語言的定義。
  14. From the time of securing his commission, and even more since joining a regiment in active service, and taking part in the battle of vyazma, petya had been in a continual state of happy excitement at being grown - up, and of intense anxiety not to miss any opportunity of real heroism

    彼佳自從晉升為軍官，特別是他到了戰斗部隊，參加過維亞濟馬戰役之後，經常處在幸福激動的狀態中，他為自己已長成大人而高興，他總是興高采烈地忙這忙那，不放過任何一個從事真正的英雄事業的機會。
  15. Workshop on tools and algorithms for the construction and analysis of systems, 1995, brics report series ns - 95 - 2. 4 rajeev alur, david l dill. a theory of timed automata

    一個符號狀態是一個二元組l ， d ，其中l是一個自動機的位置，而d是一個時間約束。
  16. According to the characteristics of workflow process execution, a kind of reactive activity - centered process meta - model is defined and a kind of graphical notation is provided for it, at the same time, for this meta - model, a kind of dynamic semantics is specified, which represents the runtime behavior of the process and can be expressed as a finite state automata. finally, an example is given to illustrate how to apply it to analyze the semantic correctness of process models

    根據過程執行的特點，定義了一種以活動為中心的反應式過程元模型，並為其提供了一種圖形表示，同時為此元模型指定了一種體現過程運行時行為的動態語義，該語義可表示為一個有限狀態自動機.最後舉例說明了如何應用它分析過程模型的語義正確性
  17. 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的演算法對時序約束一致性進行驗證。
  18. The condition monitor system adopt hiberarchy, it was composed of head computer, monitor computer, periphery board and some circuit, the system can work in three different mode accord the different condition, the monitor computer and periphery board use the pc / 104 embedded module to make the system have the strong anti - vibratility and high ability of real time disposal ; in the system, we adopt the self - examination, redundancy design and some measures of software and hardware anti - jamming to make the system have strong ability of anti - jamming and high reliability, those all make the system adapt the worst work condition of the engine and realize the real time monitor of engine condition

    該狀態監測系統採用了分級結構，由上位機、下位機、外圍卡板和各種電路組成，可以根據不同情況在三種方式下工作。在下位機和外圍卡板的設計中採用了pc 104嵌入式模塊，使得系統具有較強的抗震性和實時處理能力；在整個系統中還採用了軟硬體抗干擾措施，並進行了自檢系統和冗餘結構的設計，使得系統具有較強的抗干擾能力和較高的可靠性，經過這些設計，使系統可以適應發動機運行過程中的惡劣條件，實現對發動機狀態的實時監測。
  19. The behavioral choice depends on the pattern of neural input to the command centers ( from sensory systems ), and on the modulatory state of the animal ( e. g., hormonal state, or motivational state, etc. )

    行為的選擇依賴于指揮中樞的神經輸入（來自感覺系統） ，以及動物的調節狀態（例如，激素狀態或者動機狀態等） 。
  20. The engine state is monitored by nonlinear method cooperated with model reference adaptive control, which avoids flameout or fly - off

    對發動機狀態進行非線性參考模型自適應監測，可以有效地防止發動機熄火或失速。
分享友人
分享到 Line

分享到臉書