赋值Banach代数的锥度量空间中的一类新型不动点定理

定义了一种向量版本的α-可容许函数,在不考虑锥的正规性的条件下,给出了赋值Banach代数的锥度量空间中的带有α-可容许函数条件的几类压缩型映射的不动点定理,所得结果大大地改进了前人的一些结果,并且举例验证了所得到的结论.      

Lukasiewicz区间值命题逻辑的广义重言式

给出一个新区间值的定义,在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义.同时由一类特殊的公式序列Ak,k=1,2,…,证明了可达-a-重言式类类不空和类类互异定理在Lukasiewicz区间值命题逻辑中也成立.     

包含广义逆的算子乘积的一些不变性

目的给定3个算子A,B和C,推广了Jürgen Groβ和Yongge Tian在文献Invariance properties of a triple matrix product involving generalized inverses([1]Linear Algebra Appl,2006,417:94-107)中得到的主要结论。方法应用算子分块矩阵的技巧和解算子方程的思想进行推导,这与Jürgen Groβ和Yongge Tian的方法完全不同。结果得出了文献[1]的主要结论在无限维Hilbert空间中成立的充要条件。结论得到了与X选取无关的3个算子AXC乘积的一些不变性质,其中X是算子B的不同种类的广义逆。     

基于真假设比例广义推断的多重检验方法

研究了多重假设检验方法的改进问题,基于真假设所占比例的广义推断,利用其广义置信上限对现有的多重假设检验方法进行改进.该方法更好地利用了水平,在功效上有很大提升.采用广义推断方法,即使在假设个数比较小时,也能对真假设所占比例做出较好推断.模拟结果表明,该方法显著提高了传统方法的功效.     

正态模型下单边假设检验问题中频率与贝叶斯证据的一致性

假设检验问题中的频率与贝叶斯证据的一致性或和谐性是频率学派和贝叶斯学派所共同关心的问题.研究正态模型下单边假设检验问题中广义p-值以及Jeffreys无信息先验下的贝叶斯证据,证明了各种检验问题中两类证据的一致性.     

广义Sasakian空间形式中的理想子流形

利用陈不等式研究了理想子流形的一些相关的几何问题,将理想子流形的概念推广到广义Sasakian空间形式中,并证明广义Sasakian空间形式中的一类特殊理想子流形是其极小子流形,推广了Sasakian空间形式中的相关结论.     

Banach空间中有限族“三解合一”的混合临近点法

在一致凸一致光滑的Banach空间中引进了一个新的混合迭代序列,利用混合临近点法,找到了均衡问题与变分不等式及有限族半相对非扩张映射不动点问题的公共解(简称"三解合一"),并证明了该迭代序列强收敛到其公共解.所得结果改进和推广了已有的相应结果.     

广义对称正则长波方程的新型守恒差分逼近

作者对一类广义对称正则长波方程的初边值问题进行了数值研究,提出了一个带有加权系数θ的平均隐式差分格式,格式模拟了初值问题的守恒性质,得到了差分解的存在唯一性,并利用离散泛函分析方法分析了该格式的二阶收敛性与稳定性.数值结果表明,该格式是可信的,且适当地调整加权系数θ,可以使计算结果具有更高的精度.     

应用在线整定广义最小方差多项式权值的测头控制方法

在曲面工件的高精度、高效率自动扫描测量过程中,为了提高测头自动跟踪扫瞄控制的精度和平稳性,提出了基于在线整定多项式权值的广义最小方差(OSPW_GMV)控制方法.该方法的主要思想是根据在线估计的被控对象参数及OSPW_GMV的输出,在线调整多项式的权值,实现测头自动跟踪扫瞄的控制.实验结果证明,使用具有高跟踪精度和强鲁棒性的OSPW_GMV控制器,可使测头跟踪过程的误差小于0.1mm的跟踪要求,且每次运算时间与广义最小方差控制器相差不大,因此该控制方法在一些实时性及控制精度要求较高的精密检测场合,有较好的应用价值.     

W-空间上的广义收缩型映射族的唯一公共不动点

介绍了比度量空间和对称空间更弱的W-空间的概念,并在W-空间上引进了若干个具有广义收缩型条件的映射族,得到了三个具有反交换性的广义收缩型映射族的唯一公共不动点的存在性定理.