全文获取类型
收费全文 | 3278篇 |
免费 | 193篇 |
国内免费 | 15篇 |
专业分类
电工技术 | 34篇 |
综合类 | 10篇 |
化学工业 | 1086篇 |
金属工艺 | 63篇 |
机械仪表 | 62篇 |
建筑科学 | 59篇 |
矿业工程 | 12篇 |
能源动力 | 146篇 |
轻工业 | 161篇 |
水利工程 | 19篇 |
石油天然气 | 12篇 |
武器工业 | 1篇 |
无线电 | 299篇 |
一般工业技术 | 835篇 |
冶金工业 | 152篇 |
原子能技术 | 53篇 |
自动化技术 | 482篇 |
出版年
2023年 | 51篇 |
2022年 | 173篇 |
2021年 | 174篇 |
2020年 | 67篇 |
2019年 | 79篇 |
2018年 | 100篇 |
2017年 | 106篇 |
2016年 | 123篇 |
2015年 | 98篇 |
2014年 | 169篇 |
2013年 | 253篇 |
2012年 | 193篇 |
2011年 | 236篇 |
2010年 | 170篇 |
2009年 | 166篇 |
2008年 | 177篇 |
2007年 | 138篇 |
2006年 | 104篇 |
2005年 | 102篇 |
2004年 | 88篇 |
2003年 | 93篇 |
2002年 | 100篇 |
2001年 | 65篇 |
2000年 | 52篇 |
1999年 | 45篇 |
1998年 | 26篇 |
1997年 | 33篇 |
1996年 | 32篇 |
1995年 | 24篇 |
1994年 | 27篇 |
1993年 | 19篇 |
1992年 | 22篇 |
1991年 | 10篇 |
1990年 | 22篇 |
1989年 | 11篇 |
1988年 | 6篇 |
1987年 | 11篇 |
1986年 | 5篇 |
1985年 | 7篇 |
1984年 | 14篇 |
1983年 | 8篇 |
1982年 | 8篇 |
1981年 | 8篇 |
1979年 | 5篇 |
1976年 | 6篇 |
1973年 | 5篇 |
1972年 | 6篇 |
1971年 | 5篇 |
1970年 | 4篇 |
1969年 | 5篇 |
排序方式: 共有3486条查询结果,搜索用时 15 毫秒
71.
Marieke Huisman Vladimir Klebanov Rosemary Monahan Michael Tautschnig 《International Journal on Software Tools for Technology Transfer (STTT)》2017,19(6):763-771
VerifyThis 2015 was a one-day program verification competition which took place on April 12th, 2015 in London, UK, as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015). It was the fourth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2015 event, the challenges that were posed during the competition, and a high-level overview of the solutions to these challenges. It concludes with the results of the competition and some ideas and thoughts for future instalments of VerifyThis. 相似文献
72.
Knowledge transfer in SVM and neural networks 总被引:1,自引:0,他引:1
The paper considers general machine learning models, where knowledge transfer is positioned as the main method to improve their convergence properties. Previous research was focused on mechanisms of knowledge transfer in the context of SVM framework; the paper shows that this mechanism is applicable to neural network framework as well. The paper describes several general approaches for knowledge transfer in both SVM and ANN frameworks and illustrates algorithmic implementations and performance of one of these approaches for several synthetic examples. 相似文献
73.
In the paper, we study a problem of control with a predictive model for discrete systems with Markovian jumps and multiplicative
noises. A strategy to control with regard for explicit constraints on control variables is defined. The results are applied
to control an investment portfolio under constraints on investment amounts. 相似文献
74.
Damien Sulla-Menashe Mark A. Friedl Olga N. Krankina Alessandro Baccini Curtis E. Woodcock Adam Sibley Guoqing Sun Viacheslav Kharuk Vladimir Elsakov 《Remote sensing of environment》2011,115(2):392-403
The Northern Eurasian land mass encompasses a diverse array of land cover types including tundra, boreal forest, wetlands, semi-arid steppe, and agricultural land use. Despite the well-established importance of Northern Eurasia in the global carbon and climate system, the distribution and properties of land cover in this region are not well characterized. To address this knowledge and data gap, a hierarchical mapping approach was developed that encompasses the study area for the Northern Eurasia Earth System Partnership Initiative (NEESPI). The Northern Eurasia Land Cover (NELC) database developed in this study follows the FAO-Land Cover Classification System and provides nested groupings of land cover characteristics, with separate layers for land use, wetlands, and tundra. The database implementation is substantially different from other large-scale land cover datasets that provide maps based on a single set of discrete classes. By providing a database consisting of nested maps and complementary layers, the NELC database provides a flexible framework that allows users to tailor maps to suit their needs. The methods used to create the database combine empirically derived climate–vegetation relationships with results from supervised classifications based on Moderate Resolution Imaging Spectroradiometer (MODIS) data. The hierarchical approach provides an effective framework for integrating climate–vegetation relationships with remote sensing-based classifications, and also allows sources of error to be characterized and attributed to specific levels in the hierarchy. The cross-validated accuracy was 73% for the land cover map and 73% and 91% for the agriculture and wetland classifications, respectively. These results support the use of hierarchical classification and climate–vegetation relationships for mapping land cover at continental scales. 相似文献
75.
Robust Control Using Interval Analysis 总被引:1,自引:0,他引:1
The synthesis procedure of a control law that guarantees properties of robust stability with respect to structured parameter perturbations is proposed. The solution of the considered problem is based on the Razumikhin's method for functional differential equations generalized for parameter perturbation systems with time delay. The extension is obtained by using interval Lyapunov functions. The robust control law is represented through a solution of an interval matrix Riccati type equation. 相似文献
76.
The filtering problem for continuous‐time linear systems with unknown parameters is considered. A new suboptimal filter is herein proposed. It is based on the optimal mean‐square linear combination of the local Kalman filters. In contrast to the optimal weights, the suboptimal weights do not depend on current observations; thus, the proposed filter can easily be implemented in real‐time. Examples demonstrate high accuracy and efficiency of the suboptimal filter. Copyright © 2008 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society 相似文献
77.
78.
Braunschweig T Kaserer K Chung JY Bilke S Krizman D Knezevic V Hewitt SM 《Proteomics. Clinical applications》2007,1(3):264-271
Thyroid cancer is the most common endocrine neoplasm with multiple histologic subtypes, each associated with different treatments and outcomes. Differentiating benign neoplasms such as follicular adenomas from malignant entities such as follicular carcinomas and papillary carcinoma can be challenging. To define the proteomic profile of different thyroid tumors, we screened an antibody array of 330 features against five thyroid neoplasms: follicular adenoma, follicular carcinoma, papillary carcinoma, anaplastic carcinoma, and medullary carcinoma as well as normal thyroid epithelium. Eight candidate biomarkers; c-erbB-2, Stat5a, Annexin IV, IL-11, RARα, FGF7, Caspase 9, and phospho-c-myc were identified as differentially expressed on the antibody array, and validated with immunohistochemistry on tissue microarrays, with a total of 144 samples of the same variety of thyroid neoplasms. Analysis revealed c-erbB-2, Annexin IV, and Stat5a have potential clinical utility to differentiate follicular adenoma, follicular carcinoma, and papillary carcinoma from each other. By using an antibody array as a discovery platform and a tissue microarray as a first step in validation on a large number of specimens, we have identified new markers that have potential utility in the diagnosis of thyroid neoplasms. 相似文献
79.
Kolmogorov V Criminisi A Blake A Cross G Rother C 《IEEE transactions on pattern analysis and machine intelligence》2006,28(9):1480-1492
This paper describes models and algorithms for the real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from color/contrast or from stereo alone is known to be error-prone. Here, color, contrast, and stereo matching information are fused to infer layers accurately and efficiently. The first algorithm, layered dynamic programming (LDP), solves stereo in an extended six-state space that represents both foreground/background layers and occluded regions. The stereo-match likelihood is then fused with a contrast-sensitive color model that is learned on-the-fly and stereo disparities are obtained by dynamic programming. The second algorithm, layered graph cut (LGC), does not directly solve stereo. Instead, the stereo match likelihood is marginalized over disparities to evaluate foreground and background hypotheses and then fused with a contrast-sensitive color model like the one used in LDP. Segmentation is solved efficiently by ternary graph cut. Both algorithms are evaluated with respect to ground truth data and found to have similar performance, substantially better than either stereo or color/contrast alone. However, their characteristics with respect to computational efficiency are rather different. The algorithms are demonstrated in the application of background substitution and shown to give good quality composite video output. 相似文献
80.
Quite often in database search, we only need to extract portion of the information about the satisfying item. We consider
this problem in the following form: the database of N items is separated into K blocks of size b = N / K elements each and
an algorithm has just to find the block containing the item of interest. The queries are exactly the same as in the standard
database search problem. We present a quantum algorithm for this problem of partial search that takes about 0.34 fewer iterations than the quantum search algorithm. 相似文献