查询词典 intersection 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.

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

Numerical control is transferred to the puncher of the tower (2, the intersection of processing and the intersection of board and pieces of the intersection of 1.25X3 and rice), the intersection of numerical control and the intersection of laser and cutting machine, the intersection of numerical control and plasma / the intersection of flame and cutting machine, numerical control roll over advanced apparatuses such as the curved machine (100TX3.2 rice),etc., there is ordinary puncher of large tonnage, while being ordinary, have spraying and electroplate craft at the same time, possess panel beating, machine add, weld and surface deal with, assemble the one-stop service, can meet to process demand is one comprehensive relatively better processing forming a complete set enterprise multi-level customer in an all-round way.

既有数控转塔冲床（2台，加工板幅1.25X3米）、数控激光切割机、数控等离子/火焰切割机、数控折弯机（100TX3.2米）等先进设备，又有大吨位普通冲床、普通折弯机和车、铣、刨、磨、线切割、弯管、卷圆、等离子切割等机械设备以及二保、氩弧、网焊等各类焊接设备，同时拥有喷涂和电镀工艺，具备钣金、机加、焊接、表面处理、装配一站式服务，能全面满足多层次客户的加工需求，是一家综合性较强的加工配套型企业。

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型重叠定理，最后给出新定理的一个应用。

Concept of compound geometric design for at-grade intersection is presented, and in functional, economic and environmental concept's way at-grade intersection's geometric design is elaborated. Qualitative and quantitative research is provided for intersection's channelized and flared design, including detailed analyses for pocket lane, crossway and traffic island. When conventionally channelized design of signalized intersection isn't possible or these effects are poor, an unconventional geometric design for intersection is brought out and 5 kinds of modes are systematically studied. An example is illustrated to urban signalized intersection compound design's splendid future and deep importance.

对平面交叉口提出复合型几何设计理念，从功能理念、经济理念和环境理念出发研究信号交叉口的几何设计，对交叉口拓宽渠化设计中关键技术环节（专用车道、人行横道和交通岛）进行详细定性和定量分析；针对不允许进行渠化设计或渠化设计效果不佳的信号交叉口，结合交叉口的相关道路设施提出了非传统设计方法，并建立和分析了典型的5种非传统设计模式；同时结合事例说明复合型几何设计理念在城市信号交叉口设计的崭新前景和重要意义

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 不动点的算法；定义在紧凸集上的连续映射不一定有不动点，但一定有最近点，最近点是不动点概念的推广，我们给出了计算最近点的算法；集值映射变分不等式尚无有效的求解算法，我们给出求解一类集值映射变分不等式的算法。

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-凸空间中极大极小不等式和鞍点定理；进一步，还可以探讨不动点定理和截口定理，极大元定理和抽象经济的平衡存在性等问题。

In order to relieve urban traffic congestion and the supply-demand contradiction of oversaturated intersection group,based on the idea and method of system engineering,model oversaturated intersection group system which is composed of oversaturated intersection subsystem,through system function analyzing,identify the optimization object of system function,establish the optimization model of oversaturated intersection group,present solving strategy of the optimization model,achieve global optimization of oversaturated intersection group system.

为缓解城市交通拥堵以及过饱和交叉口群的交通供需矛盾，基于系统工程的思路和方法，构建了由过饱和交叉口子系统构成的过饱和交叉口群系统模型，并通过系统功能的分析，明确了系统功能的优化目标，建立了过饱和交叉口群系统优化数学模型，并提出了优化模型的求解策略，以实现过饱和交叉口群系统的全局最优化。

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链也是逻辑有效的。

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-空间中证明了一些新的重合点定理和不动点定理。

The problem of a curved rigid line or crack crossing the interface of the circular inclusion are studied by the principal part analysis method of Cauchy type integral equation. The singular stress index at the intersection and the singular stress at the angular regions near the intersection are obtained. The singular stress coefficients of rigid line at intersection and the stress intensity factors of crack at intersection are defined by using the singular stress.

利用Cauchy型奇异积分方程的主部分析方法对曲线型刚性线和曲线裂纹和圆夹杂界面的相交问题进行了研究，得出刚性线以及裂纹和界面交点处的奇性应力指数以及交点处角形域内的奇性应力，并利用奇性应力分别定义了刚性线在交点处的应力奇异因子和裂纹在交点处的应力强度因子。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。