全文获取类型
收费全文 | 5821篇 |
免费 | 321篇 |
国内免费 | 5篇 |
专业分类
电工技术 | 76篇 |
综合类 | 13篇 |
化学工业 | 1494篇 |
金属工艺 | 138篇 |
机械仪表 | 115篇 |
建筑科学 | 402篇 |
矿业工程 | 29篇 |
能源动力 | 146篇 |
轻工业 | 451篇 |
水利工程 | 50篇 |
石油天然气 | 8篇 |
无线电 | 450篇 |
一般工业技术 | 1231篇 |
冶金工业 | 249篇 |
原子能技术 | 37篇 |
自动化技术 | 1258篇 |
出版年
2024年 | 11篇 |
2023年 | 102篇 |
2022年 | 140篇 |
2021年 | 229篇 |
2020年 | 150篇 |
2019年 | 128篇 |
2018年 | 190篇 |
2017年 | 165篇 |
2016年 | 248篇 |
2015年 | 242篇 |
2014年 | 301篇 |
2013年 | 400篇 |
2012年 | 379篇 |
2011年 | 462篇 |
2010年 | 356篇 |
2009年 | 340篇 |
2008年 | 341篇 |
2007年 | 317篇 |
2006年 | 240篇 |
2005年 | 211篇 |
2004年 | 159篇 |
2003年 | 149篇 |
2002年 | 126篇 |
2001年 | 81篇 |
2000年 | 78篇 |
1999年 | 66篇 |
1998年 | 76篇 |
1997年 | 46篇 |
1996年 | 49篇 |
1995年 | 57篇 |
1994年 | 34篇 |
1993年 | 33篇 |
1992年 | 29篇 |
1991年 | 20篇 |
1990年 | 18篇 |
1989年 | 18篇 |
1988年 | 15篇 |
1987年 | 13篇 |
1986年 | 8篇 |
1985年 | 5篇 |
1984年 | 23篇 |
1983年 | 9篇 |
1982年 | 9篇 |
1981年 | 7篇 |
1980年 | 7篇 |
1979年 | 5篇 |
1978年 | 6篇 |
1976年 | 9篇 |
1975年 | 6篇 |
1974年 | 5篇 |
排序方式: 共有6147条查询结果,搜索用时 15 毫秒
61.
On the purpose of Event-B proof obligations 总被引:2,自引:2,他引:0
Stefan Hallerstede 《Formal Aspects of Computing》2011,23(1):133-150
Event-B is a formal modelling method which is claimed to be suitable for diverse modelling domains, such as reactive systems
and sequential program development. This claim hinges on the fact that any particular model has an appropriate semantics.
In Event-B, this semantics is provided implicitly by proof obligations associated with a model. There is no fixed semantics
though. In this article we argue that this approach is beneficial to modelling because we can use similar proof obligations
across a variety of modelling domains. By way of two examples we show how similar proof obligations are linked to different
semantics. A small set of proof obligations is thus suitable for a whole range of modelling problems in diverse modelling
domains. 相似文献
62.
Markus Haas Stefan Mittnik Marc S. Paolella 《Computational statistics & data analysis》2009,53(6):2129-2154
An asymmetric multivariate generalization of the recently proposed class of normal mixture GARCH models is developed. Issues of parametrization and estimation are discussed. Conditions for covariance stationarity and the existence of the fourth moment are derived, and expressions for the dynamic correlation structure of the process are provided. In an application to stock market returns, it is shown that the disaggregation of the conditional (co)variance process generated by the model provides substantial intuition. Moreover, the model exhibits a strong performance in calculating out-of-sample Value-at-Risk measures. 相似文献
63.
Sven Groppe Jinghua Groppe Stefan Böttcher Thomas Wycisk Le Gruenwald 《Knowledge and Information Systems》2009,18(3):331-391
We have to deal with different data formats whenever data formats evolve or data must be integrated from heterogeneous systems.
These data when implemented in XML for data exchange cannot be shared freely among applications without data transformation.
A common approach to solve this problem is to convert the entire XML data from their source format to the applications’ target
formats using the transformations rules specified in XSLT stylesheets. However, in many cases, not all XML data are required
to be transformed except for a smaller part described by a user’s query (application). In this paper, we present an approach
that optimizes the execution time of an XSLT stylesheet for answering a given XPath query by modifying the XSLT stylesheet
in such a way that it would (a) capture only the parts in the XML data that are relevant to the query and (b) process only
those XSLT instructions that are relevant to the query. We prove the correctness of our optimization approach, analyze its
complexity and present experimental results. The experimental results show that our approach performs the best in terms of
execution time, especially when many cost-intensive XSLT instructions can be excluded in the XSLT stylesheet. 相似文献
64.
65.
Florian Sahling Lisbeth Buschkühl Horst Tempelmeier Stefan Helber 《Computers & Operations Research》2009
This paper presents a new algorithm for the dynamic multi-level capacitated lot sizing problem with setup carry-overs (MLCLSP-L). The MLCLSP-L is a big-bucket model that allows the production of any number of products within a period, but it incorporates partial sequencing of the production orders in the sense that the first and the last products produced in a period are determined by the model. We solve a model which is applicable to general bill-of-material structures and which includes minimum lead times of one period and multi-period setup carry-overs. Our algorithm solves a series of mixed-integer linear programs in an iterative so-called fix-and-optimize approach. In each instance of these mixed-integer linear programs a large number of binary setup variables is fixed whereas only a small subset of these variables is optimized, together with the complete set of the inventory and lot size variables. A numerical study shows that the algorithm provides high-quality results and that the computational effort is moderate. 相似文献
66.
Impact of orthorectification and spatial sampling on maximum NDVI composite data in mountain regions 总被引:1,自引:0,他引:1
Fabio M.A. Fontana Alexander P. Trishchenko Yi Luo Stefan Wunderle 《Remote sensing of environment》2009,113(12):2701-2712
Topography and accuracy of image geometric registration significantly affect the quality of satellite data, since pixels are displaced depending on surface elevation and viewing geometry. This effect should be corrected for through the process of accurate image navigation and orthorectification in order to meet the geolocation accuracy for systematic observations specified by the Global Climate Observing System (GCOS) requirements for satellite climate data records. We investigated the impact of orthorectification on the accuracy of maximum Normalized Difference Vegetation Index (NDVI) composite data for a mountain region in north-western Canada at various spatial resolutions (1 km, 4 km, 5 km, and 8 km). Data from AVHRR on board NOAA-11 (1989 and 1990) and NOAA-16 (2001, 2002, and 2003) processed using a system called CAPS (Canadian AVHRR Processing System) for the month of August were considered. Results demonstrate the significant impact of orthorectification on the quality of composite NDVI data in mountainous terrain. Differences between orthorectified and non-orthorectified NDVI composites (ΔNDVI) adopted both large positive and negative values, with the 1% and 99% percentiles of ΔNDVI at 1 km resolution spanning values between − 0.16 < ΔNDVI < 0.09. Differences were generally reduced to smaller numbers for coarser resolution data, but systematic positive biases for non-orthorectified composites were obtained at all spatial resolutions, ranging from 0.02 (1 km) to 0.004 (8 km). Analyzing the power spectra of maximum NDVI composites at 1 km resolution, large differences between orthorectified and non-orthorectified AVHRR data were identified at spatial scales between 4 km and 10 km. Validation of NOAA-16 AVHRR NDVI with MODIS NDVI composites revealed higher correlation coefficients (by up to 0.1) for orthorectified composites relative to the non-orthorectified case. Uncertainties due to the AVHRR Global Area Coverage (GAC) sampling scheme introduce an average positive bias of 0.02 ± 0.03 at maximum NDVI composite level that translates into an average relative bias of 10.6% ± 19.1 for sparsely vegetated mountain regions. This can at least partially explain the systematic average positive biases we observed relative to our results in AVHRR GAC-based composites from the Global Inventory Modeling and Mapping Studies (GIMMS) and Polar Pathfinder (PPF) datasets (0.19 and 0.05, respectively). With regard to the generation of AVHRR long-term climate data records, results suggest that orthorectification should be an integral part of AVHRR pre-processing, since neglecting the terrain displacement effect may lead to important biases and additional noise in time series at various spatial scales. 相似文献
67.
Stefan Staicu 《Robotics and Autonomous Systems》2009,57(5):556-563
Recursive modelling for the kinematics and dynamics of the known 3-PRR planar parallel robot is established in this paper. Three identical planar legs connecting to the moving platform are located in a vertical plane. Knowing the motion of the platform, we develop first the inverse kinematics and determine the positions, velocities and accelerations of the robot. Further, the principle of virtual work is used in the inverse dynamics problem. Several matrix equations offer iterative expressions and graphs for the power requirement comparison of each of three actuators in two different actuation schemes: prismatic actuators and revolute actuators. For the same evolution of the moving platform in the vertical plane, the power distribution upon the three actuators depends on the actuating configuration, but the total power absorbed by the set of three actuators is the same, at any instant, for both driving systems. The study of the dynamics of the parallel mechanisms is done mainly to solve successfully the control of the motion of such robotic systems. 相似文献
68.
Dipl.-Wirt.-Inf. Nils Urbach Prof. Dr. Stefan Smolnik Prof. Dr. Gerold Riempp 《WIRTSCHAFTSINFORMATIK》2009,51(4):363-375
Measuring information systems (IS) success is of great interest to both researchers and practitioners. This article examines multidimensional approaches to measuring IS success and explores the current state of IS success research through a literature review and by classifying articles published between 2003 and 2007. Based on a total of 41 academic journal and conference publications, the relevant research carried out is identified, while the research results are categorized, consolidated, and discussed. The results show that the dominant empirical research analyzes the individual impact of a certain type of information system by ascertaining users’ evaluation of it by means of surveys and then applying structural equation modeling. The DeLone and McLean Information Systems Success Model is the main theoretical basis of the reviewed empirical studies. This article provides researchers with a comprehensive review and structuring of IS success research. Furthermore, opportunities for additional development are identified and future research directions suggested. 相似文献
69.
Zusammenfassung Der Beitrag basiert auf der Annahme, dass das IT-Controlling in zweifacher Hinsicht unter einem Integrationsdefizit leidet.
Dies gilt zum einen für die unbefriedigende Synchronisation der Forschung mit Entwicklungen in der Praxis, zum anderen für
die unzureichende Verzahnung mit den Methoden der Wirtschaftsinformatik. Ausgehend von dieser Annahme untersucht der Beitrag
die historische Entwicklung des IT-Controllings, um daraus Thesen zum Integrationsstand abzuleiten. Die Untersuchung kommt
zu dem Ergebnis, dass Hinweise auf – nach wie vor – ungenutzte Integrationspotenziale vorliegen und identifiziert Potenziale
einer weiter gehenden Integration. Aus der Analyse identifizierter Integrationspotenziale werden Anforderungen an eine methodenbezogene
Integration abgeleitet und die Realisierung von Integrationspotenzialen an zwei Beispielen illustriert.
This article is also available in English via and : Strecker S, Kargl H (2009) Integration Deficits of IT Controlling – Historical Background, Analysis of Integration Potentials
and Method Integration. Bus Inf Syst Eng. doi: 10.1007/s12599-009-0053-4. 相似文献
70.
Stefan Mairhofer James Johnson Craig J. Sturrock Malcolm J. Bennett Sacha J. Mooney Tony P. Pridmore 《Machine Vision and Applications》2016,27(5):721-734
We propose a visual object tracking framework for the extraction of multiple interacting plant root systems from three-dimensional X-ray micro computed tomography images of plants grown in soil. Our method is based on a level set framework guided by a greyscale intensity distribution model to identify object boundaries in image cross-sections. Root objects are followed through the data volume, while updating the tracker’s appearance models to adapt to changing intensity values. In the presence of multiple root systems, multiple trackers can be used, but need to distinguish target objects from one another in order to correctly associate roots with their originating plants. Since root objects are expected to exhibit similar greyscale intensity distributions, shape information is used to constrain the evolving level set interfaces in order to lock trackers to their correct targets. The proposed method is tested on root systems of wheat plants grown in soil. 相似文献