代数系统

Difference from other algebraic structures which are introduced for some logic system, Implication Algebra is a abstraction of one logic connective, i. e. implicative operator, and other operators in it are all introduced by implicative operator.

特别值得提出的是，与其它为研究逻辑系统而引入的代数结构不同，蕴涵代数是对一个逻辑联结词，即蕴涵算子抽象而得到的，其它算子均是由蕴涵算子诱导而得到。

The context started from the properties of the logic algebra which based onResiduated lattic, studied the relationships between all kind of logic algebras andits corresponding logic systems.

本文便从研究建立在剩余格之上的各种逻辑代数的性质入手，研究了各种逻辑代数，以及与其相应的逻辑系统之间的关系。

The algebraic system uses the method of algebra to study the properties and characteristics of various things in the world.

代数结构主要从系统宏观的代数方法去研究客观事物的各种性质与特征。

In this paper, we present a method to solve system of algebraic equations or system of parametric algebraic equations by computing the normal zero decomposition of polynomial systems.

本文提出一种利用多项式系统的正规零点分解的算法来求解代数方程组以及带有参数的代数方程组的方法。

To use symbolic and algebraic computation techniques for studying the computational properties of procedure schemes, some convergent procedure schemes are investigated in algebraically closed field and real closed field.

过程模式在代数闭域和实闭域上的应用：本文在代数闭域和实闭域上研究了收敛过程模式，设计了用于自动推理的过程模式，并且用其解决微分动力系统研究中的中心-焦点问题。

In chapter 3, the concepts of M-matrix and H-matrix over a commutative Banach algebra have been proposed, and some of their important properties and applications in linear systems over a commutative Banach algebra have been studied. For usual complex matrix, the Bellman inequality with Hadamard product has been proved.

第三章，提出了交换Banach代数上M一矩阵及H一矩阵的概念，研究了其一些重要性质，并给出了在交换Banach代数上线性系统中的应用；对有限维复矩阵，证明了关于 Hadamard乘积的 Bell.an不等式。

We study the properties of $BR_0$-algebra and the total complication triple I method on complete $BR_0$-algebra, and we apply the results to $R_0$-Unite interval $\overline{W}$. Not only we have simplified the proof of the results of $R_0$-type triple I method on $R_0$-Unite interval $\overline{W}$, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the $R_0$-type triple I method is a matching fuzzy inference with $B{\cal L}^*$ system.

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法，对一般蕴涵算子给出了三I算法解存在的一个充分条件，并将结果应用于$R_0$-单位区间$\overline{W}$，不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法。

For quantum mechanical control systems with structures of universal enveloping algebras, the thesis studies the enlargability of the universal enveloping algebras and the domain problems.

2对具有泛包络代数结构的量子力学控制系统，研究了泛包络代数的可扩张性和系统状态的定义域问题。

Introduced Fan Boolean Algebra theory as a whole, after analyzing and studying of it, concluded that: the characteristic of Fan Boolean Algebra has determined that it can solve the extant problem of Data Mining to a certain extent, for example, it can guarantee the result after data mining to be usable , assured and construable;can solve the problems about expression difficulty of complicated concept, correlation of attributes emphasized incompletely and redundant examining;it can set up the unified model of Fan Boolean in a certain system;and it can promote the developmental research of new decision support system.

对泛布尔代数进行总体介绍，在分析和研究它的理论体系后，概括出：它的特性决定了它能在一定程度上解决数据挖掘的现存问题，比如可以保证数据挖掘结果的可用性、确定性及可解释性，可以解决复杂概念表达困难、属性间的相互关系强调不够、重复检验等问题；能就某一系统建立统一的泛布尔模型；并促进新型决策支持系统的开发研究，并对泛布尔代数与数据挖掘相结合的原理展开论述。

Through coupling of computational car course 5 rank the Li Dai of the model is counted, got Li Dai counts the verdict of full order, make clear 5 rank the system that the model is strong coupling of course of a car, alternate through coordinate the system cannot solve Ou only.

通过计算车轨耦合五阶模型的李代数，得到了李代数满秩的结论，表明五阶模型是一个车轨强耦合的系统，仅通过坐标变换系统无法解耦。

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.

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