期刊文献+
共找到184篇文章
< 1 2 10 >
每页显示 20 50 100
规划的形式表示技术研究 被引量:2
1
作者 陈蔼祥 姜云飞 柴啸龙 《计算机科学》 CSCD 北大核心 2008年第7期105-110,共6页
智能规划是人工智能研究领域中的一个富有挑战性的课题。同时,智能规划问题具有广泛的实际应用背景。而自动规划问题面临的首要问题是规划问题的形式表示问题。本文系统地分析了情景演算,STRIPS,PDDL,HTN等各种规划形式表示技术,比较了... 智能规划是人工智能研究领域中的一个富有挑战性的课题。同时,智能规划问题具有广泛的实际应用背景。而自动规划问题面临的首要问题是规划问题的形式表示问题。本文系统地分析了情景演算,STRIPS,PDDL,HTN等各种规划形式表示技术,比较了各种形式表示技术的优缺点,并指出了进一步研究设计高效智能规划系统的方向。 展开更多
关键词 智能规划 形式表示 情景演算 STRIPS PDDL HTN
在线阅读 下载PDF
基于学习的规划技术研究
2
作者 陈蔼祥 姜云飞 +2 位作者 胡桂武 柴啸龙 边芮 《计算机科学》 CSCD 北大核心 2011年第1期15-19,61,共6页
经过近十多年的努力,现代智能规划器无论是效率还是处理能力均得到了极大提高。鉴于现有规划理论的局限性,进一步提高现有规划技术效率已愈显困难。现有的大多数规划器均不具备学习能力,无法从先前求解经验中学习有用知识。综述了基于... 经过近十多年的努力,现代智能规划器无论是效率还是处理能力均得到了极大提高。鉴于现有规划理论的局限性,进一步提高现有规划技术效率已愈显困难。现有的大多数规划器均不具备学习能力,无法从先前求解经验中学习有用知识。综述了基于学习的规划技术的发展现状,然后重点介绍了规划大赛中最佳学习器所使用的学习技术,最后指出当前基于学习的规划技术研究领域中存在的主要问题。 展开更多
关键词 智能规划 基于学习的规划技术 规划器
在线阅读 下载PDF
网络信息集成的研究 被引量:1
3
作者 杜剑峰 姜云飞 《计算机科学》 CSCD 北大核心 2002年第5期36-39,共4页
1 引言 当今,世界已经进入网络时代,很多信息都可以从互联网上获取.但是,网络中的信息杂乱繁多,存在几个缺点:一是很多信息只有字面上的差异,实际上是相同的;二是很多数据具有关联性,应该组合起来提供更完整的信息;三是很多信息都是残缺... 1 引言 当今,世界已经进入网络时代,很多信息都可以从互联网上获取.但是,网络中的信息杂乱繁多,存在几个缺点:一是很多信息只有字面上的差异,实际上是相同的;二是很多数据具有关联性,应该组合起来提供更完整的信息;三是很多信息都是残缺的,而且可能引起矛盾.针对这个情况,我们有必要进行网络信息集成,让互联网为我们提供更加准确和完备的信息. 展开更多
关键词 搜索引擎 网络信息集成 仲裁器 互联网 计算机网络
在线阅读 下载PDF
基于大数据集的协同过滤算法的并行化研究 被引量:19
4
作者 李改 潘嵘 +1 位作者 李章凤 李磊 《计算机工程与设计》 CSCD 北大核心 2012年第6期2437-2441,共5页
通过对基于ALS的协同过滤算法及分布式Hadoop平台的相关特性进行深入研究,将基于ALS的协同过滤算法在Hadoop上进行并行化,解决了传统的基于ALS的协同过滤算法在大规模数据集上的运算问题。经过实验验证,在Ha-doop平台上实现的并行化的AL... 通过对基于ALS的协同过滤算法及分布式Hadoop平台的相关特性进行深入研究,将基于ALS的协同过滤算法在Hadoop上进行并行化,解决了传统的基于ALS的协同过滤算法在大规模数据集上的运算问题。经过实验验证,在Ha-doop平台上实现的并行化的ALS协同过滤算法不仅能够保证实验结果的准确性,而且与单节点上实现的算法相比,运算效率显著提高。 展开更多
关键词 推荐系统 协同过滤 HADOOP 交叉最小二乘法 并行化
在线阅读 下载PDF
STRIPS规划领域中动作效果关系的研究 被引量:14
5
作者 吴向军 姜云飞 凌应标 《软件学报》 EI CSCD 北大核心 2007年第6期1328-1349,共22页
以规划领域中的动作为研究对象,提出了描述动作前提条件和效果之间关系的方法,定义了动作前提和效果之间的基本关系:直接伴随关系、条件伴随关系和直接阻碍关系等,这些基本关系反映了规划动作中所隐含的领域知识.对动作效果的基本关系,... 以规划领域中的动作为研究对象,提出了描述动作前提条件和效果之间关系的方法,定义了动作前提和效果之间的基本关系:直接伴随关系、条件伴随关系和直接阻碍关系等,这些基本关系反映了规划动作中所隐含的领域知识.对动作效果的基本关系,定义了进行关系组合的运算,产生出间接阻碍关系和绝对阻碍关系.间接阻碍关系反映出动作前提条件的传递性;绝对阻碍关系表达出实现一个谓词对其他谓词实现的影响.最后给出动作效果关系在规划求解过程中的具体运用,这些动作效果关系为目标实现顺序的排序、目标状态可解性的判定以及动作选择策略的优化等提供了必要的理论依据. 展开更多
关键词 智能规划 规划领域 直接伴随关系 条件伴随关系 直接阻碍关系 间接阻碍关系 绝对阻碍关系
在线阅读 下载PDF
基于位置信息的用户行为轨迹分析与应用综述 被引量:20
6
作者 陈康 黄晓宇 +3 位作者 王爱宝 陶彩霞 关迎晖 李磊 《电信科学》 北大核心 2013年第4期118-124,共7页
近年来,随着空间数据采集技术的发展,基于位置信息的用户行为轨迹分析及其应用的研究引起了广泛关注,并已展现了良好的商业前景。根据应用的领域,对这一问题的研究主要可以分为智能交通应用和用户行为分析应用两种类型。本文分别对这两... 近年来,随着空间数据采集技术的发展,基于位置信息的用户行为轨迹分析及其应用的研究引起了广泛关注,并已展现了良好的商业前景。根据应用的领域,对这一问题的研究主要可以分为智能交通应用和用户行为分析应用两种类型。本文分别对这两类应用的研究现状进行了较为全面的总结,对每类应用,都概括了在相关领域中研究的典型问题和代表性结果。最后,讨论了在用户行为轨迹分析研究中的主要技术特点,并对未来的研究工作进行了展望。 展开更多
关键词 位置服务 行为轨迹分析 智能交通 社交网络 大数据
在线阅读 下载PDF
对不确定规划中观测约简的进一步研究 被引量:10
7
作者 饶东宁 蒋志华 +1 位作者 姜云飞 朱慧泉 《软件学报》 EI CSCD 北大核心 2009年第5期1254-1268,共15页
从3个方面改进了不确定规划(non-deterministic planning,简称NDP)中的观测约简:一是如何找最小观测集合(minimal observation set,简称MOS),二是如何在观测代价不均等时找最优观测集合(optimal observation set,简称OOS),三是如何找到... 从3个方面改进了不确定规划(non-deterministic planning,简称NDP)中的观测约简:一是如何找最小观测集合(minimal observation set,简称MOS),二是如何在观测代价不均等时找最优观测集合(optimal observation set,简称OOS),三是如何找到容错的OOS.通过MOS问题和图论中的最小覆盖集问题(minimal set cover,简称MSC)的类似性,可证MOS是NP难的问题,还可参考MSC算法得出时间复杂性不超过O(2mm2)且不低于Ω(2m-1)的算法,其中m是观测的个数.通过使用整数规划(integer programming,简称IP)技术,可找到OOS以及容错的OOS.可以证明,上述算法能够保证找到解,并且能够保证解的最优性. 展开更多
关键词 智能规划 不确定规划 观测约简 最小观测集 最优观测集 容错
在线阅读 下载PDF
智能规划器StepByStep的研究和开发 被引量:9
8
作者 吴向军 姜云飞 凌应标 《软件学报》 EI CSCD 北大核心 2008年第9期2243-2264,共22页
智能规划器是智能规划研究成果的重要表现形式,规划器的求解效率和规划质量是智能规划理论研究的直接反映.首先介绍智能规划器的一般结构和StepByStep规划器的总体结构,然后详细阐述StepByStep规划器各组成部分所采用的方法和策略,定义... 智能规划器是智能规划研究成果的重要表现形式,规划器的求解效率和规划质量是智能规划理论研究的直接反映.首先介绍智能规划器的一般结构和StepByStep规划器的总体结构,然后详细阐述StepByStep规划器各组成部分所采用的方法和策略,定义谓词知识树来提取领域知识.在谓词知识树的基础上定义谓词规划树,并用各种策略来提高规划树的生成效率.在谓词规划树的基础上设计StepByStep的规划策略,最后用8个规划器对3个具有代表性的基准规划领域及其规划问题进行实际的求解实验,分析了StepByStep规划器在求解效率和规划质量上的具体表现.实验数据表明,StepByStep规划器的规划策略对3个不同规划领域都具有很好的指导作用,验证了领域知识在规划求解过程中的实际价值. 展开更多
关键词 人工智能 智能规划 智能规划器 规划领域 知识树 规划树 规划策略
在线阅读 下载PDF
访问控制模型研究进展 被引量:33
9
作者 韩道军 高洁 +1 位作者 翟浩良 李磊 《计算机科学》 CSCD 北大核心 2010年第11期29-33,43,共6页
访问控制在众多领域中起着重要的作用,是信息系统中进行资源安全控制和管理不可缺少的一个部分。介绍了不同访问控制模型的特点及实现方式,并对每种访问控制模型的优缺点进行了分析和比较。同时,介绍了一种语义丰富的标准访问控制策略... 访问控制在众多领域中起着重要的作用,是信息系统中进行资源安全控制和管理不可缺少的一个部分。介绍了不同访问控制模型的特点及实现方式,并对每种访问控制模型的优缺点进行了分析和比较。同时,介绍了一种语义丰富的标准访问控制策略描述语言(XACML)及访问控制模型中需要进一步研究的一些内容。 展开更多
关键词 访问控制 DAC RBAC ABAC
在线阅读 下载PDF
模型检测规划中的状态之间的可达关系研究 被引量:8
10
作者 文中华 黄巍 +1 位作者 刘任任 姜云飞 《计算机学报》 EI CSCD 北大核心 2012年第8期1634-1643,共10页
当前,对基于模型检测规划研究的算法中存在大量的冗余计算,一些不可能参与构成解的状态动作序偶被反复筛选.文中给出了一种在不确定规划领域求规划解的新思路:在求规划解之前,找到不确定状态转移系统的状态之间的可达关系,从而根据状态... 当前,对基于模型检测规划研究的算法中存在大量的冗余计算,一些不可能参与构成解的状态动作序偶被反复筛选.文中给出了一种在不确定规划领域求规划解的新思路:在求规划解之前,找到不确定状态转移系统的状态之间的可达关系,从而根据状态之间的可达关系进行约简.提出了不确定状态转移系统的超图、超图的邻接矩阵和可达矩阵等概念,设计了用超图的邻接矩阵求不确定状态转移系统中状态之间可达关系的方法.利用不确定状态转移系统的超图、超图的邻接矩阵和状态之间的可达关系获得了关于弱规划解、强规划解和强循环规划解的一些重要性质.这些性质是关于一些状态动作序偶是否不可能参与构成弱规划解、强规划解和强循环规划解的结论.通过这些性质可以将大量的状态动作序偶直接去掉,从而大幅度简化求规划解的过程,提高求规划解效率. 展开更多
关键词 模型检测 不确定规划 超图 邻接矩阵 可达关系
在线阅读 下载PDF
基于逻辑规则的语义缓存查询处理优化技术 被引量:7
11
作者 郝小卫 章陶 李磊 《计算机学报》 EI CSCD 北大核心 2005年第7期1096-1103,共8页
语义缓存在移动计算环境中有着非常广阔的应用前景.查询处理是语义缓存的一个关键问题,但是现有的查询处理算法在时空效率和裁剪结果的复杂度两个方面存在很大的局限性,这在一定程度上限制了语义缓存的实用性.为了克服这些缺陷,作者首... 语义缓存在移动计算环境中有着非常广阔的应用前景.查询处理是语义缓存的一个关键问题,但是现有的查询处理算法在时空效率和裁剪结果的复杂度两个方面存在很大的局限性,这在一定程度上限制了语义缓存的实用性.为了克服这些缺陷,作者首先给出并证明了用于优化查询裁剪的逻辑规则;基于这些规则,给出了剩余查询的裁剪算法;最终给出了只需进行剩余查询裁剪的优化查询处理算法.算法分析从理论上证明了该优化机制的有效性,同时,仿真实验的性能比较也表明该优化方法在提高查询裁剪时空效率和降低剩余查询复杂度等方面都要明显优于没有优化的方法. 展开更多
关键词 语义缓存 查询处理 查询裁减 逻辑规则 优化
在线阅读 下载PDF
智能规划及其应用的研究 被引量:16
12
作者 丁德路 姜云飞 《计算机科学》 CSCD 北大核心 2002年第2期100-103,共4页
一、引言在人工智能(AI)的研究中规划是其较早的研究领域之一,可以追朔到60年代,1957年Newell和Simon的问题求解程序(GPS)、Green的QA3系统[1],1971年Fike和Nilsson的STRIPS系统[2]在智能规划领域中具有划时代的意义,使得规划可以非常... 一、引言在人工智能(AI)的研究中规划是其较早的研究领域之一,可以追朔到60年代,1957年Newell和Simon的问题求解程序(GPS)、Green的QA3系统[1],1971年Fike和Nilsson的STRIPS系统[2]在智能规划领域中具有划时代的意义,使得规划可以非常容易地进行描述和操作,但由于受到当时客观条件的制约,该领域一直处于较为保守的状态. 展开更多
关键词 人工智能 知识表达 知识挖掘 智能规划
在线阅读 下载PDF
时态规划中基于CSP技术的时态约束方法 被引量:3
13
作者 伍丽华 陈蔼祥 +1 位作者 姜云飞 边芮 《计算机学报》 EI CSCD 北大核心 2012年第8期1759-1766,共8页
在规划图框架下,定义了动作图,并进一步扩展为时态动作图,使之能体现处理具有时间资源约束的时态规划问题中的时态信息.在此基础上,提出一种对时态信息进行表示与管理并且能够进行时态约束推理的时态一致性赋值方法,利用约束可满足问题(... 在规划图框架下,定义了动作图,并进一步扩展为时态动作图,使之能体现处理具有时间资源约束的时态规划问题中的时态信息.在此基础上,提出一种对时态信息进行表示与管理并且能够进行时态约束推理的时态一致性赋值方法,利用约束可满足问题(CSP)技术对时序约束进行表示和处理,包括过滤、约减及时态信息的一致性检验,使时态推理技术能更好地应用于时态规划的求解过程中.最后,给出一个基于时态规划图的遗传规划算法GP-td,通过对国际智能规划大赛提供的Satellite规划领域问题进行实验.结果表明:该方法能够有效地提高大规模时态规划问题的求解效率和求解成功率. 展开更多
关键词 时态动作图 时态推理 CSP技术 一致性时态赋值 遗传规划算法.
在线阅读 下载PDF
子句间优化技术在语义缓存查询求值中的应用 被引量:3
14
作者 郝小卫 李磊 章陶 《计算机科学》 CSCD 北大核心 2005年第7期65-68,共4页
缓存技术用来弥补网络通信能力的不足。语义缓存既缓存查询结果,也缓存查询语义,可更好节省网络开销。实用性是语义缓存技术产生和发展的基础,根据实用性要求,语义缓存查询求值所消耗的时空代价要远小于网络通信能力不足带来的时空代价... 缓存技术用来弥补网络通信能力的不足。语义缓存既缓存查询结果,也缓存查询语义,可更好节省网络开销。实用性是语义缓存技术产生和发展的基础,根据实用性要求,语义缓存查询求值所消耗的时空代价要远小于网络通信能力不足带来的时空代价,所以必须对求值算法进行优化。文章从语法一级分析求值算法存在的问题并给出了两级优化方法和实现技术,降低了算法复杂度,减少了对数据库的无效访问,使语义缓存技术向实用化迈进了一大步。 展开更多
关键词 语义缓存 查询 优化技术 应用 子句 缓存技术 通信能力 求值算法 算法复杂度 网络开销 实现技术 优化方法 实用性 数据库 实用化 代价 时空
在线阅读 下载PDF
溯因推理研究:现状与问题 被引量:6
15
作者 陈荣 姜云飞 林笠 《计算机科学》 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
16
作者 李瑜 李磊 《计算机科学》 CSCD 北大核心 1999年第8期6-12,共7页
一、前言近几年来,随着大容量存储器和数字化图像设备,诸如扫描仪、数字相机等技术的发展和普及应用。图像数据呈现级数的增长。由于无论是WWW还是企业单位部门都拥有大量的图像,因此从图像中提取有用的信息的前提是图像的有效检索,这... 一、前言近几年来,随着大容量存储器和数字化图像设备,诸如扫描仪、数字相机等技术的发展和普及应用。图像数据呈现级数的增长。由于无论是WWW还是企业单位部门都拥有大量的图像,因此从图像中提取有用的信息的前提是图像的有效检索,这也是数据转化为信息的关键一步。图像检索的传统方法是基于文本的。使用关键字注释是最常用的方法。对图像的检索变成了对关键字的查找。这种方法可以利用传统的DBMS实现,简单易行,而且能够从用户角度表达图像内容的高层语义。 展开更多
关键词 图像检索 内容 关键词 信息检索系统
在线阅读 下载PDF
基于智能规划的时间表问题研究 被引量:4
17
作者 丁德路 姜云飞 《小型微型计算机系统》 CSCD 北大核心 2003年第2期246-250,共5页
时间表问题 TTP( Timetabling Problem )是一类应用非常广泛的研究课题 ,目前也出现了各种各样的解决时间表问题的方法 ,本文简要分析了近几十年时间表问题研究的历史和技术现状 ,提出了基于智能规划方法的时间表问题解决方案 ,并且我们... 时间表问题 TTP( Timetabling Problem )是一类应用非常广泛的研究课题 ,目前也出现了各种各样的解决时间表问题的方法 ,本文简要分析了近几十年时间表问题研究的历史和技术现状 ,提出了基于智能规划方法的时间表问题解决方案 ,并且我们用 SQL 语言实现了这一解决方案 。 展开更多
关键词 智能规划 时间表问题 人工智能 专家系统 不定性调度问题 组合优化问题
在线阅读 下载PDF
基于XML的Web信息存储解决方案 被引量:4
18
作者 姚卿达 陈宁琳 《计算机科学》 CSCD 北大核心 2000年第11期49-52,共4页
基于Internet数据的大量涌现,而且Internet上的数据不是一种规则的、有结构的数据。这种数据被称为半结构化数据。半结构化数据可能有以下特征: ·数据是不规则的,不符合严格的模式。半结构化数据是传统的数据库难以管理的。在关系... 基于Internet数据的大量涌现,而且Internet上的数据不是一种规则的、有结构的数据。这种数据被称为半结构化数据。半结构化数据可能有以下特征: ·数据是不规则的,不符合严格的模式。半结构化数据是传统的数据库难以管理的。在关系模式中,处理非规则数据的方式是用空值代替。在面向对象数据库系统中,虽然复合类型、继承机制提供更多的灵活性,但设计出合适的面向对象模式来容纳非规则数据仍然是困难的; 展开更多
关键词 信息存储 WEB XML 关系数据库
在线阅读 下载PDF
具有学习能力的智能诊断系统研究 被引量:2
19
作者 陈蔼祥 伍丽华 姜云飞 《计算机工程与应用》 CSCD 北大核心 2008年第22期31-34,38,共5页
随着电子设备系统的日益复杂化,依靠单一的推理技术的故障系统已难以满足复杂系统的诊断要求,将多种不同的推理技术结合起来的集成诊断系统,能够充分利用各自的优点,从而提高系统诊断的正确性和效率,是目前智能诊断研究的一个发展趋势... 随着电子设备系统的日益复杂化,依靠单一的推理技术的故障系统已难以满足复杂系统的诊断要求,将多种不同的推理技术结合起来的集成诊断系统,能够充分利用各自的优点,从而提高系统诊断的正确性和效率,是目前智能诊断研究的一个发展趋势。将研究复合系统的智能诊断问题,提出在一个复合系统的诊断过程中,通过机器学习,使基于规则的诊断和基于模型的诊断两种诊断技术相互结合,在诊断的不同阶段发挥出各自的作用,从而建立一个融合了RBD和MBD技术优点的、具有一定学习能力的智能诊断系统。 展开更多
关键词 RBD MBD 复合系统 机器学习 决策树
在线阅读 下载PDF
医院信息系统(HIS)设计新理念 被引量:2
20
作者 吴汝明 刘继霞 辛小霞 《中山大学学报(自然科学版)》 CAS CSCD 北大核心 2000年第z2期195-199,共5页
对当前HIS存在的不足进行了深入分析,在此基础上提出了一种新的管理型HIS设计模式,并对新模式所涉及的内容进行了详尽说明.
关键词 HIS 模式 模型
在线阅读 下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部