代数课程教学改革的一些探索

本文结合代数教学中的实际情况．针对代数教学过程中出现的问题。提出了在代数教学过程中改进教学方法的几条措施．     

FI代数的滤子

研究FI代数的滤子理论，建立F滤子、P滤子、Q滤子、C滤子之间的联系．     

一种高精度保界的守恒重映方法

Lagrange方法中，当流场发生大变形时，跟踪流体运动的Lagrange网格发生扭曲，使计算无法进行下去，此时必须重分网格，把网格修复成较好的形状。另外，网格自适应技术中的重构、合并与加密，以及同一问题不同程序相继计算的连接，并行计算中相邻块边界区域的数据传递等，这些情况都需要利用旧网格上的物理量来确定新网格上的物理量，是一个物理量重映过程。质点重映方法是基于物理上守恒规律的一种离散的物理量守恒映射方法，既可实现分片常数分布的一阶精度重映计算，又可实现分片线性分布的二阶精度重映计算。这种方法可严格保证守恒量的守恒性，且可以实现任意多边形网格以及节点上物理量的守恒重映。但是，基于分片线性分布的二阶精度重映方法，如果新网格的守恒量没有进行保界调整，那么相应的强度量有可能在其局部的限制范围之外，破坏了原网格物理量的单调性。因而，对二阶精度的质点重映方法进行了进一步研究。在分片线性分布的基础上，将基于结构网格的保界算法扩展到非结构网格上，给出了二阶保界的质点守恒重映方法。     

群胚上的Dirac结构及泊松约化

本文详细讨论了李双代数胚中的Dirac结构、群胚上的Dirac结构。利用Dirac结构的特征对的概念,给出了作用不变Dirac结构,拉回Dirac结构等概念的新的刻画。最后利用Dirac结构的有关性质,讨论了泊松齐性空间和泊松群胚作用的约化。     

一个不等式的证明及引伸推广

贵刊 2 0 0 2年第 2期数学问题第 3题是 :设a、b、c ∈R ,且abc =1,求证 :a3(c b) (a c) b3(b c) (b a) c3(c a) (a b) ≥ 34( 1)一、关于不等式 ( 1)的证明原证明是在假定a≥b≥c的前提下运用排序不等式给出的 ,但由于不等式 ( 1)的左端不是关于a、b、c的对称式 ,故原证明有不妥之处 ,下面我们给出不等式 ( 1)的一个证明 .证明 :记不等式 ( 1)的左端为M ,由平均值不等式得a3(c b) (a c) c b8 a c8≥ 33 a364 =3a4,即 a3(c b) (a c) ≥ 5a -b-2c8.同理 ,b3(b c) (b a) ≥ 5b -c-2a8,c3(c a) (a b) ≥ 5c-2a -b8,以上三个不等式…     

剩余格与FI代数的可嵌入性

给出剩余格可嵌入于全序剩余格的乘积的充要条件。还给出定义在格上的FI代数可嵌入于全序FI代数的乘积的充要条件。     

溃坝问题的间断有限元方法

本文研究90年代初提出的Runge-Kutta间断Galerkin有限元方法，给出该方法的精度分析，通过经典算例验证该方法处理间断问题、捕捉锐利波形的能力，并将其推广到求解浅水问题．针对坝底无摩擦，无坡度的理想情形进行讨论，给出方溃坝和圆溃坝问题的数值模拟结果．     

关于限制李超代数的分解

代数$A$ 称为不可分解的,如果 $A$ 不能分解成理想的直和.文中将证明满足$C(L_{\bar{0}})=C(L)=\{0\}$的限制李超代数能够分解成不可分解限制理想的直和,这种分解在不计理想次序的前提下是唯一的.而且还证明了限制李超代数的一些结果.     

良序套张量积的代数中的强不可约算子

设Ｈ为复的可分无限维Ｈｉｌｂｅｒｔ空间，称有界线性算子Ｔ为强不可约的，如果与Ｔ可交换的幂等算子只有０和Ｉ．王宗尧、蒋春澜、纪有清等人证明了在任何一个套的套代数中都存在大量的强不可约算子，并且找到了它们的酉轨道闭包．本文考虑有限个套的张量积的代数中强不可约算子的存在性问题。证明了：对复平面上任何一个连通完备集σ、总存在一个对角算子Ｎ和它的一个范数可以任意小的紧摄动Ｔ＝Ｘ＋Ｋ，使得Ｔ是一个强不可约算子、Ｔ在有限个良序套的张量积的代数中，并且σ（Ｔ）＝σｌｒｅ（Ｔ）＝σ（Ｎ）＝σｌｒｅ（Ｎ）＝σ进一步，文章还对具有单点谱的算子和良序套与正交补为良序套的张量积的代数进行了讨论，得到了一些结果．     

MTL代数的特征定理

对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质.