首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1825篇
  国内免费   29篇
  完全免费   585篇
  自动化技术   2439篇
  2019年   16篇
  2018年   30篇
  2017年   34篇
  2016年   44篇
  2015年   57篇
  2014年   84篇
  2013年   75篇
  2012年   122篇
  2011年   176篇
  2010年   147篇
  2009年   140篇
  2008年   182篇
  2007年   216篇
  2006年   179篇
  2005年   189篇
  2004年   118篇
  2003年   118篇
  2002年   81篇
  2001年   55篇
  2000年   67篇
  1999年   44篇
  1998年   38篇
  1997年   39篇
  1996年   20篇
  1995年   34篇
  1994年   25篇
  1993年   27篇
  1992年   23篇
  1991年   13篇
  1990年   7篇
  1989年   16篇
  1988年   7篇
  1987年   1篇
  1986年   1篇
  1985年   3篇
  1984年   1篇
  1983年   2篇
  1982年   2篇
  1980年   2篇
  1979年   3篇
  1975年   1篇
排序方式: 共有2439条查询结果,搜索用时 46 毫秒
1.
工作流系统时间管理   总被引:43,自引:4,他引:39       下载免费PDF全文
李慧芳  范玉顺 《软件学报》2002,13(8):1552-1558
时间管理是工作流管理软件系统的关键部分,也是工作流技术实施复杂企业应用的严重局限.开展时间管理研究,对于增强工作流管理软件系统的柔性、确保工作流计划的高效执行和提高企业的竞争力具有重要意义.时间管理的关键在于时间信息的有效建模.首先介绍了工作流管理系统的时间问题.其次,综述了时间建模与分析的研究现状,包括时间约束的建模、时序一致性验证与时间违反的处理.最后,基于对现有研究方法的分析与评价,指出了工作流系统时间管理的发展方向.时间管理的支持对于开发灵活性和实用性的工作流管理系统具有重要的指导意义.  相似文献
2.
A machine-vision system for iris recognition   总被引:39,自引:0,他引:39  
This paper describes a prototype system for personnel verification based on automated iris recognition. The motivation for this endevour stems from the observation that the human iris provides a particularly interesting structure on which to base a technology for noninvasive biometric measurement. In particular, it is known in the biomedical community that irises are as distinct as fingerprints or patterns of retinal blood vessels. Further, since the iris is an overt body, its appearance is amenable to remote examination with the aid of a machine-vision system. The body of this paper details the design and operation of such a system. Also presented are the results of an empirical study in which the system exhibits flawless performance in the evaluation of 520 iris images.  相似文献
3.
基于时间Petri网的工作流模型分析   总被引:32,自引:5,他引:27       下载免费PDF全文
工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.  相似文献
4.
基于支持向量机的计算机键盘用户身份验真   总被引:21,自引:3,他引:18  
口令认证因为简便易实现而被大多数计算机系统所采用,但容易被盗用,存在着严重的安全隐患,而利用对用户的键入特性的识别,可以大大加强口令认证的可靠性,在对国内外众多学者所做工作研究的基础上,鉴于支持向量机在进行模式识别对所具有的优良性能,提出利用支持向量机进行键入特性验真,并通过实验将其与BP,RBF,PNN和LVQ四种神经网络模型进行比较,证实采用SVM进行键入特性验真的有效性,因而其具有广阔的应用前景。  相似文献
5.
工作流过程建模中的形式化验证技术   总被引:21,自引:2,他引:19  
工作流过程建模是一个复杂且易错的过程.若过程定义在投入运行之后被发现有错,则修复错误的代价相当高,这个问题引起了研究界和工业界的高度重视.因此,在建模阶段进行有效的过程验证是十分必要的.综述了工作流过程验证技术的发展现状,包括强调验证的重要性,叙述了需要验证的问题和复杂度;介绍了对验证方法的要求;讨论了过程合理性验证和化简验证技术等;并通过对研究现状的分析和对比,提出了仍然没有解决的问题和将来的工作.  相似文献
6.
基于数字签名方案DSS/DSA的几种应用方案   总被引:21,自引:1,他引:20  
随着计算机和网络通信技术的发展,数字签名技术得到了广泛的应用。文中以美国数字签名标准DSS/DSA为基础,设计了群体数字签名,数字签名的(t,n)共亨认证以及远程口令认证3种应用方案,即体数字允许多人分别签署同一份文件,然后所有的个体签名组成同一份群体签名。  相似文献
7.
安全协议的验证逻辑   总被引:20,自引:2,他引:18       下载免费PDF全文
白硕  隋立颖  陈庆锋  付岩  庄超 《软件学报》2000,11(2):213-221
该文提出一种论证安全协议之安全性质的非单调动态逻辑.针对信息安全的特定需要,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则,举例说明了这一逻辑框架在验证安全协议方面的应用,并讨论了需要进一步解决的问题.  相似文献
8.
需求分析的常见问题及其对策分析   总被引:19,自引:0,他引:19  
基于对若干MIS系统的调研结果,总结了需求分析中常见的问题,并根据不同性质的问题提出了一些对策,还对几个优秀的需求分析管理软件进行了分析比较。最后强调了人员素质和团体合作性在需求分析过程中的人文作用。  相似文献
9.
提高数控加工仿真速度和效果的关键技术研究   总被引:17,自引:1,他引:16  
提出了三角网格模型局部重绘的顶点搜索算法,以提高数控加工动态仿真的速度和效果.每仿真一条加工代码,先为所有被改变的三角片构造一个略宽的包围盒,然后通过对该包围盒内部的像素点,以及沿,方向从包围盒上下两条边出发对它外部的像素点进行搜索,获得完全或部分位于包围盒内的三角片所对应的顶点,并依此重绘这些三角片.在此基础上改进了本单位自主研制的机械CAD/CAM系列软件中加工仿真软件的功能,并通过对比测试,表明在仿真速度和效果两方面接近国外主流商业仿真软件.  相似文献
10.
一种基于Petri网化简的工作流过程语义验证方法   总被引:17,自引:2,他引:15       下载免费PDF全文
周建涛  史美林  叶新铭 《软件学报》2005,16(7):1242-1251
过程验证是保证工作流过程定义正确性的重要手段.针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法.首先根据语义验证的需求,定义3DWFN网作为过程描述的形式化模型,然后基于该模型阐述了完成语义验证的化简规则.并通过与其他相关化简规则的比较,说明了这些规则在语义验证层面的优势.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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