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

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

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

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

模余代数和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值问题，推广了他们的结果。     

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

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

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

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

中心单Poisson代数

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

两个代数不等式

本文旨在建立两个新的代数不等式 ,并给出它的一个应用 .引理　若x ,y为正数 ,n为正整数 ,则 xn + yn2≥ x + y2n.证略 .定理 1　若a ,b ,c为不大于 1的正数 ,n为正整数 ,则1n1+a+ 1n 1+b+ 1n1+c≤ 3n1+ 3 abc.证　令α ,β为不大于 1的正数 ,则　 11+α+ 11+ β=2 +α + β1+α + β +αβ= 1+ 1-αβ1+α + β +αβ≤ 1+ 1-αβ1+ 2αβ+αβ= 21+αβ,∴ 1n1+α+ 1n1+ β=n 11+α+n 11+ β≤ 2n 1211+α+ 11+ β≤ 2 11+αβ=21+αβ,∴ 1n1+a+ 1n1+b+ 1n1+c+ 1n1+ 3 abc≤ 21n1+ab+ 1n1+c 3 abc≤ 4n1+ 4abc 3 abc=4n1+ 3 abc,∴　 1n1…     

广义Witt型Lie双代数*

给出了广义Witt型Lie代数W上定义的Lie双代数的分类,证明了这样 的Lie双代数是余边沿上三角的Lie双代数,并且证明了1阶上同调群H1(W,W(?) W)是平凡的．     

逻辑函数在布尔减-异或、布尔除-符合代数系统中的规范展开式

证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的RM、CRM展开式出发,分别推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范展开式.举例说明了与-或-非代数系统中规范展开式与布尔减-异或、布尔除-符合代数系统中的规范展开式之间的转换.