1) types of Construction
构式类型
2) tectonic style
构造类型构造样式
3) Prototypical construction of tautology
同义反复类典型构式
4) type
[英][taɪp] [美][taɪp]
型式,类型
5) structural type
构造类型
1.
So, a lot of structural types were developed in the basin.
巴彦浩特盆地的构造演化经历了由早期的挤压变形向晚期的伸展变形的构造转换 ,因此 ,盆地内发育有多种构造类型 ,从断裂的性质看 ,既有正断层 ,又有逆断层和走滑断层 ;从构造的组合型式上看 ,既有挤压型构造组合 ,又有伸展型构造组合 ,其中挤压型构造组合包括叠瓦状逆冲断层组合、滚板构造、冲起构造和铲形逆断层与牵引背斜、牵引向斜组合 ;伸展型构造组合包括铲形正断层与反向断层、滚动背斜组合及地垒和地堑组合两种型式。
2.
The structural types and trap features in the area were studied according to geological and seismic data.
利用钻探、地震研究成果 ,对坳陷西南缘的构造类型、圈闭特征、圈闭与油藏关系的研究 ,提出了西南缘主要发育为构造圈闭 ,构造类型有两大类 6亚类 ,海西期和喜山期是构造圈闭和油藏的主要形成时期 。
3.
Structural type of the southwest depression in Tarim basin may be divided into two major types, seven subtypes.
将塔里木盆地西南坳陷构造类型分为2大类7亚类:①基底卷入型分为基底逆冲、扭动、逆冲与扭动叠加等3亚类;②盖层滑脱型分为滑脱背科、断弯背斜、披覆与滑脱挤压背斜、叠瓦式逆冲构造等4亚类。
6) tectonic type
构造类型
1.
Formation mechanism and tectonic types of intracratonic paleo-uplifts in the Tarim basin;
塔里木盆地克拉通内古隆起的成因机制与构造类型
补充资料:构造类型
构造类型
composite type
gouZao leixing构造类型(conllP叱ltet”姆)其值由更简单的值组合而成的类型。这些更简单的值所具有的类型称为“分量类型”或“元素类型”,它们可以是简单类型,也可以是构造类型。 现有的程序设计语言提供了多种构造数据结构的方法,如元组、记录、变体、联合、数组、集合、字符申、表、树、顺序文件等等。事实上,所有这些类型是通过下述概念来构造的,它们是: (1)铸卡儿积可形式地表示为 5二TIX几X…x几=}(x,,x2,…,x,)}x,任天,1蕊i毛川笛卡儿积用于构造元组和记录,如下列记录类n改刃川 11,:TI; I,:Tn end其值集为TIX…XTn (2)分离并集我们用S+T表示集合S和T的分离并集,每一个值或选自S或选自T,此外,每一个值还附以标记以表明其选自哪个集合。可形式定义为: s+T=}left川x任引Ul吨ht引y〔T}即选自S的值标记以left,选自T的值标记以right。 分离并集用于构造变体记录和联合类型。如变体记录 reCO川 c别犯八Tof Ll:(11:Tl); L二:(I,:几) end其值集为Tl+…+几 (3)映射一个映射m把集合S中的每一值映射到集合T中的一个值,记作。:S~T。 程序设计语言中的数组实质上表示一种有限映射,即从一个有限集合(数组的下标集)到数组的分量集合的映射,大部分程序设计语言仅使用整型(或其子域)作为数组的下标集,而PA岌沪山和Ada语言允许数组的下标集为任意离散简单类型。 例:下列数组类型 tyl碑诚nd〔)W=array[0.,5rl,0二255」Of0二1 其值为window=}O,…,511}x{O,…,255}一{0,1{, 若变量W说明为: VarW:window 则W[8,12]取接到W的下标为(8,12)的分量。 映射在程序设计语言中还以函数抽象的形式出现,函数抽象通过一个算法来实现从S到T的映射,函数取S中的任意值计算出该值在T中的象,所以S不必是有限集。 例:PA吸人L中的标准函数edd实现一个从Integer到B刀}~的映射,即: {(}十false,土1~t~,士2~false,士3~true…} (4)不漆考虑一个值集S,S的所有子集的集合构成S的幂集,形式地记为 P(S)={:l:二S}幂集用于构造集合类型,在PASCAL语言中,集合类型定义具有如下形式 哭t orT;该集合类型的值集即为尸(T)。P瓜犯AL语言提供了所有基本的集合运算。例:type Color=(r困,green,blue) Hue=旋吐of仓lor类型Hue的值集为P(①场r),即{喇,g氏n,blue}的所有子集的集合。 (5)逆归类型其值由同样具有该递归类型的值组成的数据类型,递归类型是根据其自身来定义。 一般地,一个递归类型T的值集是由下列递归等式所定义的最小解: T=…T… 递归类型用于定义动态数据结构。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条