全文获取类型
收费全文 | 1071篇 |
免费 | 39篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 32篇 |
综合类 | 8篇 |
化学工业 | 329篇 |
金属工艺 | 14篇 |
机械仪表 | 28篇 |
建筑科学 | 59篇 |
矿业工程 | 6篇 |
能源动力 | 21篇 |
轻工业 | 77篇 |
水利工程 | 6篇 |
无线电 | 92篇 |
一般工业技术 | 158篇 |
冶金工业 | 66篇 |
原子能技术 | 5篇 |
自动化技术 | 211篇 |
出版年
2023年 | 16篇 |
2022年 | 21篇 |
2021年 | 28篇 |
2020年 | 22篇 |
2019年 | 20篇 |
2018年 | 24篇 |
2017年 | 16篇 |
2016年 | 29篇 |
2015年 | 39篇 |
2014年 | 36篇 |
2013年 | 49篇 |
2012年 | 61篇 |
2011年 | 69篇 |
2010年 | 65篇 |
2009年 | 53篇 |
2008年 | 59篇 |
2007年 | 50篇 |
2006年 | 59篇 |
2005年 | 40篇 |
2004年 | 28篇 |
2003年 | 24篇 |
2002年 | 28篇 |
2001年 | 17篇 |
2000年 | 20篇 |
1999年 | 15篇 |
1998年 | 20篇 |
1997年 | 24篇 |
1996年 | 16篇 |
1995年 | 24篇 |
1994年 | 20篇 |
1993年 | 17篇 |
1992年 | 13篇 |
1991年 | 9篇 |
1990年 | 6篇 |
1989年 | 10篇 |
1988年 | 5篇 |
1987年 | 4篇 |
1985年 | 5篇 |
1983年 | 6篇 |
1982年 | 5篇 |
1981年 | 7篇 |
1980年 | 2篇 |
1979年 | 3篇 |
1978年 | 2篇 |
1977年 | 4篇 |
1976年 | 3篇 |
1975年 | 2篇 |
1974年 | 3篇 |
1972年 | 2篇 |
1969年 | 2篇 |
排序方式: 共有1112条查询结果,搜索用时 15 毫秒
81.
Axel Wabenhorst 《Theoretical computer science》2003,300(1-3):181-207
The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. 相似文献
82.
Geddes Stella; Holst Patricia; Grotzinger Joachim; Gill Raj; Nugent Philip; De Meyts Pierre; Wollmer Axel; Wood Steve; Pitts Jim 《Protein engineering, design & selection : PEDS》2001,14(1):61-65
The structure and biological activities of two disulphide isomersof a C-region deletion mutant of insulin-like growth factor-I(IGF-I) which has an AsnGly link engineered at the junctionof the A- and B-regions were studied before and after chemicalcleavage. Circular dichroism (CD) spectra and binding affinityto IGF binding protein 3 (IGFBP3) indicated that the treatmentwith hydroxylamine did not disrupt the overall tertiary foldof the hormones. Cleavage restored some binding affinity forthe IGF-I receptor in both isomers and weakly restored the abilityto stimulate incorporation of tritiated thymidine into DNA inNIH 3T3 fibroblasts transfected with the human IGF-I receptor.Cleavage also restored metabolic capacity, as measured by theability of the isomers to promote lipogenesis in isolated ratadipocytes through the insulin receptor. These results are consistentwith the theory that binding of IGF-I to the IGF-I receptorrequires a conformational change similar to that involved ininsulin binding the insulin receptor. The weak affinity forthe IGF-I receptor after cleavage is consistent with the beliefthat residues in the C-region interact with the IGF-I receptor.This structural difference between insulin and IGF-I gives eacha higher binding affinity for its own receptor. 相似文献
83.
Liu Ronghao Wells M. Scott Garcia y Garcia Axel 《Nutrient Cycling in Agroecosystems》2020,116(2):195-203
Nutrient Cycling in Agroecosystems - Winter oilseed crops camelina [Camelina sativa (L.) Crantz] and field pennycress (Thlaspi arvense L.) are potential candidates for diversifying the... 相似文献
84.
Axel Schairer Serge Autexier Dieter Hutter 《Electronic Notes in Theoretical Computer Science》2001,58(2)
In interactive theorem proving, tactics and tacticals have been introduced to automate proof search. In this scenario, user interaction traditionally is restricted to the mode in which the user decides which tactic to apply on the top-level, without being able to interact with the tactic once it has begun running.We propose a technique to allow the implementation of derivational analogy in tactical theorem proving. Instead of replaying tactics including backtracked dead ends our framework makes choice points in tactics explicit and thus avoids dead ends when reusing tactics. Additionally users can override choices a tactic has made or add additional steps to a derivation without terminating the tactic. The technique depends on an efficient replay of tactic executions without repeating search that the original computation may have involved. 相似文献
85.
In the present study the n -type electronic conduction in terms of the parameter p e, and the phase relations in several ThO2 -RE2O3 systems were examined. Large fluorite solid solution regions exist at elevated temperatures. It was demonstrated that RE2 O3 -doped thoria compositions feature lower parameters p e, and higher chemical stability than the conventional stabilized ZrO2 electrolytes. The results are given in terms of the characteristic parameter p e, in the temperature range from 1000° to 1600°C. The experimental investigations were made using a new thermodynamic measuring system. 相似文献
86.
87.
Axel Jahn 《International Journal of Satellite Communications and Networking》2001,19(2):169-203
Efficient resource management is mandatory to achieve maximum system capacity for next generation communications systems. Resource management deals with the available spectral band, time, power, and space for a transmission signal. It includes (i) the frequency planning, (ii) the selection of transmit power, and (iii) the assignment of the channels and access nodes to the users. The paper presents a generalized notation as well as graph algorithms for resource management problems. Impairment graphs can be used for frequency planning, whereas flow graphs are suitable for channel access problems. To evaluate the performance of the resource management, service criteria (such as blocking or the carrier to interference ratio C/I) or efficiency criteria (bandwidth requirements) can be derived from the graphs. The resource management techniques are applied to satellite networks with non‐geostationary orbits yielding time‐variant network topologies. As a simple example, the channel assignment and capacity optimization of the EuroSky Way system are shown. Furthermore, a comparison of fixed, dynamic and hybrid channel allocation schemes (FCA, DCA, HCA) for a typical MEO satellite scenario is given. Satellite diversity and its impact on bandwidth requirement and transmission quality is also examined. Finally, it is shown how spread spectrum systems can be investigated with the presented tools. Copyright © 2001 John Wiley & Sons, Ltd. 相似文献
88.
Fließkurven beschreiben das Formänderungsvermögen von Werkstoffen. Gleichzeitig liefern sie Informationen über die Wechselwirkung zwischen der Ver- und Entfestigung, wobei diese beiden Eigenschaften temperaturabhängig sind. Fließkurven wurden an Stählen aufgenommen, die sich im wesentlichen in ihrem Kohlenstoffgehalt unterscheiden. Die Bestimmung der Formänderungsfähigkeit erfolgte bei Temperaturen, die denen entsprechen, bei denen eine Austenitformhärtung vorgenommen wird. Die mathematische Beschreibung der Fließkurven läßt erkennen, daß zunächst mit steigender Umformtemperatur die Verfestigungsrate abnimmt. Der Kohlenstoffgehalt erhöht dagegen die Verfestigungsrate. Die dynamische Erholung wird mit wachsender Umformtemperatur beschleunigt, ebenso mit steigendem Kohlenstoffgehalt. 相似文献
89.
Axel Thallemer 《现代装饰》2009,(2):60-61
气膜建筑的外围结构采用了柔软的薄膜。想象一下未来建筑外围结构在这方面将如何发展?那真是其乐无穷!就目前来看,当今建筑的发展越来越强调提高能源、材料方面的利用效率。 相似文献
90.
The concern of this work is the influence of the thermal motion of the atoms on electron scattering simulations, used for quantitative interpretation of results in high-resolution electron microscopy. We distinguish between the influence of inelastic phonon excitation and the effect of a moving lattice on images generated by elastically scattered electrons. It is shown that, analog to aberrations, the impact of a moving lattice differs substantially with respect to different imaging conditions and cannot be described by the Debye–Waller damping applicable in XRD. We derive a new formalism, based on the frozen lattice and multislice approach, to incorporate the statistics of the thermal motion into elastic TEM imaging simulations, taking into account different imaging conditions. The averaging over different atom positions is generally performed within a density matrix framework, which can be linearized in the special case of off-axis electron holography. All findings are supported by explicit numerical simulations: molecular dynamics simulations are performed to get a realistic thermal motion and the electron scattering simulations are performed within the new multislice algorithm. 相似文献