排序方式: 共有6条查询结果,搜索用时 0 毫秒
1
1.
R0-代数是基于系统研究形式演绎系统£^*而提出的一类逻辑代数,研究了R0-代数的结构,引进了R0-代数的正规MP-理想的概念,讨论了正规MP-理想与MP-理想之间的关系,给出了正规MP-理想的特征性质和扩张性质,用正规MP-理想完全刻画,了正规R0-代数。 相似文献
2.
伪MTL-代数(WPBL-代数)的正规滤子 总被引:5,自引:0,他引:5
给出伪MTL-代数(WPBL-代数)的一些新性质。通过一个重要反例说明了伪BL-代数正规滤子的充要条件在伪MTL-代数(WPBL-代数)中不再成立,并给出伪MTL-代数(WPBL-代数)正规滤子的一个新的等价条件。利用这些结果,建立了伪MTL-代数(WPBL-代数)的商代数结构。 相似文献
3.
针对传统RBAC模型中无法有效对移动用户进行授权的缺陷,提出了一个支持空间与时间维度的访问控制模型——SDT-RABc,定义了在空间环境下的激活空间区域约束、激活空间角色基数约束和空间职责分离约束,给传统的基于角色的访问控制模型增加了空间安全描述能力.最终建立了一个通用性较好,描述性较强的访问控制模型. 相似文献
4.
图像采集系统在获取图像时,受到各种干扰,使图像变模糊并含有噪声。为此,提出了一种基于清晰图像先验知识的图像盲复原算法。首先通过统计分析大量的清晰图像梯度域的概率分布特性,将图像划分为具有较多复杂纹理的区域和平坦区域,拟合概率分布函数,得到清晰图像的先验知识,并加入图像局部约束条件,即复原图像平坦区域与退化图像的平坦区域的概率分布变化较小,避免产生振铃现象。然后,建立图像噪声模型,将图像噪声划分为高斯噪声和均匀分布噪声,防止退化图像中的灰度过饱和像素点在复原过程中产生异常值。最后,利用最大后验概率模型,构造代价函数,将图像盲复原问题转变为求代价函数最小化问题,并用最大期望算法和快速迭代收缩算法求解代价函数,恢复出清晰图像。实验结果表明,该算法能有效恢复图像细节,锐化图像边缘,抑制噪声,避免产生振铃效应。 相似文献
5.
为建立智能信息处理(近似推理)的数学基础以及逻辑代数自身发展的需要,提出一类新的逻辑代数——伪NM代数.引入了伪NM代数的滤子理论,定义了滤子、生成滤子、正规滤子和素滤子等概念,研究了它们的特征性质,给出了生成滤子的结构,证明了在伪NM代数中素滤子与不可约滤子等价以及极大滤子必是素滤子,建立了伪NM代数的素滤子定理及其推论.它们是NM代数滤子理论相应结果的非交换推广. 相似文献
6.
1