查询词典 axiomatic method

The research of both theories and practices of gridding in the dissertation shows that: Linear interpolation based on triangulation is simple computationally and fast, but its gridding results isn't smooth and its precision is low; Multiquardric method is also simple computationally with high precision and good effect, but its gridding is slow because it is based on global calculation; Minimum curvature method is fast with high precision and good effect, but its gridding quickly degrades over areas with sparse data control when grid spacing smaller than the actual grid spacing is used; Ordinary Kriging method is high-precision, but its gridding is slow because of large calculation; Inverse interpolation is a computationally fast, efficient and robust method with high accuracy and perfect effect, and its gridding results of different gridding orientations are basically identical. Inverse interpolation is suitable for thegridding of geophysical irregular data, especially for large-scale geophysical irregular data.

本文的方法研究和数据试验分析表明：基于三角网的线性插值法计算简单，速度快，但其网格化结果不光滑，精度不够；多元二次函数法计算简单，网格化精度高，效果良好，但它是基于全局计算的，计算速度较慢；最小曲率法计算速度快，网格化精度高，效果良好，但其在稀疏控制点的网格化容易出现振荡现象；普通克里格法网格化精度高，效果良好，但其计算量较大，一般计算速度慢；反插值法网格化计算稳定，速度快，精度高，效果好，而且在网格化方向不同的情况下其网格化精度效果都达到基本一致，适合于地球物理不规则分布数据的网格化，特别是大规模地球物理不规则分布数据的网格化。

The first section introduces some basic concepts[9].The second section introduces Schmidt"s method of proving isoperimetric inequality [2].The third section introduces Hurwitz"s method [9].The fourth section takes from my tutors lecture notes.The method is due to REILLY [10].Finally,I make use of variational method to prove the circle among the curves of length L encloses the biggest area on the plane.

首先介绍了平面上的一些基本概念[9]，其次介绍了文献[2]中Schmidt证明等周不等式的方法，再次介绍了文献[9]中Hurwitz证明等周不等式的方法，然后介绍了导师吴发恩整理的文献[8]中REILLY的方法证明平面上的等周不等式[10]，最后我利用变分的方法证明了平面上等长的曲线围成的面积最大时为圆。

Based on the isoperimetric graph partitioning method, we propose several practical segmentation algorithms. The first is the iterative two-way cut method which can segment an image into pieces with particular characteristics each other by iteration. The second is simultaneous K-way cut method which divides the image into K parts synchronously. The last is an interactive method separating objects of interest from the background by the user's input specifying the object of interest manually.

基于等周分割方法，我们提出了几种实用的分割算法：第一种是迭代2分方法，它通过迭代的方法将图像分割成各具特征的小区域；第二种是同时直接K分法，同时将图像分割成K个部分；最后一种方法是交互分割法，它依赖人工输入来指定所要分割的感兴趣目标，将图像目标从背景中分离出来。

In the end, an example was used to demonstrate. Results indicate that Gauss-Seidel method and SOR method are move valid than Jacobi method, and SOR method is the best one.

最后，作为演示我们将迭代法，迭代法和迭代法用一个例题进行了比较，数值实验表明，迭代法和迭代法比迭代法更有效，而超松弛迭代法更优。

Namely, the first, the beginning, end and length of growing season of every type of vegetation is estimated with threshold method and moving average method, and the beginning end and length of growing season of vegetation from 1982 to 1999 is fitted linearly, finally, linear trend of the beginning end and length of growing season of vegetation is analyzed. The second, phenological phase in different years and zones is estimated based on greatest changes of slope method and EOF analysis method, and the result monitored by the two methods is compared, as a result, trend of growing season change from 1982 to 1999 in different latitude zones is better acquired. The third, phenological phase of vegetation in different spatial location from 1982 to 1999 is fitted based on curve. Then, spatial difference rules of growing season of every year and average of multi-year is discussed in article. In the end, lag correlation and linear regress are used to study relation between phenological phase of different types of vegetation, different latitude zones, different spatial places and climate changes.

利用阈值法和滑动平均法逐年估测了每种植被类型的生长季的开始、结束日期及长度；对18年中植被生长季的开始、结束时间和长度进行一次线性拟合，分析了植被生长季的开始、结束日期和长度的线性变化趋势；基于最大变化斜率法和EOF分析法估计了不同年份、不同区域内植被生长季的开始、结束时间及其长度，并对这两种方法的监测结果作了比较，从而得到了较好的不同纬度区域1982～1999年植被生长季的变化趋势；基于曲线拟合了1982～1999年的不同空间位置的植被物候期，然后讨论了每年和多年平均的植被生长季的空间分异规律；最后利用时滞相关分析和线性回归研究了不同类型植被的物候期与气候变化的相互关系，不同纬度带的植被物候期与气候变化的相互关系，植被物候期与气候变化空间相互关系。

The dissertation focuses on two issues——level 3 examinations in theNational Qualifications Framework and admissions system to higher education, investigating examinations and admissions system to higher education in the UK longitudinally and latitudinally, in both macro and micro way, using the following research methods: documentation method, field research, questionnaire method, interview method, case studies and comparative method.

论文重点围绕英国《国家资格证书框架》中的第三级证书考试(主要是A-levels证书考试)和高等院校招生录取制度两个问题进行研究，运用文献研究法、实地研究法、问卷调查法和访谈法、个案研究法、比较研究法，从宏观和微观的两个角度、纵横两个纬度对英国高等院校招生考试进行研究。

Results The within-run coefficient of variation of five kinds of enzymatic activity, with Abbott reagents: routine method were 0.48%-1.06%, FlexRate method were 0.23%-0.48%; with Leadman reagents: routine method were 0.63%-1.14%, FlexRate method were

结果 5种酶用雅培试剂检测批内变异系数：常规法为0.48%~1.06%，FlexRate法为0.23%~0.48%；利德曼试剂检测批内CV：常规法为0.63%~1.14%，FlexRate法为

The method has the advantages of Rigid Body Limit Equilibrium Method and Finite Element Method. In this method, the whole equilibrium conditions are kept, and the deformation of material is considered to some extent.

利用一种改进的刚体极限平衡法——块体单元法进行边坡稳定分析，该方法兼有刚体极限平衡法和有限元法的优点，既满足全部的平衡条件，又在一定程度上考虑了材料的变形。

Firstly, several kinds of schemes were proposed according to the design demand. The best scheme was chosen after analyzing and comparing the schemes. The robot's structure was designed with Pro/Engineer and AutoCAD software. Secondly, the kinematics analysis conducted, coordinate transformation matrix using D-H method was set up, and the kinematics equation direct solution and inverse solution was deduced. The manipulative interface about the kinematics equation direct solution and inverse solution was completed with VC++ and the velocity Jacobian of displacement matrix was constructed using differential transform method. In the process of the trajectory planning based on robot's kinematics analysis, I propone a method by which we can get middle nodal point with normalizing factor in order to simplify our searching for these middle nodal points. In addition, I give these middle nodal points with actual physics signification. For eliminating contradiction between real-time and accuracy, I bring forward separately limit of error and reversal interpolation method. For decreasing calculation quantity, we resort to tri-spline interpolation in the articulation space.We analyse the work range of the robot by resorting to graphic means.

首先，作者针对机器人的设计要求提出了多个方案，对其进行分析比较后，选择其中最优的方案后用Pro/Engineer和AutoCAD软件进行了机器人模型结构设计；其次，进行了运动学分析，用D-H方法建立了坐标变换矩阵，推算了运动方程的正、逆解，运用VC++制作了正、逆运动学求解的求解界面；并且用微分变换法推导了速度雅可比矩阵；在基于机器人的运动学的轨迹规划中，通过在操作空间的规划，提出了归一化因子来求解中间结点，通过它可以使求解中间结点变得更简单，并且赋予这些中间结点实际的物理含义，对于规划中精确性和实时性的矛盾，提出了以误差极限法和反向插值法来解决的方法；为了减少规划过程中计算量，在关节空间进行三次样条插值；然后借助图解法进行工作空间分析，作出了实际工作空间的轴剖图。

Linear Extrapolation Method is an adjusted extrapolation method,which is proposed based on the Power Method.It utilizes the property of the second eigenvalue of the Google matrix to acheive the high rate convergence in the computing performance of Power Method.

在乘幂法证明理论基础上，提出了一种修正的外推方法称为线性外推法，并且利用Google矩阵的第二特征值的性质，使得在乘幂法的计算过程中达到快速收敛。

Alternatively, the con- trollers can use the synchronous rectifier itself or loss- less inductor current-sensing methods to provide overload protection with lower power dissipation.

另外，康威特罗勒斯可以使用同步整流器本身或亏损减少电感电流检测方法，以提供低功耗过载保护。

Mr. Dauber's other Schatz hangs in his home movie studio.

多伯把沙兹的另一件作品挂在家里的电影室。