同格

The rhythm in music is composed of one stressed tempo and two stressed tempos. There are five combinations of them in practical use: Iamb, anapest, trochee, dactyl, amphibrach.

节奏被看成是模式，它的基本单位是由一个强拍加上一两个弱拍而组成的，在实践中，这些弱拍同强拍相结合，导致出五种不同类型的节奏组：抑扬格，抑抑扬格，扬抑格，扬抑抑格，抑扬抑格。

Through constructing a counterexample it is showed that there is a non distributive complete lattice in which a component of some element with finite width is not finite wide....

通过构造反例证明了在非分配的完备格中，有限宽元素的成分不必是有限宽的；还证明了完备格间的同构映射能保持颗粒表示性质和颗粒性质，通过反例证明了同构映射的条件不能减弱，从而解决了以上两上问题。

We confess, then, our lord Jesus Christ, the only begotten Son of God perfect God and perfect man of a rational soul and a body, begotten before all ages from the Father in his godhead, the same in the last days, for us and for our salvation, born of Mary the virgin, according to his humanity, one and the same consubstantial with the Father in godhead and consubstantial with us in humanity , for a union of two natures took place.

我们承认，那麼，我们的主耶稣基督，唯一的独生子上帝完美的上帝和完美的人一个合理的灵魂和身体，生之前，所有年龄的父亲在他的神格，同样在过去的几天，我们和为我们的拯救，生於童贞玛利亚，根据他的人类，同一个同质同父亲在神格和同质同我们人类，为两个联盟的性质发生了。

A special kind of prime dual ideals are defined in a lattice implication algebra, then their structures and properties are discussed. It is proved that the implication operation on this lattice implication algebra is determined by these prime dual ideals, and all of these prime dual ideals compose a lattice implication algebra which is lattice implication isomorphic to the former lattice implication algebra.

在格蕴涵代数中定义了一类特殊的素对偶理想，讨论了它们的结构和性质，证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所确定，并且这些特殊的素对偶理想全体自然地构成一个格蕴涵代数，它和原格蕴涵代数具有格蕴涵代数同构关系。

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

And decompose the probability into the product of a fuzzy lattice homomorphism and a fuzzy lattice modular homomorphism.

并将概率分解成Fuzzy格同态与Fuzzy格模同态的乘积。

In chapter two of this paper, we introduce the transitivity, which is an important definition in the 1-permutation group.

在第三章，我们介绍了格序置换群的凸同余，并研究了可迁格序置换群的凸同余与块所决定的可迁格序置换群的分类；讨论了可迁格序置换群的凸同余和块的性质以及它们之间的关系。

Since there is a close connection between principal filters and the smallest complete semi-lattice congruences on a po-semigroups, the study of the structure of filters has attracted a number of authors. For example, Kehayopulu, Xie X.Y, Cao Y.

在偏序半群中，由于主滤子同最小完全半格同余乃至完全半格同余有着密切的联系，又主滤子在偏序半群结构的研究中起到至关重要的作用，因而对滤子结构的研究吸引了众多学者的关注。

At the beginning the representatives of elementary rectangular band of E-unitary in-verse semigroups is studied, with the congruences on lattices and on completely simplesemigroups the congruences and congruence lattices on elementary rectangular band ofE-unitary inverse semigroups are described.

首先研究了E-酉逆半群基本矩形带的结构表示形式，用半格上的同余和完全单半群上的同余刻画了E-酉逆半群基本矩形带的上的同余和同余格。

Secondly, in a more generalized framestructrue--lattice-ordered monoids,the notion of lattice-valued Mealy-type automata is introduced,we traverse some algebraic properties of this automata and investigate the congruences and homomorphisms of this type automata.Our main results indicate that the algebraic properties of lattice-valued Mealy-type automata have Close links to the algebraic properties of lattice-ordered monoids which automata take values in.Futhermore we study the minimization of lattice-valued Mealy-type automata and provide an algorithm to achieve the minimal lattice-valued Mealy-type automata within finite steps.

其次，在更一般的框架—格半群意义下，提出具有输入和输出字符的自动机——格值Mealy自动机的概念，从代数角度出发较详细地研究了此类自动机具有的性质，同时研究了此类自动机的同余和同态，揭示了此类自动机的代数性质和格半群的紧密联系，最终研究了格值Mealy自动机的极小化问题，并给出了在有限步可实现此极小化的算法。

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万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐