类型理论

Generally, Toft's"strategic interaction"is relatively new and explanative. Being an important starting point for this research, Toft's"strategic interaction"perspective still leaves us with some questions: Firstly, Toft's analysis on the four types of strategy is too far-fetched; Secondly, Toft deliberately evades the question of a strategic choice in his theoretical model; thirdly, the argument"time is conducive to the weak rather than the strong side"is not convincing.

总体上看，托夫特的"战略互动论"比较新颖且有相当的解释力，因此也构成了本研究的重要起点，但它也还是给我们留下了几点重要的疑问：首先，托夫特关于四种战略类型划分过于牵强；其次，在其理论模型中，托夫特有意地回避了战略选择的问题；再次，关于"时间有利于弱者而不利于强者"的逻辑解释也并不能令人信服。

After analyzing the merit and lack of 9I model, the main idea is proposed: to distill some basic topological relations from 9I model, of which the composite topological relations of complex objects are made up. In detail, the composite topological relationships between region and region, line and line, line and region are particularly discussed;(2)Analyze the characteristics and inner relations of cadastral features. According to the expressional model of complex topological relations, the author discovers the possible topological relations between parcels, parcel lines and parcel points. In addition, sum up the general topological relationship rules of cadastral data.(3) Then the topological relations model is extended to the spatio-temporal data. Time in cadastral database and change semantic are discussed. It's redefined that spatio-temporal topological relations is composed of time, location, status and event relation. Spatio-temporal topological relationships can be represented by extended 4I model. Taking cadastral parcels as example, there are different possible spatio-temporal topological relationships between parcels when they are extended, shrunken, split, merged or others. Thus, some deductions are drawn that, for example, if parcels have be coexisting for some time they are impossible to be overlapped. Furthermore, the parents of parcels alternated and their possible change types can be detected by their spatio-temporal topological relationships.(4) Before carrying out the experiment, the calculation method must be designed.

具体研究工作及成果如下：（1）根据点集拓扑理论中与拓扑空间相关的概念，本文对空间的点、线、面进行了重新定义，以区分对象的复杂性；分析了9I模型在表示简单对象方面的优点，以及在表达复杂对象上的不足，阐述了本文的研究思路和解决方案，并以复杂的面面、线线和线面为例详细探讨了复合拓扑关系的表达方法；（2）分析了地籍权属数据和地类数据的内涵、特点和要素之间的联系，根据复杂对象的拓扑关系表达模型，本文讨论了宗地、界址线、界址点之间，图斑、线状地物、零星地类之间可能存在的拓扑关系和形式化表达方法，归纳总结了地籍对象的拓扑关系满足的约束性规则；（3）将拓扑关系的研究延伸到时空领域，从地籍对象的时态性出发，本文阐述了地籍数据中时间的含义和变化语义描述的需要；从时间、位置、状态、事件等之间的拓扑关系方面，重新系统性地进行了时空拓扑关系的定义；研究了一维时间和二维空间的集成表达方式，以宗地、界址线为例，分析了变更前后不同时间区间里可能的拓扑关系，探讨了时空拓扑关系对时空变化操作类型和变化语义的推理方法和意义；（4）为实现空间拓扑关系的查询分析等应用，本文研究了空间拓扑关系的计算方法。

This essay focuses on the first study, tracing the reception and study conditions of this theory in China.

本文就第一种类型进行研究，以期梳理该理论在我国的接受与研究状况。

Fracture criterion for mixed mode crack propagation will be discussed in the thesis of part two. In practical engineering structures, due to unsymmetry of load distributed, crack direction and anisotropic of material. Crack subjected to a complex case of stress state.

因而复合型裂纹扩展的断裂准则的研(来源：ABCb5b5b5论文网www.abclunwen.com)究有着重要的理论意义和实用价值，探讨各种类型结构和材料中裂纹扩展的真实原因和动力一直是广大学者研究的热门领域。

This paper aims to explain the cause of interlingual pragmatic failure and intralingual pragmatic failure with Verschueren's Adaptation Theory.It points out that the main cause of these two kinds of pragmatic failures is that in the course of communication either the utterer or the interpreter fails to adapt language to communicative context(i.e.,language users,physical world,social world and mental world).

以交际发生在跨文化还是同一文化为标准，把语用失误分为语际语用失误与语内语用失误，并从顺应理论的角度分别阐释这两种类型的语用失误产生的根本原因，即都是在言语交际过程中，由于交际的任何一方忽视了语言与交际语境诸因素（如语言使用者、物理世界、社交世界、心理世界等）的动态顺应而造成的。

The phylogeny and applied prospect of MES are summarized in the paper. The principle of this system is analyzed from the point of view of acoustics. The surveying and filtering technology of auxiliary parameters, sounding data and the theory of image form, backscatter strength data processing, are researched deeply in the paper. The optimal model of velocity of sound is given. For sound ray tracing, some methods of correction of sound ray curve are developed. At the same time, an ideal model of sound ray tracing is proved and given. The GPS technology is applied for the determination of tide, attitude of vessel. Moreover, some methods are given. As an important topic, the systematic error is discussed in the paper. Some filtering methods are researched in this paper. Based on the current methods of image processing, the procedure and methods are tested and given that adapt to sonar image processing.

本文研究的工作是在总结多波束声纳测深系统的发展历史、应用前景的基础上，从声学角度分析了多波束系统的工作原理；对多波束辅助参数的测定和滤波方法、测深数据的滤波方法、多波束声纳图像的形成机理、图像处理以及最终应用等作了比较深入的研究；得出了适合于多波束精密深度计算的最优声速模型和声线改正模型；提出了 GPS 载波相位定位技术用于多波束辅助参数测量的思想、算法，改善了多波束系统的作业模式；系统地分析了深度数据的误差来源和类型，首次将系统误差作为影响测深精度的主要因素给以研究，并给出了削弱系统误差的方法，提高了深度数据的质量；对多波束声纳图像的形成、处理方法进行了细致的研究，给出了适合多波束图像处理的算法和流程，并从理论和实践上对声纳图像的应用进行了比较全面的研究。

The third chapter introduces theory base and key aspects of VFR, analyses the match of valuation base which disturbed the valuation profession and the accounting profession for a long time.

第三章介绍以财务报告为目的的评估的理论基础和业务要素，并对困扰评估界和会计界的价值类型对接问题进行分析。

Design and optimization methods of low dropout voltage regulator are studied through the analysis of their topology and operational process.

研究了电容式电荷泵电路的基本类型和动作原理，建立了一个理论模型，给出了电荷泵电路的性能评估方法。

Based on the concept of contradictory location within class relations and the theory of a general framework for class analysis, Wright divided the society into two segments: one for the owners of the means of production and the other for the non-owners, and then, compartmentalized various kinds within the wage-earner section by the two subordinate relations of exploitation.

赖特在他所提出的阶级关系中矛盾地位概念以及阶级分析的一般框架理论的基础上首先根据对生产资料的占有和非占有把社会分为两部分，然后根据作为资本主义社会剥削特性的两个从属关系的组织资产和技术/资格证书资产的占有状况划分出各种类型。

So that it is impossible to look for some new theory to explain the character about energy deliver in hollow waveguide.

为了能更好地对这一类型的光纤进行分析，就需要有新的理论对空芯光纤的传输特性进行解释。

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.

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