全文获取类型
收费全文 | 11057篇 |
免费 | 540篇 |
国内免费 | 17篇 |
专业分类
电工技术 | 136篇 |
综合类 | 49篇 |
化学工业 | 2792篇 |
金属工艺 | 287篇 |
机械仪表 | 250篇 |
建筑科学 | 738篇 |
矿业工程 | 44篇 |
能源动力 | 348篇 |
轻工业 | 970篇 |
水利工程 | 99篇 |
石油天然气 | 43篇 |
武器工业 | 1篇 |
无线电 | 829篇 |
一般工业技术 | 1902篇 |
冶金工业 | 699篇 |
原子能技术 | 79篇 |
自动化技术 | 2348篇 |
出版年
2023年 | 115篇 |
2022年 | 243篇 |
2021年 | 399篇 |
2020年 | 243篇 |
2019年 | 250篇 |
2018年 | 337篇 |
2017年 | 286篇 |
2016年 | 391篇 |
2015年 | 311篇 |
2014年 | 420篇 |
2013年 | 817篇 |
2012年 | 634篇 |
2011年 | 787篇 |
2010年 | 571篇 |
2009年 | 636篇 |
2008年 | 599篇 |
2007年 | 539篇 |
2006年 | 453篇 |
2005年 | 375篇 |
2004年 | 329篇 |
2003年 | 324篇 |
2002年 | 237篇 |
2001年 | 169篇 |
2000年 | 162篇 |
1999年 | 149篇 |
1998年 | 161篇 |
1997年 | 152篇 |
1996年 | 120篇 |
1995年 | 96篇 |
1994年 | 98篇 |
1993年 | 101篇 |
1992年 | 76篇 |
1991年 | 70篇 |
1990年 | 71篇 |
1989年 | 78篇 |
1988年 | 56篇 |
1987年 | 54篇 |
1986年 | 53篇 |
1985年 | 56篇 |
1984年 | 72篇 |
1983年 | 52篇 |
1982年 | 40篇 |
1981年 | 42篇 |
1980年 | 42篇 |
1979年 | 34篇 |
1978年 | 35篇 |
1977年 | 35篇 |
1976年 | 40篇 |
1975年 | 40篇 |
1973年 | 38篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
71.
Fides Aarts Harco Kuppens Jan Tretmans Frits Vaandrager Sicco Verwer 《Machine Learning》2014,96(1-2):189-224
Using a well-known industrial case study from the verification literature, the bounded retransmission protocol, we show how active learning can be used to establish the correctness of protocol implementation I relative to a given reference implementation R. Using active learning, we learn a model M R of reference implementation R, which serves as input for a model-based testing tool that checks conformance of implementation I to M R . In addition, we also explore an alternative approach in which we learn a model M I of implementation I, which is compared to model M R using an equivalence checker. Our work uses a unique combination of software tools for model construction (Uppaal), active learning (LearnLib, Tomte), model-based testing (JTorX, TorXakis) and verification (CADP, MRMC). We show how these tools can be used for learning models of and revealing errors in implementations, present the new notion of a conformance oracle, and demonstrate how conformance oracles can be used to speed up conformance checking. 相似文献
72.
Pavel Krömer Jan Platoš Václav Snášel 《International journal of parallel programming》2014,42(5):681-709
Graphic processing units (GPUs) emerged recently as an exciting new hardware environment for a truly parallel implementation and execution of Nature and Bio-inspired Algorithms with excellent price-to-power ratio. In contrast to common multicore CPUs that contain up to tens of independent cores, the GPUs represent a massively parallel single-instruction multiple-data devices that can nowadays reach peak performance of hundreds and thousands of giga floating-point operations per second. Nature and Bio-inspired Algorithms implement parallel optimization strategies in which a single candidate solution, a group of candidate solutions (population), or multiple populations seek for optimal solution or set of solutions of given problem. Genetic algorithms (GA) constitute a family of traditional and very well-known nature-inspired populational meta-heuristic algorithms that have proved its usefulness on a plethora of tasks through the years. Differential evolution (DE) is another efficient populational meta-heuristic algorithm for real-parameter optimization. Particle swarm optimization (PSO) can be seen as nature-inspired multiagent method in which the interaction of simple independent agents yields intelligent collective behavior. Simulated annealing (SA) is global optimization algorithm which combines statistical mechanics and combinatorial optimization with inspiration in metallurgy. This survey provides a brief overview of the latest state-of-the-art research on the design, implementation, and applications of parallel GA, DE, PSO, and SA-based methods on the GPUs. 相似文献
73.
Aqueous photoresists that are capable of higher resolutions than are currently employed by the cathode ray tube (CRT) industry were developed by combining photoactivators, which activate at shorter UV wavelengths with polyvinylpyrrolidone (PVP). Two photoactivators were synthesized: 4,4′‐diazido‐2,2′‐biphenyl disodium disulfonate (DABP), which has a maximum absorbance at 264 nm, and 4,4′‐diazido‐2,2′‐biphenylethane disodium disulfonate (DABPE), which has a maximum absorbance at 258 nm. The PVP/DABP and PVP/DABPE photoresists successfully imaged a pattern with resolution as small as 4.4 μm with photoactivator concentrations greater than 20% of the PVP concentration. Addition of silane and emulgen greatly improved the performance of the photoresists with more uniform coatings of thicknesses of up to 1.4 μm. © 2006 Wiley Periodicals, Inc. J Appl Polym Sci 102: 1637–1644, 2006 相似文献
74.
Jan Kolaík 《应用聚合物科学杂志》1979,24(6):1565-1570
A freely oscillating torsional pendulum was used in the investigation of the influence of trichloroethyl, tetrachloroethyl, trichloromethoxyethyl, and trichloroethoxyethyl side groups on the molecular mobility in the glassy state and on the glass transition temperature of poly(meth)acrylates. All the polymers under study, which may be used as fire retardants, exhibit a simple relaxation behavior. While the parameters of the low-temperature and secondary relaxation process in the glassy state are not noticeably affected by the substituents used, the glass transition temperature Tg, increases with rising polarity and volume of side chains. The increase is larger in the series of polyacrylates, so that differences in the softening temperatures of polymethacrylates and polyacrylates having the same side chains decrease considerably with growing substitution. 相似文献
75.
Data are presented on the suspension of single spheres by air, in inclined tubes ranging in diameter from 0·97 to 5·13 cm. The angle of inclination of the tubes to the horizontal axis varied from 0 to 90°. The data, which relate the pressure drop and suspending velocity to the geometric and physical parameters of the system, are compared with data generated previously using water as the suspending fluid. Dimensionless expressions are presented which correlate both sets of data for pressure drop and suspending velocity in terms of sphere/tube diameter ratio, tube diameter, density of solid and fluid and angle of inclination of the tube. 相似文献
76.
Jan van Leeuwen 《Minds and Machines》2014,24(1):5-17
Abstraction is arguably one of the most important methods in modern science in analysing and understanding complex phenomena. In his book The Philosophy of Information, Floridi (The philosophy of information. Oxford University Press, Oxford, 2011) presents the method of levels of abstraction as the main method of the Philosophy of Information. His discussion of abstraction as a method seems inspired by the formal methods and frameworks of computer science, in which abstraction is operationalised extensively in programming languages and design methodologies. Is it really clear what we should understand by levels of abstraction? How should they be specified? We will argue that levels of abstraction should be augmented with annotations, in order to express semantic information for them and reconcile the method of level of abstraction (LoA’s) with other approaches. We discuss the extended method when applied e.g. to the analysis of abstract machines. This will lead to an example in which the number of LoA’s is unbounded. 相似文献
77.
Dr. Christoph Goebel Prof.?Dr. Hans-Arno Jacobsen Victor del Razo Mag.? Christoph Doblander Dipl.-Ing. Jose Rivera Dipl-Inform.?Wirt Jens Ilg Dr. Christoph Flath Prof.?Dr. Hartmut Schmeck Prof.?Dr. Christof Weinhardt Dipl-Inform. Daniel Pathmaperuma Prof.?Dr. Dr.?h.?c. Hans-Jürgen Appelrath Prof.?Dr. Michael Sonnenschein Prof.?Dr. Sebastian Lehnhoff Prof.?Dr. Oliver Kramer Prof.?Dr. Thorsten Staake Prof.?Dr. Elgar Fleisch Prof.?Dr. Dirk Neumann Prof.?Dr. Jens Strüker Dr. Koray Erek Prof.?Dr. Rüdiger Zarnekow Dr. Holger Ziekow Prof.?Dr. J?rg L?ssig 《WIRTSCHAFTSINFORMATIK》2014,56(1):31-39
Due to the increasing importance of producing and consuming energy more sustainably, Energy Informatics (EI) has evolved into a thriving research area within the CS/IS community. The article attempts to characterize this young and highly dynamic field of research by describing current EI research topics and methods and provides an outlook of how the field might evolve in the future. It is shown that two general research questions have received the most attention so far and are likely to dominate the EI research agenda in the coming years: How to leverage information and communication technology (ICT) to (1) improve energy efficiency, and (2) to integrate decentralized renewable energy sources into the power grid. Selected EI streams are reviewed, highlighting how the respective research questions are broken down into specific research projects and how EI researchers have made contributions based on their individual academic background. 相似文献
78.
Geschäftsmodelle 总被引:1,自引:1,他引:0
Prof. Dr. Daniel Veit Prof. Eric Clemons Prof. Dr. Alexander Benlian Prof. Dr. Peter Buxmann Prof. Dr. Thomas Hess Prof. Dr. Dennis Kundisch Prof. Dr. Jan Marco Leimeister Prof. Dr. Peter Loos Prof. Dr. Martin Spann 《WIRTSCHAFTSINFORMATIK》2014,56(1):55-64
The business model concept, although a relatively new topic for research, has garnered growing attention over the past decade. Whilst it has been robustly defined, the concept has so far attracted very little substantive research. In the context of the wide-spread digitization of businesses and society at large, the logic inherent in a business model has become critical for business success and, hence, a focus for academic inquiry. The business model concept is identified as the missing link between business strategy, processes, and Information Technology (IT). The authors argue that the BISE community offers distinct and unique competencies (e.g., translating business strategies into IT systems, managing business and IT processes, etc.) that can be harnessed for significant research contributions to this field. Within this research gap three distinct streams are delineated, namely, business models in IT industries, IT enabled or digital business models, and IT support for developing and managing business models. For these streams, the current state of the art, suggest critical research questions, and suitable research methodologies are outlined. 相似文献
79.
Hans E. Hoydonckx Dirk E. De Vos Suhas A. Chavan Pierre A. Jacobs 《Topics in Catalysis》2004,27(1-4):83-96
An overview is given of newly developed Lewis or Brønsted acid and base catalysts for esterification, transesterification and ester interchange reactions. The most relevant applications of these catalysts and reactions in the domain of renewable resources, in particular, oils and fats, are discussed. 相似文献
80.
Jan Pospíil 《大分子材料与工程》1988,158(1):221-231
Inherent chemical activity, physical persistence and good compatibility are factors determining the efficiency of a stabilizer observed during the degradation of amorphous and crystalline synthetic polymers. Synthesis of macromolecular stabilizers is one of the ways used to solve the problem of physical persistency of stabilizers under severe aggressive environmental attacks on polymers. General types of macromolecular stabilizers, routes to their synthesis and characteristic examples of macromolecular antioxidants, UV absorbers, hindered amine light stabilizers, flame retarders and biostabilizers, as well as of polyfunctional systems are given. Problems connected with the use of macromolecular stabilizers are mentioned. 相似文献