狀態空間表示 的英文怎麼說

中文拼音 [zhuàngtàikōngjiānbiǎoshì]
狀態空間表示 英文
state-space representation
  • 狀 : Ⅰ名詞1 （形狀） form; shape 2 （情況） state; condition; situation; circumstances 3 （陳述事件或...
  • 態 : 名詞1. （形狀; 狀態） form; condition; appearance 2. [物理學] （物質結構的狀態或階段） state 3. [語言學] （一種語法范疇） voice
  • 空 : 空Ⅰ形容詞（不包含什麼; 裏面沒有東西或沒有內容; 不切實際的） empty; hollow; void Ⅱ名詞1 （天空） s...
  • 間 : 間Ⅰ名詞1 （中間） between; among 2 （一定的空間或時間里） with a definite time or space 3 （一間...
  • 表 : Ⅰ名詞1 （外面;外表） outside; surface; external 2 （中表親戚） the relationship between the child...
  • 示 : Ⅰ動詞（擺出或指出使人知道; 表明） show; indicate; signify; instruct; notify Ⅱ名詞1 [書面語] （給...
  • 狀態 : status; state; condition; state of affairs: （病的）危險狀態 critical condition; 戰爭狀態 state o...
  • 空間 : space; enclosure; room; blank; interspace
  • 表示 : show; express; mean; indicate; expression; presentation; signifying; remark; representation
  1. 3 pnueli a. a temporal logic of concurrent programs. theoretical computer science, 1981, 13 : 45 - 60. 4 mcmillan k l. symbolic model checking

    符號化的模型檢測技術利用二叉圖binary decision diagram表示狀態轉換關系，降低了系統模型所需的內存空間。
  2. By using theories from the relevant disciplines such as geography, mathematics, physics, ecology, and system sciences, this thesis develops a framework employing the concept of system entropy to represent the state function of the man - earth relationship system. in this framework the entropy change is used to show the development change of the system, and the entropy flow to express the flow among the spatial parts of the system. following the framework, and based on a large set of household data from surveys, the thesis makes a quantitative analysis of the village - level man - earth relationship system from a micro - perspective

    藉助地理學、數學、物理學、生態學、系統科學等有關學科理論，根據實地調查的大量農戶數據，從微觀視角對村域人地關繫系統進行了定量分析，用人地關繫系統熵來表徵人地關繫系統的狀態函數，用熵變來反映人地關繫系統的發展變化，用熵流來表示人地關繫系統各空間型式地域主體之間的流動。
  3. The investigation and study showed that caused by the influencing factors of unit of tectonics, structures of floor rock stratum, conditions of landform, seismic intensities, fault, thickness of malan loess, the distribution of seismic loess landslides is very asymmetrical, which mainly show shapes of patch, belt, line, and there are different development characteristics in different regions

    現場調查顯示，受大地構造單元、基底巖層結構、地形地貌條件、地震烈度、斷裂構造和馬蘭黃土臨空厚度等因素影響，地震黃土滑坡的展布形態較為復雜，在空間上分佈很不均勻，常表現為片狀、帶狀和線狀展布，並在不同區域有不同的發育特點。
  4. The research on autonomous navigation and orbital keeping technology of geosynchronous satellites : selecting position vector in the inertia space and longitude, latitude, radial errors in the hill equation as state variables, the precision of orbit determination caused by track dynamic model error, sampling period, and sensor measurement and install error is analyzed

    同步衛星自主導航與軌道保持技術研究：分別選取慣性空間位置矢量和採用hill方程表示的經、緯、向徑誤差作為狀態量，分析軌道動力學模型誤差、采樣周期以及敏感器測量、安裝等誤差對定軌精度的影響。
  5. And it has revealed the basic legal nature of domain name, analyzed the expression form of the conflict, main reason, the analysis of value on the resolution of the conflict and the ways to resolve the conflict. the purposes of this article are to construct a theory system for protecting internet cyberspace intellectual property, to improve the unfavorable state in our country that the legalisations is lagging behind relatively, to make the resolution mechanism on the conflict between domain name and trademark consist with international mechanism, to treat the effects that internet economic lashes out at traditional law positively and to improve on the internet economic development healthy and orderly

    本文從法學角度對此進行探討和思考，揭示了域名的基本法律屬性，分析研討了域名與商標沖突的表現形式、主要原因、解決沖突的價值理論分析以及解決沖突的途徑，以期構建我國保護internet網路空間知識產權的理論，改善我國這方面立法相對滯后的不利現狀，使我國有關域名與商標沖突的處理機制早日與國際通行做法接軌，以積極姿態應對網路經濟對傳統法律制度的沖擊，促進網路經濟的健康有序發展。
  6. Because the design of state space of the combinatorial problem is much easier than design of the searching algorithm, the present of the general searching algorithm is the apparent progress for the searching technology

    因為組合問題的狀態空間表示比原來的搜索求解容易的多，通用搜索演算法的提出是搜索技術的一個明顯的進步。
  7. In the course of modeling, we present multi - step generalized gradient method and multi - stage curve fitting technique, prove convergence of multi - step generalized gradient method by using differential equation stable theory, analyze the error of multi - stage curve fitting technique by using inner space, creat knowledge base of water network system by using the maximum subordinate principle of and near - select principle of pattern recognition. at last we make the optimal running scheme of water network system based on heuristic search technique of artificial intelligence and global feedback immediate coordination method of large scale system theory

    在建立系統模型的過程中，提出了多步廣義梯度法和多層曲線擬合的建模方法，並用微分方程穩定性理論證明了多步廣度梯度法收斂性，用內積空間的有關知識對多層曲線擬合進行誤差分析;應用模糊數學中的最大隸屬度原則和模糊識別中的擇近原則和人工智慧中狀態空間表示法建立注水系統的知識庫;用人工智慧中的啟發式搜索技術和大系統理論中的具有全局反饋的直接協調法制定注水系統的優化運行方案。
  8. According to the basic idea of p - grid, peers exchange their information and split the search space when they meet each other. at last, each peer is only responsible for an interval of the whole search space and ma kes responses to the query requests for the data in this interval

    根據p - grid基本思想，節點間每次相遇就交換雙方的信息，對搜索空間不斷進行分割，使每個節點負責管理某一區間上數據信息並負責響應針對這些數據的查詢請求，最終搜索空間的劃分狀態在邏輯上可以用一棵二進制搜索樹表示。
  9. In basic action layer ' s designing, it uses a fuzzy - pid control algorithm that brings the system with a good dynamic and static performance. in the whole decision - making process, the protean situation on the competition ground is expressed by an artificial intelligence method for describing the state space that is constituted by selecting a small number of discrete representative states. desired actions are set for every robot based on the tasks of the system and the strategy

    其中在進行基本動作層的設計時，採用了模糊控制與pid控制相結合的智能控制演算法，使系統具有良好的動、靜態品質；而在進行整體決策時，採用了人工智慧的狀態空間表示方法，在比賽場上瞬息萬變的態勢中選擇少量的具有代表性的離散狀態來構成狀態空間，再根據系統需要完成的任務，為機器人確定有限的動作集合，並通過決策推理，給每個機器人選擇合適的動作，從而決策得出機器人的左右輪轉速值，實現對系統的實時控制。
  10. 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

    它通常採用狀態空間搜索的方法來檢測一個給定的計算模型是否滿足某個用時序邏輯公式表示的特定屬性。它是一個自動檢驗有限狀態並發系統的技術。
  11. State space representation

    狀態空間表示
  12. Supposed algorithm b is the concrete searching algorithm for the combinatorial problem p. the parameter of algorithm a corresponding to algorithm b is the algorithm that denotes the combinatorial problem p in the way of the state space

    設b是求解組合問題p的具體搜索演算法，演算法a對應于演算法b的參數就是用狀態空間表示組合問題p的演算法。
  13. The system denotes knowledge with status space, manages repository and correlative database by use of dbms, and speculate mechanism makes use of backward promulgate algorithm of three layer artificial neural network

    該系統採用狀態空間知識表示方法，應用dbms管理知識庫和相關數據庫，推理機採用三層人工神經網路的反向傳播演算法。
  14. Two perpendicular polarized light states and a no - light state are applied to express information in the ternary optical computer. the three states are transformed via two - dimension liquid crystal element and polarizators, and ternary arithmetic operation and ternary logical calculus completed directly in this way. the ternary optical computer will possess enormously number of bit ( easy to 104 ), light processor, light transmission path and electric control system

    三值光計算機用相互垂直的兩個線偏振光和零光強三個獨立的光狀態表示信息；用二維液晶器件和偏振器實現此三個狀態間的轉換；採用三進制算術運算；直接處理三值邏輯運算；擁有巨大的數據位數（容易超過10 ~ 4位） ；具有光運算、光傳送、電控制等結構特色，具有很強的空間、時間并行性。
  15. 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變換空間中的解，導出了多層壓電壓磁彈性層合板的表達式。
分享友人
分享到 Line

分享到臉書