多重正关联BCK—代数

引进了多重正关联ＢＣＫ－代数，并讨论了它的一些性质，从而使上正关联ＢＣＫ－代数与ｎ级正关联ＢＣＫ－代数得到真正的推广。     

对一道习题结论的思考与拓展

通过对一道习题的解答,借助图象,给结论一个直观易记的几何解释,并对这一结论进行了拓展。     

三值、多值代数和类同构

将代数系统同构的概念扩展为类同构,并推出一些相关的定理,在类同构基础上完整地研究各种三值逻辑和三值电路理论,该电路理论可推广到任意多值电路和绝热电路中,以便建立二值电路,多值电路和绝热电路的统一理论.     

弱Hopf代数wslq2的代数结构

将弱Hopf代数的一个特例弱量子群wslq2分解为％（sl2）和二元多项式代数的直和，从而将wsl12的表示归结为％（sl2）和二元多项式代数的表示。还研究了wslq2的限制表示，证明了wslq2（m，n）同构于Uq（m，n）和一个带关系的二元多项式代数的直和，从而将wslq2的限制表示归结为％（sl2）和一个带关系的二元多项式代数的表示。     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

一类广义Liénard系统的正半轨线与特征曲线相交的条件

获得了广义Li啨ｎａｒｄ系统dxdt =p(y) -F(x) ,　 dydt =-g(x)q(y)过平面上任意一点的正半轨线与特征曲线p(y) =F(x)相交的充分条件 .     

几种照度计算方法的比较及研究

针对一个典型建筑模型，本文通过对目前几种常用照度计算方法所得结果的分析与比较，指出了造成这种差异的原因及各种计算方法的使用范围及其局限性，并结合照片计算及建筑光环理论基础，提出了较为精确的照明计算方法。     

线性谐振子的计算机代数计算

采用计算机代数方法，通过Mathematica软件计算线性谐振子的波函数，几率密度和几率最大值的位置。计算方法简单、通用，易于推广。     

计算复特征灵敏度的代数法

对于复特征灵敏度分析问题，文中给出了一种代数法求解公式。从理论分析的角度来说，所提出的方法既适全于单频，也适合于重频。为了说明算法的数值稳定性，文中给出了严格的数学证明。     

A THEOREM ON THE CONVEXITY OF PLANAR FERGUSON CURVES OF DEGREE n

The main result of this paper is a theorem about the convexity of Ferguson curves of degree n on a plane, As its application, We have obtained a Sufficient Condition that Convex Curves of Degree n in E~3 have no singularity or Staying points.