有序狀態 的英文怎麼說

中文拼音 [yǒuzhuàngtài]
有序狀態 英文
order state
  • : 有副詞[書面語] (表示整數之外再加零數): 30 有 5 thirty-five; 10 有 5年 fifteen years
  • : Ⅰ名詞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. Most of vlsi circuits are sequential circuits. sequential circuits can be simulated by symbolic finite state machine ( fsm )

    Vlsi系統中大部分是時電路,時電路可以用符號化的機( finite - state - machine ,簡稱fsm )來模擬。
  2. This approach improves the test model by transforming the uml state diagram to extended finite state model ( efsm ), then eliminating the infeasible paths in the efsm. thus we can generate test message sequences from the resulting efsm and sort them

    該方法改進了基於uml圖的測試模型:通過將uml圖轉化成擴展機模型( efsm ) ,然後消除efsm中的不可達路徑;從而根據該efsm生成測試消息列,並對消息列進行排
  3. Finite state machine will be applied to the design of the lift, for the control of elevator control system to respond to the task order

    機應用到電梯的設計中,用於控制電梯控制系統的任務響應順
  4. The structure of films deposited at higher power was found to be a mixture structure of amorphous, graphite and diamond with diamond - like stucture

    薄膜具,石墨和金剛石的混合結構即類金剛石結構。
  5. The frame picking - up, sum checkout and decoding techniques of nmea0183 information in software design are discussed. the frame picking - up program for nmea0183 information is designed based on the finite state machine theory

    研究了程設計中nmea0183格式數據的幀提取、和校驗及解碼技術,基於機理論設計了nmea0183格式數據的幀提取程
  6. Application state is a data repository available to all classes in an asp. net application

    應用程是可供asp . net應用程中的所類使用的數據儲存庫。
  7. Application state is a data repository that is available to all classes in an asp. net application

    應用程是可供asp . net應用程中的所類使用的數據儲存庫。
  8. Application state is a data repository that is available to all classes within an asp. net application

    應用程是可用於asp . net應用程中的所類的數據儲存庫。
  9. Finite state machine in the elevator control system, the application of the elevator control system to create reliable applications, may in any case make a determined response

    機在電梯控制系統中的應用,為電梯控制系統創造可靠的應用程,並可在任何情況下做出確定的響應。
  10. The representation of the process of simplification of dfsm is researched, the disadvantage of the linear sequential representation are pointed out, the representation of the process of simplification of dfsm called simplification tree are given, which is intuitionistic and effective

    摘要文章討論確定機( dfsm )簡化過程的表示問題,指出傳統的線性順法存在直觀性差、層次不分明、難于理解的不足,提出簡化樹法,它具直觀、效的特點。
  11. Activity program status word

    效程
  12. Spreading sequences generated via finite state chaotic map

    基於混沌映射的擴頻
  13. For this reason, the thesis presents an approach based on constraint satisfaction, symbolic execution and extended finite state machines. it can analyze programs written in a subset of the c programming language

    針對上述情況,本文中提出了一種方法,它基於約束滿足問題求解方法和擴展機上的符號執行演算法,能夠對c語言子集描述的程進行分析。
  14. This course consists of lectures and labs on digital logic, flipflops, pals, counters, timing, synchronization, finite - state machines, and microprogrammed systems

    本課包括了數字邏輯、觸發器、 pal (可編程邏輯陣列) 、計數器、時、同步、機、和微控制系統方面的講課與實驗。
  15. The method of model checking is a formal verification technique using the method of state - space search to verify if the behaviors of a given system ( the model ) satisfy a certain property that represented by temporal logic formulas, while the system presented as a kripke structure

    它通常採用空間搜索的方法來檢測一個給定的計算模型是否滿足某個用時邏輯公式表示的特定屬性。它是一個自動檢驗並發系統的技術。
  16. Loosely speaking, model checking is a way to check for the existence of a finite state machine ( specification ) in another finite state machine ( program )

    不嚴格地說,模型檢查是在一個機器(程)中檢驗另一個機器(清單)存在性的一個方法。
  17. The program being checked is also converted to a finite state machine, created by abstracting away all the details except the atomic predicates observed in the program

    被檢查的程也被轉換為一個機器,通過摘掉所細節、只保留程中被觀測的原子謂詞。
  18. The property to be checked is described as a finite state machine that transitions on atomic predicates, properties that can be identified by cursory look at the program

    所要檢查的特性被描述為一個機器,即原子謂詞上的轉變,這樣粗略地查看程就能識別出這些特性。
  19. Below 280k the degenerated states were relieved and the electrons turned to the ordered states from the disordered, leading to the resistance increase suddenly and the transition from the cubic to the tetragonal structure

    280k以後, mn原子軌道電子的簡並被解除,電子由無有序狀態轉變,電阻隨溫度的降低,急劇增加,材料結構由立方相向四方相轉變。
  20. The essence of the academic research and management of library is a kind of coordinate practical activity, whose purpose is to keep the whole system in order

    摘要高校圖書館學術研究管理的實質是一種具協調性的實踐活動,它的目的是保持高校圖書館學術研究管理系統的有序狀態
分享友人