查询词典 excision isomorphism

The isomorphism decision method is presented for the topological graph.

2针对基于功能离散法的拓扑图，提出相应同构判定方法。

Formal concept analysis; concept lattice; formal context; isomorphism

形式概念分析；概念格；形式背景；同构

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

As different economic policies and the level of economic development generated by the gap between rich and poor as well as the expansion of inter-regional imbalances, such as the phenomenon of local protectionism, industrial isomorphism, redundant construction, the local government authority, have become more apparent.

由于不同的经济政策和经济发展水平所产生的贫富差距以及地区间不平衡的扩大，地方保护主义、产业同构、重复建设、地方政府权限的扩张等现象日益凸现。

In addition to the black-white double-lobe caused by the displacement field around pores, we demonstrate that LSC should correspond to a novel, peculiar class of anti-phase domain, of which the interior is a local isomorphism with a non-zero phason-type displacement ε〓w〓 i.e.

利用这个结果，我们发现黑白双瓣衬度是二十面体准晶中的多面体微孔引起，而环形衬度则对应于一种二十面体准晶中新奇的反相畴界，其两侧是由相位子型位移ε〓w〓＝B〓联系着的局域同晶类。

Yu introduced in 1997 the localization Roe algebras , and shown that, to attack the Coarse Baum-Connes Conjecture, it suffices to prove that the local index map is an isomorphism from the coarse K-homology to the K-theory of the localization Roe algebras.

Yu受热方程方法的启发，引入局部化Roe代数，把粗Baum-Connes猜测的证明归结为证明从粗化K-同调群到局部化Roe代数的K-理论群的局部指标映射为同构。

In this paper, we continue thestudy of Jordan multiplicative maps, Jordan triple multiplicative maps, elementarymaps, Jordan-triple elementary maps, Lie-skew multiplicative maps, Lie and Jordanderivation, 2-local isomorphism, local derivation and 2-local derivation on some operatoralgebrac.

这些算子代数包括一类非常重要的非自伴非半单非素的算子代数，即套代数。

This paper has firstly defined the factor struture M/P of commutatiuely residual monoid M by its sub-monoid P, then we have studied its properties and given out some isomorphism theorem.

本文首先定义了交换剩余幺半群M相对于其子半群P的商结构M／P，然后研究了它的性质并给出了一些同构定理。

The article applies the multivector algebra which is isomorphism with the real Dirac algebra in the real space-time adopted by Venzo de Sabbata to the contact number of set pair analysis, and consequently, t...

试图将VenzodeSabbata教授所采用的与Dirac代数同构的实时空中的多重向量代数应用于集对分析中的联系数，从而相应地推广了联系数的范畴。

Fries also embarks from the person and the natural isomorphism relations, summarizes summarizes the myth four kind of narration patterns.

弗莱还从人与自然的同构关系出发，总结概括出神话的四种叙述模式。

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。