全文获取类型
收费全文 | 1998篇 |
免费 | 81篇 |
国内免费 | 6篇 |
专业分类
电工技术 | 23篇 |
综合类 | 5篇 |
化学工业 | 512篇 |
金属工艺 | 29篇 |
机械仪表 | 39篇 |
建筑科学 | 120篇 |
矿业工程 | 32篇 |
能源动力 | 37篇 |
轻工业 | 154篇 |
水利工程 | 29篇 |
石油天然气 | 4篇 |
无线电 | 135篇 |
一般工业技术 | 310篇 |
冶金工业 | 146篇 |
原子能技术 | 5篇 |
自动化技术 | 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年 | 13篇 |
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年 | 13篇 |
1975年 | 9篇 |
1973年 | 4篇 |
1971年 | 6篇 |
排序方式: 共有2085条查询结果,搜索用时 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.
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. 相似文献
5.
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. 相似文献
6.
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. 相似文献
7.
8.
Heat capacities at constant pressure, Cp, and at constant volume Cv, were calculated with the help of normal mode frequency spectra and compared to experimental data for crystalline or semicrystalline polyethylene, poly(vinyl fluoride), poly(vinylidene fluoride), polytrifluooroethylene and poly(tetrafluoroethylene). A calculation scheme using a Tarasov function for 2N skeletal vibrational modes and an approximation of the residual 7N normal modes from known data on polyethylene and polytetrafluoroethylene is developed for all homologous, linear fluoropolymers. N is the number of carbon backbone atoms of the repeating unit. Calculations can be carried out over the whole temperature range 0 K to melting. For the two theta temperatures and the constant A0 used for Cv to Cp conversion, fluorine-concentration dependent curves are given. The relations are expected to hold also for copolymers and blends of intermediate fluorine contents. Recommended experimental (data bank) heat capacities agree to ±2.5% with the calculations. 相似文献
9.
Markus Steinberger Michael Kenzel Bernhard Kainz Peter Wonka Dieter Schmalstieg 《Computer Graphics Forum》2014,33(2):105-114
In this paper, we present a new approach for shape‐grammar‐based generation and rendering of huge cities in real‐time on the graphics processing unit (GPU). Traditional approaches rely on evaluating a shape grammar and storing the geometry produced as a preprocessing step. During rendering, the pregenerated data is then streamed to the GPU. By interweaving generation and rendering, we overcome the problems and limitations of streaming pregenerated data. Using our methods of visibility pruning and adaptive level of detail, we are able to dynamically generate only the geometry needed to render the current view in real‐time directly on the GPU. We also present a robust and efficient way to dynamically update a scene's derivation tree and geometry, enabling us to exploit frame‐to‐frame coherence. Our combined generation and rendering is significantly faster than all previous work. For detailed scenes, we are capable of generating geometry more rapidly than even just copying pregenerated data from main memory, enabling us to render cities with thousands of buildings at up to 100 frames per second, even with the camera moving at supersonic speed. 相似文献
10.
Bernhard Haslhofer Robert Sanderson Rainer Simon Herbert van de Sompel 《Multimedia Tools and Applications》2014,70(2):847-867
Many Web portals allow users to associate additional information with existing multimedia resources such as images, audio, and video. However, these portals are usually closed systems and user-generated annotations are almost always kept locked up and remain inaccessible to the Web of Data. We believe that an important step to take is the integration of multimedia annotations and the Linked Data principles. We present the current state of the Open Annotation Model, explain our design rationale, and describe how the model can represent user annotations on multimedia Web resources. Applying this model in Web portals and devices, which support user annotations, should allow clients to easily publish and consume, thus exchange annotations on multimedia Web resources via common Web standards. 相似文献