首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3744篇
  国内免费   174篇
  完全免费   649篇
  自动化技术   4567篇
  2018年   11篇
  2017年   44篇
  2016年   44篇
  2015年   136篇
  2014年   312篇
  2013年   258篇
  2012年   290篇
  2011年   326篇
  2010年   306篇
  2009年   306篇
  2008年   331篇
  2007年   334篇
  2006年   235篇
  2005年   299篇
  2004年   218篇
  2003年   196篇
  2002年   115篇
  2001年   87篇
  2000年   122篇
  1999年   69篇
  1998年   85篇
  1997年   82篇
  1996年   69篇
  1995年   58篇
  1994年   57篇
  1993年   40篇
  1992年   41篇
  1991年   27篇
  1990年   30篇
  1989年   33篇
  1988年   5篇
  1987年   1篇
排序方式: 共有4567条查询结果,搜索用时 46 毫秒
1.
基于构件软件的可靠性通用模型   总被引:38,自引:0,他引:38       下载免费PDF全文
工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.  相似文献
2.
软件体系结构抽象模型   总被引:36,自引:4,他引:32  
3.
下一代自动测试系统体系结构与关键技术   总被引:36,自引:14,他引:22  
在总结自动测试系统发展现状的基础上,以目前国际上正在开展的下一代自动测试系统的研究为背景,分析了下一代自动测试系统的体系结构与标准,重点讨论了下一代自动测试系统开发所涉及的并行测试技术、合成仪器技术、仪器可互换技术、TPS可移植与互操作技术、智能测试诊断技术及测试诊断信息的表达等关键技术。希望以此能促进我国下一代通用自动测试系统的研制与开发。  相似文献
4.
基于模型的软件测试综述   总被引:26,自引:5,他引:21       下载免费PDF全文
颜炯  王戟  陈火旺 《计算机科学》2004,31(2):184-187
随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,特别是基于UML的软件开发技术的逐渐普及,基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接受。针对被测试软件的不同特征和不同测试目的,已经提出了多种测试模型。本文详细阐述了基于模型的软件测试研究现状和应用现状,并对测试中使用的不同模型进行了比较,着重介绍了状态机模型、UML模型和马尔可夫链模型。最后提出了未来的研究方向。  相似文献
5.
安全协议的形式化分析技术与方法   总被引:24,自引:0,他引:24  
对于安全协议的形式化分析方法从技术特点上做了分类和分析.对于安全协议分析技术的发展历史、目前的状况以及将来的趋势作了总体的介绍和总结.根据作者的体会,从纵向和横向两个角度进行了总结.纵向方面主要是从用于分析安全协议的形式化方法的出现和发展的历史角度加以总结.横向方面主要从所应用的技术手段、技术特点入手,进行总结分析.说明了目前协议形式化分析发展的主要方向.对于目前国际流行的方法和模型进行了例解.  相似文献
6.
通信网可靠性研究综述   总被引:24,自引:2,他引:22  
本文从通信网可靠性的概念、可靠性分析与设计方法角度系数地总结了近几十年来国内外在通信网可靠性方向的研究进展,指出一在此方向进行研究的难点和需要解决的关键问题,最后对今后的发展趋势进行了展望。  相似文献
7.
作为无线个人网中低数据传输率协议IEEE802.15.4/ZigBee,以低功耗、高可靠性、低复杂度见长。本文从在ISO通信模型的各通信层中所采用的协议进行分析,指出选择适当的经过实际验证的协议,并充分考虑各层协议的优化组合,是它取得高可靠性和低功耗的保证。  相似文献
8.
一种改善遗传算法全局搜索性能的小生境技术   总被引:23,自引:0,他引:23  
本文分析了基本遗传算法全局搜索效率不高的内在原因,提出了基于相似个体交叉 和(μ+λ)选择机制的小生境并行进化技术,从理论上论证了该技术不但能提供最强的选 择压,而且能维持足够的种群多样性.对高维不连续函数和高维多峰函数优化的仿真实验结 果表明,应用该技术能显著地改善遗传算法的全局收敛可靠性和收敛速度,从而提供了说明 这种小生境技术设计合理性和应用有效性的事实依据.  相似文献
9.
本文对带有中间缓冲库的可修CIMS可靠性进行了深入系统的研究.中间库是将刚性联 结生产线进行柔性化的手段,是提高系统可靠性和生产率的有效措施.另一方面,工作站的维 修也能起到同等重要的作用.但这样组成的大系统存在生产线的畅通、生产率的协调等问题, 给系统可靠性与优化设计造成了很大的困难,长期以来没有得到很好的解决. 本文从马尔可夫过程的排队论出发,运用系统可靠性理论,对缓冲库、工作站及系统进行 分步分析,综合求解,从而得出一条工件流平衡定理,解决了各站之间生产率丢失的问题,并给 出了系统可靠性的有关指标.  相似文献
10.
面向对象软件测试探讨   总被引:20,自引:3,他引:17  
面向对象软件测试是面向对象软件开发的一个重要阶段,是保证软件质量,提高软件可靠性的关键。该文主要分析了面向对象程序的特点对测试的影响,讨论了面向对象软件测试技术的现状与发展。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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