查询词典 algebra system

Based on the methods and techniques of covering theory, the structure of module category of tame concealed algebra, one-point extension, vector space category, finite enlargement, degeneration theory, stable equivalence and combinatorial method, we will classify all of the three-point algebras with Gabriel quiver the system quiver Q according to representation type. We get the classification theorem: Let A=kQ/I be a three-point algebra given by the system quiver Q.

本文综合利用覆盖理论，tame concealed代数模范畴的结构，单点扩张，向量空间范畴，有限enlargement，退化理论，稳定等价以及组合的方法等多种方法和技巧，将所有由系统箭图Q给出的三点代数按表示型进行分类，得到如下分类定理：Q是系统箭图，I是kQ的一个admissible理想。

Associated it we define a root system. In a suitable condition we define a Lie algebra to realize this root system, namely, using an Euler cocycle given by intersection matrix, we define an infinitely dimensional vector space with the Lie operation becomes a Lie algebra.

在适当的条件之下，我们给出了该根系的一个李代数实现，即利用该相交矩阵确定的一个欧拉cocycle和根系，我们定义了一个无限维向量空间和李运算，并且证明了这个无限维向量空间在该李运算之下构成一个李代数。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

Parts of current parallel databases support expanding of data types, but all of them lack of theoretical foundation. It is difficult to predicate the performances of parallel query, complicated to optimize parallel query and unattainable to keep the correctness of parallel query optimization This thesis, for the first time, combines monoid algebra system with BSP parallel model systematically, and provides a general-purpose parallel object-relational database systems-PORDBMS.

文章系统地研究了资源分配问题的分解协调理论与方法，给出了非线性分解式模型的构造和有效的求解方法，其中对主问题提出了适应性较强的修正算法，可用于一些难于公式化的问题的模型构造与求解，逐步寻优策略可有效地求解非线性关联约束优化问题。

Because the normalization rules of monoid algebra system can reduce the size of query spaces effectively and BSP model is an accurate predicable performance model, two-phase parallel query optimization model is proposed. For the increasing of large and complicated data applications, the parallel implementation technologies of large objects are investigated too.

对互联水火系统短期交换计划与调度，提出的分解式逐次寻优搜索法，解决了含有复杂梯级电站和混合发电系统的多区域交换计划优化和水电调度问题，为多区域水火互联系统计划调度提供了一种有效的手段。

Some other conditions which the implicative operator of a Implication Algebra should satisfied in a logic system are given. The relations between MV-Algebra and Distributive Implication Algebra, Implication Algebra with condition are gained.

对于偏序集上蕴涵代数中的蕴涵算子引入了一些逻辑条件，得到了偏序集上具有不同条件的蕴涵代数与MV-代数之间的关系，给出了偏序集上蕴涵代数与MV代数之间的几个等价定理。

Prelinearity residuated-lattice; BL-algebra; BR_0-Algebra; Propositional Calculus System PL~*; Weak Lattic Implication-Algebra

基础科学，数学，数理逻辑、数学基础预线性剩余格； BL代数； BR_0代数； PL~*系统；弱格蕴涵代数

It includes symbolic logic, set theory, graph theory and algebra system.

本课程主要包括数理逻辑、集合论、图论、代数系统四部分内容。

With computer algebra system Maple, the instant plots of the refracted wave of the total internal reflection is showed and the effect on the physics teaching is discussed.

介绍了借助计算机代数系统Maple实现全反射现象折射波瞬时行为动态展示的做法，讨论它在基础物理教学中的作用。

The algebra system quasi ring has been further studied by using the quasi group.

对所建立的新的代数系统———拟环作了进一步探讨，给出了一些新的性质。

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.

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