代数系统

In this paper, we discuss some kinds of special filters and congruence relation in fuzzy algebraic system MTL which is used extensively. The conceptions of the special filter are fuzzified in terms of the fuzzy set of Zadehs theories and further study them by way of logic algebra of n-value.

本文在具有广泛应用的模糊逻辑代数系统MTL-代数中，讨论了几类特殊滤子和同余关系，并且进一步用多值逻辑代数的方法研究它们。

Lattice implication algebra is an algebraic system combinating lattice with implication algebra.

格蕴涵代数是徐扬教授为研究格值逻辑把格与蕴涵代数相结合提出的一个代数系统。

OR-coincidence algebraic system has close relationship with modular algebraicsystem, so it is necessary to study this algebraic system.

或-符合代数系统与模代数系统有着密切的关系，对它的研究也成为热点。

The course contains four sections as follows: mathematical logic (including basic concepts of propositional logic and predicate logic, propositional calculuses and inference theories), set theory (including set algebras, relations, functions and cardinal numbers), algebraic structure (including algebraic systems, semigroups and groups, rings and fields, lattices and Boolean algebras), graph theory (including basic concepts of graph, Euler graphs and Hamiltonian graphs, trees, planar graphs and coloring graphs, some special vertex subsets and edge subsets).

本课程包含四部分内容：数理逻辑（包含命题逻辑与一阶逻辑的基本概念、等值演算以及推理理论），集合论（包含集合代数、二元关系、函数和基数），代数结构（包含代数系统、半群与群、环与域、格与布尔代数），图论（包含图的基本概念、欧拉图与哈密顿图、树、平面图及图的着色、图的某些特殊的顶点子集与边子集）。

With proving the isomorph between the function matrix algebra systems and the Boolean algebra s disjunction-conjunction systems,a method of extending the function matrix is proposed,and the expanding theorem of the extended function matrix is proven.

提出了功能矩阵的概念，在证明功能矩阵的代数系统与布尔代数析取合取代数系统同构的基础上，对功能矩阵进行扩展，并证明了扩展功能矩阵的展开定理；利用扩展功能矩阵逐步展开与约简，实现了功能的求解算法。

Iseki , this theory contact to be suffused with universal algebra, group theory, ring theory, lattice theory,Boolean algebra,set point topology, toplogical algebra etc. we have already obtained the large quantity result to the research of the BCK algebra.

Iseki引入的代数系统，这一理论联系到泛代数、群论、环论、格论、布尔代数、点集拓扑和拓扑代数等，对BCK代数的研究已经取得了一大批的研究成果。

Without the partial ordering relation and ordering structure, a conversant algebra system Boolean algebra is analyzed with a new point of view in this paper, which makes most concepts in discrete mathematical being understood more deeply.

在不涉及偏序关系和序结构的前提下，用一种新的观点剖析了一个熟悉的代数系统———布尔代数，加深了离散数学中代数系统的有关概念的理解和认识。

According to the rough structure and algebra structure, the main work is to study the application of rough set theory on algebra system-groups and rings in this thesis. So that rough algebra system is built better perfectly.

本文根据粗糙结构和代数结构，研究了粗糙集理论在代数系统——群、环上的应用，以此建立比较完善的粗糙代数系统。

In this paper,the main work is to extended the premitive model of rough sets;Accorting to the Rough structure and algebra structure,the main work is to study the application of rough set theory on algebra system-group,so that rough algebra system is better perfectly.

本文在现有的Pawlak粗糙集模型基础上，对模型进行推广；根据粗糙结构和代数结构及已有的研究成果的基础上，更进一步地研究了粗糙集理论在代数系统一群上的应用，以此建立较为完善的粗糙代数系统。

This paper also gives a numeral model of LCS problem by using string-coding function, and proves that the LCS problem can be treated as so_called Tomograph problem and be solved with algorithms and hardware suitable for Tomograph problem.

本文提出与LCS问题和一阶Unification问题对应的两种格代数系统，并用项图描述Unification问题，从而构造得到这两种格代数系统之间的同态，使得用求解LCS的算法和硬件求解一类Unification问题成为可能，给出基于LCS硬件的Unification求解器的原理方案。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。