•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第9721-9730项 搜索用时 106 毫秒
[首页] « 上一页 [968] [969] [970] [971] [972] 973 [974] [975] [976] [977] [978] 下一页 » 末  页»
9721.
  总被引:7,自引:1,他引:7
动态描述逻辑在描述逻辑的基础上引入了动态维,用于描述和推理动态领域的知识,但目前缺少有效的判定算法作为支撑.文中以描述逻辑ALCO的动态扩展为例,构建出动态描述逻辑D-ALCO.以D-ALCO的构建过程为基础,将ALCO的Tableau算法、命题动态逻辑的Tableau算法以及对… …   相似文献
9722.
  总被引:7,自引:1,他引:7
给出了 XML函数依赖、部分函数依赖和传递函数依赖的概念 ,然后据此提出了三种 XML范式 :1XNF、2 XNF和 3XNF.提出了 DTD无损联接分解的概念 ,给出了两个把 DTD无损联接地分解成 2 XNF和 3XNF的算法  相似文献
9723.
  总被引:7,自引:0,他引:7
给出一种在二维小波变换基础上,进行混沌映射,将图像加密的方法.该方法应用二维小波分解算法分解图像信息,从分解结构中提取二维信号的低频系数和高频系数,再分别对其实行混沌猫映射,从而完成图像的加密.解密时,首先对系数进行猫映射的逆映射,然后利用提取出的低频系数和高频系数进行二维小波重… …   相似文献
9724.
  总被引:7,自引:2,他引:7
概念格是知识工程中一个重要的知识表达工具,同时也是形式概念分析的核心.目前已出现了许多有效的概念格构造算法.提出了一个基于互关联后继树的概念格构造算法,以扩展的互关联后继树为数据模型,通过对树的搜索和相关判定定理完成所有形式概念的生成.分析了算法的性能,并做出相关结论.… …   相似文献
9725.
  总被引:7,自引:0,他引:7
基于内容的图像检索是多媒体数据库研究的重要内容之一。近年来,采用用户相关反馈方法提高检索效率的研究已成为新的热点,用户相关反馈是一种交互式的渐进过程,如何提高反馈效率,减少交互次数是该技术面临的主要问题,提出一种通过对相关反馈历史数据进行在线分析从而加快反馈过程的新方法,对100… …   相似文献
9726.
  总被引:7,自引:1,他引:7
RT—Z是由Z和经实时扩展的通信顺序进程timed CSP集成的用以描述实时系统的规格说明语言,它将Z对状态描述的优点和timed CsP对时序关系和并发描述的优点相结合,具有强大的描述能力;而基于时序转化系统的Z扩展适合描述系统状态的转化。给出了Z实时扩展的分类原则并从讨论了其… …   相似文献
陈广明  陈生庆  张立臣 《计算机应用》2005,25(2):362-364,373
9727.
  总被引:7,自引:0,他引:7
提出一种通过信念一愿望一意图(BDI)结构实现多Agent系统设计建模的方法.多Agent系统设计建模的目的是具体地模型化多Agent组织中承担不同组织职能的每一类Agent的结构,使其易于在现有的程序设计语言环境中实现,在该方法中,多Agent系统的设计建模需要建立三个模型:A… …   相似文献
9728.
  总被引:7,自引:0,他引:7
聚类是数据挖掘领域的一项重要课题,高维空间聚类以数据分布稀疏、噪声数据多、“差距趋零现象”而成为难点.在分析现有聚类算法不足的基础上,引入k邻域点集、k邻域半径等概念,提出一种高维空间单参数k邻域局部密度聚类算法k—PCLDHD;为了提高算法的效率,进一步定义了参考距离等概念,并… …   相似文献
9729.
  总被引:7,自引:0,他引:7
该文提出了一个统计语义分析器,它能够发现中文句子中的语义依存关系.这些语义依存关系可以用于表示句子的意义和结构.语义分析器在1百万词的标有语义依存关系的语料库(语义依存网络语料库,SDN)上训练并测试,文中设计、实现了多个实验以分析语义分析器的性能.实验结果表明,分析器在非限定领… …   相似文献
李明琴  李涓子  王作英  陆大 《计算机学报》2004,27(12):1679-1687
9730.
  总被引:7,自引:0,他引:7
本文在介绍Rough集基础上,提出了基于Rough集理论的Rough数概念及其运算法则,并给出了这种Rough数应用实例及其近似程度算子λ在Rough逻辑中的理论价值。  相似文献
刘清  王黔英 《软件学报》1996,7(A00):455-461
[首页] « 上一页 [968] [969] [970] [971] [972] 973 [974] [975] [976] [977] [978] 下一页 » 末  页»