全文获取类型
收费全文 | 3239篇 |
免费 | 189篇 |
国内免费 | 15篇 |
专业分类
电工技术 | 32篇 |
综合类 | 10篇 |
化学工业 | 1087篇 |
金属工艺 | 56篇 |
机械仪表 | 60篇 |
建筑科学 | 57篇 |
矿业工程 | 14篇 |
能源动力 | 146篇 |
轻工业 | 163篇 |
水利工程 | 16篇 |
石油天然气 | 14篇 |
武器工业 | 1篇 |
无线电 | 306篇 |
一般工业技术 | 816篇 |
冶金工业 | 137篇 |
原子能技术 | 51篇 |
自动化技术 | 477篇 |
出版年
2023年 | 51篇 |
2022年 | 172篇 |
2021年 | 173篇 |
2020年 | 67篇 |
2019年 | 82篇 |
2018年 | 100篇 |
2017年 | 105篇 |
2016年 | 123篇 |
2015年 | 98篇 |
2014年 | 169篇 |
2013年 | 253篇 |
2012年 | 192篇 |
2011年 | 235篇 |
2010年 | 169篇 |
2009年 | 164篇 |
2008年 | 177篇 |
2007年 | 137篇 |
2006年 | 103篇 |
2005年 | 100篇 |
2004年 | 87篇 |
2003年 | 89篇 |
2002年 | 97篇 |
2001年 | 63篇 |
2000年 | 49篇 |
1999年 | 44篇 |
1998年 | 26篇 |
1997年 | 33篇 |
1996年 | 32篇 |
1995年 | 24篇 |
1994年 | 27篇 |
1993年 | 18篇 |
1992年 | 22篇 |
1991年 | 9篇 |
1990年 | 21篇 |
1989年 | 11篇 |
1988年 | 5篇 |
1987年 | 9篇 |
1986年 | 5篇 |
1985年 | 7篇 |
1984年 | 14篇 |
1983年 | 8篇 |
1982年 | 7篇 |
1981年 | 7篇 |
1978年 | 4篇 |
1976年 | 5篇 |
1975年 | 4篇 |
1973年 | 4篇 |
1972年 | 4篇 |
1971年 | 4篇 |
1969年 | 4篇 |
排序方式: 共有3443条查询结果,搜索用时 8 毫秒
31.
Consider an m-machine production line for processing identical parts served by a mobile robot. The problem is to find the minimum cycle
time for 2-cyclic schedules, that is, schedules in which exactly two parts enter and two parts leave the production line during
each cycle. This work treats a special case of the 2-cyclic robot scheduling problem when the robot route is given and operation
durations are chosen from prescribed intervals. A strongly polynomial algorithm of time complexity O(m
8log m) is proposed. 相似文献
32.
We address the sequence classification problem using a probabilistic model based on hidden Markov models (HMMs). In contrast
to commonly-used likelihood-based learning methods such as the joint/conditional maximum likelihood estimator, we introduce
a discriminative learning algorithm that focuses on class margin maximization. Our approach has two main advantages: (i) As
an extension of support vector machines (SVMs) to sequential, non-Euclidean data, the approach inherits benefits of margin-based
classifiers, such as the provable generalization error bounds. (ii) Unlike many algorithms based on non-parametric estimation
of similarity measures that enforce weak constraints on the data domain, our approach utilizes the HMM’s latent Markov structure
to regularize the model in the high-dimensional sequence space. We demonstrate significant improvements in classification
performance of the proposed method in an extensive set of evaluations on time-series sequence data that frequently appear
in data mining and computer vision domains. 相似文献
33.
It has been recently shown that calibration with an error less than Δ>0 is almost surely guaranteed with a randomized forecasting algorithm, where forecasts are obtained by random rounding the deterministic forecasts up to Δ. We show that this error cannot be improved for a vast majority of sequences: we prove that, using a probabilistic algorithm, we can effectively generate with probability close to one a sequence “resistant” to any randomized rounding forecasting with an error much smaller than Δ. We also reformulate this result by means of a probabilistic game. 相似文献
34.
Jay Smith Vladimir Shestak Howard Jay Siegel Suzy Price Larry Teklits Prasanna Sugavanam 《Parallel Computing》2009,35(7):389-400
Recently there has been an increased demand for imaging systems in support of high-speed digital printing. The required increase in performance in support of such systems can be accomplished through an effective parallel execution of image processing applications in a distributed cluster computing environment. The output of the system must be presented to a raster based display at regular intervals, effectively establishing a hard deadline for the production of each image. Failure to complete a rasterization task before its deadline will result in an interruption of service that is unacceptable. The goal of this research was to derive a metric for measuring robustness in this environment and to design a resource allocation heuristic capable of completing each rasterization task before its assigned deadline, thus, preventing any service interruptions. We present a mathematical model of such a cluster based raster imaging system, derive a robustness metric for evaluating heuristics in this environment, and demonstrate using the metric to make resource allocation decisions. The heuristics are evaluated within a simulation of the studied raster imaging system. We clearly demonstrate the effectiveness of the heuristics by comparing their results with the results of a resource allocation heuristic commonly used in this type of system. 相似文献
35.
Assessment of software COTS components is an essential part of component-based software development. Poorly chosen components may lead to solutions of low quality and that are difficult to maintain. The assessment may be based on incomplete knowledge about the COTS component itself and other aspects (e.g. vendor’s credentials, etc.), which may affect the decision of selecting COTS component(s). We argue in favor of assessment methods in which uncertainty is explicitly represented (‘uncertainty explicit’ methods) using probability distributions. We provide details of a Bayesian model, which can be used to capture the uncertainties in the simultaneous assessment of two attributes, thus, also capturing the dependencies that might exist between them. We also provide empirical data from the use of this method for the assessment of off-the-shelf database servers which illustrate the advantages of ‘uncertainty explicit’ methods over conventional methods of COTS component assessment which assume that at the end of the assessment the values of the attributes become known with certainty. 相似文献
36.
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. 相似文献
37.
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. 相似文献
38.
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. 相似文献
39.
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. 相似文献
40.
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 相似文献