复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

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

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

C60量子点与磁性电极的耦合

在磁电子学领域，自旋极化输运与分子器件的结合是一个热门研究方向．最近，来自美国康奈尔大学的Pasupathy等，采用纳米加工技术，将单个C60分子吸附在一对Ni电极之间，构成了“铁磁电极-C60量子点”器件．量子点的Kondo效应和铁磁性交换耦合，原本是相互排斥的，在Pasupathy的实验中，两者被首次结合在一个器件中并加以观察．研究结果表明，如果器件的质量能够保证两种效应之间的竞争得到有效控制，     

模余代数和Morita-Takeuchi关系

H是Hopf代数,C是H-模余代数。首先利用余积分的概念,诱导C的右H-余模结构,并构造了Smash余积余代数C×H,使C×H作为余代数同构于C H。然后,由C的右H-余模结构诱导C的左H0-模结构,令 C=C/KerεH0C,则C×H与 C有Morita-Takeuchi关系。     

微分多项式的值分布

文[2-6]讨论了亚纯函数或代数体函数的微分多项式ω‘(z)-αω^n(z)及ω（z)ω^n(z)的例外值问题。本文利用代数体函数的Nevanlinna值分布理论方法，研究了代数体函数的微分多项式P（ω^(k)(z))-aΠk=1^s(ω(z)-ak)^pk,及a(w^(k)(z)^tw^n(t)的Picard值问题，推广了他们的结果。     

把握知识的交汇点 充分发挥向量的作用

向量作为新教材的一个亮点,倍受关注.由于向量集数、形于一体,涉及了代数、几何、三角等多门课程,而向量方法特别便于研究有关直线和平面的各种问题,因此对向量的学习和研究一定要溶于这些课程,并把握好向量与各课程间的交汇点,发挥其作用.     

πNN过程对Gottfried求和规则破坏的贡献

指出在计算πNN过程对核子结构函数的贡献时,将反冲核子视为物理核子更为合理.对Gottfried求和规则破坏、对质子中海夸克分布u和d不对称u(x)–d(x)等方面的贡献给出了详细的计算,与已有实验进行比较.结果表明π介子交换不是导致这一破坏以及影响核子结构函数的效应的惟一来源.     

铁磁/ 反铁磁双层膜中交换偏置

铁磁/反铁磁交换偏置在巨磁电阻器件中具有重要的应用。引起了物理学及材料学等领域内广大科学家的浓厚兴趣，本文首先阐述了交换偏置的基本性质。然后简述了交换偏置的实验研究方法；最后，着重介绍了几种主要的理论模型。     

散射体系A+BC的平-振能量传递

用Alhassid与Levine所提出的动力学李代数的方法(简称A-L理论),研究了含有二级非简谐的共线散射体系A+BC的平-振能量传递问题,计算了散射过程含有主要动力学参量的跃迁矩阵和跃迁几率的解析表示式.     

中心单Poisson代数

确定了特征0的代数闭域上与局部有限导子相关的中心单Poisson代数的结构. 这些Poisson代数的Lie代数结构一般来说不是有限阶化的.