類型系統 的英文怎麼說
中文拼音 [lèixíngxìtǒng]
類型系統
英文
type system- 類 : Ⅰ名1 (許多相似或相同的事物的綜合; 種類) class; category; kind; type 2 (姓氏) a surname Ⅱ動詞...
- 系 : 系動詞(打結; 扣) tie; fasten; do up; button up
- 統 : Ⅰ名詞1 (事物間連續的關系) interconnected system 2 (衣服等的筒狀部分) any tube shaped part of ...
- 類型 : type; mold; form; cut類型論 theory of types; 類型語句 [計算機] type statements
- 系統 : 1. (按一定關系組成的同類事物) system 2. (有條理的;有系統的) systematic
-
This paper introduces the styles, functions and current research of aeronautic missile ejecting device. the structure, principle of blank cartridge ejecting device and its differentia are discussed in detail
本文介紹了機載導彈發射裝置的類型、功能與研究發展趨勢,詳細論述了拋放彈彈射系統的結構、原理以及與其它類型系統的異同點。Although it supports a high - level type system, there is always an escape mechanism, and those mechanisms always lead down into the machine
雖然它支持高級類型系統,但始終存在一個轉義機制,而那些機制最終將轉換到計算機指令。The cas stores data as typed feature structures, and the typesystem defines the types and their inter - relations
Cas將數據存儲為有類型的結構,類型系統定義了類型以及類型之間的關系。I had hoped that the final specification would support relax ng, which i consider to be a superior xml schema definition language, but i assume that wxs was chosen because a large part of the specification involves mapping lom data elements to the wxs type system ; relax ng does not have a type system of its own, instead borrowing that of wxs
我本來希望最後的規范支持relax ng ,我認為relax ng是一種優秀的xml模式定義語言,但我猜想之所以選擇wxs ,可能是因為規范的大部分涉及到把lom數據元素映射到wxs類型系統; relax ng沒有自己的類型系統,而是借用了wxs的類型系統。They all belong to the calc - alkaline island arc series and are closely related to the evolution of the arc - basin systems of the gangdise tectonic belt. based on studies of petrology, litho - geochemistry, tectonic setting, petrogenesis and magmatic evolution, the present dissertation summarized the general evolutionary regularity of the magmatic rocks in time and space. the magmatic rock assemblages are divided into the inter - arc spreading basin t
在對研究區主要礦產分佈特徵、成因類型系統分析的基礎上,總結了措勤地區構造巖漿演化與成礦的關系,並將研究區成礦系統劃分為匯聚大陸邊緣成礦巨系統、碰撞造山成礦巨系統和陸內匯聚成礦巨系統。Provide some useful reference for allocating elements in the way of agricultural socialization, scale and specialization and promote to improve the management of agricultural enterprise. 4 ). discuss the direction and strategies of our macro - institutional reform
本章從企業的基本概念入手,以契約理論、博弈論和學習型企業理論為基礎,綜合探討了現代農業企業的基本內涵、農業企業經營要素配置論特徵及類型,系統闡述了農業企業經營要素配置的理論框架。The definition and characteristics of sdm are set forth, and a structure of spatial data mining system including data source, miner and user interface is put forward. the essential processes of sdm are studied and nine types of rules resulting in mining are discussed. there are 17 kinds of spatial data mining approaches researched in this paper and each method ' s characteristics are analyzed
闡述了空間數據挖掘的定義與特點,提出一種包括數據源、挖掘器、用戶界面三層結構的空間數據挖掘體系結構,闡述空間數據挖掘的基本步驟和從空間數據庫中能發現的九種知識類型,系統研究了17種空間數據挖掘方法,闡述了各種方法的特點和適用范圍,闡述了空間數據挖掘與其它相關學科的區別與聯系,指出空間數據挖掘的主要研究方向,提出開發空間數據挖掘系統的幾條原則。Cschema language has a type system to guarantee the type correctness of the embedded calculation expressions and moreover this type system also generates a security view after type checking a cschema policy
另外,這個類型系統也為通過檢查的cschema策略產生安全視圖。一個安全視圖是一個沒有包含保護類型的正規表達式類型。The runtime also enforces code robustness by implementing a strict type - and - code - verification infrastructure called the common type system
運行庫還通過實現稱為通用類型系統( cts )的嚴格類型驗證和代碼驗證基礎結構來加強代碼可靠性。See definition for common type system
請參見通用類型系統的定義。The common type system performs the following functions
通用類型系統執行以下功能:Enumerations in the common type system
通用類型系統通用類型系統中的枚舉The common type system imposes only two restrictions on names
通用類型系統對名稱只有兩種限制:Custom attributes are not part of the common type system
自定義屬性不是通用類型系統的組成部分。Value types in the common type system
通用類型系統中的值類型Interfaces in the common type system
通用類型系統中的介面Delegates in the common type system
通用類型系統中的委託Pointers in the common type system
通用類型系統中的指針Arrays in the common type system
通用類型系統中的數組It is a measure of size that would allow different types of systems to be compared and would be independent of the technology applied
它是一種量度系統規模的方法,可比較不同類型系統的規模,並且不受所採用技術的限制。分享友人