关于二元函数的三角插值逼近

目的为克服Lagrange插值多项式不能对任意连续函数都一致收敛的问题,构造了一类二元乘积型三角插值多项式算子使得该算子在全平面上能够一致收敛到每个以2π为周期的二元连续函数。方法通过对Lagrange插值三角多项式的平移与组合,在已有成果的基础上做了推广,构造了一类形式较为广泛的二元乘积型三角插值多项式Tmn（f;x,y）=∑k=0^2m∑l=0^2nf（xk,yl）mα^k（x）mβ^l（x）,进而讨论了该算子的逼近性质。结果／结论证明了该算子在全平面上一致收敛到任意以2π为周期的二元连续函数,并且对C2π,2π^s,r（s≤α,r≤β）函数类的逼近均达到最佳收敛阶,即,当f（x,y）∈C2π,2π^s,r,s≤α,r≤β,成立｜Tmn（f;x,y）-f（x,y）｜=O{Emn^＊（f）＋1/m^sω（ ^sf/ x^s;1/m,0）＋1/n^rω（ ^rf/ y^r;0,1/n）＋1/m^s1/n^rω（ ^s＋rf/ x^s y^r;1/m,1/n）}。     

预处理后新分裂下的SOR迭代法收敛性讨论

在求解大型线性方程组Ax=b时,常采用预处理方法求解,也就是对方程组两边同时乘以非奇异矩阵P再求解.运用矩阵分裂理论及比较定理,给出一种预处理后改进的SOR迭代方法,与现有的方法进行比较,证明这种方法不仅能加速SOR迭代法的收敛性,而且优于一般的预处理方法.最后给出一个数值例子.     

完全正规性质的一点注记

讨论了完全正规空间的一个等价定义,并证明了完全正规性质是可遗传性质、有限可积性质以及可度量化空间是完全正规空间等结论.     

Banach空间脉冲发展方程整体解的存在性及其应用

研究了Banach空间中一阶脉冲发展方程的初值问题.在紧半群情形下,对脉冲函数不限制任何条件：既不附加紧性条件,也不假定其连续.采用逐段延拓的方法,讨论了无穷区间上一阶脉冲发展方程初值问题mild解的整体存在性.并将所得抽象结果运用到抛物型偏微分方程上,得到该方程古典解的存在性.     

P-M扩散方程图像去噪方法分析

目的 对P-M扩散方程图像去噪方法的原理及参数选取问题进行分析.方法 通过傅立叶变换法和图像特征方向的正交坐标系方法.结果 该方法比从P-M扩散方程本身出发讨论其去噪原理更为直观.结论 为P-M扩散方程图像去噪的参数选取提供了理论依据.     

一种非线性移动自回归预测模型

应用非线性回归分析中的S型增长模型及移动平均线理论,对按时间次序排列的单一数据序列,给出了一种非线性移动的自回归预测模型,将其应用于股价指数的历史数据中,对该预测模型的合理性和准确性作了初步验证,得到的结果相当理想,本模型具有一定的实际应用价值。     

向量集值函数松弛型弱有效鞍点元的存在性

借助于向量集值函数的Contingent切导数建立了松弛型弱有效鞍点元存在的必要及充分性条件。     

关于K的三种模糊模态逻辑

引入了MR₀代数的概念,讨论了它的一些重要性质,给出了MR₀代数的同构定理。其次,构建了模态系统K₁,证明了在MR₀代数语义下该系统是完备的。最后,通过将Kripke模型中的赋值V模糊化,建立了模态逻辑系统K₂,并证明了系统K₂是可靠的;通过将Kripke模型中的二元关系R模糊化, 建立了模态逻辑系统K₃,并证明了系统K₃是完备的。     

Heyting代数与剩余格

证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R0-代数的充分必要条件。     

高效可证安全的基于身份的门限签名方案

谷科等人在Paterson方案的基础上提出了一个高效安全的基于身份的签名方案,该方案在标准模型下被证明能够规约到CDH问题的假设。在谷科等人方案的基础上,提出了一个高效可证安全的基于身份的门限签名方案,新方案在标准模型下被证明具有在自适应选择消息攻击性下具有不可伪造性、安全性可规约到CDH问题假设,与目前已有的标准模型下基于身份的门限签名方案相比,此方案具有更高的计算效率。