查询词典 method

The Reverse Construction Method has not been well developed in our country. The paper discussed the designing method of the Reverse Construction Method and made a comparison with the regular construction method and studied some key technique of the Reverse construction procedure combining construction practice, such as diaphragm and mid-maintain columniation designing and constructing, dewatering, earthwork excavating, diaphragm wall structure constructing, surrounding buildings protection, construction inspecting and so on.

本论文探讨了逆作法的设计方法，同时与顺作法进行了对比，并结合工程实践研究了逆作法施工中的多项关键性技术，如地下连续墙与中间支撑柱设计与施工、基坑内降水、土方开挖、地下结构逆作施工、周围建筑物保护、施工监测等。

While studying, this paper adopts some research methods like demonstration and specification method, institution method, game theory method and comparativeness method etc., and argues the following points:(1) Regional cooperation is an inevitable demand of markets.

本文在研究过程中，运用了实证与规范分析法、制度分析法与博弈论、比较法等研究方法，论证了以下观点：（1）区域合作是市场要求的必然，因此，深港合作是市场经济发展的产物，深港合作是市场要求的必然。

The research methods used in this thesis are document method, comparison method, classification method and survey-talking method.

本文所用的研究方法是文献法、比较法、归纳法和调查交谈法。

By introducing the generating method and the expanding method,a complementary abstract state space can be constructed using the generating method on goal state once and the expanding method several times in turn.They are useful tools for designers to construct the complementary abstract state space in an easy way,where the complementarity of abstract states means that each ground state can only be represented by one abstract state and all the ground states can be represented by all the abstract states.

然后又提出了抽象状态空间的生成方法和扩展方法，从一个准确描述的的目标抽象状态开始，使用一次生成方法和多次扩展方法，可以让设计者很容易的得到一个规模适度的互补抽象状态空间，即每个基本状态只有一个抽象状态来表示，所有的抽象状态又能表示所有的基本状态。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

By experiments, it is proved that the parabola method is faster and more precise than the golden section method and the Fibonacci method in searching for extremum of compound pendulum. Furthermore, the method can offer some references for the study of other extremum in physics.

文章通过实验采集数据并加以分析，证明了抛物线法搜寻复摆极值点比黄金分割法和Fibonacci法有更好的搜寻效果，并且该方法对于搜寻物理学中其它极值点问题具有参考价值。

Installation, test and practical measurements of the whole system also have been implemented. Studied the various methods of digital monitoring dielectric loss for transformer bushes: harmonic analysis method. Sine-shape parameters method and integration method, states the principles of the three methods, its computational formula has been inferred and compared. Among them, harmonic analysis method was used to test practically both in lab and on site.

研究了变压器套管介质损耗的数字化监测方法：谐波分析法、正弦波参数法和积分法，论述了三种方法的监测原理，详细推导了各种方法的计算公式，比较了各种方法的优缺点，并采用谐波分析法在实验室和现场进行了测试，其结果表明该方法在介损测试中具有较高的稳定性和准确性。

Based on the higher mathematics method proved inequalities are summarized, and the proposed using the function extreme value and the monotonicity and concave and convex function sex, and mean value theorem, Taylor formula, integral these common higher mathematics method, combining with concrete examples of each kind of method to solve the problems for type, and the key problem of the specific steps, and points out that the inequality proof of higher mathematics method used properly, improve the difficult easy to ability to solve problems.

本文对不等式证明中的高等数学方法作了归纳总结，提出了利用函数的单调性，极值与最值，函数凹凸性，中值定理，泰勒公式，积分这些常用的高等数学方法，并结合具体实例阐述了每一种方法的适用类型、解决问题的关键和证明问题的具体步骤，指出在不等式证明中恰当地运用高等数学方法可以化难为易，提高解题能力。

The content of our curriculum are:Optimization under unconstrained conditions and constrained conditions,we'll focus on common methods of this field like Conjugate gradient method,DFP,POWELL method,The multiplier method,Penalty Function Method and so on.

主要讲授内容为无约束条件及有约束条件下的优化设计，重点介绍了共轭梯度法，变尺度法，POWELL法，乘子法，惩罚函数法等电路优化的常用方法。

In view of the fact that the complicated power electronic and electric machine system has multiple nonlineerand simulating tests are difficult and costly, the paper analyzes the configuration of the complicated power electronic and electric machine system, studies the model and simulation methods of each section and according to its section complexity, proposes the method of the modeling and simulation method of modeling separately and simulating connectedly to combine the circuit simulation method with the system simulation method.

针对复杂的电力电子电机系统通常具有多个非线性环节，且实验模拟测试困难费用昂贵等问题，采用仿真方法，通过分析复杂电力电子电机系统的结构，并根据其结构特点，研究了其各组成部分的建模与仿真方法，提出了根据各子系统复杂程度单独建模、再从系统角度把电路仿真和系统仿真结合起来联合仿真的仿真研究方法。

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.

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