借助于

The thesis puts forward intensive definitions of three types of relations and their consistency. By building the corresponding model based on graph theory, it studies the consistency property of relations, and brings forward three static consistency validation methods with the assistance of graphic connectivity, directed path, accessibility et al.

论文对这三种类型的关系及其一致性进行了详细定义和研究，通过建立相应的图论模型，借助于图的连通性、有向路、可达性等，研究了各种关系的一致性性质，提出了三种静态一致性的检验方法。

The reason why the model is based on Voronoi diagram and Delaunay triangulation is that one of the main factors of directional relationships is visible field of two objects, and the visible field is adjacent part of two object, so direction calculation of two objects may be limited in the adjacent field.

模型的建立之所以借助于Delaunay三角网和Voronoi图建立空间方向关系计算和描述模型，是因为决定两目标之间的空间方向关系的主要因素之一是这两个目标之间的可视区域，而可视区域恰好是它们的邻近区域，因而两目标的空间方向计算问题可以归结为目标间邻近区域内的问题。

At last, based on the discrete state equation, two kinds of adaptive inverse control system were set up to control the acceleration of the countertop under the random excitation.

最后，借助于振动台的离散五刚体模型，将振动台的台面加速度作为控制目标，进行了复合实验系统在随机输入作用下的控制仿真。

Fully depending on the math, modern mainstream economists have a suit of unitive linguistic system and the common discourse foundation. And based on such an artificial linguistic system, economic discursion and analysis show more logically precious and accurate advantages than natural language.

充分依赖于数学这样一种符号化的诉求，现代主流经济学家不仅拥有了一套统一的语言体系及共同的话语基础，而且借助于这样一种人工语言系统，又使得经济学的推理与分析过程呈现了比自然语言更具逻辑严谨性和精确性的优势。

In Chapter 4, a congruence on a commutative distributive semiring is defined by using of a style of congruence in reference [16]. Moreover, the result that the congruence is the least distributive lattice congruence is proved.

第四章，借助于文献[16]中同余的形式，定义了交换分配半环上的一个同余，并且证明了该同余是最小分配格同余。

This text is mainly about the analysis of the palindromes of Y chromosome. We mainly used DOTTER program for detailed comparison of two sequences to obtain these results. The main contents are as follows:Chapter one mainly introduces the whole characteristics of human Y chromosome;Chapter two mainly describes the characteristics, functions and recombination modes of the palindromes in Y chromosome;Chapter three mainly analyses the symmetries of 8 palindromes of Y chromosome, we find a mechanism of symmetry breaking in P2 palindrome from a detailed analysis;initially introduces other 7 palindromes.

本文主要借助于DOTTER程序对Y染色体的回文序列进行分析，主要内容如下：第一章主要介绍人类Y染色体的整体特征；第二章主要描述Y染色体中回文序列的特征、功能及重组模式；第三章主要是对Y染色体8个回文序列的对称性分析，主要对P2回文进行了详细分析，提出了P2回文的对称性发生破缺的机理；对其他7个回文进行了初步分析。

This text is mainly about the analysis of the palindromes of Y chromosome. We mainly used DOTTER program for detailed comparison of two sequences to obtain these results. The main contents are as follows:Chapter one mainly introduces the whole characteristics of human Y chromosome;Chapter two mainly describes the characteristics, functions andrecombination modes of the palindromes in Y chromosome;Chapter three mainly analyses the symmetries of 8 palindromes of Y chromosome, we find a mechanism of symmetry breaking in P2 palindrome from a detailed analysis;initially introduces other 7 palindromes.

本文主要借助于DOTTER程序对Y染色体的回文序列进行分析，主要内容如下：第一章主要介绍人类Y染色体的整体特征；第二章主要描述Y染色体中回文序列的特征、功能及重组模式；第三章主要是对Y染色体8个回文序列的对称性分析，主要对P2回文进行了详细分析，提出了P2回文的对称性发生破缺的机理；对其他7个回文进行了初步分析。

What this paper finished mainly work as follows: Five-phase hybrid step motor driver system with fixed-chopping frequency and constant total current driving is fully described. Mathematical model of the system, included the current control circuit, power driving circuit and five-phase hybrid stepping motor is established. The steady modeling of the system is established and studied. Based on the steady modeling of the system, dynamic modeling of the system is studied and single step response characteristic is constructed with MATLAB/Simulink. The simulation results, which is certified by the theory analysis, coincide with the theory analysis.

本文主要完成的工作包括几个方面：对五相混合式步进电动机恒频斩波恒总流驱动系统进行了完整的描述；建立了包括电流控制电路、功率驱动电路以及五相混合式步进电动机在内的恒频斩波恒总流驱动系统的完整的数学模型；基于MATLAB/Simulink建立了恒频斩波恒总流驱动系统稳态仿真模型，并进行了仿真；在建立其稳态仿真模型的基础上，对动态模型进行研究，并借助于MATLAB/Simulink工具建立了恒频斩波恒总流驱动系统单步响应特性的仿真模型并对其单步响应特性进行了仿真研究，仿真结果与理论分析相符。

Intelligent design system of heavy off road vehicle driving axle is a computer network based CAD system using the concept of concurrent engineering, and design for assembly methodology.

该系统是一个运用并行工程思想，借助于面向装配的设计方法，基于计算机网络的智能CAD系统。

On account of the relationship among economy, environment, science and technology, population and education, system dynamic model for coordinate development is designed by DYNAMO language. By simulation, portfolio policy for investment in environmental protection and the speed of economic development and the effluence of technology on these policies are discussed.

第8章在分析经济环境系统与科技、社会、人口和教育系统间相互作用机理的基础上，运用协调指标，借助于Dynamo语言，构建系统动态模型，讨论达到经济环境协调发展的投资比例与经济发展速度的组合政策，并研究了技术进步对于组合政策的影响。

Finally, according to market conditions and market products this article paper analyzes the trends in the development of camera technology, and designs a color night vision camera.

最后根据市场情况和市面上产品的情况分析了摄像机技术的发展趋势，并设计了一款彩色夜视摄像机。

Only person height weeds and the fierce looks stone idles were there.

只有半人深的荒草和龇牙咧嘴的神像。