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

生长曲线模型中回归系数阵的极大似然估计的精确分布

对于生长曲线模型,基于理论发展和应用效果的考虑,本文引入了Gauss型误差．在此误差下,本文研究了模型中回归系数阵的极大似然估计的精确分布,求出了此分布的密度和特征函数．     

Rational Homotopy Theory and Nonnegative Curvature

in this note, we answer positively a question by Belegradek and Kapovitch about the relation between rational homotopy theory and a problem in Riemannian geometry which asks that total spaces of which vector bundles over compact non-negative curved manifolds admit （complete） metrics with non-negative curvature.     

桥随路降法治理桥头跳车

分析软土地基上路堤与桥梁的沉降差异及跳车的原因,采用桥随路降的治理方法,应用柱式升降桥墩来调控桥面高程,使桥面降落高度与路面沉降量一致,保持道路竖曲线顺畅,消除桥头跳车.     

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

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

利用谱线宽度测人发中的微量元素

通过实验证明了可以利用谱线宽度做永久工作曲线用于光谱定量分析。给出了用于测量人发中微量元素Ｃｕ，Ｚｎ，Ｆｅ和Ｃａ的永久工作曲线，利用这些工作曲线对实际样品进行了测定，所得结果与用ＩＣＰ－ＡＥＳ测得的结果相吻合。