期刊文献+
共找到20篇文章
< 1 >
每页显示 20 50 100
溯因推理研究:现状与问题 被引量:6
1
作者 陈荣 姜云飞 林笠 《计算机科学》 CSCD 北大核心 2003年第5期23-25,36,共4页
The notion of abduction was first introduced by the philosopher and logician C. S. Pierce, who claims de-duction, abduction and induction are three different forms of human reasoning. Broadly speaking, abduction is a ... The notion of abduction was first introduced by the philosopher and logician C. S. Pierce, who claims de-duction, abduction and induction are three different forms of human reasoning. Broadly speaking, abduction is a rea-soning process invoked to explain a puzzling observation. The study of logic-based abduction has been the most activeresearch in AI, and there are many results around the subject. This paper surveys the state-of-the-art research andpresents some problems for future work. 展开更多
关键词 人工智能 溯因推理 归纳推理 演绎推理
在线阅读 下载PDF
基于内容的图像检索的方法研究 被引量:10
2
作者 李瑜 李磊 《计算机科学》 CSCD 北大核心 1999年第8期6-12,共7页
一、前言近几年来,随着大容量存储器和数字化图像设备,诸如扫描仪、数字相机等技术的发展和普及应用。图像数据呈现级数的增长。由于无论是WWW还是企业单位部门都拥有大量的图像,因此从图像中提取有用的信息的前提是图像的有效检索,这... 一、前言近几年来,随着大容量存储器和数字化图像设备,诸如扫描仪、数字相机等技术的发展和普及应用。图像数据呈现级数的增长。由于无论是WWW还是企业单位部门都拥有大量的图像,因此从图像中提取有用的信息的前提是图像的有效检索,这也是数据转化为信息的关键一步。图像检索的传统方法是基于文本的。使用关键字注释是最常用的方法。对图像的检索变成了对关键字的查找。这种方法可以利用传统的DBMS实现,简单易行,而且能够从用户角度表达图像内容的高层语义。 展开更多
关键词 图像检索 内容 关键词 信息检索系统
在线阅读 下载PDF
时态规划中基于CSP技术的时态约束方法 被引量:3
3
作者 伍丽华 陈蔼祥 +1 位作者 姜云飞 边芮 《计算机学报》 EI CSCD 北大核心 2012年第8期1759-1766,共8页
在规划图框架下,定义了动作图,并进一步扩展为时态动作图,使之能体现处理具有时间资源约束的时态规划问题中的时态信息.在此基础上,提出一种对时态信息进行表示与管理并且能够进行时态约束推理的时态一致性赋值方法,利用约束可满足问题(... 在规划图框架下,定义了动作图,并进一步扩展为时态动作图,使之能体现处理具有时间资源约束的时态规划问题中的时态信息.在此基础上,提出一种对时态信息进行表示与管理并且能够进行时态约束推理的时态一致性赋值方法,利用约束可满足问题(CSP)技术对时序约束进行表示和处理,包括过滤、约减及时态信息的一致性检验,使时态推理技术能更好地应用于时态规划的求解过程中.最后,给出一个基于时态规划图的遗传规划算法GP-td,通过对国际智能规划大赛提供的Satellite规划领域问题进行实验.结果表明:该方法能够有效地提高大规模时态规划问题的求解效率和求解成功率. 展开更多
关键词 时态动作图 时态推理 CSP技术 一致性时态赋值 遗传规划算法.
在线阅读 下载PDF
NHLERE:应用蚁群算法的WSN路由算法 被引量:2
4
作者 于津 彭伟 +2 位作者 杨书锋 姜云飞 李磊 《小型微型计算机系统》 CSCD 北大核心 2010年第3期496-502,共7页
针对WSN中节点能量有限及节点间链路随机损耗特点,提出一种基于蚁群算法的用于无限传感器网络的路由算法-NHLERE,利用蚁群算法正反馈、分布式协作的特点,将距汇聚节点的跳数和链路质量信息融合到信息素的形成中,并将信息素和节点剩余能... 针对WSN中节点能量有限及节点间链路随机损耗特点,提出一种基于蚁群算法的用于无限传感器网络的路由算法-NHLERE,利用蚁群算法正反馈、分布式协作的特点,将距汇聚节点的跳数和链路质量信息融合到信息素的形成中,并将信息素和节点剩余能量作为启发信息,通过模拟蚂蚁的寻径行为形成并优化到达汇聚节点路由.实验结果表明,与LEPS相比NHLERE算法具有更高的数据传输效率,并能使网络内各节点能量消耗趋于均衡,从而延长WSN网络生命期. 展开更多
关键词 无线传感器网络 NHLERE 信息素 ACO
在线阅读 下载PDF
基于XML的Web信息存储解决方案 被引量:4
5
作者 姚卿达 陈宁琳 《计算机科学》 CSCD 北大核心 2000年第11期49-52,共4页
基于Internet数据的大量涌现,而且Internet上的数据不是一种规则的、有结构的数据。这种数据被称为半结构化数据。半结构化数据可能有以下特征: ·数据是不规则的,不符合严格的模式。半结构化数据是传统的数据库难以管理的。在关系... 基于Internet数据的大量涌现,而且Internet上的数据不是一种规则的、有结构的数据。这种数据被称为半结构化数据。半结构化数据可能有以下特征: ·数据是不规则的,不符合严格的模式。半结构化数据是传统的数据库难以管理的。在关系模式中,处理非规则数据的方式是用空值代替。在面向对象数据库系统中,虽然复合类型、继承机制提供更多的灵活性,但设计出合适的面向对象模式来容纳非规则数据仍然是困难的; 展开更多
关键词 信息存储 WEB XML 关系数据库
在线阅读 下载PDF
基于知识结构图的智能教学规划 被引量:28
6
作者 姜云飞 《计算机研究与发展》 EI CSCD 北大核心 1998年第9期787-792,共6页
根据AND/OR图的概念,文中提出了知识结构图与教学规划图的概念,利用知识结构图,我们可以很清晰很方便地把某一课程的知识结构表示出来.根据知识结构图和学生的知识水平,可以制定出对学生来说是最佳的教学规划.这种教学规划... 根据AND/OR图的概念,文中提出了知识结构图与教学规划图的概念,利用知识结构图,我们可以很清晰很方便地把某一课程的知识结构表示出来.根据知识结构图和学生的知识水平,可以制定出对学生来说是最佳的教学规划.这种教学规划能充分地体现因材施教的思想,取得最佳的教学效果.文中给出了获取最佳教学规划的算法。 展开更多
关键词 知青表示 CAI 知识结构图 智能教学规划
在线阅读 下载PDF
一个开放式超媒体系统的设计与实现 被引量:2
7
作者 黄晓春 姚航 姚卿达 《计算机科学》 CSCD 北大核心 1998年第5期99-102,共4页
一、引言超媒体系统的潜力在于组织和管理结构化、非结构化的信息,它为用户在包含各种媒体的信息仓库中进行浏览或信息检索提供了方便的手段,允许用户在小块的信息(节点)之间通过任意连接(链)来扩充自己的信息空间。人们通常使用一些特... 一、引言超媒体系统的潜力在于组织和管理结构化、非结构化的信息,它为用户在包含各种媒体的信息仓库中进行浏览或信息检索提供了方便的手段,允许用户在小块的信息(节点)之间通过任意连接(链)来扩充自己的信息空间。人们通常使用一些特定的软件包处理与工作相关的数据。例如,文字编辑,发送、 展开更多
关键词 超媒体系统 设计 信息管理 多媒体
在线阅读 下载PDF
基于区分能力大小的启发式约简算法的研究 被引量:12
8
作者 陈堂敏 《计算机学报》 EI CSCD 北大核心 2006年第3期480-487,共8页
通过对徐燕等提出的能有效处理噪音的基于区分能力大小的启发式约简算法的研究,认为所提出的对知识进行量化、证明量化的合理性、给出的算法和实例证明的过程中还有一些不完善的地方,需要进行修正.该文提出了修正方法,并通过实例证明了... 通过对徐燕等提出的能有效处理噪音的基于区分能力大小的启发式约简算法的研究,认为所提出的对知识进行量化、证明量化的合理性、给出的算法和实例证明的过程中还有一些不完善的地方,需要进行修正.该文提出了修正方法,并通过实例证明了修正后的算法对知识进行量化、证明量化的合理性、以知识量为启发函数的约简修正是正确的. 展开更多
关键词 知识量 数据挖掘 约简 算法 修正
在线阅读 下载PDF
数据模型的智能化扩充研究──面向对象的知识数据库模型 被引量:2
9
作者 姚卿达 董祖明 《软件学报》 EI CSCD 北大核心 1994年第4期9-18,共10页
数据模型的智能化扩充旨在从数据模型着手,提高数据库系统的性能与功能,使其可存贮和处理复杂对象和知识,增强结构和行为的建模能力、语义构造能力,能演绎推理.本文承接此思路,基于面向对象方法,吸收语义数据模型和人工智能中的... 数据模型的智能化扩充旨在从数据模型着手,提高数据库系统的性能与功能,使其可存贮和处理复杂对象和知识,增强结构和行为的建模能力、语义构造能力,能演绎推理.本文承接此思路,基于面向对象方法,吸收语义数据模型和人工智能中的演绎推理机制,提出一个面向对象的知识数据库模型.讨论其基本概念与性质、查询语言、与传统模型的比较和实验系统OCEANS的体系结构及实现方案. 展开更多
关键词 数据库 面向对象 知识数据库 模型
在线阅读 下载PDF
数据库应用的需求分析研究 被引量:10
10
作者 张峰岭 《计算机工程与应用》 CSCD 北大核心 2002年第18期210-211,217,共3页
文章分析了数据库应用需求的特点,结合作者工作实践分析了传统需求分析方法在开发数据库应用中遇到的问题,提出相应的解决方法,并介绍了中山大学软件研究所在这方面的研究成果。
关键词 数据库 需求分析 应用程序 软件开发 软件工程
在线阅读 下载PDF
受限的proflog语言及其表推演过程语义 被引量:1
11
作者 陈荣 孙吉贵 姜云飞 《广西师范大学学报(自然科学版)》 CAS 2003年第1期27-33,共7页
Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义.表推演具有直观、灵活的特点,它的单步扩展规则具有很强的语义特征,它是扩展逻辑程序类的另一个理想的证明论.不过proflog包含了全部一阶理论,等词的替换性使... Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义.表推演具有直观、灵活的特点,它的单步扩展规则具有很强的语义特征,它是扩展逻辑程序类的另一个理想的证明论.不过proflog包含了全部一阶理论,等词的替换性使得proflog过程语义比较复杂.在此提出讨论一种受限的程序语言cProflog,它包含函词,但限制了等词的替换性,体现了表达能力与计算复杂性之间的平衡.对于逻辑程序语言cProflog,还给出了复杂性较低的表推演过程. 展开更多
关键词 表推演 过程语义 非单调性 逻辑程序设计语言 证明论 proflog 扩展规则
在线阅读 下载PDF
与替换和集合运算有关的错误 被引量:1
12
作者 程晓春 姜云飞 《软件学报》 EI CSCD 北大核心 1999年第2期201-204,共4页
指出在使用归结方法的自动推理文献中,存在于提升引理和删除策略完备性定理证明中,与替换和集合运算有关的几个错误,并予以分析和改正.
关键词 归结 替换 集合 自动推理 人工智能
在线阅读 下载PDF
SSL数字签名协议 被引量:5
13
作者 张峰岭 《计算机工程》 CAS CSCD 北大核心 2003年第7期113-115,共3页
缺乏数字签名能力一直是SSL在电子商务安全方案中的致命缺陷, 文章提出一种为SSL实现数字签名能力的技术方案,作为对SSL协议的改进和发展。
关键词 数字签名 SSL SSL签名协议
在线阅读 下载PDF
改进的自回归算法在电信话务量预测中的应用 被引量:5
14
作者 胡煜 李磊 《计算机工程与应用》 CSCD 北大核心 2001年第3期79-82,共4页
描述了某省电话网智能管理系统中的话务量预测方法。讨论、比较了基于神经网络和基于时间序列的预测模型。提出了原有模型的改进算法,从而提高了模型的有效性,并取得了比较好的预测结果。最后,文章给出了模型进一步完善的构想。
关键词 话务量 预测 电信 自回归算法 数学模型 时间序列
在线阅读 下载PDF
图规划及其扩展的分析和研究 被引量:5
15
作者 李天际 姜云飞 《计算机科学》 CSCD 北大核心 2001年第7期69-73,共5页
AI Plannig and Scheduling are a classical problem of Artificial Intelligene. It is a highlight of AI for it' s significance in many application domains. Recenctly,dramatic advances have been made in this field. In... AI Plannig and Scheduling are a classical problem of Artificial Intelligene. It is a highlight of AI for it' s significance in many application domains. Recenctly,dramatic advances have been made in this field. In this paper,we introduce our study on Graphplan which is one of the best methods and it's descendent technologys. First,we will analyse Graphplan's algorithm and it's key for success, then briefly introduce it's descendants,at the end of the paper,we suggest areas for future research. 展开更多
关键词 人工智能 图规划 图扩展 启发式搜索
在线阅读 下载PDF
IBM MQSeries 分析 被引量:3
16
作者 陈海广 李磊 《计算机应用》 CSCD 1998年第7期24-27,共4页
本文详细分析了IBM公司消息队列产品MQSeries的体系结构,并在此基础上分析其对程序与程序、程序与数据之间耦合性的影响,指出选用MQSeries作为分布式异构环境下的程序通讯平台所带来的好处及坏处。最后本文还从应... 本文详细分析了IBM公司消息队列产品MQSeries的体系结构,并在此基础上分析其对程序与程序、程序与数据之间耦合性的影响,指出选用MQSeries作为分布式异构环境下的程序通讯平台所带来的好处及坏处。最后本文还从应用角度指出了MQSeries的其它一些特点。 展开更多
关键词 事务通信系统 MQSERIES 应用程序 WINDOWS
在线阅读 下载PDF
支持基于内容查询的多媒体数据库及其在eBase3中的应用 被引量:1
17
作者 胡煜 李磊 李瑜 《计算机工程》 EI CAS CSCD 北大核心 2000年第8期106-108,共3页
通过引入CBIR的概念,实现了支持多媒体数据库引擎eBase3。eBase3采用了开放性的框架,具有良好的媒体独立性和特征扩充性。特别地,eBase3的基于SOM和统计检验的索引算法使eBase3的查询更准确快速。
关键词 多媒体数据库 内容查询 eBase3 面向对象
在线阅读 下载PDF
网络信息集成的研究 被引量:1
18
作者 杜剑峰 姜云飞 《计算机科学》 CSCD 北大核心 2002年第5期36-39,共4页
1 引言 当今,世界已经进入网络时代,很多信息都可以从互联网上获取.但是,网络中的信息杂乱繁多,存在几个缺点:一是很多信息只有字面上的差异,实际上是相同的;二是很多数据具有关联性,应该组合起来提供更完整的信息;三是很多信息都是残缺... 1 引言 当今,世界已经进入网络时代,很多信息都可以从互联网上获取.但是,网络中的信息杂乱繁多,存在几个缺点:一是很多信息只有字面上的差异,实际上是相同的;二是很多数据具有关联性,应该组合起来提供更完整的信息;三是很多信息都是残缺的,而且可能引起矛盾.针对这个情况,我们有必要进行网络信息集成,让互联网为我们提供更加准确和完备的信息. 展开更多
关键词 搜索引擎 网络信息集成 仲裁器 互联网 计算机网络
在线阅读 下载PDF
图规划框架下规划修补算法的研究与实现
19
作者 李国强 姜云飞 《计算机工程与应用》 CSCD 北大核心 2009年第13期51-53,共3页
智能规划是人工智能研究领域近年来发展起来的一个研究热点。在图规划框架下,充分考虑了图的层次结构对规划修补的作用,利用已有的修补结果,对GPG修补算法进行了改进,针对特定的变化情况,给出了一种有效的修补算法。实验数据表明,修补... 智能规划是人工智能研究领域近年来发展起来的一个研究热点。在图规划框架下,充分考虑了图的层次结构对规划修补的作用,利用已有的修补结果,对GPG修补算法进行了改进,针对特定的变化情况,给出了一种有效的修补算法。实验数据表明,修补算法有较好的有效性。 展开更多
关键词 智能规划 图规划 规划修补
在线阅读 下载PDF
JSD的系统化转换与实现技术
20
作者 冯昕 徐永森 《计算机科学》 CSCD 北大核心 1994年第1期80-81,F004,共3页
本文主要介绍了我们开发的NUJSDS系统中关于JSD的规格说明的转换与最后实现技术。
关键词 软件开发 程序转换 JSD法
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部