有限维Leavitt路代数的分次双代数结构

基于Leavitt路代数的整数分次结构,给出了具有单位元且是代数同态的余单位定义的共性:只存在一个顶点,使得余单位在此处定义为1,而在其余顶点处的定义均为0.特别地,对于有限维Leavitt路代数,满足前述共性的顶点是孤立点.构造基元处的余乘定义,证明了:有限维Leavitt路代数具有整数分次双代数结构当且仅当其底图含有孤立点.

余拟群双代数的Gauge变换

在余拟群双代数上利用Gauge变换构造了一个新的余拟群双代数,并且证明了两个余拟群双代数的余表示范畴是张量群等价的.

三角代数上的双Lie triple导子

借助双模结构证明了三角代数上的每一个双Lie triple导子δ都可以分解为inner双导子、extremal双导子以及中心映射之和。作为应用,在上三角矩阵代数和套代数的双Lie triple导子上得到了同样结论。

双代数余循环的余同调变换

在［８］中，作者讨论余循环交叉积和扭积之间的关系（见定理 ５．３）．设 Ａ＃ＸＨ为余循环交叉积，ｒ∈Ｈｏｍ（Ｈ，Ａ），是卷积可逆的，且ｒ（１）＝１．在］［６］中，Ｓ．Ｍａｊｉｄ对任意地余循环Ｘ定义了余同调变换 ｘｒ·在本文中，首先证明了［８］中的定理 ５．３以及它的对偶在一般情况下成立． Ｓ． Ｍａｊｉｄ在［５］中给出了余循环交叉积和余循环交叉余积形成双代数的充要条件，这种结构称为Ｂｉｃｒｏｓｓｐｒｏｄｕｃｔ积．这里讨论了余循环余同调变换如何具体地保持这种双代数结构．

基于BCDM的双时态关系代数

双时态概念数据模型BCDM是一种重要的时态数据库模型 ,基于BCDM模型 ,建立了一种双时态关系代数 首先 ,对时态数据库事务时间和有效时间进行规范化的定义 ,给出BCDM中时间元素的规范化定义和演算描述 ;而后 ,定义时态映射 ,用以描述BCDM中的双时态元组 ,并形式描述时态映射的演算 ;最后 ,用时态映射定义的元组对双时态关系进行定义 。

理论离实验有多远?——用代数方法精确研究双原子分子的完全振动能谱和离解能

本文较系统地简介了双原子分子振动能谱和离解能的研究历史、现状及若干研究方法,重点介绍了孙卫国等最近建立的研究双原子分子完全振动能谱的代数方法(AM)和计算双原子分子离解能的新物理公式。然后应用AM方法和离解能新公式对一批同核和异核双原子分子,以及双原子分子离子电子态的完全振动能谱和离解能进行了研究。结果表明,AM方法和新建立的离解能解析式相结合的理论方法对研究双原子分子及离子的完全振动能谱和离解能是行之有效的、简单经济的物理方法,为实验技术难以精确测量其高激发振动能级或离解能的双原子分子或离子体系提供了获得精确的完全振动能谱和体系离解能的一种理论新方法。

抽象数据类型的双代数结构及其计算

程序语言中的许多抽象数据类型包含了可递归定义的语法构造和可共递归定义的动态行为特征,因此单纯利用代数或共代数难以给出完整的描述.双代数是同一载体集上的代数和共代数对,提供了一种从范畴论的角度探讨抽象数据类型上的语法构造和动态行为关系及性质的可行途径.给出抽象数据类型的双代数结构,并利用代数函子对共代数函子的分配律描述了语法构造与动态行为之间的自然转换关系;利用分配律对共代数和代数函子进行函子化提升,给出一种构造初始代数(或终结共代数)上的共代数(或代数)结构,并将其提升为初始(或终结)λ-双代数的方法.在此基础上,进一步将函子化提升应用于各种递归(包括迭代和原始递归)及共递归函数(包括共迭代和原始共递归)的定义及计算中,并给出相应的计算定律.

用代数能量方法研究氢化物双原子分子的完全振动能谱和离解能

本文用研究双原子分子振动能谱的新方法-代数方法(AM),研究了KH-X1Σ+,RbH-X1Σ+,DF-X1Σ+和DCl-X1Σ+等四个氢化物双原子分子的电子基态的振动光谱常数和振动能谱;用代数能量方法(AEM)研究了相应电子态的分子离解能。研究结果表明:使用实验获得的少数精确的振动能级[Eυ],由AM方法得到的振动能谱不仅能够重复这些电子态的已知实验能级,还能够得到用现代实验方法或精确的量子理论方法很难得到的所有高振动激发态的能级。由AEM方法能够得到比用文献发表的振动光谱常数计算获得的离解能值更准确的分子离解能。

双扭HOPF代数的对偶

本文研究了一个双扭Hopf代数的分次对偶空间以及两个双扭Hopf代数的分次对偶关系.利用代数和余代数分次对偶空间的性质,得出一个局部有限的双扭(χ1,χ2)-Hopf代数的分次对偶空间是一个双扭(χ1T,χ2)-Hopf代数,并判定两个双扭Hopf代数的分次对偶可以简化为判定它们作为双扭双代数是分次对偶的.

代数双曲三角函数空间中的一组正交基

利用代数双曲三角函数空间Γn=span{1,sin t,cos t,sinh t,cosh t,t,t2,…,tn-4}中拟Bézier基的对称性构造了一组正交基,并给出该正交基和拟B啨zier基之间的转换矩阵.进一步,应用最小二乘法对代数双曲三角B啨zier曲线进行了保端点降阶逼近.

用可变阶数的代数方法研究双原子体系的完全振动能谱和离解能

不同双原子分子电子态的势能(或振动能谱)的展开性质可能不同,文章将固定阶数的代数方法(AM)改进为可变阶数的代数方法,使得该方法可以研究各种不同性质(不同能量展开阶数)的双原子分子电子态,也可以解决光谱计算中可能出现的"蝴蝶效应"问题。利用阶数可变的AM方法研究了原来固定阶数的AM方法难以给出正确结果的N2-a′1Σu-,Li2+-2 2Σg+,4 He D+-X1Σ+和39 K85 Rb-(2)3Σ+等不同双核体系的完全振动能谱与离解能,不但得到了与实验数据精确相符的理论结果,还正确地预言了许多由于实验条件与技术原因而未能测得的物理数据。研究表明阶数可变的AM方法能够更广泛地用于研究各类双核电子态体系的完全振动能谱和体系离解能。

基于BCDM的含有变量的双时态关系代数研究

在BCDM(双时态概念数据模型)中,时间变元Now和UC的存在解决了时态记录的频繁更新问题;但是时态变元的存在又给数据库的操作带来某种不确定性甚至是错误,同时引起关系代数运算的歧义。基于BC-DM,通过绑定时间变元,用时态映射的集合定义时态关系,由此建立了一种含有时间变元的双时态关系代数体系。该关系代数体系在双时态运算下是封闭的。

双参数变形双模玻色算符的代数结构及其应用

构造了两个满足量子Heisenberg－Weyl代数的双参数变形双模玻色算符，研究了它们的代数结构，作为应用，分别构造了这两个算符二次幂及高次幂的本征态，证明了它们的完备性．

Witt型Hom-李超双代数(英文)

作者介绍了q-形变的Witt超双代数,它是一种Hom-李超双代数.进一步,作者给出了与该代数相关的Hom-Yang-Baxter方程的解.

抽象数据类型的双代数结构

对抽象数据类型的语法构造和动态行为的性质及两者的关系而言,单纯利用代数或共代数方法进行研究存在一定的不足.文中结合范畴论及分配律给出抽象数据类型的双代数结构,并通过λ-双代数自然地描述了语法构造与动态行为之间的转换关系;分别利用分配律对共代数函子及代数函子进行函子化提升,证明这种函子化提升可以将初始代数(或终结共代数)提升为初始(或终结)λ-双代数,并将其应用于递归及共递归函数的定义及计算中.实例表明,这种函子化提升可以扩展代数中的归纳原理和共代数中的共归纳原理,从而提高程序语言对抽象数据类型的描述与性质证明能力.

三角李拟双代数胚的扭关系

李拟双代数胚是李双代数胚的推广,它与扭泊松结构有密切的关系.本文证明了扭关系在李拟双代数胚范围内是等价关系,并给出了恰当和三角李拟双代数胚的定义,研究了它和YangBaxter方程的关系.

双代数上代数和余代数的扭曲

用（斜）（余）配对双代数在（余）代数上的（余）作用给出各种形式的扭曲（余）积

自伴算子的Jordan代数上的双Jordan导子

设H是一个复Hilbert空间,B(H)s是H上的由自伴算子构成的一个Jordan代数.双线性映射d:B(H)s×B(H)s→B(H)s是B(H)s上的双Jordan导子当且仅当存在虚数λ使得任给a,b∈B(H)s都有d(a,b)=λ(ab-ba).双线性映射d:B(Hs)×B(H)s→B(H)s是B(H)s上的双广义Jordan导子当且仅当在H上存在有界线性算子x使得任给a,b∈B(H)s都有d(a,b)=axb+bx*a.

半单李代数双极化的对称性(英文)

本文证明半单李代数上的任何双极化都是对称的 ,从而解决了金行壮二于 1 993年提出的一个待解的问题 .并给出了有关结果的一些应用 .

Loop代数_2的一个子代数与一族新的可积双Hamilton结构

利用建立的Loop代数A2的一个子代数,设计了一个新的等谱问题;然后利用屠格式获得一族新的Liouville可积的双Hamilton结构.作为约化情形,得到了广义非线性Schrodinger方程.