正规

We have introduced in [1] the concept of the normal fuzzy set structure which is a characterization and generalization of fuzzy set theory and we have proved that any one normal fuzzy set structure is a Boolean-valued model of the axiomatic set theory ZFa with urel...

本文是对文献[1]的一种阐明，详细地阐明了正规弗晰集合结构与弗晰集合论中的一些基本概念之间的联系与转换，同时引进了正规弗晰集合结构的序数、基数等基本概念。

We have introduced in [1] the concept of the normal fuzzy set structure which is a characterization and generalization of fuzzy set theory and we have proved that any one normal fuzzy set structure is a Boolean-valued model of the axiomatic set theory ZFa wit...

本文是对文献[1]的一种阐明，详细地阐明了正规弗晰集合结构与弗晰集合论中的一些基本概念之间的联系与转换，同时引进了正规弗晰集合结构的序数、基数等基本概念。

In this paper we acquaint the reader first with the algebraic semantics which is corre-sponding to the Kripke's semantic having nested domaius. By an application of the completenesstheorem on relational semantics of the quantified normal modal systems with nested domains proved in Hughes and Cresswell's method to prove a completeness theorem on relational algebraic semantics of those system. Next for normal systems with semantics which admits arbi-trarily variable domains we use Henkin's method to prove a c...

本文首先讨论嵌套论域语义的相应代数语义并由Hughes和Cresswell在［5］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Henkin方法给出其关于狭义Kripke语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。

He has proved that most, if not all, the connected cubic G-arc-transitive Coset graphs on the finite nonabelian simple groups are normal, further, has given bounds of the full automorphism on this kind of graphs.

利用陪集图的正规性可以给出某类图的全自同构群的界，且可以得到某类群具有陪集图表示的充分条件[2]，另外陪集图的正规性对于求给定群的最小级陪集图表示具有重要作用[3]。

Let F=LF be a s-closed local formation such that every minimal non-F-groups is solvable. It is proved that 1 If every cyclic subgroup of of order 4 and every minimal subgroup of G are contained in, then G is a F-group. 2 If there exists a normal subgroup N of G such that G/N∈F and every cyclic subgroup of N of order 4 is weakly c-normal in G and every element of N of prime order is contained in Z(superscript f subscript ∞), then G is a F-group.

设F=LF是一个子群闭的局部群系，满足每个极小非F-群是可解群，证明了：1如果G的任意极小子群和任意4阶循环子群都含于Z中，那么G是F-群；2如果存在G的正规子群，使得G/N∈F，且N的任一4阶循环子群在G中弱c-正规，N的任一素数阶元含于Z中，那么G是F-群。

In Chapter two, a pioneers growth condition is weakened about analytic Dirichlet series, and an equivalent condition about regular growth in the whole plane is obtained.

第二章减弱了前人提出的关于解析Dirichlet级数的增长性的条件，给出了整Dirichlet级数的正规增长性的等价条件，同时还讨论了有限ρ级Dirichlet级数准确级的增长性和正规增长性，得到了更好的结果。

In this paper, the mutual relations of these additional conditions are investigated systematically and clarified. It is proved that each one of these conditions implies distributivity. Furthermore, the mutual relations of normal residuated lattices, subnormal residuated lattices, BL-algebras and sub-BL-algebras and that they are all distributive lattice are known.

本文系统研究并弄清了这些附加条件相互之间的关系，证明了它们中的每一条都蕴涵着分配性，从而知道了正规剩余格、次正规剩余格、BL-代数、次BL代数相互之间的关系，并且它们都是分配格。

As a consequence, we make a conclusion that the dual Toeplitz operator is normal if and only if the range of the symbol lies on a line.

在此基础上研究了对偶Toeplitz算子的正规性，得到了对偶Toeplitz算子是正规算子的充分必要条件。

Many scholars have studied these respects and given many important results, for example, the Hupperts famous theorem, namely, a finite group G is supersolvable if and only if every maximal subgroup of G has prime index; a finite group G is nilpotent if and only if every maximal subgroup of G is normal in G; a finite group G is solvable if and only if every maximal subgroup of G is c-normal in G (See it in [70]); etc.

很多学者都在这些方面进行了研究，得到了很多重要的结果，如：著名的Huppert定理，即有限群为超可解当且仅当它的所有极大子群的指数为素数；有限群为幂零当且仅当每个极大子群都正规；有限群为可解当且仅当它的极大子群均c-正规(见[70])；等等。

By finding a set of basis, we use matrices of transformation under a set of basis to describe the structure of the Galois group.

因此寻找一组基，我们利用线性变换在基下的矩阵来描述Galois群的结构，特别地，当正规扩张存在一组正规基时，用这种方式表示Galois群的更加简单。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐