滤子Vs.格值滤子

收敛空间是拓扑空间的自然推广,对角滤子的概念在这一理论中起到了非常重要的作用.一方面,它可以用来刻画收敛空间什么时候是拓扑的,另一方面也可以用来刻画拓扑空间的正则性.对于强化的预幺半群L=(L,≤,*,),我们详细地研究了(对角)滤子与对角(满层的)L-滤子之间的关系,这将有助于建立拓扑与L-拓扑及其收敛之间的联系.     

Ω-滤子的一个等价刻画

对滤子公理进行重新解释,给出了文献[1]引入的Ω-滤子的一个等价刻画。     

R_0-代数上的滤子拓扑空间

在R0-代数M上以全体MP滤子之集为拓扑基建立了一个滤子拓扑空间（M,TM）,给出了导集、闭包以及内部的计算公式。证明了（M,TM）是连通的、覆盖紧的且满足第一可数性公理;（M,TM）满足第二可数性公理当且仅当主滤子之集是可数集,（M,TM）不是T1的,不是T2的,也不是正则的或正规的;（M,TM）是T0空间当且仅当M是Boole代数。最后讨论了积R0-代数上的积空间。     

R0-代数上的滤子拓扑空间

在R0-代数M上以全体MP滤子之集为拓扑基建立了一个滤子拓扑空间(M,TM),给出了导集、闭包以及内部的计算公式。证明了(M,TM)是连通的、覆盖紧的且满足第一可数性公理;(M,TM)满足第二可数性公理当且仅当主滤子之集是可数集,(M,TM)不是T1的,不是T2的,也不是正则的或正规的;(M,TM)是T0空间当且仅当M是Boole代数。最后讨论了积R0-代数上的积空间。     

并滤子及其相关性质

给出了滤子的并未必是滤子的例证,并引入和考察了并滤子的概念.证明了并滤子对任意交和任意并的封闭性,格中并滤子的全体构成一个分配的完备格.     

几类n值逻辑系统中的MP滤子

给出了n值Lukasiewicz逻辑系统Ln,n值G6del逻辑系统Gn,n值乘积逻辑系统Pn,n值标准序列逻辑系统Sn和n值L^＊逻辑系统Wn中的MP滤子的分布情况,并讨论了这些MP滤子与格滤子的关系.     

几类n值逻辑系统中的MP滤子

给出了n值Lukasiewicz逻辑系统Ln，n值Goedel逻辑系统Gn，n值乘积逻辑系统Pn，n值标准序列逻辑系统Sn和n值L^＊逻辑系统职中的MP滤子的分布情况，并讨论了这些MP滤子与格滤子的关系。     

Scott开滤子拓扑的连续性

该文证明了完备格Ｌ为连续格当且仅当Ｌ上的Ｓｃｏｔｔ开滤子拓扑σＦ（Ｌ）为连续格，且细于Ｌ上的上拓扑。特别地，若Ｌ的素元集是序生成集，则Ｌ为和当且仅当σＦ（Ｌ）为连续格。     

Quantale中的L-模糊滤子及其相关性质

基于完备格L,在Quantale中引入了L-模糊滤子的概念,并研究了L-模糊滤子的基本性质.在L是闭集格的条件下,得到了Quantale中的L-模糊滤子的等价刻画;在L是空间式Frame且Q是幂等左半可换Quantale的条件下,证明了LQ上的生成滤子映射是Quantale核映射,进而全体L-模糊滤子构成的Quantale FilL(Q)是LQ的幂等的商Quantale;在Quantale中定义了L-模糊滤子拓扑,并得到了Quantale同态关于相应的L-模糊滤子拓扑连续的结论.     

L-拓扑空间中滤子的O-收敛

在L-拓扑空间中引入滤子的O-收敛理论，并讨论了滤子的O-收敛与网的O-收敛之间的关系．     

半群的广义Ω-模糊双理想

给定一个集合Ω,引入半群的广义Ω-模糊双理想概念,讨论了它的一些相关性质及等价刻画,研究了半群的广义Ω-模糊双理想的同态像与原像的性质。此外,通过在SΩ上定义运算得到半群(SΩ,),并研究了其双理想与广义Ω-模糊双理想。     

预Girard quantale及其性质的研究

研究了预Girard quantale的性质以及在预Girard quantale上核映射与余核映射之间的关系，简化了理想余核的定义，讨论了理想余核的一些性质，给出了右侧幂等quantale上所有理想余核的具体刻画．得到了预Girard quantale是Girard quantale的充要条件．证明了任意Quantale都可以嵌入到预Girard quantale中，并且在预Girard quantale上核映射与理想余核是一一对应关系．     

对偶Quantale及其性质

提出了对偶quantale的概念,研究了对偶quantale的性质及其构造,利用quantale上的nucleus与余nucleus算子,给出了任一quantale的对偶quantale商的完全构造及quantale上的开模态词的特别构造,研究表明,对偶quantale是非可换quantale中的布尔代数。     

非可换线性逻辑及其Quantale语义

扩充了V．M．Abrusci定义的非可换线性逻辑，使其兼容直党逻辑、可换线性逻辑及cyclic线性逻辑，并利用提出的对偶quantale概念给出了非可换线性的可靠且完备的quantale语义。     

卡尔曼滤波方程的改进算法及应用

针对卡尔曼滤波的缺点，提出了一种卡尔滤波的改进算法，然后将其应用到给合导航系统中，并用实例对该法进行了详细的说明，仿真结果表明，该方法简单实用，效果很好。     

一种改进的中值滤波算法及其应用

为有效解决传统中值滤波算法在保护图像细节方面存在的缺陷,提出了一种改进的中值滤波算法.该算法对滤波窗口中像素进行了分块处理,再对处理的数值取中值.通过对图像边缘像素进行横向和纵向扩展,改善了图像的边缘信息.将该算法应用到医学图像中,并将实验结果与其他算法进行了比较,证明了本文算法的有效性,在去除噪声的同时,更好地保护了图像的细节.     

粒子滤波理论及其在盲均衡中的应用

粒子滤波器的基本思想是用加权的离散随机样本点表示所需要的后验概率密度。粒子滤波理论的盲均衡方法与其他均衡方法相比，其优点在于它不包括对当前估计的线性化，而是利用离散的随机测度来对期望分布进行近似，而且算法收敛快，所需的数据量较少。介绍了粒子滤波理论及其在盲均衡中的应用。仿真结果表明，使用粒子滤波器的盲均衡方法在信噪比较低时也能完成对信道的均衡。     

粒子滤波理论及其在盲均衡中的应用

粒子滤波器的基本思想是用加权的离散随机样本点表示所需要的后验概率密度.粒子滤波理论的盲均衡方法与其他均衡方法相比,其优点在于它不包括对当前估计的线性化,而是利用离散的随机测度来对期望分布进行近似,而且算法收敛快,所需的数据量较少.介绍了粒子滤波理论及其在盲均衡中的应用.仿真结果表明,使用粒子滤波器的盲均衡方法在信噪比较低时也能完成对信道的均衡.     

Banach空间中非Lipschitzian半群的逼近序列的强收敛

C是一致凸B anach空间X中有界凸闭子集,X的范数一致G-可微,证明了渐近非扩张型半群的公共不动点集F(S)是C的sunny、非扩张压缩;给出了逼近序列{xt}的强收敛性,其中xt=atx (1-at)T(μ)xt.