NA列的密度估计的相合性和中心极限定理

该文给出了NA序列的密度核估计的均方相合性和强相合性,并对强平稳NA序列,在一定的条件下,得到了NA序列的密度核估计的中心极限定理.     

如何构造辅助函数证明含有“中值点”的导数值的等式

通过实例介绍了在利用微分中值定理证明含有“中值点”的导数值的等式时,如何利用构造法引进辅助函数的方法。     

两个多重临界点存在定理的应用

推广了两个多重临界点存在定理。作为其应用的例子,主要讨论了二阶半线性椭圆方程边值问题-u=f(x,u),u=0有三个互异解的条件。     

边界条件中带较弱系数的Riemann-Hilbert边值问题

主要目的是讨论一阶非线性椭圆型复方程在边界条件中带有较弱系数的Riemann-Hilbert边值问题。为此,我们先提出相应于问题A的变态边值问题B,并给出解析函数问题B与问题A的解,然后利用复方程的解的表示式与先验估计以及Schauder不动点定理证明复方程问题B的可解性,从而导出复方程问题A的可解性结果。     

不可数域的一个紧致性定理

给出关于不可数域上无限个线性方程及多项式不等式所成之集的可解性的一个紧致性定理,把全集的可解性化归其诸有限子集的可解性.并举例说明这一定理在无限维线性代数中的应用.     

一类非线性四阶两点边值问题

研究一类非线性四阶常微分方程两点边值问题,得到一个存在唯一性定理。     

宝华山栎林生态系统乔木层的营养元素循环

本文主要讨论宝华山栎林群落乔木层营养元素的含量和循环。文中详细给出了乔木层现存量、年吸收及年存留中N、P、K、Ca、Mg五种元素的量和分配。     

过山气流与地形形状

为了有效地模拟过山气流中可能出现的波破碎现象,本文采用高阶矩湍流闭合的二维大气中尺度数位模式,利用该模式模拟了有限高度的三种不同形状地形上的过山气流,讨论了地形形状对过山气流的非线性作用.     

钢球轧辊孔型设计咨询专家系统——BRES

本文介绍供钢球轧辊孔型设计初始参数选择的设计咨询专家系统BRES的设计思想、总体结构和功能,并讨论了该系统的知识库和推理机的构造技术。文中给出了BRES结合孔型优化CAD的设计应用实例,表明本系统能面向一般用户,在专家水平上进行复杂的斜轧钢球轧辊的螺旋孔型设计,为提高设计水平,缩短设计计算周期,推广斜轧零件工艺,提供了一个初步智能化的工具。     

一类二阶椭圆型方程组解的存在性

本文将一类二阶椭圆型方程组化为等价的一阶复方程组,通过引入新的积分算子,然后利用Fredholm定理证明了解的存在性。