查询词典 underlying topological space

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带三角剖分导出的复杂网络的研究成果来猜测新的拓扑不变量。

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变分原理分别讨论了集值向量均衡问题和集值向量均衡系问题的解的存在性。

Some important properties of L-topological spaces, induced topological spaces, fuzzy real lines and fuzzy metric spaces in topology on lattices are obtained.

在格上拓扑中，对L-拓扑空间、诱导拓扑空间、fuzzy 实直线和fuzzy度量空间等的性质研究，得到了一系列重要的结果。

Lacking necessary metrization, RCC only describe spatial topological relations roughly without further accurateness, and it is also not easy to describe spatial relations such as distance, direction and so on, with the exclusion of topological relation.

但由于缺乏必要的度量，RCC只是粗略地描述空间拓扑关系而难以对其更准确地描述，也难以利用RCC描述除拓扑关系之外的其它空间关系，如距离、方向等。

Using the local notions of entropy: entropy tuples and sequence entropy pairs, we characterize the structures of a topological K-system and a topological null system.

借助于熵串和序列熵对，刻画了拓扑K系统以及拓扑null系统的结构。

A carrier gas such as nitrogen is directed through line 20 and valve 22 to connect with line 26 and mix with the gas sample.

如氮气之类的载体通过管线20和阀22引入，与管线26相通，与气体样品混合。

But for the most part, knaves and parasites had the command of his fortune

然而支配他的家产的大多是恶棍和寄生虫。