基本介紹
- 外文名:Enumeration
- 詞性:名詞
- 發音:[ɪˌnuːməˈreɪʃn]
Enumeration指列舉,通過向量的元素、哈希表,套用於計算機領域。簡介 Enumeration(列舉)public interface Enumeration實現 Enumeration 接口的對象,它生成一系列元素,一次生成一個。連續調用 nextElement 方法將返回一系列的連續元素。例如,要輸出 Vector v 的所有元素,可使用以下方法:for (Enumeration e = v.elements...
枚舉類型(Enumeration)是 C++ 中的一種派生數據類型,它是由用戶定義的若干枚舉常量的集合。基本概念 如果一個變數只有幾種可能的值,可以定義為枚舉(enumeration)類型。所謂“枚舉”是指將變數的值一一列舉出來,變數的值只能在列舉出來的值的範圍內。聲明枚舉類型用enum開頭。例如 enum weekday{sun,mon,tue,wed...
Enum是enumeration(列舉)的簡寫形式,包含在java.lang包中.熟悉C, C++, C#, 或 Pascal的人應該對列舉有所了解,先看個例子:接口方法實現列舉 一個enum是定義一組值的對象,它可以包括零個或多個值成員.它是屬於enum類型的,一個enum對象中不可有兩個或多個相同的屬性或值.在此之前的java程式設計師一般是 用接口的...
Enumeration是java.util中的一個接口類,在Enumeration中封裝了有關枚舉數據集合的方法。在Enumeration中提供了方法hasMoreElement()來判斷集合中是否還有其它元素和方法nextElement()來獲取下一個元素。利用這兩個方法可以依次獲得集合中元素。Vector中提供方法:public final synchronized Enumeration elements()此方法將...
被稱為 n 元部分遞歸函式的通用函式或枚舉函式(enumeration function)。遞歸函式 最早由哥德爾於1934年提出,被稱為埃爾布朗-哥德爾函式。而教科書中給出的遞歸函式的定義通常是克林給出的μ遞歸函式的定義的全函式。全遞歸函式常常被稱為一般遞歸函式(general recursive function),而不一定是全的遞歸函式被稱為部分...
枚舉定理 枚舉定理(enumeration theorem)是2018年公布的計算機科學技術名詞。定義 如下定理:存在一個部分可計算二元函式 ,使對一切 e,x ,有φ (e,x)=(x) ,這裡 是編碼為 e 的圖靈機計算的函式。出處 《計算機科學技術名詞 》 (第三版)。
re集枚舉函式(enumeration function forset),數學術語,是以re集為值域的函式。若函式f滿足Arerang (f ),則稱f為A的枚舉函式.而當f為嚴格遞增函式時,稱之為A的主函式或主枚舉函式,並記為PA,當A有遞歸的枚舉函式時,A就是re集.不僅如此,格才高爾契克(Grzegorczyk , A.)於1954年還證明了:若A為非...
隱式枚舉法(implicit enumeration method),一種特殊的分支定界法。對0 -1規劃問題,利用變數只能取0或l的兩個值的特性,進行分支定界,以達到最優解。通過變數的變換,使目標函式中的係數全為非正,首先令全部變數取0,得到上界,若可行,這次解為最優解,計算終止;否則,有選擇地指定其中某個變數為0或1,...
Vector的操作很簡單,通過addElement()加入一個對象,用elementAt()取出它,還可以查詢當前所保存的對象的個數size();另外還有一個Enumeration類提供了連續操作Vector中元素的方法,這可以通過Vector中的elements()方法來獲取一個Enumeration類的對象,可以用一個While循環來遍歷其中的元素。用hasMoreElements()檢查其中是否...
隱枚舉法(implicit enumeration method)一種特殊的分支定界法。對0-1規劃問題,利用變數只能取0或1的兩個值的特性,進行分支定界,以達到隱枚舉的目的。基本思路 0-1規劃是一種特殊的純整數規劃。求解0-1規劃的隱枚舉法不需要用單純形方法求解線性規劃問題。它的基本思路時從所有變數等於零出發,依次指定一些變數...
枚舉化歸是數學中的一種概念。概念 枚舉化歸(enumeration reducibility)亦稱。化歸一種可化歸性概念.對自然數集A;B,若存在re集w二,使得dx仁二任AH(」二)[(x,動任w、八D} cB]](D。為以u為典則下標的有窮集),則稱A可枚舉化歸到B,記為A蕊迢.直觀地說,A可枚舉化歸到B,是指存在一個能行的過程,...
算術枚舉定理(arithmetical enumeration theo-rem)算術表示定理的推廣.其內容是:對任何n,m,1,存在m十1元乏。關係,使得該關係枚舉所有m元三關係.類似地,亦存在m十1元二。關係,使得該關係枚舉所有m元二,關係.算術枚舉定理是美國邏輯學家、數學家克林(Kleene, S. C.)與波蘭數學家莫斯托夫斯基(Mostowski, A.)...
與引起相對應,JDK1.0和1.1版本里提供了Enumeration接口,而JDK1.2版本給出了Iterator接口。如果有很多的Java代碼是為老版本Java編譯器寫的,使用的是Enumeration,現在想使用新版本編譯器和新的Java聚集庫包的話,需要將已有代碼的Iterator接口轉換成Enumeration接口。因為Java聚集要求的Iterator接口,只有這樣才能使已有...
解析枚舉定理(analytical enumeration theo-rem)解析表示定理的推廣 其內容為:對任何n,m>1及L,存在習關係R,R具有m}-1個自然數變元、L個函式變元、R枚舉所有具有m個自然數變與L個函式變元的習關係.類地,將上面的定理中的酬換為n:,後定理仍然成立.這兩個定理統稱解析枚舉定理.解析枚舉定理是美國邏輯學家、...
實值類型直接包含數據,而且實值類型的運行個體 (Instance) 不是在堆疊上配置,就是在結構中內嵌 (Inline) 配置。實值類型可為內置 (由運行階段實現)、用戶定義或枚舉類型 (Enumeration)。引用類型 (Reference-type)存儲變數存儲器地址的引用,並且在堆積 (Heap) 上配置。引用類型可為自我描述類型、指針類型 (...
陪集計數(coset enumeration)亦稱托德一考克斯特算法一種群論算法,求有限表現群中子群指數的一種算法。設 是一個有限表現群.對於由}mgz}...,g:的字二,,二:,…,二,生成的G的子群H=<二,,二2,…,w,),若}c . H}有限,則算法通過系統地逐次試探修正,試圖最終求出H在c的一個完全陪集表,進而...
計數和枚舉(enumeration)構成組合分析的主要研究內容,其中偏序集可以作為統一各種計數公式的工具,也是聯繫組合數學與代數、拓撲等基礎數學學科的橋樑,同時偏序集本身也是現代組合數學的重要研究對象。本項目擬在組合分析領域以偏序集為基本的工具,從新的角度和更高的層次研究組合數學中涉及計數、枚舉及計算的基本理論和技術,...
計數問題 計數問題(enumeration problem)是1993年公布的數學名詞。公布時間 1993年,經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》第一版。
地圖計數(enumeration of map)求一類組合數。具體地說,在給定可定向性和虧格之下,確定滿足各種參數限制條件的不同構的地圖的數目.這就是地圖計數問題,或簡稱地圖計數.通常,有如下三類問題:1.單參數問題,即在頂點數、邊數或面數之一個給定的情況下,確定的不同構地圖的數目.2.雙參數問題,即在已知頂點數、邊...
相對化枚舉定理 相對化枚舉定理(elativized enumeration theorem)是2018年公布的計算機科學技術名詞。 公布時間 2018年,經全國科學技術名詞審定委員會審定發布。出處 《計算機科學技術名詞 》 (第三版)。
9. ENUMERATION 1. First / Firstly / In the first place /For a start / First of all / To begin 2. Second / Secondly / In the secondplace / Next / Then / After that 3. Third / Thirdly 4. Last / Lastly / Finally /Last of all 5. First and foremost /Moreimportantly / Most ...
numbering,英文單詞,主要作為名詞,動詞,作名詞譯為“編號;編號方式”,作動詞譯為“給…編號;確定…的數目”。單詞用法 英英釋義 numbering [ 'nʌmbəriŋ ]n. a numbered list 同義詞: enumeration 短語搭配 numbering plan 編號制度 ; [計] [通信] 編號計畫 ; 編碼方案 sequence numbering 循序...
通用缺陷列表(Common Weakness Enumeration,CWE)是已經在電腦軟體中發現缺陷的通用線上詞典。該詞典由麥特公司維護,可以在世界各地免費訪問。通用缺陷列表(Common Weakness Enumeration,CWE)是已經在電腦軟體中發現缺陷的通用線上詞典。該詞典由麥特公司(MITRE Corporation)維護,可以在世界各地免費訪問。CWE旨在促進一些...
設計計數(enumeration of designs)設計的個數問題之一指兩兩不同的同類組合設計的個數計值.通常把同構的BIBD設計看成相同的設計,關於BIBD設計的計數一般是指互不同構的(二,k)-BIBD的個數.若個數為零,則說明這類設計並不存在.所以,設計的存在性問題可以看做計數問題的一個特殊情形.由於目前很多類型設計的...