查询词典 method of work

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.

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

Furthermore, the first-order optimality condition and its equivalent reformulations for generalized semi-infinite max-min programming with a non-compact set are presented using the lower-Hadamard directional derivative and subdifferential.2. Chapter 3 studies the gradient-type methods for unconstrained optimization problems. Section 1 proposes a new class of three-term memory gradient methods. The global convergence property of the method is established. Furthermore, in order to improve the convergence property of the method, a new class of memory gradient projection methods is presented with the property that the whole sequence of iterates converges to a solution to the problem under the conditions such as pseudo-convexity and continuous differentiability of objective function. In section 2, two new classes of methods, called gradient-type method with perturbations and hybrid projection method with perturbations, are proposed. In these methods, non-monotone line search technique is employed, which makes them easily executed in computer.

第3章研究了无约束优化问题的梯度型算法，第1节提出了一类新的三项记忆梯度算法，讨论了算法的全局收敛性，进一步提出了一类新的具有更好收敛性质的记忆梯度投影算法，并证明了该算法在函数伪凸的情况下具有整体收敛性，第2节在非单调步长搜索下提出了带扰动项的梯度型算法及其混合投影算法，这两类算法的一个重要特征就是步长采用线搜索确定而不象许多文献中那样要求步长趋于零，这样更容易在计算机上实现，在较弱的条件下证明了这些算法的全局收敛性，数值算例表明了算法的有效性。

The production moved off-Broadway to New York City, where she won the Joseph E. Calloway award for her performance, and was profiled in American Theater Magazine as one of ten young theater artists to watch.

生产提出过百老汇的新的纽约市，在那里她赢得了约瑟夫calloway奖，她的表现，并于异型在美国的战区杂志之一， 10战区的青年艺术家观赏。

It's a risk tradeoff, and I believe that adding test support code usually wins.

这是一个风险的权衡，我相信添加测试代码通常会占上风。