同余关系

The interrelationship between several basic categories in fuzzy topology is made clear in terms of co-tower extension of topological constructs. It is shown that for ever completely distributive lattice L,the the category of L-fuzzifying topological spaces is isomorphic to the cotower extension of the category of topological spaces, and it can be embbedded in the category of L-topological spaces as a simultaneously reflective and coreflective subcategory.

用拓扑范畴的co-tower扩张的概念厘清了不分明拓扑中若干基本范畴之间的关系，证明了对任意完全分配格L， L-模糊化拓扑空间范畴同构于拓扑空间范畴的co-tower扩张，并且可作为一同时反射余反射子范畴嵌入L-拓扑空间范畴中。

WT9.BZ: Theory of generalized tautology in logic system , W and W k is generalized and applied to Lukasiewicz logic system. The main results are as follows: congruence about on set of logic formulas F has been obtained in the system; it is proved that in this system, for any irrational number α, there does not exist accessible α-tautology; and for any real number α, there does not exist accessible α+-tautology; and the relation theorems have been given between categori...

将逻辑系统 W ，W ，Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中，主要结果是：得到了逻辑公式集F在该系统中关于﹁同余的分划；证明了在该逻辑系统中对每个无理数α而言，不存在可达α重言式，且对每个实数α而言，不存在可达α+重言式；给出了广义重言式、广义矛盾式各类之间的关系定理。

At first, the principle of algebraic quadratic congruence mapping is analysed, and then limitation of odd-even protection and shift computation are added to the mapping of interleaver.

首先分析算术二次同余映射的原理，然后在此基础上对交织器的映射关系加以保奇偶序限制和移位运算，从而得到两个改进型的算术映射交织算法。

Finally this paper consideres an applicable case-the symbolic transition graph,then the generalized symbolic observation graph SOG and symbolic congruence graph SCG can be finite,so authors' algorithm is feasible for weak bisimulation and observation congruence.

此时由符号双迁移关系生成的符号观察图和迟符号同余图必为有穷图，因而我们的弱互模拟等价算法是可行的。

A Green's relation of the a dditive redect of an idempotentsemiring S is a congruence of the semiring S, but Green's relation of the multiplicative redect of S need not be.

幂等元半环S的加法半群上的Green关系是半环S的同余，然而S的乘法半群上的Green关系未必是S上的同余。

In this paper, we discuss some recurrence relations and congruence properties of Bell polynomial, and give a class of recurrence relations satisfied by GSN pairs. Furthermore, we givethe definition of extended GSN pairs Gand G, so we unify the binomial coefficients, Gaussian coefficients, and Stirling numbers. We provide urn ,models for G(n,k|w,0) andG(n,k|0,w).

在这篇论文中，我们讨论了Bell多项式中的递归关系和同余问题，给出了广义Stirling数对的一类递归关系式，提出了扩展的GSN对G和G的概念，统一了二项式系数、高斯系数和Stirling数，并利用模型对G和G进行了组合解释。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。