连续信息基

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)射频加速元件等元件任意组成的离子光学系统. 粒子轨迹的计算可精确到三级近似. 粒子的分布类型也可以有多种选择. 程序具有最优化计算功能,即可以自动调整元件的参数,以实现所需要的光学条件. 各元件之后的横向和纵向相图以及系统的束流包络线以图形方式显示在屏幕上.     

L-型域上Toeplitz算子代数的广群结构

讨论L-型域上Toeplitz C^*-代数C^*(Ω)所对应广群G的拓扑结构.用Euclid空间加法闭子群的分类方法对G的单位空间M_∞的拓扑结构进行了详细刻画。     

4阶特殊线性李超代数的型心与拟型心

主要研究了复数域上的特殊线性李超代数sl(m,n)的型心与拟型心,其中m+n=4.应用解线性方程组的方法,完全确定了这些李超代数型心和拟型心的矩阵表示.     

M-矩阵平方根的一类迭代法

矩阵平方根在数学的许多应用中起着重要的作用.本文研究M-矩阵平方根的计算问题,提出一种计算正则M-矩阵平方根的迭代方法.首先将这个问题转化为M-矩阵代数Riccati方程,进而提出一种有效的方法来求解这个特殊的MARE.理论分析表明,该方法在一定条件下是收敛的.数值实验表明该方法是可行的,且优于二项式迭代法.     

基于直观想象的解析几何“几何条件代数化”策略探析

解决解析几何问题的关键是几何条件代数化.代数化的过程需要从数形结合的角度思考,特别是要先用几何的眼光观察,分析几何图形的性质,并结合图形及要素的代数表达进行策略上的选择,再进行代数化表达,通过代数推理与运算得到代数结论,解决解析几何问题.     

分裂的正则Hom-Leibniz-Rinehart代数

作为Hom-Leibniz代数胚的代数类比, 本文引入Hom-Leibniz-Rinehart代数的概念. 证明了分裂的正则Hom-Leibniz-Rinehart代数$L$写成$L=U+\sum_{\gamma}I_\gamma$, 其中$U$为极大交换子代数$H$的子空间和$I_\gamma$为$L$的理想, 若$[\gamma]\neq[d]$, 满足$[I_\gamma, I_d]=0$. 随后分别发展了分裂Hom-Leibniz-Rinehart代数的根和权的连通技术.最后研究了紧致的正则Hom-Leibniz-Rinehart代数的结构.     

将A-L理论推广到无限维李代数

为使由Alhassid与Levine所提出的动力学李代数方法（简称A－L理论）能适用于更多的散射体系，在h(∞)中引入了有效集合C（有限维）的概念．按照微扰理论的意义，C中的代数元所对应的群参量是较低次微扰的结果，而不属于C的代数元所对应的群参量则相当于较高次做扰所产生的修正结果．因此可以近似地利用C来代替h(∞)．这样，不仅简化了计算程序并且对于很多具有现实意义的散射过程的计算成为可能．