继承的一个数学模型

提出了继承的一个数学模型,引入图序类别型构用来表示面向对象语言中程序的代数结构,将继承的形式语义刻划为图序类别型构集上的延拓函数。通过该数学模型,程序之代数结构的性质能反映语言的语法约束,延拓函数的性质能揭示语言中继承的特点.     

双原子分子离解能的精确研究

基于LeRoy与Bernstein的工作,孙卫国等最近建立了计算精确的双原子分子离解能的新解析表达式.应用该公式和最近建立的研究双原子分子精确振动能谱的代数方法(AM),我们研究了一些双原子分子部分电子态的分子离解能,并与实验值进行了比较.研究结果表明,用新解析式获得的精确分子离解能与实验值符合得非常好.该式在理论上提供了获得精确分子离解能的物理新方法.     

一类高阶代数微分方程的亚纯允许解

利用亚纯函数的Nevanlinna值分布理论,研究了一类高阶微分方程具有亚纯允许解时,它所具有的形式,得到了一个Malmquist型定理。     

电磁交叉场分析器中非线性传输的Lie代数分析

用李代数方法分分析了带电粒子在电磁交叉场分析器中的非线性传输,结果近似到三级近似.分析过程为:首先建立粒子在电磁交叉场分析器中的运动的Hamilton函数,然后将Hamilton函数在平衡轨道附近展开成幂级数,最后计算粒子的非线性轨迹到三级近似.根据需要,还可以推导出更高级的近似解.     

R0-代数的Boole可补元与直积分解

在R0-代数中引进了Boole可补元的概念,讨论了Boole可补元的一些基本性质;利用Boole可补元构造了R0-代数的一种直积分解.这些结果在一定程度上反映了R0-代数内部结构的特征,有益于从语义的角度进一步研究格值模糊逻辑系统.     

系数在结合超代数的矩阵李超代数的2-上循环

设α是域F上的结合超代数满足[α,α]=a或a=F.证明了当m+n＞1时,H2(glm|n(α),F)≌HC1(a,F).定义了一大类广义微分算子李超代数,作为W-无穷代数W∞(glN)的推广.确定了这些李超代数的2-上循环.同时给出了矩阵量子微分算子李超代数的2-上同调群.     

双原子分子离解能的精确研究

基于LeRoy与Bemstein的工作，孙卫国等最近建立了计算精确的双原子分子离解能的新解析表达式．应用该公式和最近建立的研究双原子分子精确振动能谱的代数方法（AM），我们研究了一些双原子分子部分电子态的分子离解能，并与实验值进行了比较．研究结果表明，用新解析式获得的精确分子离解能与实验值符合得非常好．该式在理论上提供了获得精确分子离解能的物理新方法．     

计算机代数系统应用研究

计算机代数是近三十年发展起来的关于数学、计算机及人工智能方面的交叉学科,是数学发展的前沿学科,应用广泛.应用计算机代数系统的强大的符合运算功能以及该系统提供的控制语句,对一类弱非线性系统的有效渐近展开式解进行了研究,不但能使其自动求解,而且自动实现在平衡点附近降低微分方程阶数和实行中心流形方法,并试图解决了G r bner基在图论中关于连通图的最短路径问题.     

关于换位子范数的若干不等式

当f是[0,∞)上的非负算子的单调函数时,得到了对任何非交换Banach函数空间范数都有‖f (A)X - Xf (B)‖ 54‖f ( AX - XB )‖,其中A,B是τ-可测正算子, X是收缩算子.     

特征标高度为0具有例外权的不可约H(2r，n)-模

本文主要利用广义限制李代数的概念研究不可约 H(2r,n)-模,确定了特征标高度为0,并且具有例外权(?)_k(k=0,1,2,…,r)的极大向量的不可约 H(2r,n)-模．