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

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从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)是平凡的．     

原型装置单路模拟运行演示系统设计和开发

美国LLNL用激光性能运行模型（LPOM）系统来运行NIF的首四路激光：（1）用LPOM提供NIF的实时预测功能；（2）用LPOM确定NIF所有激光发射的系统参数设置：（3）用LPOM使拟议中的激光发射对系统发射对系统产生破坏的可能性减到最小。LPOM已成为NIF首四路激光模块调试的关键工具。目前我国原型装置的运行也需要一套模拟运行演示系统。     

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

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