类型理论

Categorical data types apply categorical theory to discuss the construction and application of data types, generalize the abstract data types and play an active role in the theories of parallel calculation.

范畴数据类型是以范畴理论为基础来讨论数据类型的构造及应用，它是抽象数据类型的一种推广，在并行计算的理论研究中有着重要的地位。

The first half of the chapter begins with the introduction of three common viewpoints over the two kinds of theories, followed by deep investigation and description of some biased nature in them, then comes up with the conclusion that we must draw a clear distinction between what was said by Marx himself and what has long been accepted as dogmatical statements. The later half of chapter introduces various understandings to the theory of three social orders evoked by the discussion of economic social formation, points out the drawbacks of and the author"s disproval to the idea that economic social formation only exists in a definite historical period. This chapter is to deepen the understanding of Marx" theory of three social orders through the discussion of the other two important theories related to it.

首先介绍了迄今为止在"三形态说"和"五形态说"的讨论中出现的三种基本观点，并分别对这些观点加以反思，通过反思指出了这几种观点中存在的一些偏颇之处，提出了在讨论三大社会形态理论和五种社会形态理论的相互关系时要对马克思本人的"五形态说"和传统的教条化的"五形态说"加以明确的区分；接着介绍了在讨论"经济的社会形态"这一范畴时所引发的对三大社会形态理论的不同理解，指出了把"经济的社会形态"理解为一种特定历史阶段的社会形态类型所产生的问题，反对把"经济的社会形态"理解为一种特定历史阶段的社会形态类型。

The paper is based on field work, the author classified the folk temple into 3 types: 1, the simple temples spontaneously built by root class: peasants, 2, the great temple which have symbolic meanings, 3, the temple as part of tour buildings which have some official backgrounds. In the following section, the author analysised the causes of the classification in theory, thereof, he discussed the function and value of folk religion.

本文在实地调查的基础上分析了民间寺庙的三种类型－一是较为自发和简易的"三间房"类型；二是带有象徵意味的较为雄壮气派的类型；三是带有旅游参观性质的具有一定官方背景的类型；并分析各种类型寺庙的建立原因，分别给予理论上的解释，由此进一步讨论了民间宗教的功能及其价值。

The first half of the chapter begins with the introduction of three common viewpoints over the two kinds of theories, followed by deep investigation and description of some biased nature in them, then comes up with the conclusion that we must draw a clear distinction between what was said by Marx himself and what has long been accepted as dogmatical statements. The later half of chapter introduces various understandings to the theory of three social orders evoked by the discussion of economic social formation, points out the drawbacks of and the author"s disproval to the idea that economic social formation only exists in a definite historical period. This chapter is to deepen the understanding of Marx" theory of three social orders through the discussion of the other two important theories related to it.

首先介绍了迄今为止在&三形态说&和&五形态说&的讨论中出现的三种基本观点，并分别对这些观点加以反思，通过反思指出了这几种观点中存在的一些偏颇之处，提出了在讨论三大社会形态理论和五种社会形态理论的相互关系时要对马克思本人的&五形态说&和传统的教条化的&五形态说&加以明确的区分；接着介绍了在讨论&经济的社会形态&这一范畴时所引发的对三大社会形态理论的不同理解，指出了把&经济的社会形态&理解为一种特定历史阶段的社会形态类型所产生的问题，反对把&经济的社会形态&理解为一种特定历史阶段的社会形态类型。

The profound deductive basis greatly strengthens the operationality, computability, and logical necessity of TLG, and thus efficiently excludes the unreasonable stipulatory practice (such as the stipulation of transformational rules in Transformational Generative Grammar) in the study of natural language.

类型-逻辑语法通过语义类型的媒介作用，把句法范畴同与之具有相同语义类型的λ-词项关联起来，每一条句法规则都对应于一条语义规则，句法和语义同时生成，从而实现了其句法理论和语义理论的完全同构对应，严格遵循了意义组合原则。

The text type theory provides a series of methods for translation.

文本类型理论为翻译提供了1系列的翻译方法。

The types in the constructive type theory can be considered as formal specifications for programs.

构造性类型理论是一种程序逻辑，它为程序设计方法和程序自动化的研究。。。

On the latter issue, this treatise adopts a type theory in legal methodology to resolve.

对于后一个问题，本文则通过法学方法论中的类型理论进行解决。

The focuses of each type theory, however, are different and each theory can solve certain kinds of problems of object oriented programming.

但每种类型理论的侧重点不尽相同，它们均能解决面向对象程序设计的某些方面的问题。

The result would be used in tobacco breeding.4 SRAP technology is used to study the genetic differences among different types of tobacco, including flue-cured tobacco, oriental tobacco, maryland tobacco, burley tobacco, and air/sun cured tobacco, five pairs of primer combinations which can amplify characteristic bands has been screened. Among the five combinations, two of them (SF25*SR2 and SF3*SR26) can distinguish air-cured tobacco including maryland tobacco and Burley tobacco from the other cultivated forms; SF20*SR14 can distinguish sun cured tobacco including oriental tobacco and sun-cured tobacco; SF16*SR14 can distinguish flue-cured tobacco and air-cured tobacco, and SF22*SR14 can distinguish DBJ599 with specisl aroma and the other flue-cured tobacco.5 8 varieties , which represent the different types of tobacco, are divided into 3 groups. I: G-28, II:DBJ599、MD40、By21, III: Basma、Sumsun、XNS、QCT. The cluster analysis result es consistant with experience evatuation.6 Anorthogonal design was used to optimize a ILP-PCR system with 5 factors (DNA, Mg2+, dNTP, primer and Taq polymerase) at 4 levels.The result showed the optimized ILP-PCR system for Nicotiana tabacum L. was: 2uL10×PCRbuffer, 20ng template DNA, Mg2+ 2.0mmol/L, dNTP 150umol/L, primer 0.3umol/L, Taq DNA polymerase 1 U in a total of 20uL reactionsolution.

研究结果可作为烤烟与香料烟类型间的杂种鉴定利用的实验与理论依据。4、利用SRAP标记技术，研究和分析了烤烟、晒烟、晾烟、白肋烟、香料烟等不同栽培类型间的基因型差异，初步筛选出了能够在分子水平上反映不同烟草类型差异的特征性标记带：晾烟MD40、Ky17、Burley21、TN90基因型共有的特征带有两对引物组合，分别为SF25*SR2和SF3*SR26；晒烟小牛舌、青梗、小花青和香料烟Sumsun、komotini Basma、Xanthi Basma共有的特征带引物组合为SF20*SR14；NC89、K326、G-28、大白筋和MD40、Ky17、Burley21、TN90共有的特征带引物组合为SF16*SR14，烤烟中大白筋599的特征带引物组合SF22*SR14.5、利用61对SRAP引物组合，研究了普通烟草不同类型间的亲缘关系，将普通烟草类型间8个不同供试材料划分为3类别。I：烤烟类型G-28II：白肋烟类型(MD40、By21、大白筋599III：香料烟类型(Basma、Sumsun、小牛舌、千层塔)。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了