二阶椭圆型微分方程解的振动定理

考虑二阶非线性椭圆型微分方程∑^n_{i,j}∂/∂x_i{A_{i,j}(x,y)∂/∂x_j}+q(x)f(y)=0 (E)，其中q(x)在外区域 Ω∈R\+n上变号. 利用偏Riccati变换和积分平均技巧, 建立了方程(E)所有解振动的充分准则.     

Green公式和代数的遗传性

设Λ是有限域k上的有限维代数, 证明了在molΛ中Green公式成立当且仅当Λ是遗传代数.     

Stable Solution of Nonlinear Age-structured Forest Evolution System

This paper studies the dynamical behavior of a class of total area dependent nonlinear age-structured forest evolution model. We give the problem of equal value for the forest system, and discuss the stable solution of system. We obtained the necessary and sufficient conditions for there exists the stable solution.     

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

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

负曲率完备流形上方程△u=f的有界整体解

借助于Hessian比较定理和上下解方法，证明了对于相当多的一类非负函数f，负曲率完备黎曼流形上的方程△u=f都存在有界的整体解，从而刻画了这些黎曼流形的双曲性程度。     

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

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

HL-2A装置真空系统

现代核聚变实验装置要求的真空系统必须实现以下主要功能：（1）装置真空室的零部件及总体抽空和检漏；（2）真空室的烘烤除气（H2O）；（3）辉光放电清洗和面对等离子体部件的锻炼及原位处理；（4）边缘粒子的抽运与控制；（5）等离子体放电实验运行。     

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

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

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