类型理论

In this thesis, the methods of surrounding rock masses stability classification on the basis of the geological documentation of muck and the boring parameters of TBM are approached, especially as follows:①The geological documentation of muck and the boring parameters of TBM in the Yellow River Diversion Project.of shanxi province is summarized systematically;②Based on the geological documentation of muck and the boring parameters of TBM, that whether the common methods of surrounding rock masses stability (the methods of regular factor classification) classification are feasible, is carried on the discussion;③According to the corresponding relation of muck and the boring parameters of TBM and the surrounding rock masses stability type, the extension assessment method of tunnel surrounding rock masses stability classification is set up, also the corresponding fortran calculation procedure worked out, and not only rational result in conformity with the reality can be obtained, but also the stability situation of surrounding rock masses in front of the working range can be predicted according to the change of the dependent value in the application instance of Yellow River Diversion Project;④Combining with the application instance of Yellow River Diversion Project, extension assessment method in the application of surrounding rock masses stability classification is compared and verificated in detail by applying fuzzy synthesis method by forefathers, and a certain degree discussion and summary about the application achievement of surrounding rock masses stability classification, which is assessed by extension assessment method and fuzzy synthesis method, are carried on.

本文基于渣料和TBM掘进参数的地质编录提供的地质信息进行了围岩稳定分类方法的探讨，重点进行：①对引黄工程中渣料和TBM掘进参数的地质编录的系统整理；②基于渣料和TBM掘进参数的地质编录获得的地质信息，对常用围岩稳定分类方法是否能够进行围岩稳定分类进行了探讨；③根据渣料和TBM掘进参数与围岩稳定类型的对应关系，应用可拓理论，建立了隧洞围岩稳定分类的可拓评价方法，还编制了相应的fortran计算程序，并在引黄工程的应用实例中不仅取得了与客观实际相符的合理结果，而且根据其关联度值的变化能够预测临近掌子面前方围岩的稳定情况；④结合引黄工程的应用实例运用模糊综合评判方法对可拓评判方法在围岩稳定分类中的应用进行了详细的验证、比较，并对前人在运用可拓学和模糊数学进行岩体稳定评判的应用成果方面，进行了一定的探讨、总结。

The relational model is a particular type of theoretical model: it is a data model.

关联模型是一种特定类型的理论模型：这是一个数据模型。

This paper gives a comparative study of three typical interpretations of Aristotle's view on perception, which are proposed by Myles Bumyeat, Richard Sorabji, and Jonathan Lear, respectively. This paper aims to elaborate and defend Lear's representationalist interpretation.

本文将比较研究对上述亚里士多德知觉理论的三种不同类型的解读，并分别以这一领域的著名哲学家本尼耶特、舍拉布基以及李尔的工作作为各类解读的代表来对其进行逐一的分析和讨论。

But those energy functions are not suited to generate hazard-free robust test , we confirmed this by theoretical analyzing and an instance in this dissertation.

但是，Chakradhar等人认为该时滞测试能量函数能够解决各种类型的时滞测试的观点存在局限性，本文通过理论分析和实例验证，指出该时滞测试能量函数并不适宜于无冒险强健测试生成。

The artist Claude Monet applied these theories to his many paintings of the Rouen Cathedral which show the cathedral in different kinds of light.

画家莫奈的应用这些理论，他的许多鲁昂大教堂绘画，显示了不同类型的光大教堂。

Using the special wavelets, which included Marr, Haar and DOG for the continuous wavelet transform and biorthogonal wavelet for the discrete wavelet transform, the peak positions of the component's responses, described by Gaussian, Lorentzian and sech〓-function, could be determined via WT from the overlapped signals.

以特殊小波(Marr，Haar和DOG小波和双正交小波)，分别利用连续和离散小波变换对不同类型(Gaussian， Lorentzian和sech〓-function型)重叠信号的峰位置提取进行了详细研究，给出了相应的理论依据。

Dendritic-linear block copolymers are also a type of structurally novel polymers, which have a flexible linear chain and one or two semirigid dendritic blocks. The copolymers have many unique melt and solution properties, their basic theory and practical applications have been studied.

树枝状-线形嵌段共聚物是另外一类包含树枝状聚合物结构单元的聚合物类型，这种复合结构结合了嵌段和树枝状聚合物的优点，表现出独特的熔融和溶液性质，在理论研究和实际应用方面都具有重要的研究价值。

It has meaning both in theory and realistic for development of similar main shaft system.

它将对该类型主轴系结构的研发有一定的理论意义与现实意义。

Therefore,the influence of shearing slip to steel-concrete composite continuous beam should be taken into consideration.

由于我国对该种类型结构的研究和应用较少，有必要对其进行系统的理论与试验研究。

In this paper,the concept,types and mechanism of activated sludge bulking were introduced.

系统介绍了活性污泥膨胀的概念、类型和相关理论。

The concept of equivalent rotationally rigidity is offered and the formula of rotationally rigidity is obtained.

主要做了如下几个方面的工作：对伸臂位于顶部的单层框架—筒体模型进行分析，提出了等效转动约束的概念和转动约束刚度的表达式。

Male cats normally do not need aftercare with the exception of the night after the anesthetic.

男猫通常不需要善后除了晚上的麻醉。