首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   60篇
  国内免费   5篇
  完全免费   44篇
  自动化技术   109篇
  2015年   1篇
  2014年   2篇
  2013年   1篇
  2012年   5篇
  2011年   7篇
  2010年   9篇
  2009年   10篇
  2008年   8篇
  2007年   9篇
  2006年   4篇
  2005年   7篇
  2004年   3篇
  2003年   4篇
  2002年   5篇
  2001年   6篇
  2000年   6篇
  1999年   4篇
  1998年   6篇
  1997年   1篇
  1995年   1篇
  1994年   2篇
  1993年   1篇
  1990年   1篇
  1988年   3篇
  1987年   1篇
  1986年   2篇
排序方式: 共有109条查询结果,搜索用时 78 毫秒
1.
基于知识结构图的智能教学规划   总被引:24,自引:1,他引:23  
根据AND/OR图的概念,文中提出了知识结构图与教学规划图的概念,利用知识结构图,我们可以很清晰很方便地把某一课程的知识结构表示出来。  相似文献
2.
一种基于规划知识图的规划识别算法   总被引:18,自引:0,他引:18       下载免费PDF全文
姜云飞  马宁 《软件学报》2002,13(4):686-692
提出了一种新的规划表示方法及规划知识图的概念.与目前规划识别领域广泛使用的Kautz方法相比,新的规划表示方法更加简便与直观.由于在规划知识图中增加了支持程度的概念,使得规划的识别可以随着收集到的新证据而合理地加以改变.所提出的基于规划知识图的规划识别算法把规划的识别问题转化为图搜索问题,因而其效率更高,但其识别结果与Kautz方法是一致的.  相似文献
3.
用对分HS-树计算最小碰集   总被引:14,自引:1,他引:13       下载免费PDF全文
姜云飞  林笠 《软件学报》2002,13(12):2267-2274
在基于模型的诊断中,利用冲突集计算最小碰集是其关键的步骤,因为所有冲突集的最小碰集就是所考察系统的诊断.在Reiter的方法中,要用HS-树(图)来计算最小冲突集的最小碰集.HS-树的计算量比较大,且又会因为剪枝的问题而剪掉真实解.提出了用对分HS-树(binary hitting set-树,简称BHS-树)计算最小碰集的方法.这种方法的优点是:(1)产生的树的节点数明显少于HS-树,因而效率较高;(2)解决了因为剪枝而产生的最小碰集丢失的问题;(3)在新增加冲突集时不必完全重新计算,只需在原BHS-树  相似文献
4.
广义因果理论的基于模型的诊断   总被引:13,自引:0,他引:13  
最近,许多学者意识到了将因果关系这一概念应用于基于模型的诊断领域的重要性。然而,他们的研究只局限于简单因果理论。文中提出的广义因果理论包容了更多的信息。文中指出:广义因果理论的诊断空间小于等于相应简单因果的诊断空间。并给出了当待诊断系统的模型为广义因果理论时的基于模型的诊断、基于模型的实质诊断等概念,论证了基于模型的实质诊断与本原蕴含/蕴含式的直接关系,从而将文中的理论结果与实现联系起来。文中进一  相似文献
5.
基于模型检测的领域约束规划   总被引:13,自引:5,他引:8       下载免费PDF全文
吴康恒  姜云飞 《软件学报》2004,15(11):1629-1640
基于模型检测的智能规划是当今通用的智能规划研究的热点,其求解效率比较高.但是,目前基于模型检测的智能规划系统没有考虑到利用领域知识来提高描述能力和求解效率.为此,研究了增加领域约束的基于模型检测的智能规划方法,并据此建立了基于模型检测的领域约束规划系统DCIPS(domain constraints integrated planning system).它主要考虑了领域知识在规划中的应用,将领域知识表示为领域约束添加到规划系统中.根据"规划=动作+状态",DCIPS将领域约束分为3种,即对象约束、过程约束和时序约束,采用对象约束来表达状态中对象之间的关系,采用过程约束来表达动作之间的关系,采用时序约束表达动作与状态中对象之间的关系.通过在2002年智能规划大赛AIPS 2002上关于交通运输领域的3个例子的测试,实验结果表明,利用领域约束的DCIPS可以方便地增加领域知识,更加实用化,其效率也有了相应的提高.  相似文献
6.
基于模型的诊断问题分解及其算法   总被引:12,自引:4,他引:8  
李占山  姜云飞  王涛 《计算机学报》2003,26(9):1171-1176
对诊断问题的分解进行了研究,给出了基于模型诊断问题分解的判定定理,刻画了利用系统观测值和参量假定例化值分解诊断问题,提出了有条件可分解诊断问题的概念,进一步刻画了基于模型的诊断问题分解,对如何利用参量假定例化值分解诊断问题给出了最可能优先算法,并对该算法的正确性、完备性及复杂性进行了证明,文中的工作为具有树型结构的系统诊断效率的提高提供了理论依据。  相似文献
7.
基于模型诊断的元件替换与替换测试   总被引:11,自引:2,他引:9  
元件替换是工农业和日常生活中经常使用的一种诊断方法,文中结合基于模型诊断理论,对元件的替换测试进行了研究,提出了元件替换与替换测试的概念,并以此为基础对诊断的判定与故障元件的确定进行了探索,证明了关于替换测试用于故障原因判定的几个定理。文中的研究结果可以帮助选择欲替换的元件,提高诊断效率,并可以将测试同修复结合来,使系统尽快恢复正常功能。  相似文献
8.
含约束的基于模型的诊断系统   总被引:10,自引:4,他引:6  
陈荣  姜云飞 《计算机学报》2001,24(2):127-135
在诊断空间中如何选取理想诊断是诊断系统面临的一个重要问题。在实际的诊断过程中,人们会利用限制条件排除不太可能的诊断,或者利用强制条件选取较优的诊断。按照这个思想,作者提出含约束的基于模型的诊断系统,通过增加依赖于应用领域的约束控制诊断空间,这是一种能够融入计算过程的选择诊断的机制,同时作者在系统拓扑结构的基础上给出了选取理想约束的理论依据。  相似文献
9.
智能规划及其应用的研究   总被引:10,自引:1,他引:9       下载免费PDF全文
一、引言在人工智能(AI)的研究中规划是其较早的研究领域之一,可以追朔到60年代,1957年Newell和Simon的问题求解程序(GPS)、Green的QA3系统,1971年Fike和Nilsson的STRIPS系统在智能规划领域中具有划时代的意义,使得规划可以非常容易地进行描述和操作,但由于受到当时客观条件的制约,该领域一直处于较为保守的状态。近几年来,随着客观条件的改善,世界上特别是一些发达国家在此领域获得了长足的发展,在国防和空间技术领域中得以应用,取得了巨大的经济和社会效益,NASA于1999年在航天器“DeepSpace One”中运用规划技术,使得规划研究从实验室向实际  相似文献
10.
一种计算动作派生前提的激活集的改进方法   总被引:8,自引:1,他引:7  
蒋志华  姜云飞 《计算机学报》2007,30(12):2061-2073
动作的派生前提和动作删除效果的"连锁反应"是处理派生规划问题中的难点问题,基于激活集的方法是一种简单、有效的方法,但是激活集的计算时间往往过多,文中提出一种新的方法来计算激活集.LPG-td规划系统所提出的激活集是与状态有关的并且需要在规则图上反复计算,而文中提出的激活集是与状态无关的,通过规则分裂来对规则集进行"基化",使得寻找激活集的时间逐渐地由指数级降为线性级.实现了一个新的能够处理派生规划问题的规划系统LPGSIAS,通过对基准问题的求解,表明LPGSIAS比LPG-td在大部分情况下更高效.与状态无关的激活集可以方便地转化为与状态有关的激活集,文中通过提出一种求解与状态无关的激活集的改进方法来加快对派生规划问题的求解速度.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号