强收敛的球松弛CQ算法及其应用

为了求解分裂可行问题,Yu等提出了一个球松弛CQ算法。由于该算法只需计算到闭球上的投影,同时不需要计算有界线性算子的范数,该算法是容易实现的。但是球松弛CQ算法在无穷维Hilbert空间中仅仅具有弱收敛性。首先构造了一个强收敛的球松弛CQ算法。在较弱的条件下,证明了算法的强收敛性。其次将该算法应用到一类闭凸集上的投影问题上。最后,数值试验验证了该算法的有效性。     

经典命题逻辑中公式的Γ-随机真度与近似推理

利用概率空间的无穷乘积,在经典二值命题逻辑中引入了公式的Γ-随机真度概念以及公式间的Γ-相似度概念.进而导出了全体公式集上的一种伪距离,建立了逻辑度量空间.最后提出了基于Γ-随机真度的三种不同的近似推理模式,并且证明了这三种近似推理模式之间是相互等价的.     

对一道习题的思考

从相关习题出发，借助夹逼定理可证明：lim n→∞（b1a^n1＋b2a^n2＋…＋bma6n m）1/n=max{a1,a2,…,am}；设函数φ（x）,f（x）在[a,b]上都是正连续函数，则有lim n→∞{∫^b aφ（x）[f（x）]^n dx}^1/n=max a≤x≤b{f（x）}     

覆盖下近似算子的拓扑性质

在不限制U为有限论域的情况下,研究了覆盖下近似算子XL和CL的拓扑性质。证明了覆盖下近似算子XL是内部算子,而且由XL生成的拓扑TXL为包含由覆盖C本身作为子基生成的拓扑TC的最小Alexandrov拓扑。特别地,当U为有限论域时,TXL=TC.然而,覆盖下近似算子CL不是内部算子。当覆盖C为某拓扑的基时,CL是内部算子,且此时由CL生成的拓扑TCL与TC是同一个拓扑。若进一步要求U为有限论域,则TCL=TXL=TC,进而CL=XL.     

相关系数的传递性

主要研究了相关系数的传递性.首先在区间[-1,1]上引入两个运算和⊕,并讨论了它们的性质.接着利用运算和⊕给出了相关系数的传递性:当Xi与Xk完全相关,Xk与Xj完全相关时,Xi与Xj也完全相关.