类型理论

Another theory claims that our higher cognition is due to different types of cells in the neocortex – cells that other mammals don't have.

另一种理论认为我们的更高等认知源于不同类型的新皮质内细胞－其他哺乳类是没有的。

Secondly, the research of the premise and the evaluating method of its application in enterprises are processed. And, it concludes the boundary of NESA through the comparison between Enterprise Integration and NESA.

在此基础上，探讨了构建非股权战略联盟的前提条件及对于特定企业的适用类型的评估方法，并通过与企业内部一体化之间的比较研究，在理论上得到建立非股权战略联盟的边界结论。

Based on some involved theories, the paper depicts the supply chain contract on concept, style, research status and so on, and gives a general model of supply chain contract that could cooperate supply chain by newsvendor model.

在有关理论的基础上，从供应链契约的概念、类型以及研究现状等方面对其进行了详细刻画，并借助于报童模型给出了供应链契约的基本模型。

Based on a comprehensive study of drilling and log data, sequences of short-term base-level cycle of turbidite fan in Yanchang Formation of Triassic in Longdong area are divided into three basic structure types: up - deepening non - symmetry, up -shallowing non ?symmetry and symmetry ones according to recognition sign of the interface of the short - term base - level cycle.

以高分辨率层序地层学理论和技术方法为指导，以钻井、测井资料的综合研究为基础，运用短期基准面旋回界面的识别标志将陇东地区三叠系延长组浊积扇短期基准面旋回层序划分为向上"变深"非对称型、向上"变浅"非对称型和对称型3种基本结构类型。

Up to now, many kinds of nonclassical states including entanglement states have been obtained in theory and experiments respectively.

到目前为止，人们已分别从理论与实验两个方面研究了包括纠缠光场在内的各种类型的非经典光。

Hybrid diwa-type orogeny which is the most common is composed of the former two types in space or in time.

在壳体构造理论下，笔者将地洼型造山运动定义为后地台阶段的构造—岩浆活化过程中各种地质作用的总称，并根据其动力来源和壳体运动方式，将地洼型造山运动划分为汇聚式、离散式和混合式，其中混合式是前两类型在时间或空间上的交替，最为常见。

In the experiment,a compression sample holder with a grooved cover was specially designed to keep the X-Ray in parallel with the surface of the film...

测试结果可表明被测薄膜的取向类型和取向程度，在理论研究和制造工艺上都有重要的意义。

Inheritance is the systemic pectination of the regional architecture type of Henan and the academic relation of the culture of Central Plains. Regeneration is mainly about the protection and development of the regional architecture of Henan. Enlarging the research of the regional architecture of Henan to the contemporary era world architecture, putting forward problems about new regional architecture、architectural noumenon and so on.

所谓传承，是指对河南传统地域建筑类型的系统梳理，以及它们与中原文化的理论联系；而再生，主要指对河南地域建筑的保护与发展问题的探讨，将河南地域建筑的研究扩展到当代世界建筑与文化发展的范围内，提出新地域主义建筑、建筑本体等问题。

Industrial convergence is the new starting point of industrial division .

本文根据产业融合的不同动因、发生机制和发生条件，区分了产业融合的不同类型，并从分工的理论视角审视产业融合作为一种产业创新范式的内在规定性，认为产业融合是产业分工的新的起点；产业融合与产业分工作为两种交叉互动的产业发展趋势，共同推进着现代经济的发展。

The type system is one of the language's features. The language is polymorphic.

觟del语言的类型系统独特于通常的逻辑程序设计语言，语义上已初步形成了相应的描述方法，建立了严格的理论基础。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。