非线性高阶中立型时滞偏微分方程的振动定理

给出了一类具有连续分布时滞的非线形高阶中立型偏微分方程的若干新的振动定理,所得结果改进和推广了一些文献中的振动定理.     

利用不完全LU分解的松弛型二级多分裂方法的收敛性

讨论内分裂为不完全LU分解时,松弛型二级多分裂方法的收敛性.当系数矩阵为单调矩阵或H-矩阵时,证明了松弛因子的收敛域严格包含区间(0,1],改进了已有的结果.     

深部高应力巷道的非对称大变形

针对深部巷道尤其是倾斜岩层中的巷道围岩大变形问题,根据和分解有限变形力学理论,采用深部工程软岩大变形力学设计与分析系统(LDEAS)对旗山-1000 m 水平北翼轨道联络大巷的开挖过程进行了数值模拟.结果表明,倾斜岩层中巷道出现底板臌起、两帮缩进,顶板出现大面积的下沉;底板臌起、两帮缩进量的最大值和顶板的最大下沉量均随着巷道底板下岩层弹性模量的降低而呈增大的趋势.和分解增量法分析模型下巷道顶板的最大下沉量要小于两帮的最大收缩量,但是极分解增量法分析模型下巷道顶板的最大下沉量却大于两帮的最大收缩量.     

Best Tracking Performance under Plant Uncertainty and Control Energy Constraint

This paper has investigated best tracking performance for linear feedback control systems in the case that plant uncertainty and control effort need to be considered simultaneously. Firstly, an average integral square criterion of the tracking error and the plant input energy over a class of additive model errors is defined. Then, utilizing spectral factorization to minimize the performance index, we obtain an optimal controller design method, and furthermore study optimal tracking performance under plant uncertainty and control energy constraint. The results can be used to evaluate optimal average tracking performance and control energy in designing practical control systems.     

基于XML的异构数据源集成查询中间件的设计和实现

企业ERP建设中形成了许多异构数据源,为了有效使用这些数据有必要进行异构数据源的集成.为此给出了基于XML的异构数据源集成查询的中间件的设计和实现方案.该中间件具有接收查询的功能,还具有对用户查询进行语法分析、生成查询任务树、优化查询、分解查询和组合数据并以XML格式保存信息的功能.     

分数阶微分方程解的存在性

假设右端函数满足Perron条件,应用Schauder不动点定理证明了一个分数阶微分方程解的存在性结果,改进了Lipschitz条件.     

对波莱尔改进拉格朗日插值公式思想方法的研究

R.Méray、波莱尔(E.Borel)及C.Runge等人已指出利用拉格朗日(Lagrange)插值公式所得多项式在一些情况下不能很好逼近被插函数.如何改进拉格朗日插值公式使之更好地逼近被插函数是当时数学家思考的一个重要问题,波莱尔即为其中之一.基于原始文献,利用历史分析和比较的方法,搞清了波莱尔改进拉格朗日插值公式的思想背景,分析了他的改进方法,探讨了其思想在当时的重要影响.     

基于小波变换和奇异值分解相结合的加密图像数字水印算法

以一种加密算法和多级小波变换,奇异值分解为基础,提出一种数字水印算法.将原始图像进行多级小波分解,然后对低频部分进行奇异值变换,将加密的水印信息嵌入其中.实验结果表明:该算法不仅具有较好的不可感性,而且对几何变换,如旋转、剪切、镜像,叠加噪声如椒盐、高斯噪声及高斯滤波等均具有很好的鲁棒性.     

Crum定理的一个新证明

导出了新的Plücker关系式,利用Wronskian技巧和Plücker关系式证明著名的Crum定理.给出了Crum定理一个新的简洁证明.在附录中证明了三个plücker关系式.     

一类两点边值问题正解的三解定理

证明了一个新的锥上不动点定理,并利用此定理研究了两点边值问题1/(p(t))[p(t)u′(t)]′ g(t)f(u(t))=0,λ1u(α) λ2u′(α)=0,u(β)=B,α相似文献