首页 | 官方网站   微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   2072篇
  免费   279篇
  国内免费   223篇
工业技术   2574篇
  2024年   26篇
  2023年   56篇
  2022年   66篇
  2021年   73篇
  2020年   58篇
  2019年   89篇
  2018年   57篇
  2017年   60篇
  2016年   47篇
  2015年   57篇
  2014年   111篇
  2013年   95篇
  2012年   141篇
  2011年   142篇
  2010年   117篇
  2009年   141篇
  2008年   184篇
  2007年   151篇
  2006年   111篇
  2005年   113篇
  2004年   107篇
  2003年   78篇
  2002年   63篇
  2001年   56篇
  2000年   54篇
  1999年   51篇
  1998年   25篇
  1997年   31篇
  1996年   50篇
  1995年   38篇
  1994年   27篇
  1993年   22篇
  1992年   18篇
  1991年   26篇
  1990年   14篇
  1989年   15篇
  1988年   3篇
  1987年   1篇
排序方式: 共有2574条查询结果,搜索用时 15 毫秒
1.
近年来深度学习迅猛发展,颠覆了语音识别、图像分类、文本理解等领域的算法设计思路。深度学习因其具备强大的特征提取能力,在图像识别领域的成绩尤为突出。然而深度学习与视频监控领域的结合并不多,由于深度模型具有多层网络结构,算法复杂度大,训练和更新模型时比较耗时,很难满足实时性要求。回顾了深度学习的发展史,介绍了最近10年来国内外深度学习主要模型,论述了基于深度学习的目标跟踪算法,指出了各算法的优缺点,最后对当前该领域存在的问题和发展前景进行了总结和展望。  相似文献   
2.
分析了递归程序的实现原理及在FoxBASE ̄+中实现递归调用的可能性,提出了递归程序工作栈的概念。利用这一概念,使FoxBASE ̄+的解释程序与应用程序协同工作,从而在FoxBASE ̄+中实现递归调用。  相似文献   
3.
4.
范明 《软件学报》1994,5(1):56-61
本给出拓广的左线性递归变换算法并证明其正确性。拓广的左线性递归中可以包含一个或多个IDB谓词,它是左线性递归的一般化和左线性递归计算算法一样,本提供的算法遵循魔集的模式:首先改写规则,然后用半扑质的自底向上算法计算新规则,算法的有效性也在本作简略讨论。  相似文献   
5.
对二阶A型Cooper变换进行增强,放宽可用性条件,并证明了其正确性,最后举例说明其应用。  相似文献   
6.
基于地震道时频分析的地层结构解析原理和方法   总被引:4,自引:0,他引:4  
 地震时频分析是通过对地震信号采用多种数学变换,实现从时频域角度对信号的局部特征进行分解,剖析信号细微特征所对应的地层结构。在应用地震时频分析技术过程中,人们对于这项技术能否真正有效地解决实际地质问题存在许多争论。本文从时频原理综合分析的角度出发,对地震道时频谱中各种频率特性参数和时频旋回直接转化成对地层结构逐级、分步的解析方法进行了较深入的探讨。研究认为时频分析原理不仅是对地震数据进行特殊数学变换,实现对信号的分解,而且充分利用了地层厚度的调谐效应及岩性调谐效应;时频谱与地质结构特征之间的良好响应关系为地震地质精细解释提供了直观的依据。  相似文献   
7.
求S盒布尔函数表达式的一种新算法   总被引:1,自引:0,他引:1  
求分组密码S盒布尔函数表达式就是要确定表达式的各个系数。本文给出布尔函数表达式中通项的取值与输入值之间的关系,证明了表达式通项的系数可由已知系数来确定,从而设计出求S盒布尔函数表达式一种新的递归算法。算法只进行异或和内积运算,运算次数少,具有简洁、易于编程实现、准确而快速的特点。应用于DES获得与公开文献相符的结果,应用于AES首次求出其S盒的布尔函数表达式。  相似文献   
8.
本提出在LF类型理论中定义一组相互递归类型的方法,并对递归类型赋予操作语义,递归类型不仅可以表示通常的递归通常的递归数据结构,还可描述一般的递归问题求解,递归证明构造和递归程序构造过程。  相似文献   
9.
主要讨论离散事件动态系统的建模问题。由KInan和PVaraiya提出的有限递归进程(FRP)是描述并发离散事件动态系统的有力工具,但在其FRP中,没有定义对数据变量的操作和条件转移算子。本文扩展FRP包括这两方面内容。最后举例说明扩展FRP的描述能力。  相似文献   
10.
具有多值约束的线性递归查询的有效计算   总被引:1,自引:0,他引:1  
范明 《计算机学报》1992,15(12):913-919
本文给出三个算法,分别用于把给定的右线性、左线性或左-右线性递归程序改写为一组更有效的规则.与Ullman等人的变换算法不同,本文的算法允许查询的初始约束可以是含任意多个约束元组的集合,而不必是单值的;这样,本文的算法不仅可以用于查询的求值,而且也可以用于子目标的处理.变换算法的正确性和变换后规则的有效性也在本文简略讨论.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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

京公网安备 11010802026262号