类型理论

Theoretically it is impossible because index variable has int type.

理论上这是不可能的，因为指数变量int类型。

An identification algorithm for tool interference in NC machining is presented based on the fuzzy inference techniques and pattern recognition theory.

基于模糊推理的自由曲面描述方法和模式识别理论，提出一种适用于不同刀具类型并可同时考虑刀具底面干涉和侧面干涉的刀具干涉判别算法。

Along with the deepening research on the theory system of sustainable architecture in architecture fields, with reference to the former research results , this article analysis to inhabitancy construction which is the most popular urban construction style from the ecological view, and aims to seek one sustainable development path suitable for China.

随着建筑界对可持续建筑的理论体系研究的深入，本文借鉴前人的研究成果，从生态学角度对我国城市建设中最大量性的居住建筑这一建筑类型进行分析，试图探寻一条适合我国国情的可持续发展道路。

For a soil or rock of water - lacked , a heat transfer theoretical model is developed , which is a steady or unsteady , the results show that reservoir temperature , thermal diffusion coefficient , inlet temperature , flow rate of and run time of ground source heat pumps have an effect directly on heat transfer process of dhe . it can deduce that intermit running is favorable for this type of soils and rocks

对于贫含水地下岩土层建立了稳态与非稳态传热的理论模型，分析结果表明，岩土层的热储温度、导温系数、埋地换热器进水温度、流量以及地源热泵系统的运行时间或开停机比，都对埋地换热器的传热过程产生直接影响，可以推断，对于该类型岩土层的地源热泵系统，采用间歇运行将是有利的。

Adsorption isotherm shows that the adsorption type belongs to theⅠadsorption, and in according with micropore filling theory; Adsorption isobar shows that low temperature favors the adsorption; the water contained in the adsorbents is harmful to the increase of the adsorption capacity.

V/V(吸附甲烷的体积/容器的体积)。甲烷在富纳米孔炭质吸附剂上的等温吸附曲线表明，吸附类型属于Ⅰ类吸附，符合微孔填充理论；等压吸附曲线表明，低温有利于体积吸附量的增加；吸附剂中水分的增加对吸附有不利的影响。

In this paper, we have studied the dimensional effects, electronic state, the configurations of charge density and spin density for quasi-one-dimensional organic ferromagnets. First, considering interchain interaction, the itineracy of electrons, the electron-electron correlation, electron-phonon interaction and spin correlation in low dimensional system, we proposed an interchain coupling theoretical model for conjugated system and non-conjugated system of organic polymer ferromagnets, respectively. Based on the theoretical model, we studied the electronic property, spin structure, the configuration of dimerization and the stability of the ferromagnetic state with a self-consistent iterative method.

首先我们在考虑准一维有机铁磁体的链间相互作用、电子的巡游性、强的电子-电子关联、电子-声子耦合、自旋关联等因素的基础上，分别对两种类型的有机高聚物铁磁体各自提出一个包含链间耦合的理论模型，用自洽迭代的数值计算方法对其电子性质、自旋结构、二聚化特征及铁磁态的稳定性进行了研究。

The details are described as follows:Based on the principles of elasticity and plasticity mechanics theories, we finish an analysis of the stability near the 1150 horizontal jamb in theory and simulate the stress situation and the stability of the rock mass in the mining processes. Through the analysis on the numerical results and the types of the breakages in underground roadway we evaluate the stability and the security of this area and predict the possible breakages in the future.

具体内容包括：应用弹塑性力学的观点和方法，对二矿区1150中段水平矿柱附近区域的稳定性进行了理论分析，对矿区岩体在采矿过程中的受力状态和稳定性进行了计算机模拟，分析了工程布置区巷道破坏的原因和类型，并对水平矿柱矿体稳定性和采矿安全性进行了评估，对矿区将来可能发生的不利于生产的破坏形式进行了定性预测。

In China, civil procedure law can t classify the necessary jointer, but the procedure theorists think that are two kinds of necessary joint actions.

我国法律对必要共同诉讼未作进一步的分类，同时立法和理论都认为必要共同诉讼包括两种类型。

In conclusion this phase is actually important in the framework of KMT theory.

这个结果充分说明N-N振幅的相位对KMT类型的理论计算也起重要作用。

Aimed at how to apply the theory of knowledge organization to software design and development, this paper analyzes the limits and difficulties of traditional document information management system in supporting to KOS. It emphasizes the ideal of Multi-MARC which construct the union mechanism to describe different type document and supprot KOS integrate with document information management system. It also introduces the effect on software development.

针对如何将知识组织的理论应用于软件系统的设计与开发，分析传统文献信息系统在知识组织系统支持方面的局限和困难，着重介绍Multi-MARC架构统一的知识描述机制的思想，通过为各种不同类型的对象建立相同的描述机制，实现知识组织系统融入文献信息管理系统，最后介绍在软件开发方面的影响。

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.

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