扑

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、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

The set of divergence points is defined as following : we obtain that either all has the same limiting point or the topological entropy of the divergence points is as big as the whole space x .

我们得到如果不是所有的点x x ，{ l _ nx }有相同的极限点，则d的拓扑熵和整个空间的拓扑熵相同。

It is shown that an exponentially bounded integrated bisemigroups can be considered as the integration of a strongly continuous bisemigroup of bounded linear operators in some subspace of a Banach space with stronger norm topology,and also as the restriction of a strongly continuous bisemigroup of bounded linear operators in a bigger space with weaker norm topology.

证明了Banach空间x上的指数有界积分双半群可以作为x的某个子空间上具有较强范数拓扑下的有界线性算子强连续双半群的积分，同时也可作为较大空间上具有较弱范数拓扑下的有界线性算子强连续双半群积分的限制。

If one day, you receive an e-mail link Mop or QQ group was made a cat inside the head link, you will doubt it?

如果有一天，你收到一封包含猫扑链接的邮件或者QQ群里面有人发了猫扑链接，你会怀疑吗？

Moreover, it is obtained that, if X is a core compact and locally connected space, then the Isbell and Scott topologies agree on functions space for all continuous L-Domain L with a least element if and only if X is an RW-space.

而且还证明了，若X是核紧的局部连通空间，则对所有有最小元的连续L-DomainL，上的Isbell拓扑和Scott拓扑相同当且仅当X是RW-空间。

A novel feature recognition method based on part modeling process which was recorded by way of macro command in CAD systems was proposed herein: geometry and topology entities which produced by single modeling process were analyzed in the single feature recognition process and all features in part were recognized based on step by step strategy.

每次特征识别仅对单个建模过程中的几何实体和拓扑实体进行分析，逐一识别零件模型的所有特征，有效避免了传统方法对零件模型的全部几何实体和拓扑实体进行特征识别存在的缺陷。

parametric vector equilibrium problem ; moving cone ; solution mapping ; continuity

并始终假设下列条件成立：A是一个拓扑空间；X和Z均为拓扑向量空间；集值映射D：A→2X，t∈A，D是X中的非空紧凸子集

In the same way, a Four-coloring of a maximal planar graph of 25 order G(subscript M25), is obtained with "simplified method of reduction of order".

利用"简化降阶法"对一个一定拓扑结构的12阶最大平面图G(下标 M12)进行着色，得到G(下标 M12)的四色着色方案；以同样的方法对一个一定拓扑结构的25阶最大平面图G(下标 M25)进行着色，得到了G(下标 M25)的四色着色方案。

In this paper, the concept of a WF - fuzzy metric space is introduced.

描述了WF-模糊度量空间的模糊拓扑结构和分明拓扑结构； 3。

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度量空间等的性质研究，得到了一系列重要的结果。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。