全文获取类型
收费全文 | 50227篇 |
免费 | 5933篇 |
国内免费 | 3043篇 |
专业分类
电工技术 | 5447篇 |
技术理论 | 6篇 |
综合类 | 3694篇 |
化学工业 | 9705篇 |
金属工艺 | 2686篇 |
机械仪表 | 2079篇 |
建筑科学 | 2783篇 |
矿业工程 | 2884篇 |
能源动力 | 3771篇 |
轻工业 | 1534篇 |
水利工程 | 845篇 |
石油天然气 | 1678篇 |
武器工业 | 322篇 |
无线电 | 4055篇 |
一般工业技术 | 4927篇 |
冶金工业 | 3803篇 |
原子能技术 | 386篇 |
自动化技术 | 8598篇 |
出版年
2024年 | 211篇 |
2023年 | 979篇 |
2022年 | 1408篇 |
2021年 | 1688篇 |
2020年 | 1989篇 |
2019年 | 1889篇 |
2018年 | 1702篇 |
2017年 | 1972篇 |
2016年 | 2124篇 |
2015年 | 2168篇 |
2014年 | 3189篇 |
2013年 | 3199篇 |
2012年 | 3633篇 |
2011年 | 4078篇 |
2010年 | 3029篇 |
2009年 | 3001篇 |
2008年 | 2880篇 |
2007年 | 3305篇 |
2006年 | 2812篇 |
2005年 | 2260篇 |
2004年 | 1801篇 |
2003年 | 1652篇 |
2002年 | 1486篇 |
2001年 | 1315篇 |
2000年 | 1061篇 |
1999年 | 872篇 |
1998年 | 705篇 |
1997年 | 580篇 |
1996年 | 483篇 |
1995年 | 345篇 |
1994年 | 312篇 |
1993年 | 210篇 |
1992年 | 190篇 |
1991年 | 109篇 |
1990年 | 87篇 |
1989年 | 72篇 |
1988年 | 67篇 |
1987年 | 40篇 |
1986年 | 45篇 |
1985年 | 41篇 |
1984年 | 35篇 |
1983年 | 34篇 |
1982年 | 22篇 |
1981年 | 30篇 |
1980年 | 23篇 |
1979年 | 13篇 |
1978年 | 7篇 |
1977年 | 7篇 |
1959年 | 5篇 |
1951年 | 9篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
91.
92.
In a recent paper (Automatica 49 (2013) 2860–2866), the Wirtinger-based inequality has been introduced to derive tractable stability conditions for time-delay or sampled-data systems. We point out that there exist two errors in Theorem 8 for the stability analysis of sampled-data systems, and the correct theorem is presented. 相似文献
93.
Slicing Software for Model Construction 总被引:8,自引:0,他引:8
Hatcliff John Dwyer Matthew B. Zheng Hongjun 《Higher-Order and Symbolic Computation》2000,13(4):315-353
Applying finite-state verification techniques (e.g., model checking) to software requires that program source code be translated to a finite-state transition system that safely models program behavior. Automatically checking such a transition system for a correctness property is typically very costly, thus it is necessary to reduce the size of the transition system as much as possible. In fact, it is often the case that much of a program's source code is irrelevant for verifying a given correctness property.In this paper, we apply program slicing techniques to remove automatically such irrelevant code and thus reduce the size of the corresponding transition system models. We give a simple extension of the classical slicing definition, and prove its safety with respect to model checking of linear temporal logic (LTL) formulae. We discuss how this slicing strategy fits into a general methodology for deriving effective software models using abstraction-based program specialization. 相似文献
94.
采用多体动力学方法进行汽轮机机械振动激励源精确分析,在激励源分析结果的基础上研究低频激励下的机组振动响应,并采用声传递向量(Acoustic Transfer Vector,ATV)方法研究汽轮机组表面与外场辐射的声压传递贡献量,从多体动力学的角度并结合流固耦合的方法综合分析汽轮机组振动噪声产生机理并研究噪声典型传递路径。研究结果表明,旋转激励源为汽轮机组的主要振动激励源,在低频段汽轮机组辐射模式为单极子,在中高频段汽轮机组辐射模式为偶极子。由噪声辐射的指向性极坐标图可知,在不同高度处噪声指向性相似,并都在长度方向上取得噪声声压级较大值,具有较强的指向性。计算方法对汽轮机组减振降噪研究具有一定的指导意义。 相似文献
95.
96.
A novel biosensor based on a myoglobin/gold nanoparticles/carbon spheres (Mb-AuNPs-CNs) 3-D architecture bioconjunction has
been fabricated for the determination of hydrogen peroxide (H2O2). Cyclic voltammetry (CV), Fourier transform infrared (FT-IR) spectroscopy and scanning electron microscopy (SEM) were used
to characterize the bioconjunction of the AuNPs-CNs with Mb. Experimental results demonstrate that the AuNPs-CNs hybrid material
is more effective in facilitating electron transfer of the immobilized enzyme than CNs alone, which can be attributed to the
unique nanostructure and larger surface area of the bioconjunction. The biosensor displayed good performance for the detection
of H2O2 with a wide linear range from 0.28 μmol/L to 116.5 μmol/L and a detection limit of 0.12 μmol/L. The Michaelis-Menten constant
K
Mapp value was estimated to be 0.3 mmol/L. The resulting biosensor exhibited fast amperometric response, and good stability, reproducibility,
and selectivity to H2O2.
This article is published with open access at Springerlink.com 相似文献
97.
The paper introduces the origin of the word of Direct Digital Manufacturing and other forms of address, and the working principles of Direct Digital Manufacturing technology and major types of the technology, hard- ware and software development, use of materials, applications, market growth and its development prospects. Focused presentations of Direct Digital Manufacturing (additive manufacturing) compared to traditional mechani- cal manufacturing industry in the use of prices, processing speed, reliability and cost advantages and characteris- tics. Particularly the significant challenges and competitiveness of Direct Digital Manufacturing technology in the processing of any complexity created directly the number of objects, internal structure and channel function, as well as the shape of the chassis components and structure of the matching and optimization. 相似文献
98.
99.
100.