efficiency equivalence 中文意思是什麼

efficiency equivalence 解釋
效率等價
  • efficiency : n. 1. 功效。2. 效率；效能；實力，能力。3. 【物理學】性能。
  • equivalence : n. 1. 均等，相等，相當。2. 【化學】等價，化合價相當；當量。3. 等值；等量。4. （語詞的）同義；同類。5. 【數學】等勢；等效。6. 【地質學；地理學】等時代。
  1. In view of the defects of the available bridge girder models ， this paper proposes a new double - girder model adapted to composite bridge sections for the dynamic analysis of long - span cable - stayed bridges in the proposed model ， the equivalence of the stiffness and mass systems of the bridge girders can be satisfied and the nodes and elements can be maintained in lower numbers the dynamic behavior of a cable - stayed bridge is analyzed by the new double - girder model and the conventional triple - girder model respectively the numerical results show the accuracy and efficiency of the proposed model

    針對大跨度斜拉橋動力分析的現有橋面系模型的不足，提出了一種適用於疊合梁橋面系的新型雙主梁模型該模型既保證了橋面系剛度系統和質量系統的等效性，也使模型的節點數和單元數維持在一個較少的水平，提高了計算效率採用文中提出的雙主梁模型和傳統的三主梁模型對廣州鶴洞大橋進行了動力特性分析，結果顯示了本文模型的正確性和實用性
  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 batch algorithm in this paper reduces the redundant computation in each node for generating its children by the presented definition of expansion - equivalence class, thereby improves the algorithm ? efficiency

    而本文中批生成演算法通過提出的擴展等價類這一概念來有效地減少了在每個節點處計算其子節點的冗餘計算量，從而達到提高演算法效率的目的。
分享友人
分享到 Line

分享到臉書