公式、定理教学的层次性

人类教育文明已跨入“第三阶梯”,它要求教学者在一种“艺术化”的氛围中,在审美的愉快情景中向学生传授知识,培养学生的各种能力。 公式、定理的教学在数学教学中占有重要     

特殊向量丛的存在定理

本文给出紧 Riemann 曲面上特殊不可分解向量丛的一个存在定理和特殊单向量丛、特殊稳定向量丛存在假设的一个反例及2维特殊稳定向量丛的一个存在定理.     

H-空间与拟向量变分不等式

本在Hausdorff locally convex H-空间上建立了一个新的不动点定理；利用局部交性质，在Hausdorff locally convex H-空间上建立了相应的拟向量变分不等式．     

纬向对称准地转流的非线性稳定性定理

建立了周期域上准地转流在一般的边界条件下对应于Arnold第二定理的非线性稳定性定理。将扰动能量与扰动拟能的上界用初始扰动场的显示表示出来，从而建立了Liapunov意义下的非线性稳定性定理。     

R￣d中Hausdorff维数和packing维数的确定

本文目的在于建立确定Ｒ￣ｄ中Ｈａｕｓｄｏｒｆｆ维数ｄｉｍ和ｐａｃｋｉｎｇ维数Ｄｉｍ的两个命题（定理１和定理２），进而寻求Ｒ￣ｄ中Ｈａｕｓｄｏｒｆｆ维数ｄｉｍ与ｐａｃｋｉｎｇ维数Ｄｉｍ相等的条件；这使得我们能够引入分形测度的测度论定义。     

参数曲面保凸的一个定理

本文讨论了参数曲面的凸性，给出了参数曲面为凸的充要条件．并给出了具体的应用实例．     

奇异P-Laplace方程存在正解的充分必要条件

讨论了一维奇异P-Laplace方程{φp（u′））′ f(t,u)=0,t∈（0,1)；u(0=u(1)=0存在C^1[0，1]或C[0，1]正解的一个充分必要条件．用到的方法主要有上下解方法和Schaude，不动点定理．     

度量空间上Haj(l)asz-sobolev空间的新特征刻画

引进了包括分形和度量空间在内的齐型空间上的分数次Sobolev空间.这些Sobolev空间包括著名的Hajlasz—Sobolev空间为其特例,并建立了它们的各种Sharp极大函数的特征刻画.作为就用,证明了分数次Sobolev空间与某些Lipschitz型空间是一致的.此外,还给出了一些嵌入定理.     

一类不可微规划的高阶对称对偶性

本文我们利用一个可微函数给出了一对高阶对称规划问题 ,其中目标函数包含了Rn 中一紧凸集的支撑函数 .在引入高阶F 凸性 (F 伪凸性 ,F 拟凸性 )后 ,证明了高阶弱、高阶强及高阶逆对称对偶性质 .     

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

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