首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   60篇
  国内免费   3篇
  完全免费   76篇
  自动化技术   139篇
  2010年   1篇
  2009年   2篇
  2008年   10篇
  2007年   11篇
  2006年   10篇
  2005年   11篇
  2004年   5篇
  2003年   7篇
  2002年   8篇
  2001年   6篇
  2000年   8篇
  1999年   2篇
  1998年   1篇
  1997年   7篇
  1996年   4篇
  1995年   8篇
  1994年   6篇
  1993年   2篇
  1992年   8篇
  1991年   3篇
  1990年   8篇
  1989年   2篇
  1988年   2篇
  1987年   2篇
  1981年   2篇
  1980年   3篇
排序方式: 共有139条查询结果,搜索用时 15 毫秒
1.
基于遗传算法的任务分配与调度   总被引:46,自引:3,他引:43  
应用遗传算法(GAs)进行任务分配与调度已越来越多的学者所关注。针对传统遗传算法中初始解群构造和遗传算子的局限性,结合遗传算法和演化策略的优点,提出了一个异构系统中任务分配与调度的进化算法,在列表编码知识表示的基础上,首先对初始解群的构造给出了一种相对均衡的生成方法,然后有针对性地设计出3个遗传算子,即由标准算子改进的杂交算子(IMCX)、基于一个调度内任务交换的内部杂交算子(INCX)和一种类似  相似文献
2.
基于FP-Tree有效挖掘最大频繁项集   总被引:37,自引:2,他引:35       下载免费PDF全文
最大频繁项集的挖掘过程中,在最小支持度较小的情况下,超集检测是算法的主要耗时操作.提出了最大频繁项集挖掘算法FPMFI(frequent pattern tree for maximal frequent item set)使用基于投影进行超集检测的机制,有效地缩减了超集检测的时间.另外,算法FPMFI通过删除FP子树(conditional frequent pattern tree)的冗余信息,有效地压缩了FP子树的规模,减少了遍历的开销.分析表明,算法FPMFI具有优越性.实验比较说明,在最小支持度较小时,算法FPMFI的性能优于同类算法1倍以上.  相似文献
3.
基于家族优生学的进化算法   总被引:36,自引:0,他引:36       下载免费PDF全文
模拟进化有几种典型方法,分别强调自然进化过程的不同侧面.人们已意识到恰当地结合这些方法将推进该领域的研究.本文将现有进化方法的差别归结为“遗传链”与“进化链”之间的差别,提出一种新的进化模型,称之为“基于家族优生学的进化FEBE(familyeugenicsbasedevolution)”.新的模型用家族优生学的思想将遗传链与进化链溶为一体,将正交设计技术引入家庭的子代培植以加强个体的行为改进.本文将FEBE模型用于求解困难的Goldberg欺骗问题,取得了满意的实验结果.  相似文献
4.
基于模型的软件测试综述   总被引:26,自引:5,他引:21       下载免费PDF全文
颜炯  王戟  陈火旺 《计算机科学》2004,31(2):184-187
随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,特别是基于UML的软件开发技术的逐渐普及,基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接受。针对被测试软件的不同特征和不同测试目的,已经提出了多种测试模型。本文详细阐述了基于模型的软件测试研究现状和应用现状,并对测试中使用的不同模型进行了比较,着重介绍了状态机模型、UML模型和马尔可夫链模型。最后提出了未来的研究方向。  相似文献
5.
基于进程代数安全协议验证的研究综述   总被引:16,自引:2,他引:14  
安全协议用于实现开放互联网络的通信安全,进程代数是一类使用代数方法研究通信并发系统理论的泛称,基于进程代数的安全协议验证是以进程代数作为安全协议描述语言的安全协议形式化验证方法.描述了基于进程代数的安全协议验证研究的4种主要方法:基于踪迹语义的方法;基于互模拟验证的方法;基于类型理论的方法;基于逻辑程序的方法.并给出了基于进程代数的安全协议验证进一步的研究方向.  相似文献
6.
基于UML的软件Markov链使用模型构造研究   总被引:16,自引:0,他引:16       下载免费PDF全文
颜炯  王戟  陈火旺 《软件学报》2005,16(8):1386-1394
软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unified modeling language,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件Markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性.  相似文献
7.
频繁项集挖掘算法   总被引:15,自引:1,他引:14       下载免费PDF全文
数据挖掘在最近几年里已被数据库界所广泛研究,而搜索频繁项集是诸如关联规则挖掘,序列模式挖掘等数据挖掘问题中的关键步骤。本文描述了频繁项集挖掘问题的特点,并根据搜索策略对已有各种频繁项集挖掘算法进行了分析和比较。  相似文献
8.
面向智能主体的程序设计   总被引:14,自引:1,他引:13  
面向智能主体的程序设计是一种以计算的社会观为基础的新型程序设计范例。本文介绍我们在AOP方面进行的研究工作。AOP工作以多个智能主体的知识信息处理问题为背景,采用AOP的语法途径,强调将知识本文首先讨论与AOP相关的智能主体的体系结构。然后,以AOP语言ROOT的技术支点(即面向对象程序设计技术、基于条件重写的逻辑程序设计技术和元级推理技术等)为线索介绍ROOT。最后通过一个简单例说明ROOT的A  相似文献
9.
智能体的理论研究   总被引:12,自引:1,他引:11       下载免费PDF全文
智能体在Al/DAl和当前主流计算机学科(如分布式计算)中正成为一个广泛使用、日益重要的键性概念,由此而产生了一系列新的思想、方法、技术和语言用以规范,验证,设计和实现复的分布式  相似文献
10.
SPVT:一个有效的安全协议验证工具   总被引:11,自引:0,他引:11       下载免费PDF全文
描述了基于Objective Caml开发的一个安全协议验证工具SPVT(security protocol verifying tool).在SPVT中,以扩展附加项的类(演算作为安全协议描述语言,以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型,通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型,基于安全协议逻辑程序的不动点计算验证安全性质,从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例.以简化的Needham-Schroeder公钥认证协议为例,描述了使用SPVT自动验证安全协议的过程,表明了SPVT用于安全协议验证的有效性.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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