标准算子代数上的加权核值保持映射

在给出加权（Ｂ,Ｃ）的核值保持映射定义的基础上,证明每个含单位元的标准算子代数上的弱算子拓扑连续的加权（Ｂ,Ｃ）的核值保持映射有如下形式ψ（Ｔ）＝ＡＴＢ＋ＣＴＤ,其中Ａ,Ｄ∈Ｂ（Ｘ）。     

Nest代数上的＊可乘映射

给出了Ｈｉｌｂｅｒｔ空间中Ｎｅｓｔ代数Ａｌｇ／上＊可乘映射的形式。     

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

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

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

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

The General Duality for a Class of Multiobjective Variational Problems with Generalized Invexity

考虑文章〔１〕讨论的一类多目标变分问题的Ｗｏｌｆｅ型和Ｍｏｎｄ－Ｗｅｉｒ型对偶,对这样一类多目标变分问题提出一种一般对偶,鉴于在建立对偶问题时,如果把Ｇｅｏｆｒｉｏｎ参数作为变量,讨论关于真有效解的对偶性定理存在许多问题,对于预定的Ｇｅｏｆｒｉｏｎ参数,证明了关于真有效解的相应弱对偶定理和强对偶定理     

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

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

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

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

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

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

关于对偶余代数的注记

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

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

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