狀態變換 的英文怎麼說

中文拼音 [zhuàngtàibiànhuàn]
狀態變換 英文
change of state
  • : Ⅰ名詞1 (形狀) form; shape 2 (情況) state; condition; situation; circumstances 3 (陳述事件或...
  • : 名詞1. (形狀; 狀態) form; condition; appearance 2. [物理學] (物質結構的狀態或階段) state 3. [語言學] (一種語法范疇) voice
  • : 動詞1. (給人東西同時從他那裡取得別的東西) exchange; barter; trade 2. (變換; 更換) change 3. (兌換) exchange; cash
  • 狀態 : 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. A side stream is recycled to the external feed stream of the column through an equilibrator as an internal feed stream. the simulation results indicate effects on the characteristics of cryogenic distillation column. consideration is given to the behavior and characteristics of the set of ordinary differential equations

    3 、分析了濃度極稀物系動精餾模型的特點,建立了此類物系動模型的求解策略,通過對模型中量的轉,使原本剛性較強的微分方程組轉化為一非剛性的常微分方程組。
  3. Presents the concept of heat barrier, and analyses its formation and some characteristics including irregular shape, dynamic changes and potential harmfulness

    提出了土壤熱中熱屏障的概念,並分析了熱屏障的形成原因及其特性,即形不規則、動化和危害性。
  4. Mills mess state transition diagrams

    米爾斯錯綜狀態變換圖示
  5. In ship steering controller design, the nonlinear ship model should be written in siso strict feedback form. we start the recursive design with the system first state variable and continue with the second one. by introducing a change of coordinates, we choose lyapunov functions to stabilize the system and obtain the control law

    在船舶航向控制方面,考慮船舶的穩回轉非線性,應用backstepping方法設計:首先把系統化成單入單出的嚴格反饋控制形式(呈下三角結構) ,假設系統后一個量是前一個量的虛擬控制,通過適當的量代,在每一步構造李亞普諾夫函數,使前一子系統在虛擬控制下漸近穩定,逐步遞推出控制器控制規律,使整個系統在平衡點滿足一致漸近穩定性。
  6. And then, a state equation is set up by the relationship among the input and output characteristic vectors as well as the state matrices ( sms ). the non - zero element in the sms characteristic is taken according to taylor series expansion, which is a transfer function of the basic mechanical unit

    再次,闡述了狀態變換矩陣的形成過程,通過泰勒級數展開,提取其非零元素的特徵,並按照傳遞特徵值對基本單元加以分類,歸納了狀態變換矩陣的性質。
  7. The coordinate transformation rules, the combination characteristic of the transfer function are discussed. the solution procedure of series mechanical system is deduced by applying dual - vector addition and matrix multiplication. and the mathematical models are obtained

    根據建立的數學模型,本文提出了相應的按位存儲數據結構以及樹型遞歸分解演算法,實現了狀態變換矩陣(包括類型、方向及特徵)的自動分解。
  8. As a result, the concept of state space for conceptual design of mechanical system is presented, which is new to the literature, based on the set of all state vectors. meanwhile, the properties of state vectors, which are vectors addition, constant multiplying, reversible driving, zero vectors, are discussed in state space. secondly, the dual - vector is introduced to descript the essential relation among the input and output characteristic vectors as well as sms

    按照空間中對偶特徵矢量的運算規則,在已知系統的輸入輸出特徵矢量的情況下,通過數學推導求解,將形成的系統狀態變換矩陣分解為多個狀態變換矩陣的乘積,再通過各狀態變換矩陣到數據庫中尋找相應的基本單元集合,然後進行按序組合,進而從理論上獲得相應的方案設計可行解。
  9. Using the hankel transform, the state vector equations are reduced to a set of ordinary differential equations. according to the theory of ordinary differential equations and the cayley - hamilton theorem, an analytical solution of the problem is presented in the form of the product of initial state vector and transfer matrix, which is given for the four distinct eigenvalues each. applications of the solutions are discussed

    利用hankel,將量方程轉化為一組常微分方程組;進而根據常微分方程組解的理論和cayley - hamilton定理,得到了以量和傳遞矩陣乘積表示的單層壓電壓磁彈性材料的解析解;並討論了4種不同特徵根的情況以及解的應用。
  10. Through the equivalent transformation between the linear combination relation of the father - son state in the state equations and the incidence relation of the father - son state nodes in the weighted network, it is realizable to build the block contact of the general structure and the system state variable is the earliest starting time, and collect the incident matrices of the dividing branch nets in whole net, then the parameter matrices of the state space model are obtained

    通過方程中父與各子之間的線性組合關系與塊網中父結點和各子結點之間的帶權父子關聯關系之間的等價轉,實現以工序的最早開工時刻為量的系統模塊和泛模塊的介面與提取總網「劃分子網」的關聯矩陣得到空間模型的參數矩陣。
  11. Adopted the object oriented analyzing method to construct the object model which showed the system ' s data structure, the dynamic model which described the well - formed change alignment of objects and the process of the shift of states and the function model which described the function of the data process with the data flow diagram based on the dicom data format, encircling the dicom file format, file services, media storage service classes and the basic directory object definition

    採用面向對象的分析方法,立足dicom數據格式,圍繞dicom數據元素、 dicom文件格式、 dicom文件服務、介質存儲服務類和基本目錄對象定義,構建了dicom介質存儲系統的對象模型,表明了目標系統的靜數據結構;構建了描述對象模型中對象合法化序列的動模型,反映了系統實現的狀態變換過程;針對對象模型中對象之間的依賴關系和數據處理功能構建了功能模型,並用數據流圖展示了系統功能。
  12. Author ' s contribution to this work can be summarized as : a. provisioning of a comprehensive study on ipv4 / ipv6 and dhcpv4 / dhcpv6 b. derivation of the state transition tables / diagrams and time sequence diagrams for dhcpv6 from informal description in english c. development of an dhcpv6 server and client software package in the linux environment d. presentation of test suite planning work and definition a basic test group based on the remote test method defined by iso 9646, which is in turn used in testing the dhcpv6 software developed by the author. through comparison of the test results from sc - nctkl and a third - party company, the basic conformity between the implementation and relevant standards has been proved to some extent. finally the author gives a brief conclusion about the futher work and the prospect of developing dhcpv6

    作者的獨立的工作包括:較深入地分析了ipv4 ipv6和dhcpv4 dhcpv6的差異;利用工作原理圖、遷圖表和時序圖,較完整地描述了dhcpv6客戶機服務器的遷和信息交過程,對dhcpv6的協議實現提供了有價值的借鑒;在linux環境下實現了dhcpv6定義的服務器和客戶機軟體;研究了有關dhcpv6測試的相關技術,並以remotetest方法為背西南交通大學碩士研究生學位論文第日頁景編寫了測試控制數據,並在在實驗室環境下進行了相關的測試;為了提高測試結果的客觀性,對筆者開發的軟體委託了第三方進行測試,兩個測試結果表明,該軟體基本符合dhcpv6的正tf的相關標準。
  13. We used a state - transition diagrams for this model, where the states represent the milestones, and the transitions represent events that cause changes in that state

    我們使用關系圖來描述這一模型,其中代表裡程碑,轉代表促使成該的事件。
  14. Using the fourier transform due to boundary conditions of simply support, solutions of a single magneto - electro - elastic layer in the form of initial state vector and transfer matrix are obtained in fourier transform space from the state vector equations

    量方程進行fourier,得到了量表示的單層壓電壓磁彈性層合板在fourier空間中的解,導出了多層壓電壓磁彈性層合板的表達式。
  15. The result shows that the information indicating the changes of the running state included in data monitoring can be extracted in the time domain and frequency domain by wavelet transformation

    研究結果表明,利用小波能同時在時域和頻域上提取出監測信號所隱含的表徵系統運行化的信息。
  16. The clm was originally developed by dr. dai yongjiu on the basis of the bats 26, ncar lsm 27, and iap94 28, which have been already adopted by the ncar ccsm 29. the clm mainly represents inter - actions between the atmosphere, vegetation and land, and reflects the change of the water, heat state and the transfers of heat and water. soil moisture in this model is predicted from a ten - layer model fixed depth

    Clm是由戴永久博士在bats 27模式ncar lsm 28 , iap94 29的基礎之上開發出並為美國國家大氣研究中心的氣候系統模式ncar ccsm所採用的陸面模型30 . clm模式主要考慮慮了大氣植被土壤之間的物質交過程,反映土壤植被大氣中水熱化和水熱傳輸
  17. By introducing state transformation, a reduced - order state estimation form is achieved

    通過引入狀態變換,得到了一類降階形式的估計問題。
  18. The whole design flow is analyzed, the database structure is described and the system function is introduced. some practical examples are given to show the capabilities of the approach in a series mechanical system

    將本文提出的狀態變換矩陣方法應用於生產實際中,進行多個設計實例的可計算自動求解,實踐表明該方法可行、有效。
  19. The nonlinear equation of aircraft is linearized by state transforming differential relationship between input and a new input, and the nonlinear system is decoupled to a one order linear system and a two order linear system

    通過狀態變換輸出與新輸入間的線性微分關系使非線性飛機方程反饋線性化,將原非線性系統解耦為一個一階和一個二階線性系統。
  20. The main contents of this paper are outlined as follows, 1 the new absolute stability and stabilization conditions for a class of lur ' e uncertain time - delay systems are proposed through introducing a new state transformation. the result shows that there has been a distinct amelioration in conservation, in comparison with the reported results

    主要研究內容包括如下的幾個方面: 1 、通過採用一種新的狀態變換,提出了一類不確定lur 』 e時滯系統時滯依賴的魯棒穩定及魯棒二次鎮定的新方法,得出的結果與已有的文獻相比,保守性有明顯地降低。
分享友人