exhaustive set 中文意思是什麼

exhaustive set 解釋
完備集
  • exhaustive : adj. 1. （論述等）詳盡的；無遺漏的，徹底的。2. 消耗的，使枯竭的。adv. -ly ,-ness n.
  • set : SET ＝safe electronic transaction 安全電子交易〈指用信用卡通過因特網支付款項的商業交易〉。n 【埃...
  1. To this area precipitation materials for many years, evaporate materials, surface flow materials, hydrometeorological materials, hydrogeological materials carry on exhaustive analysis, have analysed the state of water resource of the sand district, proceed from the heat of the earth ' s surface is balanced, water yield balanced basic theories, combine the amount of regional water resource set up of the materials, such as scene, hydrology, soil of the sand district, etc. and estimate models, have calculated the surface water, groundwater of this area, has carried on models to examine according to the real data, and has predicted to the state of water resource under different climate change scenes of future that analyse. have put forward the scheme that the water resource in this area utilized rationally, use the non - linear motive force model to predict the precipitation, utilize the materials of actual observation, the natural supply amount of calculating out groundwater of sand ground of balanced principle of the amount of water used at the same time, and can exploiting amount predict to groundwater, district of sand,

    本文以寧夏半乾旱地區鹽池縣沙地水資源為研究對象，對該地區多年降水資料、蒸發資料、徑流資料、水文氣象資料、水文地質資料進行了詳盡的分析，分析了沙區的水資源狀況，從地表熱量平衡、水量平衡的基本理論出發，結合沙區的氣象、水文、土壤等資料建立了區域水資源量估算模型，計算了該地區的地表水、地下水，根據實際資料進行了模型檢驗，並對未來不同氣候變化情景下的水資源狀況進行了預測分析，提出了該地區水資源合理利用的方案，運用非線性動力模型對降水量進行預測，同時利用實際觀測資料，運用水量平衡原理計算出沙地地下水的天然補給量，並對沙區地下水可開采量進行預測。
  2. A widely used method for checking real - time systems is, according to the real - time property to be checked, to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space. the algorithm needs only to explore the finite space to get a correct answer. in most cases, exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases. in this paper, an equivalence relation is introduced to check whether a concurrent system, which is composed of a finite set of real - time automata, satisfies a linear duration property. to avoid exhaustive exploration, this paper also introduces a compatibility relation between timed states ( configurations ). based on these two relations, an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property. the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature

    一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質，使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是，這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長，以至於在很多情況下，窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時，還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系，文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示，此演算法在某些情況下比其他一些工具有更好的時間和空間效率
  3. The main idea for content - based retrieval is to create a set of features that can efficiently describe 3d models. we often use high - dimension feature vectors to achieve this goal, however, the large amount computation will make exhaustive retrieval infeasible

    基於內容檢索的主要思想是用一組特徵來表示三維模型，通過比較待檢索模型和數據庫里的模型的特徵的相似性得到檢索的結果。
分享友人
分享到 Line

分享到臉書