Subalgebra and LI-Ideal of Lattice Implication Algebras

First,We reviewed the definitions of lattice implication algebras,lattice implication subalgebras,and LI-ideals,and provided an equivalent definition of LI-ideal.Then we investigated some properties of lattice implication subalgebra and LI-ideal,and found the least lattice implication subalgebra.Finally,the relation between lattice implication subalgebra and LI-ideal is presented.It is proved that no LI-ideals are non-trivial lattice implication subalgebras.     

关于Г（z）函数的Hoelder定理的推广

在推广有关的Г（ｚ）函数的Ｈｏｅｌｄｅｒ定理的基础上，证明了Г（ｚ）函数与其它函数的复合及组合不满足一类代数微分方程。这些结论改善了已知有关结果。     

p^r—李代数和幂零李代数的表示

给出了ｐ＾ｒ－李代数的定义，证明了ｐ＾ｒ－李代数具有许多与限制李代数类似的性质，然后利用ｐ＾ｒ－李代数概念，讨论了一般幂零李代数不可约束表示的同构类，得到了特征为Ｓ的不可约表示同构类的个数，以及某些阶化李代数的阶化模的一些结论。     

关于FI代数的一些性质

深入研究了FI代数的与其诱导序关系相关的运算性质，进而得到关于FI代数的MP滤子的若干结果，并且给出了FI代数可嵌入一族全序FI代数的乘积的充分必要条件．     

矢量代数在双横臂独立悬架运动分析中的应用

本文根据D-H坐标系的规定，建立了双横臂独立悬架四杆机构各杆的杆坐标系，接着求得各杆坐标系之间的转换矩阵，使得可以完全运用矢量代数的知识，对其运动规律进行了分析，推导出了主销内、外倾角，车轮外倾角，前束，侧倾中心高度，抗点率等运动变量的表达式。此法无须求解三元二次方程组，易于编程。     

基于有限格蕴涵代数的格值命题逻辑语法系统

以有限格蕴涵代数为真值域，建立了基于有限格蕴涵代数的格值命题逻辑系统；采用公理化的方法，给出了该系统在A水平上的语法导出、证明和协调性等基本定义，并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理．     

On the Computation of Noether Normalization

This paper considered the Noether normalization of a finitely generated algebra over an algebraically closed field. It gives a necessary and sufficient condition as well as an algorithm for the identification of those algebraically independent variables, then uses these elements to construct the Noether normalization of this algebra.     

属于有向循环的模的刻划及预投射划分的某些性质

对一个模属于有向循环给出判断和深刻的刻划，且讨论了预投射划分的某些性质。     

格蕴涵代数中滤子的若干性质

首先给出了滤子的几个等价条件,接着定义了固执滤子,证明了固执滤子,极大关联滤子,极大正关联滤子相互等价,得出了越滤是固执滤子及固执滤子是索滤子的结论。最后通过蕴涵同态给出了格蕴涵代数L的固执滤子的一个等价条件,即对任意一个格蕴涵代数L′,总存在一个从L到L′蕴涵同态,使这个滤子就是同态的对偶核。