检索结果-维普期刊中文期刊服务平台

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到6篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

相关度排序被引量排序时效性排序

算子模糊逻辑的λ-TABLEAU推理: 1; 作者程晓春《模式识别与人工智能》 EI CSCD 北大核心 1997年第4期293-300,共8页; 作者基于信度语义提出了算子模糊逻辑模型BAOFL,本文给出了计算BAOFL中公式(集)不可满足程度的λ-TABLEAU推理方法,并证明了其可靠性和完备性。; 关键词算子模糊逻辑 λ-TABLEAU推理知识工程; 原文传递

一种多值规则量词公式的Tableau的方法: 2; 作者刘全孙吉贵《广西师范大学学报（自然科学版）》 CAS 2003年第1期101-105,共5页; 在多值逻辑中,含有量词的Tableau方法具有统一的扩展规则,并已通过可靠性和完备性的证明,但是由于扩展后的分枝非常庞大,使机器实现非常困难.通过对规则量词公式与一阶经典量词公式的对应关系的研究,使二者使用统一的扩展规则.; 关键词多值规则量词公式 TABLEAU方法多值逻辑扩展规范人工智能自动定理证明; 下载PDF 职称材料

基于Lambert光照模型的图像真伪盲鉴别算法被引量：9: 3; 作者陈海鹏申铉京 +1 位作者吕颖达金玉善《计算机研究与发展》 EI CSCD 北大核心 2011年第7期1237-1245,共9页; 依据Lambert光照模型,提出了基于Lambert光照模型的图像真伪盲鉴别算法.针对无限光源图像和局部光源图像,根据其实际的光强度与计算出的光强度之间的误差函数以及光源对光线的约束函数,分别提出了相应的算法用以计算图像中不同区域的光... 展开更多; 关键词 Lambert光照模型无限光源图像局部光源图像光源方向图像真伪盲鉴别; 下载PDF 职称材料

基于矩阵计算极小碰集的启发式算法被引量：5: 4; 作者欧阳丹彤耿雪娜 +1 位作者郭劲松王晓宇《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2013年第1期106-110,共5页; 提出了一种基于矩阵模型计算极小碰集的新方法。通过在矩阵中存储冲突集合簇的相关信息,引入集合簇中元素的频率作为启发信息,完成对极小碰集的计算。该算法的数据结构简单,程序易于实现,同时启发信息的引入减少了节点的生成。该算法可... 展开更多; 关键词人工智能基于模型诊断冲突集极小碰集启发式算法; 下载PDF 职称材料

凹形区域和带单洞区域间拓扑关系的表示被引量：3: 5; 作者李健欧阳继红 +1 位作者富倩陈岗《模式识别与人工智能》 EI CSCD 北大核心 2013年第3期225-230,共6页; 现有空间拓扑关系模型多针对同种类的空间对象进行处理,在实际应用中具有一定的局限性.本文在4-交集模型的基础上,通过扩展4-交集矩阵,对凹形区域和带单洞区域间的拓扑关系进行了表示,得到凹形区域和带单洞区域间161种拓扑关系,并给出... 展开更多; 关键词拓扑关系凹形区域区域连接演算(RCC5) 人工智能带单洞区域 4×4交集矩阵; 下载PDF 职称材料

计算机学科课程体系改革的探索与实践: 6; 作者张晓旭张长海《计算机教育》 2004年第B12期25-28,共4页; 本文探讨了课程体系改革过程中，如何运用现代教育思想，融传授知识、培养能力和提高素质为一体，培养基础扎实、知识面宽、能力强、素质高的创新型高级人才的问题。; 关键词课程体系改革探索与实践传授知识现代教育思想培养能力知识面创新型高级人才素质问题; 下载PDF 职称材料

已选择0条

导出题录引用分析

统计分析

上一页 1 下一页到第页

使用帮助返回顶部