equivalence class 中文意思是什麼

equivalence class 解釋
等價類 組件輸入或輸出域的一個部分,在該部分中,組件的行為從組件的規格上來看認為是相同的。

  • equivalence : n. 1. 均等,相等,相當。2. 【化學】等價,化合價相當;當量。3. 等值;等量。4. (語詞的)同義;同類。5. 【數學】等勢;等效。6. 【地質學;地理學】等時代。
  • class : n 1 階級;社會等級。2 學級;班級,年級,級,班;組;(有組織的)講習班;〈美國〉同年畢業班;【軍事...
  1. In chapter 2, a class of fuzzy finite automata corresponding to the mealy type of ordinary automata is formulated and two types of statewise equivalence relations are introduced

    在第二章中,對應于經典mealy型有限狀態自動機的一類模糊有限狀態自動機-新mealy型模糊有限狀態自動機被建立。
  2. The invariant ( v ( a ), [ 1a ] ) that we used for unital case is the semigroup of murry - von neumann equivalence classes of projections in matrices over c * - algebras together with the class of the unit

    我們用來分類的不變量( v ( a ) , [ 1 _ a ] ) (有單位元的情況)是a的矩陣代數中所有投影的murry - vonneumann等價類所成的半群及單位元所在的等價類。
  3. The factorization of adjoint of polynomials sg - class graphs and chromatically equivalence analysis

    類圖簇的伴隨多項式的因式分解及色性分析
  4. The factorizations of adjoint polynomials of s - class graphs with chromatically equivalence analysis

    圖類的伴隨多項式的因式分解及色性分析
  5. The factorization of adjoint polynomials of eg class graphs and chromatically equivalence analysis

    類圖簇的伴隨多項式的因式分解及色性分析
  6. The factorization of ad joint polynomials of ss - class graphs with chromatically equivalence analysis

    一類圖簇的伴隨多項式的因式分解及色性分析
  7. The factorizationes of adjoint polynomials of sp - class graphs and chromatically equivalence analysis

    類圖簇的伴隨多項式的因式分解及其色性分析
  8. Once again we use a word to denote its equivalence class and write equality to express equivalence.

    我們再一次用一個字來表示它所在的等價類,並用等號表示等價。
  9. Such an approach not only is useful for distributive aggregate functions such as sum but also can be applied to the maintenance of holistic aggregate functions like median which will require the storage of a set of tuples for each equivalence class

    該方法不僅對分佈型聚集函數如sum非常有效,而且也可以應用於非分步型聚集函數如median的增量維護。這樣的聚集函數需要存儲所有的基元組。
  10. Details are as follows : we deal with properties of bilevel linear programming and prove the equivalence of bilevel linear programming and optimization over the efficient set. a class of multi - objective tow level programming, i. e. the upper - level is single objective and the lower - level is linear multi - objective, is mainly discussed. it can be converted into the optimization over the efficient set with parameter and an algorithm is given with its finite termination being proved ; when the upper - level is linear function, an exact penalty function algorithm is given

    分層(分級)遞階系統是社會組織管理的主要形式,多層規劃是研究這類系統優化問題的基本模型,其鮮明的實際背景和廣泛的應用前景引起了人們的廣泛關注,成為一個新興的活躍的研究領域,本論文研究了二層規劃中的若干問題,主要工作如下:討論了二層線性規劃的性質,並證明了它與零有效集上優化問題的等價性;對一類二層多目標規劃(上層為單目標規劃、下層為線性多目標規劃的問題)進行了探討,將其轉化為含參變量的有效集上的優化問題,進而給出了一種演算法,並證明了該演算法的有限終止性;當上層為線性單目標時,給出了一種罰函數方法
  11. With respect to extension of rough set theory under incomplete information systems, rough set modal based on class similarity relation is proposed in this thesis, this modal can reclassify to objects through equivalence partition of domain values

    在不完備系統下的粗糙集理論的擴充方面,提出了一種類相似關系的粗糙集模型,該模型通過對域值的等價劃分,可對對象進行重新分類。
  12. The enumeration of equivalence class of 3 - nilpotent matrices

    冪零矩陣的相似等價類的計數
  13. Conformal equivalence class

    保形等價類
  14. Proof of theorem about the sequences ' period and translation equivalence class in the g

    中序列的周期及平移等價類定理的證明
  15. 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

    一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質,使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是,這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長,以至於在很多情況下,窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時,還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系,文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示,此演算法在某些情況下比其他一些工具有更好的時間和空間效率
  16. For example, a reasonably trained, reasonably motivated programmer can do a perfectly fine job finding boundary conditions and checking whether each known equivalence class is handled

    例如,一個接受過一定培訓、有一定積極性的程序員可以很好地找到邊界條件,並且檢查每一個等價類是否都處理了。
  17. 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

    而本文中批生成演算法通過提出的擴展等價類這一概念來有效地減少了在每個節點處計算其子節點的冗餘計算量,從而達到提高演算法效率的目的。
  18. Now there are 5 constructive methods have been found, through which all of the complementary sequences whose length is 2 ' 10s26 " can be constructed. it was proved in this paper that it can determine which equivalence class is constructible or not by the feature seque nce. based on the reseach and computer we have got all the equivalence complementary sequence class with length of not more than 40, and found a new complementary sequences kernel with length of 20

    經分析發現當序列長度n 4時,可以根據特徵序列來判斷互補序列等價類空間大小,這對實際應用中互補序列的選取具有一定意義;此外本文證明了互補序列等價類的唯一性,即不同的等價類不能包含相同的序列;對互補序列的各種構造方法進行分析,發現通過每種構造方法構造出的互補序列其特徵序列均具有某種特性,通過論證得出可以通過特徵序列來判斷互補序列是否是可構造的以及可以由哪種構造方法構造,並通過特徵序列證實了長度為20的互補序列的核的存在性。
  19. The new structure recommend the structure of true neural network in accordance with the characteristics of moving equivalence and the large number of output class

    針對分類的類別多的特點,改進了一般神經網路的金字塔形結構,使其達到圖像處理的要求。
  20. Then one against one classification is performed with svms. so the muti - class problem can be solved, the accuracy of classification guaranteed, and the reduction of the data carried out. in particular, the approach to classification based on the equivalence classes of the main attribute is explicit conceptually, easy to understand and implement. furthermore, the reduction of the sample size is distinct

    這樣,既解決了多值分類問題,提高了分類精度,又實現了數據壓縮。其中利用主屬性中不可分辨關系(或相近關系)預分類的方法,概念清晰,易於理解、操作,數據壓縮量大。
分享友人