全文获取类型
收费全文 | 4366篇 |
免费 | 560篇 |
国内免费 | 222篇 |
专业分类
电工技术 | 416篇 |
综合类 | 657篇 |
化学工业 | 52篇 |
金属工艺 | 109篇 |
机械仪表 | 1125篇 |
建筑科学 | 412篇 |
矿业工程 | 149篇 |
能源动力 | 154篇 |
轻工业 | 81篇 |
水利工程 | 67篇 |
石油天然气 | 61篇 |
武器工业 | 103篇 |
无线电 | 265篇 |
一般工业技术 | 907篇 |
冶金工业 | 23篇 |
原子能技术 | 13篇 |
自动化技术 | 554篇 |
出版年
2024年 | 28篇 |
2023年 | 50篇 |
2022年 | 130篇 |
2021年 | 129篇 |
2020年 | 165篇 |
2019年 | 99篇 |
2018年 | 111篇 |
2017年 | 135篇 |
2016年 | 191篇 |
2015年 | 213篇 |
2014年 | 357篇 |
2013年 | 303篇 |
2012年 | 418篇 |
2011年 | 399篇 |
2010年 | 292篇 |
2009年 | 247篇 |
2008年 | 235篇 |
2007年 | 305篇 |
2006年 | 236篇 |
2005年 | 184篇 |
2004年 | 145篇 |
2003年 | 108篇 |
2002年 | 100篇 |
2001年 | 86篇 |
2000年 | 69篇 |
1999年 | 69篇 |
1998年 | 44篇 |
1997年 | 46篇 |
1996年 | 50篇 |
1995年 | 33篇 |
1994年 | 26篇 |
1993年 | 21篇 |
1992年 | 25篇 |
1991年 | 14篇 |
1990年 | 15篇 |
1989年 | 24篇 |
1988年 | 14篇 |
1987年 | 11篇 |
1986年 | 2篇 |
1985年 | 2篇 |
1984年 | 3篇 |
1983年 | 3篇 |
1982年 | 3篇 |
1981年 | 1篇 |
1980年 | 1篇 |
1979年 | 2篇 |
1978年 | 1篇 |
1977年 | 1篇 |
1959年 | 1篇 |
1956年 | 1篇 |
排序方式: 共有5148条查询结果,搜索用时 15 毫秒
11.
这里根据轮盘、板类等常用机械零件一般含有规则和非规则分布的相同结构的特点,总结出应用功能强大的Solid Works软件进行该类零件三雏设计的多种实用方法,给出了含有非规则分布的相同结构零件的快速设计方法,并分析了各种方法的应用场合。 相似文献
12.
ZS1756振动筛动态分析 总被引:1,自引:0,他引:1
应用SAP5P软件计算矿用振动筛前40阶固有模态,从提高寿命观点看,第1阶,第3-4阶和第6阶模态应采取抑制措施;从队噪观点看,前6阶模态应给予注意。 相似文献
13.
本文采用一次有理正交多项式-多模态曲线合法对一舰用燃气轮机框架模型进行了实验模态分析,以Forsythe复合交多项式作为频响函数的理论值,用实测的频响函数建立系数矩阵,来寻找使目标函数最小的最优值,本文在HP9826微机上建立了建立了测试,数据采集及参数识别等系统识别软件,给出了具有工程实用意义的前五阶振动模态参数,识别结果和有限元计算相比较,令人满意。 相似文献
14.
Wan Fokkink Rob van Glabbeek Paulien de Wind 《Electronic Notes in Theoretical Computer Science》2006,156(1):97
We present congruence formats for η- and rooted η-bisimulation equivalence. These formats are derived using a method for decomposing modal formulas in process algebra. To decide whether a process algebra term satisfies a modal formula, one can check whether its subterms satisfy formulas that are obtained by decomposing the original formula. The decomposition uses the structural operational semantics that underlies the process algebra. 相似文献
15.
路观平 《水利水运工程学报》2007,(2):48-53
对笔者提出的连拱坝动力特性计算的子结构交叉综合法的正确性进行了证明.利用证明子结构子模态向量组成的线性空间是完备的基础上,说明当交叉子结构中所取的截尾模态趋向于完备时,其结果等同于整体计算,并表明近似计算将收敛于正确的结果. 相似文献
16.
试验模态分析技术的进展 总被引:5,自引:0,他引:5
本文对试验模态分析技术的进展,特别是80年代发展起来的有关新技术进行了综合评述。主要内容有:试验激振技术、频响函数估计方法、试验测试设备、以及各种模态识别方法,包括单输入/多输出和多输入/多输出识别的时域和频域方法。文中强调了试验模态分析技术各环节之间的相互联系、相互影响,对于80年代已成为模态识别主流的多输入/多输出各种方法(包括作者发展的几种方法),用统一方法作了描述。最后提出了若干值得进一步研究的方向。 相似文献
17.
18.
19.
20.
Certain tasks, such as formal program development and theorem proving, fundamentally rely upon the manipulation of higher-order objects such as functions and predicates. Computing tools intended to assist in performing these tasks are at present inadequate in both the amount of knowledge they contain (i.e., the level of support they provide) and in their ability to learn (i.e., their capacity to enhance that support over time). The application of a relevant machine learning technique—explanation-based generalization (EBG)—has thus far been limited to first-order problem representations. We extend EBG to generalize higher-order values, thereby enabling its application to higher-order problem encodings.Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out. First-order Horn logics (e.g., Prolog) are not, however, well suited to higher-order applications. Instead, we employ Prolog, a higher-order logic programming language, as our basic framework for realizing higher-order EBG. In order to capture the distinction between domain theory and training instance upon which EBG relies, we extend Prolog with the necessity operator of modal logic. We develop a meta-interpreter realizing EBG for the extended language, Prolog, and provide examples of higher-order EBG. 相似文献