类型问题

This thesis inductively points out where the logicians did not satisfied with the theory of type mainly lies in two points, the axiom of reducibility first and the vicious-circle principle second. This thesis has discussed Ramsay's improvements as well as the criticism from Godel. Then, it observes that they two had a common view, viz. rejecting the vicious-circle principle from the points of Realism. Against Russell's insisting on this principle, such a rejecting seems so distinguished, which, this thesis argued, was the deep difference between Realism and Nominalism shedding on the reality of classes.

文中主要探讨了莱姆塞对类型论所做的改进以及哥德尔对类型论的批评，指出这二者的共同点是从实在论的立场来拒斥恶性循环原则，他们对恶性循环原则的拒斥同罗素对它的坚持形成了鲜明的对比，本文认为，这种对比所反映出来的差别实际上就是在类的实在性问题上实在论和唯名论的差别。

On the basis of analyzing the problems of traditional bulkhead, the concept and type of ecological bulkhead is stated.

在分析传统驳岸存在问题的基础上，提出生态驳岸的内涵和类型，分析不同类型的特点，在此基础上总结江阴市北潮河生态驳岸设计的目标、原则、理念和做法，最后对生态驳岸设计进行反思。

The material source of the Shanxi Formation is analyzed using the sand types, cutting types in combination with the distribution characteristics of heavy minerals, cathodoluminescence and the comparison analysis of rare earth elements.

应用砂岩类型、岩屑类型、重矿物组合的分布特征、阴极发光及稀土元素对比分析等方法，分析了神木地区山西组的物源问题。

In our work, CFL is used as the data type of a functional programming language for the first time, and the relevant issues such as expression representation and type system are studied, which can be references to related researches.

本文工作首次把CFL作为函数式语言的数据类型，并研究了表达式表示形式和类型系统等有关问题，它们可为相关研究提供参考。

An analytical model describing the dispersion with an exponential dispersion function is built, which be transformed into CDE problem with variable coefficient, using hypergeometric function and inversion technique, an analytical solution for two type boundary conditions is obtained.

文章对于具有指数弥散函数的弥散过程建立了对流-弥散微分方程模型，应用积分变换将问题转化为具有变系数的常微分方程问题；对于两种类型的边界条件，应用超几何函数和反演技术得到了问题的解析解，并分析了指数弥散过程和常数弥散过程的不同性质。

It also analyzed all the types of evaluation index about storage materials management,put forward commensurability methods for...

针对问题2，分析了仓储物资管理评估指标的不同类型，提出了不同类型指标的可公度性方法，并给出了仓储物资管理评估指标的可公度性计算实例。

It also analyzed all the types of evaluation index about storage materials management, put forward commensurability methods for different type of index and presented commensurability computing example of evaluation index about storage materials management.

针对问题2，分析了仓储物资管理评估指标的不同类型，提出了不同类型指标的可公度性方法，并给出了仓储物资管理评估指标的可公度性计算实例。

In chapter one, a review for the trade of urban rail traffic is performed with respects to the developing histories and trend, mode, light rails, vehicle type and so on; In chapter two, a set of contradistinctive analyses between the domestic and the overseas are carried out at aspects of equipment, density of line net, build cost and so on. In chapter three, the competitive status among existing enterprises for urban rail vehicle and equipment manufacturing in our country is analyzed by Potter model; In chapter four, questions that should be paid attention to and strategies in course of our country's urban rail traffic building are provided mainly in terms of plan, cost, construction investment and operation, selection of system type, safety of building process and so on.

本文第一章主要从轨道交通的发展历史、模式、轻轨、车辆类型、发展趋势等方面对城市轨道交通行业的发展作了一个回顾；第二章主要是从设备、线网密度、建设成本等六个方面对国内外城市轨道交通进行了一个对比分析；第三章主要是利用波特模型对我国现有的城市轨道交通车辆设备生产企业之间的竞争状况进行了分析；第四章主要从规划、成本、建设投资和运营、系统类型选择、建设过程安全等方面提出了我国在城市轨道交通建设过程中应该注意的问题和对策。

This method dexterously inverts the three-dimension problem into two dimension and properly uses interpolating method. It also can be applied in the other sensor that has same problem.

该方法巧秒地把一个三维的问题转化成二维问题，并加以合理地应用插值数学方法，可以推广应用到存在相似问题的其他类型传感器中。

In the third part of the paper,the deficiencies of the wests environment legal system and the relationship between the deficiencies are analysed. Then the conclusion is made,that among the deficiencies,some are basic problems and others are derived problems.

在文章的第三章中，分析了西部地区环境法制建设存在的不足，及各种不足相互之间的关系，得出西部地区环境法制建设存在根本问题和次生问题两种类型的问题，只有解决了根本问题，才能真正推进西部地区的环境法制建设。

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.

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