查询词典 matching theorems

Chapter one has introduced the background and classification of minimax theorems; Chapter two summarizes several proof method of minimax theorems, which are illustrated with examples; Chapter three has explained the development general situation of minimax theorems for a function and for two functions with chapter four respectively, and according to the classification of the theorem, has illustrated some important conclusionses in quantitative minimax theorems, topological minimax theorems and quantitative-topological minimax theorems separately.

第一章介绍了极大极小定理的背景及其分类；第二章总结了极大极小定理的几种证明方法，并举出例子进行说明；第三章和第四章分别阐述了单函数的极大极小定理和两个函数的极大极小定理的发展概况，在第三章中，按照极大极小定理的分类，分别对数量极大极小定理，拓扑极大极小定理和数量拓扑极大极小定理的一些重要结论作了介绍。

On the base of finishing image matching, Aiming at the fact that sequence image matching and binocular stereo image matching simultaneously exists in three dimensions movement analyses based on point feature, The method of double matching restrict combining sequence and stereo image matching is brought forward in matching distinctness stage after researching and anglicizing the character of sequence matching and stereo image matching in processing.

在完成图象匹配的基础上，针对基于点特征的三维运动分析中，同时存在序列、立体图象匹配问题，研究分析该过程不同匹配的特点，提出了序列、立体匹配相结合，分阶段的双匹配约束方法。

In chapter three, we prove that there exist solutions to the Ky Fan variation inequality, as the set-valued mappings are defined on spheres in infinite dimensional Banach spaces or odd dimensional Euclidean spaces, following from these theorems, we obtain some fixed point theorems for set-valued mappings defined on a sphere. When G is an approximate compact convex subset of E, or G is a almost quasi-convex set-valued mapping, we prove that there exist solutions to and type generalized Ky Fan variation inequality, following these theorems, we prove several best approximation theorems and coincidence theorems involving two set-valued mappings and two different spaces. In chapter four, we first present a new Simplicial algorithm for computing the Leray - Schauder fixed points, the algorithm can solve the set-valued nonlinear complementarily problem. We give a condition to guarantee the computation proceeding in a bounded region. We present integer-labeling algorithms for computing fixed points of some set-valued mappings, the best approximation points and solutions to a kind of set-valued variation inequalities.

第四章给出了计算定义在非凸集上的非自映射的Leray-Schauder不动点的算法，而现有的不动点算法都是计算凸集的上半连续集值自映射的不动点；给出了保证计算有界的一个充分条件，我们的条件大大弱于Mdrrill条件，我们的算法也可用来计算Eaves不动点；给出了集值非线性互补问题存在解的一个充分条件，此时可利用Leray-Schauder不动点算法来求解；向量标号算法以往是计算集值映射不动点的唯一有效算法，我们给出用整数标号算法计算一类集值映射的Kakutani 不动点的算法；定义在紧凸集上的连续映射不一定有不动点，但一定有最近点，最近点是不动点概念的推广，我们给出了计算最近点的算法；集值映射变分不等式尚无有效的求解算法，我们给出求解一类集值映射变分不等式的算法。

This thesis consists of five chapters. At first, We introduce the study history as well as present situation on KKM theory. Secondly, We discuss the invariability of transfer open valued multimap under the restriction of upper and lower semicontinuity on generalized convex spaces. Then, We obtain new KKM type theorems from the classical KKM theorem by applying upper and lower semicontinuity. We also obtain intersection theorems by applying the KKM type theorems for a multimap from a topological space to another topological space. Further, We obtain Ky-Fan type coincidence theorem by applying known variational results on the KKM type theorems. Finally, We give an application to new theorems.

本文共分五章，首先回顾了KKM理论的研究历史和现状，其次讨论了在一般化凸空间上转移开值映射在上、下半连续映射下的不变性，然后在上、下半连续映射下，以古典的KKM定理为基础得到新的KKM型定理，并利用从一个拓扑空间到另一个拓扑空间的集值映射及KKM型定理得到相交定理，进一步利用已知的KKM型定理的变形结论得到Ky-Fan型重叠定理，最后给出新定理的一个应用。

As a application of the above results, some minimax inequalities and saddle point theorems can be obtained. In addition, fixed point theorems and section theorems, maximal element theorems and the existence theorems of equilibrium for abstract economies can also be discussed.

作为应用，可以得到L-凸空间中极大极小不等式和鞍点定理；进一步，还可以探讨不动点定理和截口定理，极大元定理和抽象经济的平衡存在性等问题。

The fundamental properties of the system K are studied,and it is pointed out that All theorems of the system L are theorems of the system K.Some important theorems about quantifiers are obtained.Moreover,the following results also are proved that all instances of substitution in the system K of tautologies of the system L are logically valid for any R0 chain,the soundness theorem and strong soundness theorem hold in the system K,i.e.,all theorems ofthe system K also logically valid for any R0 chain.

其次，研究了系统K*的基本性质，指出了系统L*的定理都是系统K*的定理，给出了系统K*与量词有关的一些重要定理，证明了系统L*的重言式在系统K*中的代换实例都是系统K*中关于任何R0链的逻辑有效公式；系统K*的可靠性定理成立，即系统K*中的定理关于任何R0链也是逻辑有效的；系统K*的强可靠性定理也成立，即系统K*在任何理论T下的定理关于任何R0链也是逻辑有效的。

It solves the problem that the unitary contour presentation can not correctly extract face contour in a face image which suffers from scale, rotation etc. The definition of the internal and external energy function is provided. At the same time, the global matching algorithm and local matching algorithm is given. The experiment shows that this presentation and the accompanying matching algorithm can be used to extract the face contour very well. So the image segmentation can be implemented by using it.②By analyzing the recognition principle of PCA method, we can conclude that the face images coming from different surrounding consist of different face image space. This is the essential reason that makes the generality of PCA method worse. Also, we give a measurement means to measure the distance from different face image space, so we can analyze face image space more conveniently.③We also construct various scale models and rotation pose models to detect the scale and rotating angle of face image to be recognized. The experiment results show that the detecting precision is very high. So it is good for face image feature extraction and face image representation.④Similarly, we construct local feature models of face image and utilize them to detect the local feature of face image. At the same time, we put forward a novel face image local feature detection algorithm, locating step by step. The experiment results show that this method can accurately detect the location of local face feature in a image.⑤A novel face image presentation model, dual attribute graph , is put forward. Firstly, it utilizes attribute graph to present the face image, then exact the local principal component coefficient and Gabor transform coefficient of thc pixels which corresponds to the nodes of the graph as the attribute of the nodes. This representation fully makes use of the statistical characteristic of the local face feature and utilizes Gabor transform to present the topographical structure of face image. So DAG has more general property.⑥Based on the DAG presentation, we give a DAG matching function and matching algorithm. During the design of the function and algorithm, the noise factor, e. g., lighting, scale and rotation pose are considered and tried to be eliminated. So the algorithm can give more general property.⑦A general face image recognition system is implemented. The experiment show the system can get better recognition performance under the noise surrounding of lighting, scale and rotation pose.

本文在上述研究的基础上，取得了如下主要研究成果：①构造了一个通用的人脸轮廓模型表示，解决了由于人脸图象尺度、旋转等因素而使得仅用单一轮廓表示无法正确提取人脸轮廓的问题，并给出了模型内、外能函数的定义，同时给出了模型的全局与局部匹配算法，实验表明，使用这种表示形式以及匹配算法，能够较好地提取人脸图象的轮廓，可实际用于人脸图象的分割；②深入分析了PCA方法的识别机制，得出不同成象条件下的人脸图象构成不同的人脸图象空间的结论，同时指出这也是造成PCA方法通用性较差的本质原因，并给出了不同人脸空间距离的一种度量方法，使用该度量方法能够直观地对人脸图象空间进行分析；③构造了各种尺度模板、旋转姿势模板以用于探测待识人脸图象的尺度、旋转角度，实验结果表明，探测精确度很高，从而有利于人脸图象特征提取，以及图象的有效表示；④构造了人脸图象的各局部特征模板，用于人脸图象局部特征的探测；同时提出了一种新的人脸图象局部特征探测法---逐步求精定位法，实验结果表明，使用这种方法能够精确地得到人脸图象各局部特征的位置；⑤提出了一种新的人脸图象表示法---双属性图表示法；利用属性图来表示人脸图象，并提取图节点对应图象位置的局部主成分特征系数以及Gabor变换系数作为图节点的属性，这种表示方法充分利用了人脸图象的局部特征的统计特性，并且使用Gabor变换来反映人脸图象的拓扑结构，从而使得双属性图表示法具有较强的通用性；⑥在双属性图表示的基础上，给出双属性图匹配函数及匹配算法，在函数及算法设计过程中，考虑并解决了光照、尺度、旋转姿势变化等因素对人脸图象识别的影响，使得匹配算法具有较强的通用性；⑦设计并实现了一个通用的人脸图象识别系统，实验结果表明，该系统在图象光照、尺度、旋转姿势情况下，得到了较好的识别效果。

According to the spline theory we presented a shape matching algorithm based on the similarity matrix of curvature and torsion values of 3D curve, we reduced the 3-D curve matching task into a 1-D string matching problem, which makes the matching more veracious and can be used on the 2D or 3D curve matching.

周期性离散曲率函数具有和原有曲率相似的位移、旋转、缩放等特性，为提高匹配的准确度，利用高斯函数进行平滑处理，取得了较好的结果，同时该方法具有直观、速度快等优点，在2D轮廓曲线的匹配中，具有实用可靠的用途。

This paper presents the new bound theorems in structural limit analysis developed on the basis of the generalized variational principle. The approximate limit factors determined from the new bound theorems are closer to the exact limit factor than the ones obtained from the classical bound theorems.

本文给出在极限分析的一般变分原理[1]的基础上发展起来的极限乘子的新的上、下限定理[10]，由这个新的上、下限定理决定的极限乘子的上、下限比经典的上、下限定理给出的更为靠近准确解。

At first, we establish some new KKM type theorems involving admissible set-valued mappings and the set-valued mapping with compactly local intersection property in FC-spaces. As applications, some new coincidence theorems and fixed point theorems are proved in FC-spaces.

首先，在FC-空间中得到了涉及容许类集值映射和具有紧局部交性质的更为一般的KKM 型定理，作为应用，在FC-空间中证明了一些新的重合点定理和不动点定理。

This is the inheritance of the tribe of the children of Issachar according to their families, the cities and their villages.

19：23 这些城并属城的村庄就是以萨迦支派按着宗族所得的地业。

I've have enough of your garbage.

我听了你的废话。