全文获取类型
收费全文 | 2001篇 |
免费 | 81篇 |
国内免费 | 6篇 |
专业分类
电工技术 | 23篇 |
综合类 | 5篇 |
化学工业 | 512篇 |
金属工艺 | 29篇 |
机械仪表 | 39篇 |
建筑科学 | 120篇 |
矿业工程 | 32篇 |
能源动力 | 37篇 |
轻工业 | 154篇 |
水利工程 | 29篇 |
石油天然气 | 4篇 |
无线电 | 135篇 |
一般工业技术 | 310篇 |
冶金工业 | 148篇 |
原子能技术 | 6篇 |
自动化技术 | 505篇 |
出版年
2023年 | 23篇 |
2022年 | 43篇 |
2021年 | 60篇 |
2020年 | 28篇 |
2019年 | 26篇 |
2018年 | 59篇 |
2017年 | 51篇 |
2016年 | 79篇 |
2015年 | 69篇 |
2014年 | 80篇 |
2013年 | 94篇 |
2012年 | 110篇 |
2011年 | 134篇 |
2010年 | 78篇 |
2009年 | 116篇 |
2008年 | 103篇 |
2007年 | 89篇 |
2006年 | 99篇 |
2005年 | 69篇 |
2004年 | 63篇 |
2003年 | 46篇 |
2002年 | 53篇 |
2001年 | 31篇 |
2000年 | 28篇 |
1999年 | 35篇 |
1998年 | 32篇 |
1997年 | 36篇 |
1996年 | 37篇 |
1995年 | 38篇 |
1994年 | 30篇 |
1993年 | 20篇 |
1992年 | 15篇 |
1991年 | 17篇 |
1990年 | 14篇 |
1989年 | 6篇 |
1988年 | 8篇 |
1987年 | 14篇 |
1985年 | 13篇 |
1984年 | 12篇 |
1983年 | 12篇 |
1982年 | 5篇 |
1981年 | 9篇 |
1980年 | 9篇 |
1979年 | 7篇 |
1978年 | 11篇 |
1977年 | 6篇 |
1976年 | 15篇 |
1975年 | 9篇 |
1973年 | 4篇 |
1971年 | 6篇 |
排序方式: 共有2088条查询结果,搜索用时 15 毫秒
1.
Bernhard Steffen
Jens Knoop
《Theoretical computer science》1991,80(2):303-318Constant propagation, the replacement of program terms which represent a unique value at run time by their values, is a classical program optimization method. In spite of being treated for years, constant propagation still has been in the unsatisfactory phase of heuristics. We enhance the known constant propagation techniques to obtain an algorithm which is optimal for programs without loops. Fundamental is the introduction of a new decidable set of constants, the finite constants. This set has two different characterizations: a denotational one, which directly specifies our iterative algorithm and an operational one, which delivers the completeness or optimality of this algorithm for programs without loops. The algorithm is implemented in a commercial compiler project. 相似文献
2.
Zusammenfassung Komplexit?t, Anforderungsmanagement und Variantenvielfalt sind zentrale Herausforderungen bei der Entwicklung und Evolution
heutiger softwaregesteuerter Systeme. Diesen wird zunehmend durch den Einsatz modellbasierter Entwicklungsmethoden begegnet.
Dadurch wird das Modell zum zentralen Artefakt und die Erstellung und Nutzung von Modellen zu einer zentralen T?tigkeit in
der Softwareentwicklung. Mit der Bedeutung der Modelle steigen auch die Ansprüche an ihre Qualit?t. Dieser Beitrag untersucht
die Implikationen, die daraus entstehen, insbesondere werden sinnvolle Qualit?tsmerkmale für softwarebeschreibende Modelle
identifiziert und diskutiert. 相似文献
3.
This study examined how 1 symbol is selected to control the allocation of attention when several symbols appear in the visual field. In Experiments 1-3, the critical target feature was color, and it was found that uninformative central arrows that matched the color of the target were selected and produced unintentional shifts of attention (i.e., involuntary, initiated slowly, producing long-lasting facilitatory effects). Experiment 4 tested whether such selection is the result of an attentional filter or of a competition bias due to a match of incoming information against integrated object representations stored in working memory. Here, the critical feature was shape and color was irrelevant, but matching color arrows were still selected. Thus, features of objects in working memory will bias the selection of symbols in the visual field, and such selected symbols are capable of producing unintentional shifts of attention. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
4.
Zhigao Xia Ullrich Klckner Bernhard Fell 《European Journal of Lipid Science and Technology》1996,98(9):313-321
Hydroformylation of mono and multiple unsaturated fatty substances with heterogenized cobaltcarbonyl and rhodiumcarbonyl catalysts. Heterogenized cobalt and rhodiumcarbonyl catalyst systems can be used for the hydroformylation of mono and polyunsatured fatty substances in a technically simple and satisfying manner to useful chemical intermediates. The used solid tert. phosphane complex ligands have a silicate matrix and therefore they are also suitable for the cobalt catalyzed hydroformylation which is best performed at temperatures of 160–180oC. The cobalt catalyzed reaction gives with polyunsaturated fatty substances almost only products with monofunctionalized fatty acid chains. Whereas, the rhodium catalyzed reaction gives with linolic acid compounds inhomogeneous mixtures of mono- and diformyl derivatives of these fatty substances. The heterogenized rhodium carbonyl catalyst systems therefore seem to be more suitable for the hydroformylation of monounsaturated compounds. This is also true for rhodiumcarbonylsupported aqueous phase-catalysts which give likewise mixtures of mono and diformyl derivatives in the hydroformylation of polyunsaturated fatty substances. In batch process after the complete conversion of the olefin and reduction of the CO/H2-pressure the loss of catalyst metal from the support is negligible and in most cases below the detection limit (<1 ppm). 相似文献
5.
Forest and bioenergy strategies offer the prospect of reduced CO2 emissions to the atmosphere. Such strategies can affect the net flux of carbon to the atmosphere through 4 mechanisms: storage of C in the biosphere; storage of C in forest products; use of biofuels to displace fossil-fuel use; use of wood products which often displaces other products that require more fossil fuel for their production. We use the mathematical model GORCAM (Graz/Oak Ridge Carbon Accounting Model) to examine these mechanisms for 16 land-use scenarios. Over long time intervals the amount of C stored in the biosphere and in forest products reaches a steady state and continuing mitigation of C emissions depends on the extent to which fossil fuel use is displaced by the use of bioenergy and wood products. The relative effectiveness of alternative forest and bioenergy strategies and their impact on net C emissions strongly depend, for example, on the productivity of the site, its current usage, and the efficiency with which the harvest is used. When growth rates are high and harvest is used efficiently, the dominant opportunity for net reduction in C emissions is seen to be fossil-fuel displacement. At the growth rates and efficiencies of harvest utilization adopted in many of our base scenarios, the net C balance at the end of 100 years is very similar whether trees are harvested and used for energy and traditional forest products, or reforestation and forest protection strategies are implemented. The C balance on a plantation system that provides a constant output of biomass products can look different than the balance of a single parcel of land. 相似文献
6.
Hui Ma Klaus-Dieter Schewe Bernhard Thalheim Qing Wang 《Service Oriented Computing and Applications》2012,6(3):189-205
Large-scale service-oriented computing is based on the idea that services from various servers are combined into one distributed application. Referring to a collection of services on one server as a ??service cloud??, the problem investigated in this paper is to define formal high-level specifications of such distributed applications and to enable the location of suitable services for them. Based on the language-independent model of Abstract State Services (AS2s), which serves as a universal integrated model for data and software as services, we extend AS2s by high-level action schemes called ??plots?? as a means to specify permitted sequences of service operations. On these grounds, we develop a model for service mediators, that is, specifications of composed services in which service slots have to be filled by actual services, and investigate matching conditions for slots of mediators and services. For a services to match a slot in a mediator, a (generalised) projection of the mediator must comply with the plot of the service. Furthermore, the service must be semantically adequate, which requires the use of a service ontology. 相似文献
7.
8.
Bernhard Beckermann Jorge Bustamante Reinaldo Martínez-Cruz José M. Quesada 《Calcolo》2014,51(2):319-328
For a given $\theta \in (a,b)$ , we investigate the question whether there exists a positive quadrature formula with maximal degree of precision which has the prescribed abscissa $\theta $ plus possibly $a$ and/or $b$ , the endpoints of the interval of integration. This study relies on recent results on the location of roots of quasi-orthogonal polynomials. The above positive quadrature formulae are useful in studying problems in one-sided polynomial $L_1$ approximation. 相似文献
9.
Peter Meszmer Karla Hiller Steffen Hartmann Alexey Shaporin Daniel May Raul David Rodriguez Jörg Arnold Gianina Schondelmaier Jan Mehner Dietrich R. T. Zahn Bernhard Wunderle 《Microsystem Technologies》2014,20(6):1041-1050
In this paper, a novel concept of a thermo-mechanical MEMS actuator using aluminum thin-film heaters on a thermal oxide for electrical insulation is presented. The actuator is part of an universal tensile testing platform for thermo-mechanical material characterization of one dimensional materials on a micro- and nano-scopic scale under different environmental conditions, as varying temperatures, pressure, moisture or even vacuum and is realised in BDRIE technology. It is shown, that the actuator concept fulfills the requirements for the use in a tensile loading stage along with heterogeneously integrated nanofunctional elements, following a specimen centered approach in line with bottom-up self-assembly processes. Simulation and experiment agree very well in the thermal and mechanical domain and allow subsequent optimisation of the actuator performance. 相似文献
10.