非空類 的英文怎麼說

中文拼音 [fēikōnglèi]
非空類 英文
non-null class
  • : Ⅰ名詞1 (錯誤) mistake; wrong; errors 2 (指非洲) short for africa 3 (姓氏) a surname Ⅱ動詞1 ...
  • : 空Ⅰ形容詞(不包含什麼; 裏面沒有東西或沒有內容; 不切實際的) empty; hollow; void Ⅱ名詞1 (天空) s...
  • : Ⅰ名1 (許多相似或相同的事物的綜合; 種類) class; category; kind; type 2 (姓氏) a surname Ⅱ動詞...
  • 空類 : empty class
  1. The two boxed objects are identical to those created by boxing non - nullable types. and, like non - nullable boxed types, can be unboxed into nullable types, like this

    並且,像裝箱型一樣,可以將它們取消裝箱,使其成為可型,如下所示:
  2. The categories of preprocessing token are : header names, identifiers, preprocessing numbers, character literals, string literals, preprocessing - op - or - punc, and single non - white - space characters that do not lexically match the other preprocessing token categories

    預處理標記有以下幾:頭名稱,標識符,預處理數字,字元文字量,字元串文字量,預處理運算符或標點,以及不符合以上詞法型的單個白字元。
  3. Chapter 2 of this paper, by using a new method of proof, we obtain the weak ergodic convergence theorem for general semigroups of asymptotically nonexpansive type semigroups in reflexive banach space. by theorem 2. 1 of chapter 1 we get the weak ergodic convergence theorem of almost orbit for general semigroups of asymptotically nonexpansive type semigroups in reflexive banach space. by this method of proof, we give the weak ergodic convergence theorems for right reversible semigroups. by theorem 2. 1 of chapter l, we generalize the result to almost orbit case. so we can remove a key supposition that almost orbit is almost asymptotically isometric. it includes all commutative semigroups cases. baillon [ 8 ], hirano and takahashi [ 9 ] gave nonlinear retraction theorems for nonexpansive semigroups. recently mizoguchi and takahashi [ 10 ] proved a nonlinear ergodic retraction theorem for lipschitzian semigroups. hirano and kido and takahashi [ 11 ], hirano [ 12 ] gave nonlinear retraction theorems for nonexpansive mappings in uniformly convex banach spaces with frechet differentiable norm. in 1997, li and ma [ 16 ] proved the ergodic retraction theorem for general semitopological semigroups in hilbert space without the conditions that the domain is closed and convex, which greatly extended the fields of applications of ergodic theory. chapter 2 of this paper, we obtain the ergodic retraction theorem for general semigroups and almost orbits of asymptotically nonexpansive type semigroups in reflexive banach spaces. and we give the ergodic retraction theorem for almost orbits of right reversible semitopological semigroups

    近年來, bruck [ 5 ] , reich [ 6 ] , oka [ 7 ]等在具frechet可微范數的一致凸banach間中給出了擴張及漸近擴張映射及半群的遍歷收斂定理。 li和ma [ 13 ]在具frechet可微范數的自反banach間中給出了一般交換漸近擴張型拓撲半群的遍歷收斂定理,這是一個重大突破。本文第二章用一種新的證明方法在自反banach間中,研究了揚州大學碩士學位論文2一般半群上的( r )漸近擴張型半群的弱遍歷收斂定理,即:定理3 . 1設x是具性質( f )的實自反banach間, c是x的有界閉凸子集, g為含單位元的一般半群, s =仕工, 。
  4. Statement must be the first non - blank, non - comment line in a class or interface definition

    語句,則該語句必須是或介面定義中的第一個白的注釋行。
  5. Use - case models for first - generation grids and their supercomputing - center predecessors were akin to the hub - and - spoke model used by the airline industry

    第一代網格(及其超級計算中心的前身)的用戶案例模型與航領域中使用的hub - and - spoke模型似。
  6. Research result shows that the object - oriented geographic spatial model has stronger representative ability, is easier understood and accepted ; using the concept of geometric data type unify the process method of attribute and spatial data, and simplify entity query and analyses. the topologic relations between entities, which are not been stored in explicit formulation in the model, can be achieved through collective operation of geometric object ' s hypergraph model. compared with traditional his, the query and analyses ability of which based on new model are stronger

    研究結果表明,面向對象的地理間模型具有更強的表現能力,並且容易被理解和接受;採用幾何數據型的概念,可以使對間數據和間數據的處理方法相統一,而且會使對實體的各種屬性數據(包括間屬性)的查詢和分析模型更加簡單;對于面向對象模型中不顯式表示的地理實體間的間拓撲關系,可以利用實體的幾何對象的超圖模型間的集合運算來求得;基於面向對象地理間模型的實體查詢和分析,也比基於傳統gis數據庫查詢和分析具有強得多的功能。
  7. Therefore it can support the reuse of higher level of gis component. aiming at the two key technology in gis rcl ? ? classification and searching, the paper discussed emphatically : based on the faceted classification scheme, gis ' s spatial geographic speciality, the integrating speciality of spatial attribute and non - spatial attribute, and requirement of interaction, the paper introduces gis components " classification system. the faceted classification scheme is < level, function, object, style >

    論文針對gis組件庫的兩個關鍵技術? ?分和查詢進行了重點討論:基於組件刻面分策略並結合gis的間地理特性和間屬性與間屬性相結合的特性和對互操作的需求建立了適合gis要求的gis組件分體系,對gis組件提出了的刻面分模式。
  8. At first, we introduce a class of generalized s - r - kkm type mapping in g - convex space, and establish generalized s - r - kkm type nonempty intersection theorem under the noncompact setting of g - convex space. as for application, some new minimax inequalities, saddle point theorem and existence theorem of maximal elements are proved in g - convex spaces ; second, by using the generalized r - kkm mapping and generalized r - kkm theorems in [ 13 ], some new existence theorem of maximal elements, existence theorem of equilibrium point for the abstract generalized vector equilibrium problem and existence theorem of solutions for equilibrium problem with lower and upper bounds are obtained in topological spaces

    首先,我們在g -凸間內引入了廣義s - r - kkm型映像,並在緊設置下建立了一新的廣義s - r - kkm型交定理,作為應用,證明了g -凸間內一些新的極大極小不等式、鞍點定理和極大元存在定理;其次,利用文[ 13 ]中引入的廣義r - kkm映像和廣義r - kkm定理,在拓撲間上得到了一些新的極大元存在定理、抽象廣義矢量平衡問題平衡點的存在定理和有上下界的平衡問題解的存在性定理。
  9. The representation theories of mp - filter which is created by an non - empty set of a implication algebra on a partial ordered set with condition ( c ) are obtained at first. and it ' s proved that the set which contains all mp - filters of a implication algebra x, denoted by mf ( x ) = { f x f is a filter of x }, is a distributive lattice and a complete lattice also in the view of the concept of mp - filter. then the fuzzy filter of a implication algebra is discussed, and the relations between mp - filter and fuzzy filter are obtained

    藉助于mp -濾子的概念,得到了偏序集上具有條件( c )的蘊涵代數中由集合所生成mp濾子的表示定理,證明了由其上所有mp -濾子組成的集合mf ( x )是一個完備的分配格;得到了蘊涵代數中fuzzy濾子與mp濾子的關系,給出了fuzzy濾子成為fuzzy素濾子的若干刻畫;並利用mp -濾子和fuzzy濾子,刻畫了一偏序集上蘊涵代數的結構。
  10. Not all the non - null entries in delegates are instances of the same delegate type

    中的所有項都是同一委託型的實例。
  11. In spatial classification, the spatial attributes and non - spatial attributes are considered at the same time

    在進行間數據分時,同時考慮數據的間屬性和間屬性。
  12. Examples of nonspatial attributes are name, soil _ type, landuse _ classification, and part _ number

    例如,與間數據相關的間屬性包括名稱,土壤型,土地使用型,零件編號等。
  13. Point. here is another example of a dangling alias problem, which is very similar to one i recently saw in a server application

    下面是懸別名問題的另一個例子,該例子似於我最近在一個服務器應用中所看到的。
  14. For example, an index is ideal for columns that have an integer data type and are also unique or nonnull columns

    例如,某個索引對于含有整數數據型同時還是唯一的或的列是理想索引。
  15. Non - silicon cells usually have a built - in “ electrochemical potential ” that encourages the electrons to move away from areas where they are concentrated and towards places where they have more breathing space

    電池通常構築一個電化學容量以鼓勵電子從擁擠的地方移向更廣闊的間。
  16. The existence conditions of unique solutions are discussed by using - reslovent operators for set - valued mixed quasi - variational - like inequality and generalized set - valued variational inclusion problems on finite dimensional euclidean spaces ; respectively. the problem that under what conditions the solution set is nonempty ( not necessarily unique solution ) is

    ?利用-預解運算元在有限維間中探討了集值混合擬變分不等式問題和廣義集值變分包含問題存在唯一解的條件;利用分析的方法在實hilbert間中討論了集值混合擬變分不等式問題解集的性(不一定只有唯一解) 。
  17. Attribute name that is different from the current class name

    具有一個不同於當前名稱的
  18. Rough set theory is applied in spatial data classification, and during classification spatial and non - spatial data are processed by rough set theory simultaneously

    本文將rough集理論應用在間數據分中,在分時使用rough集理論同時處理間和間數據。
  19. Secondly, apart from the spatial character, the operational data of sea area use management are characterized by multi - source, multiple scale, and coordinate, complex type and large quantity, etc, so this paper has laid emphasis on studying the spatial data model and the data framework related to the management of sea area use, solved a series of key technical problems such as check and correction, organization and structrue, quality management and standard norms for the geographical sapce data associated with the management of sea area use, proposed various practical and effective ways of storing and managing spatial and non - spatial data and established the spatial data base system for the management of sea area use

    其次,由於海域使用管理業務數據除間特性外,還具有多源、多尺度、多坐標、型復雜、數據量大等特徵,因此,本文重點研究了與海域使用管理相關的間數據模型與數據框架,解決了海域使用管理相關地理間數據的復合與訂正、組織與結構、質量管理與標準規范等一系列關鍵技術問題,並提出了切實有效的間數據和間數據的不同的存儲、管理方式,建立了海域使用管理間數據庫系統。
  20. Boxing a non - null nullable value type boxes the value type itself, not the

    如果將的可型裝箱,將使值型本身(而不是包裝該值型的
分享友人