1974年1月创刊(月刊)
主管/主办:重庆西南信息有限公司
ISSN 1002-137X
CN 50-1075/TP
CODEN JKIEBK
编辑中心
    第十四届中国多值逻辑与模糊逻辑学术会议 栏目所有文章列表
    (按年度、期号倒序)
        一年内发表的文章 |  两年内 |  三年内 |  全部
    Please wait a minute...
    选择: 显示/隐藏图片
    1. 基于非负邻域嵌入和非局部正则化的单帧图像超分辨率重建算法
    彭羊平,宁贝佳,高新波
    计算机科学    2015, 42 (11): 104-107.   DOI: 10.11896/j.issn.1002-137X.2015.11.022
    摘要167)      PDF(pc) (950KB)(546)    收藏
    单帧图像超分辨率重建是指利用一幅低分辨率图像,通过相应的算法来获取一幅高分辨率图像的技术。提出了一种基于 非负邻域嵌入和 非局部正则化 的单帧图像超分辨率重建算法,以弥补传统邻域嵌入算法的不足。在训练阶段,首先对低分辨率图像预放大2倍,以保证在放大倍数较大时,高、低分辨率图像块之间的邻域关系也能得到较好的保持;在重建阶段,使用非负邻域嵌入来有效地解决近邻数的选取问题;最后利用图像块的非局部相似性构造非局部正则项对重建结果进行修正。实验结果表明,相对于传统算法,本方法的重建结果纹理丰富、边缘清晰。
    参考文献 | 相关文章 | 多维度评价
    2. 过渡现象及其理论
    洪龙
    计算机科学    2015, 42 (11): 108-111.   DOI: 10.11896/j.issn.1002-137X.2015.11.023
    摘要351)      PDF(pc) (306KB)(666)    收藏
    过渡是自然界和日常生活中普遍存在的现象,它是科学研究、工程技术和社会管理中必须面对的问题。介绍了过渡现象研究的历史及现状,并分别采用传递性、区间和逻辑方法描述了过渡的一般概念。引入了左区间符 【和右区间符】,并提出区间邻接概念,并采用这些概念定义了过渡,讨论了过渡的基本特征:过渡变量、过渡区域、始点、增型过渡和减型过渡等内容。另外,还展望了过渡的研究方向,这些方向的研究成果将初步形成有关“过渡”的知识结构。
    参考文献 | 相关文章 | 多维度评价
    3. 基于视觉运动特性的视频时空显著性区域提取方法
    周莺,张基宏,梁永生,柳 伟
    计算机科学    2015, 42 (11): 118-122.   DOI: 10.11896/j.issn.1002-137X.2015.11.025
    摘要360)      PDF(pc) (1208KB)(508)    收藏
    为了更准确有效地提取人眼观察视频的显著性区域,提出一种基于视觉运动特性的视频时空显著性区域提取方法。该方法首先通过分析视频每帧的频域对数谱得到空域显著图,利用全局运动估计和块匹配得到时域显著图,再结合人眼观察视频时的视觉特性,根据对不同运动特性视频的主观感知,动态融合时空显著图。实验分析从主客观两个方面衡量。视觉观测和量化指标均表明, 与其他经典方法相比,所提方法提取的显著性区域能够更准确地反映人眼的视觉注视区域。
    参考文献 | 相关文章 | 多维度评价
    4. 语言真值格值命题逻辑中的α-语义归结方法
    张家锋,徐 扬,陈 琴
    计算机科学    2015, 42 (11): 123-129.   DOI: 10.11896/j.issn.1002-137X.2015.11.026
    摘要259)      PDF(pc) (531KB)(582)    收藏
    语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理,研究了基于格值逻辑的归结自动推理方法。首先给出了语言真值格值命题逻辑系统的α-语义归结与LnP(X)中相应归结水平的语义归结之间的等价性,并通过实例说明其有效性。接着,给出了语言真值格值命题逻辑系统的α-语义归结算法,并证明了该算法的可靠性和完备性。
    参考文献 | 相关文章 | 多维度评价
    5. 对称逻辑公式在L*4逻辑度量空间中的分布
    惠小静,赵玛瑙,高姣
    计算机科学    2015, 42 (11): 130-133.   DOI: 10.11896/j.issn.1002-137X.2015.11.027
    摘要204)      PDF(pc) (324KB)(471)    收藏
    在四值逻辑系统L*4中引入了对称逻辑公式。运用Matla软件研究了对称逻辑公式在L*4逻辑度量空间中的计数问题,给出了3n元、3n+1元、3n+2元对称逻辑公式的个数。证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋于零。
    参考文献 | 相关文章 | 多维度评价
    首页 | 前页| 后页 | 尾页 第1页 共1页 共5条记录