確定性狀態圖 的英文怎麼說

中文拼音 [quèdìngxìngzhuàngtài]
確定性狀態圖 英文
deterministic diagram
  • : 形容詞1. (符合事實; 真實) true; reliable; authentic 2. (堅固; 堅定) firm
  • : Ⅰ形容詞1 (平靜; 穩定) calm; stable 2 (已經確定的; 不改變的) fixed; settled; established Ⅱ動詞...
  • : Ⅰ名詞1 (性格) nature; character; disposition 2 (性能; 性質) property; quality 3 (性別) sex ...
  • : Ⅰ名詞1 (形狀) form; shape 2 (情況) state; condition; situation; circumstances 3 (陳述事件或...
  • : 名詞1. (形狀; 狀態) form; condition; appearance 2. [物理學] (物質結構的狀態或階段) state 3. [語言學] (一種語法范疇) voice
  • : Ⅰ名詞1 (繪畫表現出的形象; 圖畫) picture; chart; drawing; map 2 (計劃) plan; scheme; attempt 3...
  • 確定 : 1. (明確地定下) define; fix; determine; ascertain 2. (明確而肯定) definite; certain; for sure
  1. The construction of land use status information system improves the accuracy and the trends of times of land use information, it automatically stores, manages, researches, inquires, counts, analyzes, renews and defends land use status graph which is digital, solves the problem of the renewal of land use status graph and data. it provides not only modern technology means for everyday professional work in county level land management department, but also basic data and scientific basis for land use renewable investigation, dynamic monitoring, land use totality planning. on the other hand, it lays a foundation for the establishment of cropland transform system, land exploitation and readjustment, approvable management system of construction project used land, management system of rural land register

    土地利用現信息系統的建設,提高了土地利用現信息的準和現勢,實現了對土地利用現件的存儲、管理、檢索、查詢、統計、分析、變更、維護的數字化和自動化,從根本上解決了土地利用現及數據的更新問題,不僅為縣級土地管理部門的日常業務工作提供了現代化的技術手段,而且為土地利用變更調查、動監測、土地利用總體規劃提供了基礎數據和科學依據,為農地轉用制度、土地開發整理、建設項目用地審批管理制度及農村地籍管理制度的建立莫了現代化基礎,同時也可為土地利用動監測、土地利用規劃、建設用地的審批和管理提供技術服務。
  2. In this paper, besides the simulation of the normal physiological condition, ecg waveforms under pathological conditions due to cell membrane ionic channel mutation such of as long - qt syndrome, short - qt syndrome, t wave alternans and brugada syndrome also be simulated and researched, which validated this ecg model, at the same time be beneficial to further research on

    文中除了模擬正常生理下的心電以外,對長qt間期綜合癥、短qt間期綜合征、 t波電交替和brugada綜合癥等幾種由細胞膜離子通道改變所引起的病心電波形也進行了模擬研究,充分驗證了模型的正,同時也為進一步在此上進行疾病治療藥物的研究奠了基礎。
  3. This paper investigates the closure property of sublogarithmic space - bounded 1 - inkdot alternating pushdown automata with only existential universal states, and shows, for example, that for any function l such that l loglogn and l o, the class of sets accepted by weakly strongly l space - bounded 1 - inkdot two - way alternating pushdown automata with only existential universal states is not closed under concatenation with regular sets, length - preserving homomorphism, and kleene closure

    Chandra kozen和stockmeyer提出了交替alternation作為并行計算的一個理論模型。交替式alternating靈機是非靈機的推廣,它的集合被分為萬能universal state和存在existential state 。非靈機可看作只有存在的交替式靈機。
  4. Firstly the electric - drive equipment is simplified in order that its circuits " working status could be obtained by computer by disposing the sampling value. secondly interface program is designed under objectarx2000 in order to drive the static circuit diagram drawed by autocad. lastly sampling value is transferred through the communication between pc and several sampling scms

    有幾個關鍵技術問題得到了解決:首先將電傳動裝置進行簡化,使其電路工作通過計算機對電壓采樣值的處理得到;其次利用二次開發工具objectarx2000開發出介面程序,實現了對autocad所繪制電傳動電路的驅動;最後通過pc機同多個采樣單片機的通訊解決了對大量采樣數據的傳輸問題。
  5. On the basis of examination of more than 2000 specimens ( including types ) from 15 herbaria worldwide, the characters features of species, phonological phase, ecoloigical habit and the relation to close species were analyzed, recorded and described, the disputed species were compared, measured and counted in detail, the quantitative analysis to different characters was done through dot - map, the variation pattern of major morphology characters was analyzed and their significance for a better delimitation of the species was evaluated

    查閱或借閱國內外17個標本館近2000份標本(包括模式標本) ,描述了每個種的特徵、物候期、生及其與近緣種的關系,的極,對有爭議種的形進行詳細的測量和比較,用散點對個別量研究,分析了主要外部形的變異式樣、變異幅度及其對劃物種范圍的價值。
  6. It is very difficult to analyze flame radiation in the cylinder of a diesel engine by theoretical method since flame radiation is a function of many parameters, such as the combustion process, the geometrical description of the chamber, the soot formation and oxidation processes, the soot radiant temperature and soot absorption coefficient. the radiant property of the flame in a cylinder is dependent on the combustion process. but the thermodynamic state of real engine cycles can be analyzed from the pressure - volume diagrams in the cylinder. thus a new thermodynamic computational model is set up for the flame radiation in the cylinder of a diesel engine based on the indirect relationship between the flame radiation and the pressure - volume diagram of the combustion process in this paper. the flame radiant heat flux in the cylinder of a di diesel engine is calculated with the variation of crank angle by this model. compared with measured values, the result of the computational values shows the model is available to represent the effects of flame radiation

    柴油機缸內的火焰輻射受諸多因素的影響,用理論分析法來它是相當困難的,由於柴油機缸內火焰輻射特依賴于缸內的燃燒過程,而燃燒過程中的實際熱力又可用示功來分析,因此藉助於火焰輻射與缸內熱力參數之間的這種間接關系,建立了一種計算柴油機缸內火焰輻射傳熱的新模型,利用該模型對一臺直噴柴油機缸內火焰輻射熱流量隨曲軸轉角的變化情況進行了計算,將計算結果與實測結果進行了比較,表明該模型能較好預測缸內火焰輻射傳熱量。
  7. Property determines the image displayed for the node s normal and expanded states, and the

    正常和展開下的節點顯示的像,
  8. 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

    根據過程執行的特點,義了一種以活動為中心的反應式過程元模型,並為其提供了一種形表示,同時為此元模型指了一種體現過程運行時行為的動語義,該語義可表示為一個有限自動機.最後舉例說明了如何應用它分析過程模型的語義正
  9. Including the testing of the validity of sensor data and the adapting of the q matrix in reai - time, the kalman filter is researched to improve the real - time, precision and robust of navigation system. with this method, the disturbances resulted from the many uncertainties in non - structure agricultural environment can be overcome, the movement of road line can be followed in the image space so that the technology of visual window can be used, the current measured state of wheeled mobile robot can be substituted by the predicted state to increase the real - time of control system

    包括傳感器數據有效檢驗、 q陣自適應實時調整等內容,詳細地研究了利用擴展卡爾曼濾波理論改善導航系統實時、精和可靠的具體方法,以克服農田非結構化自然環境里存在的多種不因素給導航系統造成的干擾,跟蹤像空間中路徑目標的運動而便於有效地利用視覺窗口技術,提供輪式機器人的預測值代替實測值進行導航控制來改善控制系統的實時
  10. Human gait recognition based on bilinear modeling and hmm motivated by bi - factor - invariant human gait recognition problem, a new gait recognition algorithm was proposed in which two factors, generically called " style " and " content " were analyzed and manipulated. first, image sequences were clustered into a fixed.

    針對存在兩個未知隱含特的步識別問題提出了一種新的識別演算法,將特分別看作「內容」和「風格」 ,對像序列以的連續hmmem估計「內容」類型,引入非對稱雙線模型理論對結果建模,通過svd和nn聚類實現對「風格」的歸類判
  11. Last, the temporal constraints are verified by alur ’ s model checking algorithm. this paper also verify the correctness of the data flow of the workflow. the data flow objects are added into the uml statecharts, and the semantic of data flow is

    驗證數據流正的過程中,在uml中加入了數據流對象,義了uml的數據流語義,根據該語義給出了從uml到全局可達的轉化演算法,提出了驗證數據流正的演算法。
  12. Therefore, it is recommended that you test the performance of your pages using typical data for your application to determine if the size of view state is causing performance problems for your application

    因此,建議使用應用程序的典型數據測試頁能,以的大小是否導致應用程序的能問題。有關使用視的其他注意事項,請參見
分享友人