多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

关于Gpp环和Gp-内射模的若干讨论

讨论了Gpp环和Gp-内射模的一些性质;讨论了Gp-内射模和R-内射模的关系及Gp-内射模和Gpp环的若干联系.最后讨论了和Gpp环有关的有限生成模的投射盖问题.     

强分次环与Maschke-型定理

设G是有限群,|G|^-1∈R.本文证明了与强G-分次环R,R#k[G]^*,非分次R-模和R_e-模有关的两个Maschke-型定理.     

强流直线感应加速器中束流质心横向运动初步计算

 “神龙一号”强流脉冲加速器由72个直线感应加速腔和18个用于测试和真空泵接口的多功能腔组成。直线感应加速器的研制建造中磁轴对中偏差和聚焦磁场的自然偏差所引起的束流质心偏移轨道中心是不可避免的，由于束脉冲期间存在能散，使束流产生Corkscrew运动,导致束流品质变坏。而束脉冲期间的能散只能减小到一定水平，因此必需采取一定的措施抑制Corkscrew幅度的增长。在加速器的安装阶段，脉冲悬丝技术被应用于准直加速段聚焦磁场，并在磁轴准直测试的同时对磁场固有倾斜偏差进行初步校正。根据脉冲悬丝测试所得实验数据，采用传输矩阵法对加速段束质心轨迹进行了初步估计，计算中考虑了各加速腔聚焦磁场的倾斜和偏移误差。给出了计算结果和分析。     

Kac-系统与Morita等价

本文讨论与Hilbert C~*-模相关的Kac-系统在C~*-代数上的作用的性质,给出了两个Morita等价的C~*-代数(在Kac-系统的作用下得到的C~*-代数的余交叉积是Morita等价的)。从而,Baaj和Skandalis等人的结论是本文定理的特殊情况。     

正系数多项式倒数逼近的点态和整体估计

利用Ditzian-Totik光滑模对于[0,1]上定义的非角连续函数f(x)，且f(x)≠0，文中证明存在正系数多项式Pn(x)及常数C，使得|f9x)-1/Pn(x)|≤Cωψ^λ（f,n^-1/2(ψ(x) 1/√n)^1-λ)。当λ＝1时，上述结果导出已有的整体估计，而当0≤λ＜1时，得到倒数逼近一个新的点态局部估计。     

Au等离子体M带5f-3d跃迁的电子离子碰撞激发速率系数

电子离子碰撞激发速率系数在超组态碰撞辐射模型中真实模拟非局域热动力学平衡Au激光等离子体M带谱 5f 3d跃迁中各种复杂电荷态离子的电离态特性 (譬如离子的平均电离度 ,相对丰度和能级布居数 )是必不可少的。基于准相对论多组态Hartree Fock方法和扭曲波玻恩交换近似 ,采用自编的扭曲波程序ACDW (9)和Fit(9) ,从头计算了Au等离子体M带 5f 3d电子离子碰撞激发速率系数。结果表明 :在“神光II”实验装置诊断的电子温度约 2keV ,电子密度约 6× 10 2 1cm-3 范围内 ,这些电子离子碰撞激发参数有利于采用超组态碰撞辐射模型模拟Au的激光等离子体M带 5f～ 3d细致谱的平均电离度和电荷态分布。     

论贷映射及其结构

本文论述了袋映射的缘起，给出了袋映射的对称函数列表示法，并在此基础上证明了Ｖａｌｕｅｆｕｎｃｔｉｏｎａｌ的袋映射可用一个一元函数和一个二元对称函数表达，从而进一步表明确了这类袋映射的构造。