代数系统

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

The course will introduce the basic theory of Linear Algebra including linear equations, Matrix theory and vector space concept. Eigenvalues and eigenvectors are used for describing the characteristics of the system. A set of orthogonal basis vectors represent the vector components and transformation characteristics.

线性代数是利用向量与矩阵特性，解决任何以线性方程式描述之系统，譬如电路系统、通讯系统、控制系统；藉由线性代数之特征值与特征向量，更能深入了解系统之内涵；藉由线性代数正交基底，则能深入了解向量讯号之组成与其转换特性。

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-代数的相互关系。

David Royster's Home Page - Dept. of Mathematics, Univ. of North Carolina-Charlotte

南卡罗莱那大学数学系David Royster的主页，包括研究和学术论文：代数和微分拓扑学；数学教育中计算机代数系统的使用

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.

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

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实现全反射现象折射波瞬时行为动态展示的做法，讨论它在基础物理教学中的作用。

Based on Wu's elimination method and "divide-and-conquer" strategy, the undetermined coefficient method for constructing polynomial conservation laws of nonlinear differential-difference equations was improved. Furthermore, a Maple package CLawDDEs was developed to automatically derive conserved densities and associated fluxes of polynomial differential-difference equations.

基于吴消元法和"分治"策略，改进了基于标度不变性构造非线性微分差分方程多项式形式守恒律的待定系数算法，并在计算机代数系统Maple上实现了改进后的算法，其中的软件包CLawDDEs可自动推导出微分差分方程的守恒密度及连带流。

As one of the important fuzzy logic algebraic systems, Residuated lattices have broad applications.

在解决模糊推理的逻辑基础问题中，模糊逻辑相应的代数系统是非经典逻辑的一个重要研究方向。

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

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

What are your goals and strategies for growth?

你的成长目标和策略是什么？

And unto the angel of the church in Sardis write; These things saith he that hath the seven irits of God, and the seven star I know thy works, that thou hast a name that thou livest, and art dead.

3：1 你要写信给撒狄教会的使者，说，那有神的七灵和七星的，说，我知道你的行为，按名你是活的，其实是死的。