全文获取类型
收费全文 | 1360篇 |
免费 | 75篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 21篇 |
综合类 | 3篇 |
化学工业 | 341篇 |
金属工艺 | 32篇 |
机械仪表 | 16篇 |
建筑科学 | 118篇 |
矿业工程 | 2篇 |
能源动力 | 40篇 |
轻工业 | 52篇 |
水利工程 | 6篇 |
武器工业 | 1篇 |
无线电 | 93篇 |
一般工业技术 | 210篇 |
冶金工业 | 189篇 |
原子能技术 | 19篇 |
自动化技术 | 293篇 |
出版年
2023年 | 23篇 |
2022年 | 21篇 |
2021年 | 63篇 |
2020年 | 30篇 |
2019年 | 30篇 |
2018年 | 45篇 |
2017年 | 35篇 |
2016年 | 56篇 |
2015年 | 43篇 |
2014年 | 71篇 |
2013年 | 64篇 |
2012年 | 71篇 |
2011年 | 93篇 |
2010年 | 63篇 |
2009年 | 79篇 |
2008年 | 55篇 |
2007年 | 55篇 |
2006年 | 35篇 |
2005年 | 46篇 |
2004年 | 31篇 |
2003年 | 20篇 |
2002年 | 17篇 |
2001年 | 26篇 |
2000年 | 6篇 |
1999年 | 17篇 |
1998年 | 66篇 |
1997年 | 38篇 |
1996年 | 31篇 |
1995年 | 18篇 |
1994年 | 9篇 |
1993年 | 14篇 |
1992年 | 8篇 |
1991年 | 7篇 |
1990年 | 6篇 |
1989年 | 5篇 |
1986年 | 4篇 |
1985年 | 4篇 |
1984年 | 8篇 |
1983年 | 6篇 |
1981年 | 8篇 |
1979年 | 5篇 |
1975年 | 4篇 |
1974年 | 5篇 |
1971年 | 6篇 |
1970年 | 9篇 |
1967年 | 5篇 |
1966年 | 4篇 |
1965年 | 12篇 |
1963年 | 8篇 |
1957年 | 4篇 |
排序方式: 共有1436条查询结果,搜索用时 15 毫秒
101.
Jewgenij Botaschanjan Manfred Broy Alexander Gruler Alexander Harhurin Steffen Knapp Leonid Kof Wolfgang Paul Maria Spichkova 《Formal Aspects of Computing》2008,20(6):637-662
Formal verification of software systems is a challenge that is particularly important in the area of safety-critical automotive systems. Here, approaches like direct code verification are far too complicated, unless the verification is restricted to small textbook examples. Furthermore, the verification of application logic is of limited use in industrial context, unless the underlying operating system and the hardware are verified, too. This paper introduces a generic model stack, allowing the verification of all system layers as well as the concrete application models being used in the upper layers. The presented models and proofs close the gap between the correctness proof for the lower layers of car electronics developed at the Saarland University and the verification procedure for distributed applications developed at the Technische Universität München. 相似文献
102.
Ulrich Furbach Steffen Hölldobler Joachim Schreiber 《Journal of Automated Reasoning》1989,5(3):309-337
A language of equational programs together with an inference system, based on paramodulation is defined. The semantics of the language is given with respect to least models, least fixpoints and success sets and its soundness and completeness is proven using fixpoint theory. The necessity of the functional reflexive axioms is investigated in detail. Finally, the application of these ideas to term rewriting systems is outlined by discussing directed paramodulation and narrowing. 相似文献
103.
The extent to which technical barriers to international trade caused by non-acceptance of chemical measurement results can
be removed, largely depends on the success in building up national and international traceability structures also in metrology
in chemistry. Achieving metrological comparability of measurement results requires the definition of metrological calibration
hierarchies providing metrological traceability chains which enable the establishment of metrological traceability of measured
quantity values to a common metrological reference [1]. For pH, over the last decade, work has been carried out in a number
of countries to build up meteorological calibration hierarchies within a national framework. An overview on the metrological
traceability chain for pH is given with focus on the primary measurement procedure of pH. 相似文献
104.
105.
106.
107.
Patrick Hergan Julia Beter Steffen Stelzer Ewald Fauster Ralf Schledjewski 《Production Engineering》2018,12(2):185-194
This paper is dealing with the influence of processing parameters for manufacturing of steel–carbon-fiber-reinforced-plastic (CFRP) hybrid plates by using the one-shot-hybrid resin-transfer-moulding (OSH-RTM) process. A design of experiments study was carried out. The quality of the manufactured parts was quantified by the bending modulus, the apparent interlaminar shear strength (ILSS), the maximum deflection and the density of the CFRP. The following changeable processing parameters were chosen: mould temperature, resin temperature, change in mass flow and maximum injection pressure. It is shown that the mould temperature and the change in mass flow show significant impact on the flexural modulus, density and maximum deflection of the plate while there is no significant impact on the apparent ILSS. Furthermore, the interaction between the mould temperature and resin temperature is having an influence on the flexural modulus and density. 相似文献
108.
109.
110.
Helge Weydahl Magnus S. Thomassen Børre T. Børresen Steffen Møller-Holst 《Journal of Applied Electrochemistry》2010,40(4):809-819
The load-following capability of a proton exchange membrane fuel cell was studied by measuring the cell voltage response to a sinusoidal current load with large amplitude and varying frequency. A mathematical model was developed, incorporating mass transport and capacitive effects as well as the membrane resistance. The model was capable of separating the faradaic and capacitive currents and predicting the observed hysteresis. At frequencies of the sinusoidal current load below 1 Hz, no appreciable hysteresis in the polarisation curve was observed. When increasing the frequency above 1 Hz, a hysteresis appeared at current densities below 0.2 A cm?2. The model related this hysteresis to capacitive effects. When using air as the cathode feed, hysteresis in the current density range 0.5 A cm?2 and higher appeared above 1 Hz compared to 100 Hz for pure oxygen. The model revealed that hysteresis observed in this current density range was caused by oxygen transport limitations. 相似文献