查询词典 proves

The result of experiment proves that the arithmetic can get the edge of the weld pool image efficaciously .

实验结果表明，该方法能够比较有效地得出熔池图像的边缘。

Different from the case of strict minimal siphons in a net system, the number of elementary ones is bounded by the smaller of place count and transition count. Based on the ideas mentioned above, this thesis proves that the set of elementary siphons is not unique, while different ones may lead to different control results.

本文在此研究的基础上，论证了网系统中的基本信标的不唯一性，控制不同的基本信标可以得到不同的控制效果，进而提出了最优基本信标的概念并给出了相应的计算方法，应用这一计算方法可以在多项式时间内求得一组最优基本信标，也就是说，控制该组基本信标相对于其他的基本信标可以使得系统Petri网模型具有最多的可达状态，这在实际中，意味着系统具有更大的灵活性。

In this paper,the radiation from a monopole on an elliptic cylinder is discussed by UTD for convex surfaces and two examples are given whose results are consistent with experimental data,which proves UTD to be available.

文中以单极天线为例应用UTD的曲面绕射理论对椭圆柱上天线的辐射特性进行了研究，给出了两个相关算例，结果与实际基本吻合。

It's this seed that proves to be elusive to the human mind.

它的种子，这证明是难以捉摸的人心。

The case of Energizer and Nanfu proves this point.

南孚公司与劲量公司的案例正说明了这一点。

In this paper, the author proves that the generalized Newton's method for finding me roots of an algebraic equation converges to the root, real or complex , nearest to the starting point. A tabulation method is then devised and used in four illustrative examples.

在本文内，作者首先证明了求代数方程根的推广牛顿法收敛于离出发点最近的一个根，其次设计了一种简单的列表计算法，最后通过四个例题说明用这种方法可以逐步接近代数方程的实根或复根。

The main problems researched in the dissertation and achievements are as follows: The dissertation explains the science background and the theoretical and actual meaning of the task. The progress and the problems of the flow imaging technique are briefly explained. The advantages of electrical capacitance tomography are discussed. The paper discusses the formation and operating principle of ECT, and builds up the definite mathematical model by detail theoretical analyse, and establishes the Finite Element Model of the system by changing the finite boundary value problem of ECT into equivalence variation problem according to variation principle. On the basis of the FEM of the system, the paper builds the finite element model of the capacitance sensitivity field distribution and programs its finite element simulation software and proves the validity of the FEM of the ECT from different aspects. With the FEM and the qualitative analyse of the effect of each structural parameter of the capacitance transducer on its capability, this paper optimizes the structural parameters of the capacitance transducer, and obviously improves its capability. The compare of the simulated result with the static experimental result shows that the error of them is less than 0.9%.

其主要研究内容包括：阐述课题研究的学术背景及其理论与实际意义，概括总结出流动层析成像技术的发展现状和存在的问题，指出电容层析成像技术的优点；讨论电容层析成像系统的组成及工作原理，进行详尽的理论分析，以变分原理为基础，将ECT的有限元边值问题转换为等价的变分问题，从而建立系统的有限元模型；在系统有限元模型的基础上，建立敏感场的数学模型，编制有限元的仿真软件，并从不同角度证明电容层析成像系统有限元模型的正确性；利用有限元模型，定性地分析电容传感器各结构参数对其性能的影响，并对传感器结构参数进行优化设计，使其性能得到明显的改善。8电极ECT系统的仿真和静态实验结果的比较表明，它们之间的相对误差小于0。

Based on the method of similarity measure, it proves that the equivalence relation of rough set can be transformed into fuzzy equivalence matrix comp.

在这种相似性度量方法基础上，证明了粗集的等价关系可以被转化为模糊等价矩阵。

Chapter 3, in the above system, gives out the definitions of topological new transitivity, topological transitivity, topological strong transitivity and topological conjugate of a sequence of maps, studies basic properties of the above topological conjugate, and obtains some main results, proves topological new transitivity and topological transitivity are equivalent u-under a compact metric space, a sequence of full maps and interchangeable with each other, and that some conclusions associated with topological conjugate.

第三章，在上述系统中给出了一列映射的拓扑新传递、拓扑传递、拓扑强传递和拓扑共轭的定义；研究了一列映射的拓扑共轭的基本性质，得到了一些主要结果；证明了在底空间是紧致度量空间、一列映射是满映射并且两两可交换的条件下拓扑新传递和拓扑传递是等价的；还证明了几个与拓扑共轭相关的结论。

The paper proves that the search process of the non-crossover genetic algorithm is an ergodic homogeneous Markov Chain. The proof of global convergence of NCGA is presented is this paper. The upper bound of convergence speed of the NCGA is the same as the CGA. The possibly of retain the promising genes of NCGA is larger than CGA.

对于本人可以找到的32种典型的非线性优化测试函数，应用无交叉算子遗传算法，与基于经典遗传算法相比，在相同的进化代数的条件下，NCGA同样取得了略优的收敛速度，在相同CPU计算时间上NCGA也取得略优的结果； 3 提出了复合算子遗传算法。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。