关于Araki Elliott的定理1

在c~*-代数的定义中,要求范数是次乘的。但是这一点可以从其他条件推出来。 Araki-Elliott的定理1 设(A,||·||)是Banach空间,A并且是复数城上的*代数,及满足     

关于循环阵列码

本文用代数观点来研究循环阵列码,证明了一般的阵列码是一些极小循环阵列码的直和,并且对极小循环阵列码给出了明确的刻画．当有限域的特征不整除群的阶时,给出了直接写出相应的多项式环的本原幂等元的方法,从而可以直接写出所有的极小循环码．     

von Neumann代数中套子代数上的Lie同构

本文给出因子von Neumann代数中的幂等算子在广义Lie积下的一个刻画; 得到因子von Neumann代数中套子代数的幂等算子在Lie积下的一个特征．作为应用, 研究了因子von Neumann代数中套子代数上的Lie同构,并证明因子von Neumann 代数中套子代数之间的Lie同构,要么是同构与广义迹之和,要么是负反同构与广义迹之和．     

Hopf代数上的扭曲模和(斜)余配对Hopf模

本文第一部分主要把扭曲的方法运用到模上,从而得到扭曲模．作为特例,我们构造了H  M的Smaush模和量子模．当K是有限维Hopf代数,证明K*  M是一个右D(K)-Hopf模,因此得到了一个基本同构定理．第二部分主要把斜余配对双代数进行推广,得到了斜余配对Hopf模,并且给出判断斜余配对Hopf模的一个充要条件．     

无限维奇Hamilton模李超代数的导子

本文首先确定了无限维奇Hamilton模李超代数的生成元集,然后确定了奇Hamilton模李超代数到广义Witt模李超代数的导子空间,进而确定了无限维奇Hamilton模李超代数的导子代数.     

基于零点的函数K图和dj图的转换

介绍了函数的最大项展开式和CRM展开式及其图形表示，提出函数K图和dj图的零点的概念，并以此为基础讨论了基于零点的函数K图和dj图之间的转换方法。     

TUHF代数上的Lie导子

证明了TUHF代数丁上的Lie导子L形如D l．其中D是T上的结合导子，l是从T到它的中心Z上的线性映射且零化T中的括积．     

连续信息基

D.Scott在20世纪60年代引入了domain理论,并给出了两种等价形式——信息系统和邻域系。在型论(typetheory)基础上,G.Sambin提出了形式拓扑(Formal topology)理论,并证明了一元形式拓扑与代数Scott domain等价,从而推出代数信息基的概念,同时作为信息系统与邻域系的推广。本文从信息基的观点出发,提出了连续信息基的概念,证明了它与连续Scott domain的等价性。     

三级近似束流光学计算程序

为了精确计算束流在离子光学系统中的传输,用Visual FORTRAN 6.5语言编写了一个计算程序,长约13000行. 此程序可以计算由三圆筒单透镜、三膜片单透镜、双元筒透镜、均匀场静电加速管、磁四极透镜、六极磁铁、静电四极透镜、偏转磁铁、螺线管透镜、ExB~正交电磁场分析器、静电偏转器、漂浮管、QWR(Quarter Wave Resonators)和SLR(Split Loop Resonators)射频加速元件等元件任意组成的离子光学系统. 粒子轨迹的计算可精确到三级近似. 粒子的分布类型也可以有多种选择. 程序具有最优化计算功能,即可以自动调整元件的参数,以实现所需要的光学条件. 各元件之后的横向和纵向相图以及系统的束流包络线以图形方式显示在屏幕上.