非空類 的英文怎麼說
中文拼音 [fēikōnglèi]
非空類
英文
non-null class-
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
並且,像非可空裝箱類型一樣,可以將它們取消裝箱,使其成為可空類型,如下所示: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
預處理標記有以下幾類:頭名稱,標識符,預處理數字,字元文字量,字元串文字量,預處理運算符或標點,以及不符合以上詞法類型的單個非空白字元。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 =仕工, 。Statement must be the first non - blank, non - comment line in a class or interface definition
語句,則該語句必須是類或介面定義中的第一個非空白的非注釋行。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模型非常類似。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數據庫查詢和分析具有強得多的功能。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組件提出了的刻面分類模式。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定理,在拓撲空間上得到了一些新的極大元存在定理、抽象廣義矢量平衡問題平衡點的存在定理和有上下界的平衡問題解的存在性定理。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濾子,刻畫了一類偏序集上蘊涵代數的結構。Not all the non - null entries in delegates are instances of the same delegate type
中的所有非空項都是同一委託類型的實例。In spatial classification, the spatial attributes and non - spatial attributes are considered at the same time
在進行空間數據分類時,同時考慮數據的空間屬性和非空間屬性。Examples of nonspatial attributes are name, soil _ type, landuse _ classification, and part _ number
例如,與空間數據相關的非空間屬性包括名稱,土壤類型,土地使用類型,零件編號等。Point. here is another example of a dangling alias problem, which is very similar to one i recently saw in a server application
下面是懸空別名問題的另一個例子,該例子非常類似於我最近在一個服務器應用中所看到的。For example, an index is ideal for columns that have an integer data type and are also unique or nonnull columns
例如,某個索引對于含有整數數據類型同時還是唯一的或非空的列是理想索引。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
而非硅類電池通常構築一個電化學容量以鼓勵電子從擁擠的地方移向更廣闊的空間。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空間中討論了集值混合擬類變分不等式問題解集的非空性(不一定只有唯一解) 。Attribute name that is different from the current class name
具有一個不同於當前類名稱的非空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集理論同時處理空間和非空間數據。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
其次,由於海域使用管理業務數據除空間特性外,還具有多源、多尺度、多坐標、類型復雜、數據量大等特徵,因此,本文重點研究了與海域使用管理相關的空間數據模型與數據框架,解決了海域使用管理相關地理空間數據的復合與訂正、組織與結構、質量管理與標準規范等一系列關鍵技術問題,並提出了切實有效的空間數據和非空間數據的不同的存儲、管理方式,建立了海域使用管理空間數據庫系統。Boxing a non - null nullable value type boxes the value type itself, not the
如果將非空的可空值類型裝箱,將使值類型本身(而不是包裝該值類型的分享友人