首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   120篇
  国内免费   7篇
  完全免费   38篇
  自动化技术   165篇
  2017年   3篇
  2016年   3篇
  2015年   3篇
  2014年   6篇
  2013年   2篇
  2012年   6篇
  2011年   11篇
  2010年   9篇
  2009年   14篇
  2008年   14篇
  2007年   12篇
  2006年   13篇
  2005年   13篇
  2004年   10篇
  2003年   10篇
  2002年   7篇
  2001年   4篇
  2000年   5篇
  1999年   1篇
  1998年   2篇
  1997年   3篇
  1996年   4篇
  1995年   2篇
  1993年   1篇
  1992年   2篇
  1991年   3篇
  1990年   1篇
  1986年   1篇
排序方式: 共有165条查询结果,搜索用时 31 毫秒
1.
基于遗传算法的机场机位分配策略   总被引:10,自引:0,他引:10  
田晨  熊桂喜 《计算机工程》2005,31(3):186-188,228
通过对大型机场机位分配所受约束和最终目标的分析研究,将其模型化,提出使用遗传算法来解决机场机位分配问题,并设计实现了该算法。为促进算法收敛,引入模拟退火思想对适应度函数进行了修正。实验数据表明,该算法相对已有的其它机位分配方法在计算时间、实时性和结果优化程度上都有一定的优势。目前该方法已经成功应用到国内某国际机场。  相似文献
2.
CBD关键技术研究   总被引:9,自引:0,他引:9  
高剑峰  蒋华  张申生 《计算机工程》1998,24(6):44-46,52
文中介绍了CBD的概念及关键技术,分析了目前的研究成果和不足,提出了基于约束满足技术的实例修改的思想,  相似文献
3.
基于反射的连接器组合重用方法   总被引:7,自引:0,他引:7       下载免费PDF全文
熊惠民  应时  虞莉娟  张韬 《软件学报》2006,17(6):1298-1306
连接器的建模与分析是复杂软件体系结构设计的一个重要问题.基于反射机制,提出了一种连接器的组合重用方法.为了支持这一想法,借用CSP进程间的运算,提出了连接器组合的一组元操作,并给出了组合连接器的CSP语义.该方法能为连接器提供一种增量式的开发方式,并且由于其严格的形式化基础,适合进行形式化分析和自动检查.  相似文献
4.
认证协议两种形式化分析方法的比较   总被引:5,自引:0,他引:5       下载免费PDF全文
卿斯汉 《软件学报》2003,14(12):2028-2036
串空间模型和CSP方法是当前最著名的分析认证协议的形式化方法.通过一个具体的认证协议例子,比较两种方法的不同特点.  相似文献
5.
Solving multi-granularity temporal constraint networks   总被引:4,自引:0,他引:4  
Many problems in scheduling, planning, and natural language understanding have been formulated in terms of temporal constraint satisfaction problems (TCSP). These problems have been extensively investigated in the AI literature providing effective solutions for some fragments of the general model. Independently, there has been an effort in the data and knowledge management research community for the formalization of the concept of time granularity and for its applications. This paper considers a framework for integrating the notion of time granularity into TCSP, and investigates the problems of consistency and network solution, which, in this context, involve complex manipulation of the periodic sets representing time granularities. A sound and complete algorithm for consistency checking and for deriving a solution is presented. The paper also investigates the algorithm's computational complexity and several optimization techniques specific to the multi-granularity context. An application to e-commerce workflows illustrates the benefits of the framework and the need for specific reasoning tools.  相似文献
6.
一种求解Job_Shop调度的变量排序启发算法   总被引:4,自引:0,他引:4  
该文提出了搜索空间的概率模型,并以模型中的工序开工概率、工序对机床的独立需求概率和机床累计需求三个评价因子,构造了新的变量排序启发算法。仿真结果表明新算法在较小的计算时间代价下,显著提高了系统的搜索效率。  相似文献
7.
规划问题编码为约束可满足问题的研究   总被引:4,自引:1,他引:3       下载免费PDF全文
基于约束可满足问题的规划求解是研究智能规划的重要技术方法。把规划问题编码为约束可满足(CSP)问题,是这种规划求解方法的关键技术之一。本文介绍把规划问题编码为约束可满足问题的方法,及一些已有的并且已经用于规划的可满足过程,并对这些编码方法做进一步的研究,主要讨论领域知识在编码方法中的应用,提出在编码求解中加入领域知识的观点。  相似文献
8.
基于PKI加密设备的CSP软件设计与实现   总被引:3,自引:0,他引:3  
Windows环境下,微软以CSP方式向用户提供了加密应用程序接口,本文在分析了微软操作系统加密体系的基础上。详细说明了基于PKI加密设备的CSP软件的设计方法,并实现了我们已开发的PKI USB Key的CSP软件。  相似文献
9.
基于通信的MAS内多Agent自动协商   总被引:3,自引:0,他引:3  
给出了一个通用的基于联合意图的多Agent系统内部Agent协商模型,详细分析了Agent间的异步通信机制以及基于语言行为学的Agent自动协商语义,并在该协商语义的基础上给出了MAS内部基于联合意图的Agent自动协商通信协议,最后利用通信顺序进程验证了该协议的安全性和活性.  相似文献
10.
基于离散模式的XML数据查询的CSP实现   总被引:3,自引:1,他引:2  
XML成为WWW上采用的信息交换,表示和存储手段之一,文中给出了基于OEM数据模型的XML数据离散模式概念和基于模式匹配的数据查询概念,重点研究了通过将模式匹配转换到约束满足问题(CSP)来具体求解匹配实例的方法,此方法使WWW上基于内容的查询转变为更为精确的基于结构的查询,理论上证明了这种模式匹配到CSP转换的可行性。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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