集合狀態 的英文怎麼說
中文拼音 [jígězhuàngtài]
集合狀態
英文
position of assembly- 集 : gatherassemblecollect
- 合 : 合量詞(容量單位) ge, a unit of dry measure for grain (=1 decilitre)
- 狀 : Ⅰ名詞1 (形狀) form; shape 2 (情況) state; condition; situation; circumstances 3 (陳述事件或...
- 態 : 名詞1. (形狀; 狀態) form; condition; appearance 2. [物理學] (物質結構的狀態或階段) state 3. [語言學] (一種語法范疇) voice
- 集合 : 1 (聚集) gather; assemble; muster; call together 2 [數學] [自動化] [計算機] assemblage; set; co...
- 狀態 : status; state; condition; state of affairs: (病的)危險狀態 critical condition; 戰爭狀態 state o...
-
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是轉換的集合。The stability of the tiltrotor in the heli copter mode is analyzed aiming t a semi span soft - inplane tiltrotor model with an elastic wing
集成了非定常動態人流方程與傾轉過渡狀態的多體動力學力程,建立了傾轉旋翼機時域非定常氣彈耦合分析模型。We hold that the integrate effect consists of two parts : 1 + 1 > 2 and a + b = c, in terms of math : here x1, x2, . . . , xn : integrate units s : functions of new system what features an integrated system are subjective initiative, non - linear function, dynamic connection, sub - system uncertainty, selective competition. the basic factors of integration are integrate context, integrate units, integrate interface and environment, which form the integration condition respectively the basic integrate patterns covers point - to - point, pipeline and hub
首先,深入探討了集成的內涵,即集成是指為了實現某一目標,在一定的集成環境中,若干集成單元動態地集合成一個泛邊界狀態的有機整體的過程,指出集成效應的數學解釋除了1 + 1 2外,還應該包括: a + b = c ,即若以x _ 1 , x _ 2 , … … , x _ n代表集成單元, s代表集成后新系統的總功能,那麼其特徵有:主體行為性、功能非線性、關系動態性、單元泛化性、選擇競爭性;集成的基本要素包括集成背景、集成單元、集成界面和集成環境等四要素;基本模式有點到點模式、管線型模式和集線器型模式;基本條件有集成背景條件、集成單元條件、集成界面條件和集成環境條件。Secondly, based on the microbeam analytical technique, on the one hand, through investigating the characteristic of major elements in the mantle minerals the author acquired the static information from mantle ; on the other hand, through multi - point analysis of a part of the minerals from mantle, the auther got dynamic information from mantle. finally, generalizating the fruits of this study and predecessors, the autor holds that the constituents of lithospheric mantle possibly includes spinel lherzolites, clinopyroxenites, websterite, dunite, harzburgites, garnet lherzite, phlogopite lherzite, eclogites, clinopyroxene megacrysts ; compared with east china and north china platform, the research field mantle shows the characteristics of higher degree of partial melting processes and more depleted mantle ; the. upper mantle beneath north hetian area is heterogeneous, with a tendency of deficit in a12o3 and lree from kaliyang in west hetian to the river basin of kalakshi river and yulongkashi river ; the subduction of the crust beneath north hetian has ever occurred in geological history and caused the mixing of mantle - crust ; the depth of the origination of basaltic magmas beneath north hetian exceeds 73km ; the thickness of the lithosphere beneath the research area amounts to 204. 9km ; the mantle beneath north hetian has geological condtions for forming diamond deposits
最後,綜合本區幔源礦物和地幔巖石的特徵以及地球物理資料,得出如下結論:本區上地幔的物質組成有尖晶石二輝橄欖巖、二輝巖、單斜輝石巖、純橄欖巖、方輝橄欖巖、石榴石二輝橄欖巖、金雲母二輝橄欖巖、榴輝巖;與中國東部以及華北地臺上地幔相比,研究區上地幔具有富集主元素中相容元素和虧損其中的不相容元素的特徵,局部熔融程度較高;上地幔存在橫向和縱向的不均一性,從西部的克里陽到喀拉喀什河和玉龍喀什河流域, al和lree富集程度呈下降趨勢,不同來源的相同礦物中主元素的含量差異較大;地質歷史時期這里可能發生過地殼俯沖並產生殼幔混合作用;玄武巖漿的起源深度73km ;從幔源重砂礦物的溫壓估算結果,可以推斷出巖石圈厚度可達204 . 9km ;綜合巖石圈物質組成特徵、巖石圈熱狀態、地幔溫壓狀態、氧逸度以及幔源巖石和幔源礦物的化學成分,認為研究區具備了金剛石成礦地幔地質條件。Thesis point out : agricultural product market information system construction lag behind on market for farm products construction, scale of market for farm products, institutionalized degree low grade factor influence market for farm products collecting and distributing and transmitting the function to information relatively. agricultural product stronger in price fluctuation, dependence and a low one getting dispersed, in the forming process of and the price of agricultural product : basic price form with market, producing area price can reflect person who consume - price etc. factor weaken price direction function of information. agricultural product supply and marketing chain does not cooperate in the play chess state that caused inside system reasonless behavior of participant and feedback mistake of message understand
指出:農產品市場信息體系建設滯後於農產品市場建設、農產品市場的規模化、制度化程度較低等因素影響了農產品市場對信息的集散和傳遞功能;農產品價格較強的波動性、相關性和較低的離散性,以及農產品價格形成過程中:基礎價格形成與市場之外、產地價格不能反映消費地價格等因素弱化了價格信息的導向功能;農產品供銷鏈的非合作博弈狀態造成內部參與者的系統非理性行為和對反饋信息的錯誤理解。The content of the study as follow : 1 to choice the ship form, mainly ship ' s overall size ; draft, according to design of shanghai deep - water port and development of container ; 2. to deside the date of width ; depth ; path ; tract and sinkage through simulator tests ; 3. to replenish and modify some date for channel design to very large container vessels in " design code of general layout for sea port " 4. to study ship ' s turning area ; ship ' s stop distance the new and special content of the study as follow : 1. statistics of path at the channel given by difference operators with the affections certain wind. currents. seas and other influences shows the path really needed under certain condition
並可在各類航道和水域的通航安全評估及操船方法,航跡帶寬度,航道寬度,航跡帶分佈,船舶各種航行狀態時的下沉量研究中應用。本課題研究的內容: ( 1 )根據洋山深水港設計規劃和集裝箱船舶的發展趨勢,通過研究、分析、比較,選擇最合適的船型,尤其是船舶主尺度和船舶吃水。 ( 2 )在大量模擬研究情況下,得出進港航道所需的航道寬度和深度。The more important character of our product is single intelligent relay can connect to the can bus as a node and communicate with each other digitally. then we can realize long - distance monitoring and displaying the state of else intelligent relay nodes, set and modify their action parameters and states as well as analyze, memorize and deal with the data from low intelligent nodes. our design will surely improve the function of relay and accord with the requirement of power system
這樣我們在總線上接入上位監控pc機節點,就能通過總線通信實現對所有下位智能繼電器節點的遠程狀態監控,對下位節點的動作參數和動作狀態進行遠程設定和控制,還可以對下位節點上傳的採集數據進行存儲、分析和處理,使繼電保護的功能更趨于完善,符合電力系統的要求。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 。非確定性圖靈機可看作只有存在狀態的交替式圖靈機。On the other hand, in order to get over the shortcoming of classical set theory, under which each member is required to belong to a unique set, the fuzzy set theory extends the classical set theory, providing a status between in - set and not - in - set as the smooth transferring status
另一方面,模糊集合理論對經典集合論進行擴展,突破了經典集合「非此即彼」的精確二值邏輯,使得集合元素的歸屬狀態在集合元素與非集合元素之間有一個平滑的過渡。Combining with the performances of danshan bridge, discussing the methods on the construction controlling and calculation of cable - stayed bridge, this paper raises an efficient construction controlling system, and realizes collecting construction data of the real bridge and technical information. by analyzing on the difference of theoretical calculation and real construction state, the author determines to take self - adapting construction controlling method which uses kalman filter method to identify and adjust construction parameters. by getting rational construction state from forward iteration method, this paper, taking concrete creep effect in consideration, raises a rational scheme to pre - remain deformation and adjust cable force
結合丹山橋的結構特點,通過對斜拉橋施工控制及結構計算方法的探討,提出了有效的施工控制系統,實現了對實橋施工數據和技術信息的採集;通過分析理論計算與實際施工狀態的差異,確定了以卡爾曼濾波法作為施工參數識別與調整的自適應施工控制方法;通過正裝迭代法確定其合理施工狀態,並考慮混凝土的徐變效應,提出了合理的預留拱度和索力調整方案。The set of desirable criteria and rules is required to be justified with different context of the application
由於狀態圖和可廢止邏輯有很強的適應性,當應用環境發生變化時,只需要調整標準和規則的集合。Smart antenna has two critical tasks, one is to filter the uplink signals, and the other is to form the downlink beam, and we need adaptive algorithm and digital signal processing ( dsp ) technology to fulfill these work. adaptive algorithm is one of the most important technologies of smart antenna, and it determines smart antenna ' s speed to the wanted to signal and the complexity of the circuit of the communication system
自適應演算法是智能天線的核心技術之一,它決定著智能天線對來波信號響應的速率和系統實現電路的復雜程度,系統需要針對各種通信環境來選擇合適的演算法,也可以採用演算法分集的方法來使整個系統工作在最佳狀態。It also shows the two principal methods to measure and evaluate the extent of equity, and summarizes the gains and losses, the success and failure that china has made during the decades of planning economy and socialist market economy. after that, the thesis makes an empirical study on the status of equity and efficiency and their relationship in some other countries in the world. at last, using the experience on the issue of equity and efficiency of other countries for reference, and employing the fundamental principles of marxism " political economics and the general approaches of the western economics, the thesis analyzes and demonstrates the issue of equity and efficiency during the process of modernization in china, and proposes the view that china should realize the sound interaction of equity and efficiency basing itself upon the reality and taking a broad view of the future
本文採取理論研究與實證分析相結合的方法,在搜集和查閱了大量國內外文獻資料的基礎上,詳細介紹了國內外關于效率與公平的概念、分類和相互關系的認識、主張和觀點,介紹了對公平度進行評價的兩種主要方法,總結了中國幾十年計劃經濟和社會主義市場經濟的得失成敗,並對世界主要國家公平與效率的狀況及其結合狀態進行了深入的實證研究,在借鑒世界各國關于效率與公平問題的實踐和經驗教訓的基礎上,運用馬克思主義政治經濟學的基本原理,借鑒西方經濟學的一般方法對中國現代化進程中效率與公平的問題進行了全面、嚴密的分析與論證,提出了社會主義初級階段正確處理公平與效率問題的思路和原則及「立足現實,著眼長遠,實現公平與效率良性互動」觀點。Because of the indetermination, randomicity and not line waiting factor for the egcs, the mathematics model for egcs ca n ' t be established completely precise, but the condition of elevator can at any time acquired this lesson does a lot of research work deep into egscs, and brings up a new control strategy : the dynamic and best method of t based of the field knowledge, that can attain a the whole coordination of elevator group
利用mfc框架結構,編制了系統運行動態模擬程序,進行了實例模擬計算和對比分析。本文構建的電梯動態最佳群控系統由綜合數據庫模塊、知識庫模塊、推理機模塊、數據採集與狀態監測模塊以及人機界面與知識獲取模塊,和故障查詢模塊等部分構成。其中知識庫模塊和推理機模塊是本電梯群控系統的核心部件。Narval calls the collective state of its engine its
Narval將其引擎的集合狀態稱為它的Collection state - based indicators
基於集合狀態的指示器There are three kinds of health indicators : state - based, collection state - based and threshhold - base indicators
健康指示器有三個種類:基於狀態的、基於集合狀態的和基於閾值的。Since the two federated health indicators are collection state - based indicators, this article will just cover the characteristics of collection state - based indicators
由於兩個聯邦健康指示器都是基於集合狀態的指示器,本文將只討論基於集合狀態的指示器的特徵。In all, there are 18 threshold - based, 6 state - based, and 4 collection state - based indicators grouped into 11 different categories in db2 v8. 2
Db2 「 stinger 」中,總共有18個基於閾值的指示器、 6個基於狀態的指示器以及4個基於集合狀態的指示器,劃分為11個不同的類別。They represent an aggregate state of a set of database objects, in our case, nicknames or servers
在我們的例子中,這些指示器表示數據庫對象(如別名或服務器)集的聚合狀態。分享友人