首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3598篇
  国内免费   173篇
  完全免费   934篇
  自动化技术   4705篇
  2018年   19篇
  2017年   40篇
  2016年   49篇
  2015年   101篇
  2014年   219篇
  2013年   205篇
  2012年   271篇
  2011年   261篇
  2010年   328篇
  2009年   300篇
  2008年   679篇
  2007年   1157篇
  2006年   236篇
  2005年   281篇
  2004年   225篇
  2003年   91篇
  2002年   51篇
  2001年   49篇
  2000年   33篇
  1999年   25篇
  1998年   9篇
  1997年   14篇
  1996年   14篇
  1995年   11篇
  1994年   9篇
  1993年   9篇
  1992年   6篇
  1991年   3篇
  1990年   3篇
  1989年   5篇
  1988年   2篇
排序方式: 共有4705条查询结果,搜索用时 62 毫秒
1.
软件体系结构研究综述   总被引:146,自引:7,他引:139       下载免费PDF全文
孙昌爱  金茂忠  刘超 《软件学报》2002,13(7):1228-1237
近年来,软件体系结构逐渐成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一.归纳了软件体系结构技术发展过程及其主要研究方向.在分析了典型的软件体系结构概念之后,给出了软件体系结构的定义.通过总结软件体系结构领域的若干研究活动,提出了软件体系结构研究的两大思路,并从7个方面介绍了软件体系结构研究进展.探讨了软件体系结构研究中的不足之处,并分析其原因.作为总结,给出了软件体系结构领域最有前途的发展趋势.  相似文献
2.
工作流系统时间管理   总被引:43,自引:4,他引:39       下载免费PDF全文
李慧芳  范玉顺 《软件学报》2002,13(8):1552-1558
时间管理是工作流管理软件系统的关键部分,也是工作流技术实施复杂企业应用的严重局限.开展时间管理研究,对于增强工作流管理软件系统的柔性、确保工作流计划的高效执行和提高企业的竞争力具有重要意义.时间管理的关键在于时间信息的有效建模.首先介绍了工作流管理系统的时间问题.其次,综述了时间建模与分析的研究现状,包括时间约束的建模、时序一致性验证与时间违反的处理.最后,基于对现有研究方法的分析与评价,指出了工作流系统时间管理的发展方向.时间管理的支持对于开发灵活性和实用性的工作流管理系统具有重要的指导意义.  相似文献
3.
基于时间Petri网的工作流模型分析   总被引:32,自引:5,他引:27       下载免费PDF全文
工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.  相似文献
4.
XML数据索引技术   总被引:28,自引:3,他引:25       下载免费PDF全文
孔令波  唐世渭  杨冬青  王腾蛟  高军 《软件学报》2005,16(12):2063-2079
对XML数据建立有效的索引,是左右XML数据处理性能的重要因素.深入地讨论了目前XML索引技术的研究现状,将XML索引技术分为两大类:节点记录类索引(本身还可以分为3个小的类型)和结构摘要类索引.根据XML数据查询处理效率以及XML数据修改对XML索引的要求,讨论了相关XML索引方法的优点和不足,并归结出XML索引后续研究的3个方向:XML结构信息的获取,路径信息的多维处理,数据修改合法性的有效支持,以及涉及能够同时有效满足XML查询和信息获取的索引.  相似文献
5.
在线考试系统开发中的几个问题及解决方法   总被引:25,自引:0,他引:25  
简述了在线考试系统开发中网络拥塞、时间的控制、身份验证、试卷的生成、安全性、答案的存放等几个问题及其解决方法。  相似文献
6.
一种新的高光谱遥感图像降维方法   总被引:23,自引:1,他引:22  
高光谱遥感图像的高数据维给图像进一步处理带来了困难,为了解决这一问题,提出了自适应波段选择(ABS)的降维方法。该方法充分考虑了高光谱图像的空间相关性和谱间相关性,通过计算各个波段的指数来选择信息量大并且与其他波段相关性小的波段。对各波段相应的指数重新排列之后,有两种方法来选择最终波段:一种是选择波段指数比设定指数大的波段,另一种方法是选择波段指数排在前n个的所有波段。为了验证ABS方法的有效性,对降维后的高光谱图像进行了贝叶斯监督分类,分类结果表明自适应波段选择的方法能够选择出信息丰富的波段,分类精度与使用原始波段相比提高10.4%,计算复杂度大大降低。  相似文献
7.
一种自适应的图像加密算法   总被引:22,自引:0,他引:22       下载免费PDF全文
陈刚  赵晓宇  李均利 《软件学报》2005,16(11):1975-1982
给出一种新的自适应图像置乱加密算法,加密后的图像可以有效防止已知明文的攻击.并且,算法具有良好的完整性保护功能,可用于图像验证.实验结果表明,算法在运算速度、抗攻击能力等方面具有良好的效果.  相似文献
8.
基于傅立叶变换的掌纹识别方法   总被引:22,自引:0,他引:22       下载免费PDF全文
掌纹识别是指由计算机自动识别哪些掌纹图像来自同一只手掌,哪些来自不同的手掌.在掌纹识别中,特征提取算法的优劣至关重要.提出了一种基于傅立叶变换的掌纹特征提取方法.该方法的基本思想是先将掌纹图像应用傅立叶变换转换到频域,然后在频域中进行特征提取和描述.提取出来的特征备用来索引掌纹数据库,以便当一个新的掌纹图像被输入时,可以很快确定该手掌是否已经在掌纹库中注册.该方法可以用来做基于人体生物特征的身份识别,在安全领域有广泛的应用前景.实验验证了该方法的有效性.  相似文献
9.
工作流过程建模中的形式化验证技术   总被引:21,自引:2,他引:19  
工作流过程建模是一个复杂且易错的过程.若过程定义在投入运行之后被发现有错,则修复错误的代价相当高,这个问题引起了研究界和工业界的高度重视.因此,在建模阶段进行有效的过程验证是十分必要的.综述了工作流过程验证技术的发展现状,包括强调验证的重要性,叙述了需要验证的问题和复杂度;介绍了对验证方法的要求;讨论了过程合理性验证和化简验证技术等;并通过对研究现状的分析和对比,提出了仍然没有解决的问题和将来的工作.  相似文献
10.
安全协议的验证逻辑   总被引:20,自引:2,他引:18       下载免费PDF全文
白硕  隋立颖  陈庆锋  付岩  庄超 《软件学报》2000,11(2):213-221
该文提出一种论证安全协议之安全性质的非单调动态逻辑.针对信息安全的特定需要,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则,举例说明了这一逻辑框架在验证安全协议方面的应用,并讨论了需要进一步解决的问题.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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