查询词典 topological structure

In order to exploring the comprehensive methods of plan of transmission of four planetary line gearbox,this paper theoretically integrated the planetary transmission schemes by applying topological diagram s,and studied the comprehensive method of the transmission scheme topological diagram s of four planets.

为了探讨四档位行星变速箱传动方案综合方法，应用图论理论综合行星齿轮变速箱传动方案，研究了4个行星排变速箱传动方案拓扑图综合方法，该方法通过4个行星排拓扑图中基本构件的不同方式的相互结合，能综合出不同的变速箱传动方案；推导了依据给定的变速箱外传动比，计算了每个行星排内传动比的表达式，并编写了计算机辅助综合变速箱传动方案软件。

This paper emploies a collection of discrete and limit topological events which simulates topological changes of Delaunay diagrams,the dual graph of Voronoi diagrams,to realize maintaining Voronoi diagrams of moving points.

通过一组离散的，有限的事件序列对其对偶图Delaunay图拓扑改变过程的模拟来实现对移动点Voronoi图拓扑结构的维护。

Secondly, it minimizes the above energy functional by Lagrangian algorithm to obtain the accurate edge. In order to make this technique be with the topological adaptability, we propose an efficient topological technique, which is based on the change of region Euler number.

与现有参数型围道方法相比，参数B样条型基于MDL的围道方法是性能最好的方法之一，具有抗噪性能强，定位精度高，可以分割出模糊不清目标的有意义边界，具有拓扑自适应性且拓扑自适应处理方法简单，以及人为干预少等优点。

In the first part, the concepts of the completely normal spaces and strong completely normal spaces in L-topological spaces are defined, which are the generalization of the completely normal spaces in general topological spaces. They are some good properties such as hereditary, weakly homeomorphism invariant properties, good L-extension, but they arent producible in general.

第一部分的主要内容如下：第一部分这一部分是将一般拓扑学的完全正规分离性的概念推广到了L-拓扑空间，给出了L-拓扑空间的完全正规分离性和强完全正规分离性的定义并讨论了它们的若干性质，比如，它们都是可遗传的，弱同胚不变的，"Lowen意义下好的推广"等。

Then it's hopeful for us to inquire into the problem of topological classification of topological spaces,not being confined to their homotopy classification.

这篇文章就将利用平环和M|¨bius带三角剖分导出的复杂网络的研究成果来猜测新的拓扑不变量。

In thisthesis, we first extend the vanishing theorem due to Lawson, Simons and Xinto the case of compact submanifolds of a hyperbolic space. Thus, by using thenew vanishing theorem for homology groups, we prove the topological spheretheorem for complete submanifolds in a hyperbolic space. Hence we generalizethe Shiohama-Xu topological sphere theorem.

本文进一步将Lawson-Simons-Xin同调群消没定理拓广到双曲空间中紧致子流形的情形，并运用这一新的同调群消没定理证明了双曲空间中完备子流形的拓扑球面定理，从而推广了Shiohama-Xu的拓扑球面定理。

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

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

This paper generalizes the result of topological linearization. The topological linearization of the system is discussed.

对非自治系统的拓扑线性化理论进行扩展，讨论了系统的线性化。

According to the existence results of general equilibrium problems and vector equilibrium problems have been studied more and more. Inspired and motivated by these research results, this paper is devoted to study systematically a class of equilibrium problems, which is unify and extension of a large number of known equilibrium problems and variational inequalities problems. The research is carried on from three aspects.Firstly, in finitely continuous topological spaces, we introduce four new types of the system of generalized vector quasi-equilibrium problems, and we derive some existence results of a solution for the system of generalized vector quasi-equilibrium problems via the maximal element theorems in product finitely continuous topological spaces.Secondly, in complete metric spaces, we provide the Ekeland variational principle to equilibrium problems with set-valued maps. And via the Ekeland variational principle, existence results for vector equilibrium problem with set-valued maps and the system of vector equilibrium problem with set-valued maps.

针对一般的均衡问题和向量均衡问题解的存在性，已有许多研究成果，受这些成果的启发，本文主要从理论上较为系统地研究了一类均衡问题，它统一和推广了许多已有的均衡问题和变分不等式问题，研究分有三个方面；首先，在有限连续拓扑空间中，我们提出了四类广义向量拟均衡系，并借助于有限连续拓扑空间中的极大元定理讨论了这四类均衡系问题的解的存在性问题，然后，在完备度量空间中，我们给出了关于集值均衡问题的Ekeland变分原理，并利用Ekeland变分原理分别讨论了集值向量均衡问题和集值向量均衡系问题的解的存在性。

"Please accept this talisman as a token of our thanks."

请收下这个护身符以表达我们的感谢。

If I have that magic, I will be more acceptable in the society.

如果我拥有那种魔法，我将更加被这个社会所容纳。