代数形式

Based on the filtered Lie algebra of the universal enveloping algebra, the algebraic structure of projected subsystems are studied. It is proved that they have simple decompositions, and the construction of the representations is given as well as the corresponding criterion for project limit controllability.

基于泛包络代数的滤李代数结构，研究了投影子系统的代数结构，证明它们具有简单的分解形式，并给出了它们的表示的构造方法和投影极限能控性的判别定理。

In reference [15], Muhly discribe the isometric algebral isomorphism and isometric reflixive algebra isomorphism on some triangle subalgebra og Nenclear algebra with diagonent. The first problem of this chapter is analyzing furtherlythe concrete form of the isometry on TUHF algebra.

Muhly等在文献[15]中讨论了带有对角的Nuclear C~*-代数中的某些三角子代数上的等距代数同构和等距反代数问题，本章讨论的第一各方面就是借助于Muhly的结论进一步分析TUHF代数上等距的具体表达形式。

An energy model of image denoising in matrix norm is presented for restoring noisy image.

基于奇异值分解和能量最小原则，提出了一种自适应图像降噪算法，并给出了基于有界变差的能量降噪模型的代数形式。

In Chapter 3,we classify a binary-coded individual space equivalently withthe help of the ideals of Boolean algebra and analyze the search capabilitiesof a new kind of algebraic crossover operator in these equivalence classes,thenprovide the algebraic representation of a type of genetic algorithms by usingthe permutation group,therefore we can derive a lot of new forms of geneticalgorithms.

第三章运用Boole代数的理想将二进制编码的个体空间进行等价分类，分析了一类代数杂交算子在这些等价类上的搜索能力；然后利用置换群给出一类遗传算法的代数表示，由此导出多种新形式的遗传算法，并给出其中两类算法形式的收敛性结果。

Utilizequadratic form and Perron value of bottleneck matrices, we study how the algebraic connectivityof a weighted tree changes under shifting its branches and changing its edge s weights and obtainmore entire information about algebrai.

利用代数连通度的二次型形式和瓶颈矩阵的Perron值，我们研究了当迁移或改变分支和变动一些边的权重时树的代数连通度的变化，得到了比过去更多的关于赋权树的代数连通度的结论。

This paper proves that it is impossible for all the theorems in classical propositional calculus to be tautologies in the field of fuzzy propositional calculus, then a quasi formal deductive system is established for fuzzy propositional calculus based on a kind of type algebra.

引入了一种代数，称为模糊公式代数。在这种代数上建立了一个准形式演绎系统，证明了相应的可靠性定理与相容性定理，提出了程度化的ModusPonens规则和HypotheticalSylogism规则

The formal deductive systenm for Fuzzy propositional calculus, R0-algebras and BR0-algebras have been studied. The concepts of WBR0-algebras are proposed, the relationship between it and BR0-algebras has been investigated, the definition of basis BR0-algebras is simplified. Based on discussing the relationship between regular FI-algebras and regular residual lattice, the relationship between FI-algebras and basis R0-algebras has been investigated.

研究了王国俊教授建立的模糊命题演算的形式演绎系统L和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L系统，提出了WBR0-代数的观点，讨论了它与BR0-代数的关系，简化了BR0-代数的定义，在讨论正则FI-代数与正则剩余格之间关系的基础上，讨论了BR0-代数与FI-代数的相互关系。

The solvable Lie algebra is corresponding to a cascade decomposition of the system and the semisimple Lie algebra is corresponding to a qasi-parallel decomposition such that the system has a parallel form of a cascade decomposition and a qasi-parallel decomposition.

任一李代数都可分解为一可解李代数与一半单李代数的半直和，可解李代数对应于系统的级联分解，半单李代数对应的是系统的准平行分解，将二者合并起来，就得到一般李群下的非线性系统的结构分解，这是一级联形式与一准平行形式的并联形式分解。

In Chapter Seven, This chapter established on the comparison of the Fibonacci's Liber Abaci, al-Khwārizmī'algebra and al-Karajī's al-Fakhrī.

本章建立在对斐波那契《计算之书》、花拉子米《代数》、以及凯拉吉的《奇妙之事》中代数学比较研究基础之上，分析他们在代数技巧、代数方法有效性的证明方法、未知数设定、二次方程分类、算题选择和设置形式等方面的异同。

Locale theory is the algebraic generalization of classical topology, and topos theory can be regarded as one of the most important applications of locale theory.

Locale 理论是经典拓扑学的代数形式推广， locale 理论的一个重要应用是topos 理论。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。