有序狀態 的英文怎麼說
中文拼音 [yǒuxùzhuà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...
-
Most of vlsi circuits are sequential circuits. sequential circuits can be simulated by symbolic finite state machine ( fsm )
Vlsi系統中大部分是時序電路,時序電路可以用符號化的有限狀態機( finite - state - machine ,簡稱fsm )來模擬。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生成測試消息序列,並對消息序列進行排序。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
將有限狀態機應用到電梯的設計中,用於控制電梯控制系統的任務響應順序。The structure of films deposited at higher power was found to be a mixture structure of amorphous, graphite and diamond with diamond - like stucture
薄膜具有無序狀態,石墨狀態和金剛石狀態的混合結構即類金剛石結構。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格式數據的幀提取程序。Application state is a data repository available to all classes in an asp. net application
應用程序狀態是可供asp . net應用程序中的所有類使用的數據儲存庫。Application state is a data repository that is available to all classes in an asp. net application
應用程序狀態是可供asp . net應用程序中的所有類使用的數據儲存庫。Application state is a data repository that is available to all classes within an asp. net application
應用程序狀態是可用於asp . net應用程序中的所有類的數據儲存庫。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
有限狀態機在電梯控制系統中的應用,為電梯控制系統創造可靠的應用程序,並可在任何情況下做出確定的響應。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 )簡化過程的表示問題,指出傳統的線性順序法存在直觀性差、層次不分明、難于理解的不足,提出簡化樹法,它具有直觀、有效的特點。Activity program status word
有效程序狀態字Spreading sequences generated via finite state chaotic map
基於有限狀態混沌映射的擴頻序列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語言子集描述的程序進行分析。This course consists of lectures and labs on digital logic, flipflops, pals, counters, timing, synchronization, finite - state machines, and microprogrammed systems
本課包括了數字邏輯、觸發器、 pal (可編程邏輯陣列) 、計數器、時序、同步、有限狀態機、和微控制系統方面的講課與實驗。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
它通常採用狀態空間搜索的方法來檢測一個給定的計算模型是否滿足某個用時序邏輯公式表示的特定屬性。它是一個自動檢驗有限狀態並發系統的技術。Loosely speaking, model checking is a way to check for the existence of a finite state machine ( specification ) in another finite state machine ( program )
不嚴格地說,模型檢查是在一個有限狀態機器(程序)中檢驗另一個有限狀態機器(清單)存在性的一個方法。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
被檢查的程序也被轉換為一個有限狀態機器,通過摘掉所有細節、只保留程序中被觀測的原子謂詞。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
所要檢查的特性被描述為一個有限狀態機器,即原子謂詞上的轉變,這樣粗略地查看程序就能識別出這些特性。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原子軌道電子態的簡並被解除,電子由無序向有序狀態轉變,電阻隨溫度的降低,急劇增加,材料結構由立方相向四方相轉變。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
摘要高校圖書館學術研究管理的實質是一種具有協調性的實踐活動,它的目的是保持高校圖書館學術研究管理系統的有序狀態。分享友人