代数系统

If a poset is explained into a set of propositions in the view of logic,then the algebraic completionis closed for the finite deduction system in logic,therefore,the algebraic completion reflects the logically closed extension of preliminary propositions.

本文考察(来源：A1dBCad论8a文网www.abclunwen.com)这种逼近状态是代数格的情形，一旦偏序关系看作信息的某种逻辑蕴含关系，代数完备的本质是从逻辑上封闭逻辑推理系统。

Symmetry group is a connected compact Lie group, the system has also a fine cascade decomposition.

该章正是从这一角度出发，通过参数确定了线性控制系统的对称代数，而且构造出的对称代数其维数是最大的。

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代数相互之间的关系，并且它们都是分配格。

Moreover, for the treelike system with prescribed motion and the non-treelike system with closed-loop, the generalized coordinates aren't independent completely. Only the dynamical equations of the system and the constrain equations resulting from the prescribed motion and the closed-loop are combined to form DAEs, it can be solved.

另外，对于有指定运动的树系统或带有闭环的非树系统，系统的广义坐标是不完全独立的，系统的动力学方程要与指定运动或系统切断所附加的约束方程一起组成微分--代数方程组才能求解。

Adopting generalized Jordan block and algebra equivalence transform method, all of the transfer functions at different load points can be transformed to state-space description with time variable. The steady robustness of three different mode of control systems were researched by mathematic analysis. It shows that: for the high order inertia controlled object with the characteristic of nonlinear and time-variable that described by the set of transfer functions, the Luenberger function observer established according to its any algebra equivalence state-space description, if some conditions can be met, there would be a matrix of T with n′n satisfied the Sylvester matrix equation TA- FT=GC.

采用广义约当块及代数等价变换方法，可将分段的传递函数描述转换为变参数的状态空间描述，对3种典型控制系统的稳定鲁棒性所进行的理论研究表明，对同一组传递函数描述的具有非线性和时变特性的高阶惯性受控对象，依据其任一代数等价的状态空间描述所构建的Luenberger函数观测器，在满足一定的条件时，存在n′n解阵T满足Sylvester矩阵方程TA- FT=GC。

A Lie group,called N-group,and its Lie algebra,calledN-algebra,are introduced for the structure analysis of the systems.

同时为便于进行系统的结构分析，引入一种称为N-群的李群及其李代数，N-代数。

We study the properties of BR0-algebra and the total complication triple I method on complete BR0-algebra, and we apply the results to R0-Unite interval W. Not only we have simplified the proof of the results of R0-type triple I method on R0-Unite interval W, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the R0-type triple I method is a matching fuzzy inference with B?

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法，对—般蕴涵算子给出了三I算法解存在的—个充分条件，并将结果应用于R0-单位区间W，不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了R0-型三I算法是与B？

Thus,§ 2.3 adds truth constants as special formulae to L* predicate logic and axioms about truth constants. The truth degree and the provability of a formula are proposed.

R_0代数是为适应系统研究的需要而提出的，因此对R_0代数作进一步的讨论有助于加深对分系统的认识。

In this dissertation,we concentrate on the homological properties of DG mod-ules over connected DG algebras and study various homological invariants.

本文以连通DG代数上的DG模范畴为研究对象，系统地研究了连通DG代数上的DG模的同调性质及各种同调不变量。

The main content reads as follows: Chapter 1 gives a survey on the three methods by which regular geometric modeling can be rended, including parametric curves/surfaces modeling method, algebraic curves/surfaces modeling method and subdivision. Moreover we introduce in greater detail about two means for subdivision which fit into two class: geometric subdivision and algebraic subdivision.

全文主要内容如下：第一章首先对CAGD中构造&规则几何形体&的三类造型方法：参数曲线、曲面造型方法，代数曲线、曲面造型方法及细分法——曲线、曲面的离散化造型方法，作了较系统的综述，并对两类主要的细分法——几何方法与代数方法，作了较详细的介绍。

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.

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