R0-代数的正规MP～理想

R0-代数是基于系统研究形式演绎系统￡^*而提出的一类逻辑代数，研究了R0-代数的结构，引进了R0-代数的正规MP-理想的概念，讨论了正规MP-理想与MP-理想之间的关系，给出了正规MP-理想的特征性质和扩张性质，用正规MP-理想完全刻画，了正规R0-代数。     

伪MTL-代数(WPBL-代数)的正规滤子

给出伪MTL-代数（WPBL-代数）的一些新性质。通过一个重要反例说明了伪BL-代数正规滤子的充要条件在伪MTL-代数（WPBL-代数）中不再成立，并给出伪MTL-代数（WPBL-代数）正规滤子的一个新的等价条件。利用这些结果，建立了伪MTL-代数（WPBL-代数）的商代数结构。     

基于空间特性的访问控制模型

针对传统RBAC模型中无法有效对移动用户进行授权的缺陷,提出了一个支持空间与时间维度的访问控制模型——SDT-RABc,定义了在空间环境下的激活空间区域约束、激活空间角色基数约束和空间职责分离约束,给传统的基于角色的访问控制模型增加了空间安全描述能力．最终建立了一个通用性较好,描述性较强的访问控制模型．     

基于清晰图像先验知识的盲复原算法

图像采集系统在获取图像时,受到各种干扰,使图像变模糊并含有噪声。为此,提出了一种基于清晰图像先验知识的图像盲复原算法。首先通过统计分析大量的清晰图像梯度域的概率分布特性,将图像划分为具有较多复杂纹理的区域和平坦区域,拟合概率分布函数,得到清晰图像的先验知识,并加入图像局部约束条件,即复原图像平坦区域与退化图像的平坦区域的概率分布变化较小,避免产生振铃现象。然后,建立图像噪声模型,将图像噪声划分为高斯噪声和均匀分布噪声,防止退化图像中的灰度过饱和像素点在复原过程中产生异常值。最后,利用最大后验概率模型,构造代价函数,将图像盲复原问题转变为求代价函数最小化问题,并用最大期望算法和快速迭代收缩算法求解代价函数,恢复出清晰图像。实验结果表明,该算法能有效恢复图像细节,锐化图像边缘,抑制噪声,避免产生振铃效应。     

伪NM代数的正规滤子与素滤子

为建立智能信息处理（近似推理）的数学基础以及逻辑代数自身发展的需要，提出一类新的逻辑代数——伪NM代数．引入了伪NM代数的滤子理论，定义了滤子、生成滤子、正规滤子和素滤子等概念，研究了它们的特征性质，给出了生成滤子的结构，证明了在伪NM代数中素滤子与不可约滤子等价以及极大滤子必是素滤子，建立了伪NM代数的素滤子定理及其推论．它们是NM代数滤子理论相应结果的非交换推广．     

伪NM代数及其性质

本文提出了一类伪逻辑代数-伪NM代数,它是NM代数的非交换推广。详细地探讨了伪NM代数的基本性质,给出了伪NM代数的等价特征,这个特征恰好是Ro代数的非交换推广。证明了伪NM代数类形成一个簇。