每一个具有条件(S)的BCK—代数是一个可换负偏序幺半群的剩余元集

本文证明了每一个具有条件(S)的BCK—代数诱导一个交换负偏序剩余幺半群,反之每一个交换负偏序剩余幺半群诱导一个具有条件(S)的BCK—代数。由此进一步说明每一个具有条件(S)的BCK—代数是交换负偏序幺半群的剩余元集。     

实单Malcev代数上的不变双线性型

研究实单Malcev 代数上的不变双线性型, 仿照李代数的情形给出实Ma lcev代数上的容许复结构、实Malcev代数的复化以及Malcev代数上的不变双线性型等概念, 并通过对实单Malcev 代数上容许复结构的讨论,将实单Malcev 代数上的不变双线性型分为两种情形.     

基于不同内向量选取的两种θ-方法的代数稳定性

基于各种合理的内向量不同选取,讨论了两种θ方法的代数稳定性⒚说明了在求解非线性常微分方程初值问题时,单支θ方法比线性θ方法优越     

具有真正并发语义的面向约束的实时进程代数

对于标准进程代数,通过加入因果和时间约束,对前缀操作项进行扩展,使得处理后的演算,保持定义简单,表达力增强,能够描述实时系统,并且具有真正并发语义。     

超定方程组约化的一种方法

讨论偏微分方程组的约化问题,提出了规范型及约化方法,对规范型给出形式级数解的求法及求有限阶Ｔａｙｌｏｒ展式的算法。这些算法有助于克服数值求解大型约束方程组中遇到的某些困难。用于处理各种对称的确定方程组,可获得非线性微分方程的某些精确解。     

关于对偶余代数的注记

给出了一个对偶余代数问题的反例．作为反射代数的一个应用,建立了从卷积代数 Ｈｏｍ（ Ｃ, Ａ） 到余代数张量的对偶代数（ Ｃ  Ａ°）  的同构映射     

非零特征域上导代数的GelfandKirillov维数理论

给出了非零特征域上导代数ＤＡｎ 的ＧｅｌｆａｎｄＫｉｒｉｌｌｏｖ 维数的定义,并证明它等于ｎ ．然后,得到了任意有限生成左ＤＡｎ模的ＧＫ 维数只能为０ ,１ ,…,ｎ 中的某一个,且存在左ＤＡｎ模Ｍｉ,其ＧＫ 维数等于ｉ,其中ｉ 是０ ,１ ,…,ｎ 中的某一个     

标准算子代数的广义导子和局部广义导子

设Ａ为Ｂａｎａｃｈ空间中一标准算子代数,证明了Ａ到Ｂ（Ｘ）的每一广义导子都是广义内导子,进而,如果线性映射δ：Ｄ→Ｂ（Ｘ）满足δ（Ｐ）＝δ（Ｐ）Ｐ＋Ｐδ（Ｐ）－Ｐδ（Ｉ）Ｐ,ˇＰ∈Ａ为幂等元,则δ为广义导子,特别地,Ａ的每一局广义导子都是广义导子。     

分子H的李代数展开式中基本力学量的对易关系

用Ｌｉｅ代数方法,计算了Ｈａｍｉｌｔｏｎｉａｎ的Ｌｉｅ代数中各个基本力学量之间的对易关系     

超对称Boussinesq方程的Lax对表示

用廷拓结构技巧,研究了含单参数的超对称Ｂｏｕｓｉｎｅｓｑ方程组,得到了该方程组含任意参数的Ｌａｘ对表示