代数形式

For a system of algebraic equations, we can get a zero decomposition of triangular systems.

对于给定的的代数方城组，通过正规分解，可以得到一组具有三角形式的分解。

We can get all the solutions of the algebraic system by computing the solutions of the triangular systems.

根据这种三角形式，我们可以给出代数方程组的所有解。

When solving the problems of analytical geometry ,we commonly transfer it into algebra form and then solve it .

解有关解析几何的题目，一般都是转化为代数的形式，然后再进行解答。

We construct the Tai Chi algebra based on Boolean algebra for philosophical reflection and formal improvements.

我们建构的太极代数基于对其作哲学上的反思和形式上的改进。

This work gives an algorithm to simplify the rational curves in this situation. After the approximate proper index is defined, it is computed by solving the semi-algebra system. The greatest common divisor is obtained according to the computing process of approximate proper index.

为此，讨论了这类有误差的有理参数曲线，定义了近似非恰当参数形式和近似非恰当指数，并通过半代数系统计算近似非恰当指数；在给出近似非恰当指数的同时，得到近似最大公因子。

The Laplace matrix is an active and important subject in Algebra Graph Theory. It is a discrete form of the Laplace operator on the compact Rimannian manifold acting on the graphs. It has been widely used in many fields such as Physics, Chemistry, Biology, Computer net science and Information theory ,etc. Some results on the Laplace matrix are given in this thesis.

本文主要研究了代数图论中的一个课题：单圈图的Laplace谱，它是黎曼流形上的拉普拉斯算子在图上的离散形式，Laplace矩阵在物理、化学、生物和计算机通信网络研究等学科中有着广泛的应用。

Zadeh put forward, make MTL-algebra"s filter conception fuzzified, provide the conceptions and properties of fuzzy filter, obtain the structure of all fuzzy, filters, prove that the set of all fuzzy filters forms a complete distribution lattice; Provide several fuzzy Boolean filter"s equivalent forms, introduce fuzzy positive implicative filter, fuzzy obstinate filter and fuzzy ultra filter, discuss some property characteristics and terms that transform each other under certain terms to obtain them.

Zadeh提出的模糊集思想使MTL-代数的滤子概念模糊化，给出了Fuzzy滤子的概念和性质，得到了全体Fuzzy滤子的结构，证明了全体Fuzzy滤子之集构成完备的分配格；给出了Fuzzy布尔滤子的若干等价形式，并且引入了Fuzzy正蕴涵滤子，Fuzzy固执滤子和Fuzzy超滤的概念，得出了它们的一些性质特征以及在一定条件下之间相互转化的条件。

The details of proving the completeness theorem of formula system L~*, which is given by Prof. Wang, are reviewed, and the proving of strong completeness about L~* is analyzed and revised.

考察了形式系统*完备性的现有证明过程，并对其中所涉及的R0代数同构问题进行了研究，分析了关于*系统强完备性证明中的错误并给出了一个全新的修正证明。

This article proves that a finite cyclic group can be isomorphically represented by direct product of some cyclic groups.

摘要本文运用基础代数中有关循环群、直积、同构等理论，证明了一个循环群可以用另一组循环群的直积形式来同构表示。

The dynamic model of flexible multibody system is derived by first kind of Lagrange equation and also the constraint equations for velocity are obtained, the final expression of the dynamic equation is hybrid one of algebra and differential.

首先利用第一类Lagrange方程建立了多柔体系统的动力学模型，并建立了速度意义下的约束方程，方程的最终表现形式为微分／代数混合方程组。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了