全文获取类型
收费全文 | 4328篇 |
免费 | 133篇 |
国内免费 | 7篇 |
专业分类
电工技术 | 52篇 |
综合类 | 9篇 |
化学工业 | 947篇 |
金属工艺 | 57篇 |
机械仪表 | 100篇 |
建筑科学 | 213篇 |
矿业工程 | 19篇 |
能源动力 | 122篇 |
轻工业 | 379篇 |
水利工程 | 28篇 |
石油天然气 | 8篇 |
无线电 | 427篇 |
一般工业技术 | 677篇 |
冶金工业 | 780篇 |
原子能技术 | 39篇 |
自动化技术 | 611篇 |
出版年
2023年 | 34篇 |
2022年 | 52篇 |
2021年 | 59篇 |
2020年 | 51篇 |
2019年 | 61篇 |
2018年 | 66篇 |
2017年 | 70篇 |
2016年 | 89篇 |
2015年 | 88篇 |
2014年 | 103篇 |
2013年 | 199篇 |
2012年 | 150篇 |
2011年 | 195篇 |
2010年 | 157篇 |
2009年 | 136篇 |
2008年 | 168篇 |
2007年 | 165篇 |
2006年 | 141篇 |
2005年 | 138篇 |
2004年 | 98篇 |
2003年 | 119篇 |
2002年 | 89篇 |
2001年 | 86篇 |
2000年 | 84篇 |
1999年 | 94篇 |
1998年 | 254篇 |
1997年 | 148篇 |
1996年 | 126篇 |
1995年 | 91篇 |
1994年 | 79篇 |
1993年 | 76篇 |
1992年 | 34篇 |
1991年 | 53篇 |
1990年 | 45篇 |
1989年 | 47篇 |
1988年 | 55篇 |
1987年 | 36篇 |
1986年 | 45篇 |
1985年 | 57篇 |
1984年 | 44篇 |
1983年 | 41篇 |
1982年 | 37篇 |
1981年 | 53篇 |
1980年 | 34篇 |
1979年 | 33篇 |
1978年 | 31篇 |
1977年 | 45篇 |
1976年 | 68篇 |
1974年 | 24篇 |
1973年 | 29篇 |
排序方式: 共有4468条查询结果,搜索用时 0 毫秒
71.
John Harrison 《Formal Methods in System Design》2000,16(3):271-305
Since they often embody compact but mathematically sophisticated algorithms, operations for computing the common transcendental functions in floating point arithmetic seem good targets for formal verification using a mechanical theorem prover. We discuss some of the general issues that arise in verifications of this class, and then present a machine-checked verification of an algorithm for computing the exponential function in IEEE-754 standard binary floating point arithmetic. We confirm (indeed strengthen) the main result of a previousl published error analysis, though we uncover a minor error in the hand proof and are forced to confront several subtle issues that might easily be overlooked informally.The development described here includes, apart from the proof itself, a formalization of IEEE arithmetic, a mathematical semantics for the programming language in which the algorithm is expressed, and the body of pure mathematics needed. All this is developed logically from first principles using the HOL Light prover, which guarantees strict adherence to simple rules of inference while allowing the user to perform proofs using higher-level derived rules. 相似文献
72.
Formal approaches to the design of interactive systems rely on reasoning about properties of the system at a very high level
of abstraction. Specifications to support such an approach typically provide little scope for reasoning about presentations
and the representation of information in the presentation. In contrast, psychological theories such as distributed cognition place a strong emphasis
on the role of representations, and their perception by the user, in the cognitive process. However, the post-hoc techniques
for the observation and analysis of existing systems which have developed out of the theory do not help us in addressing such
issues at the design stage. Mn this paper we show how a formalisation can be used to investigate the representational aspects
of an interface. Our goal is to provide a framework to help identify and resolve potential problems with the representation
of information, and to support understanding of representational issues in design. We present a model for linking properties
at the abstract and perceptual levels, and illustrate its use in a case study of a ight deck instrument. There is a widespread
consensus that proper tool support is a prerequisite for the adoption of formal techniques, but the use of such tools can
have a profound effect on the process itself. In order to explore this issue, we apply a higher-order logic theorem prover
to the analysis.
Received May 1999 / Accepted in revised form July 2000 相似文献
73.
A positive and innovative organizational climate is of great importance in order to manage and adapt to change. Such a climate seldom evolves in organizations closely governed by rules and regulations. Because of ongoing organizational and technical changes within the Swedish Air Navigation Services Provider, a study concerning the organizational climate for changes and innovations was conducted to investigate the organization's capacity to cope with changes. Study locations were the two Swedish main air traffic control centers and parts of the civil aviation administration headquarters. In the study 390 subjects took part and the CCQ questionnaire was used to measure the organizational climate. The results show that the organizational climate is quite positive despite the rule-governed work. The results also show that administrative personnel assess the organizational climate as more positive than operative personnel. Comparisons between management positions did not result in any differences. 相似文献
74.
Pradeep K. Nalla Roland J. Weiss Prakash Peranandam Jürgen Ruf Thomas Kropf Wolfgang Rosenstiel 《Electronic Notes in Theoretical Computer Science》2006,135(2):47
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifies larger models and returns results faster than the sequential version.The core algorithm distributes partitions of the state set to computation nodes after reaching a threshold size. The nodes proceed with image computation on the nodes asynchronously. The main scalability problem of this scheme is the overlap of state set partitions. We present static and dynamic overlap reduction techniques. 相似文献
75.
A new method for evaluating antiarrhythmic drug efficacy 总被引:1,自引:0,他引:1
M Sami H Kraemer DC Harrison N Houston C Shimasaki RF DeBusk 《Canadian Metallurgical Quarterly》1980,62(6):1172-1179
To develop standards for distinguishing antiarrhythmic drug effect from spontaneous variability of premature ventricular complexes (PVCs), 21 males (mean age 56 +/- 8 years) with chronic ischemic heart disease and PVCs underwent symptom-limited treadmill exercise testing and 24-hour ambulatory monitoring before and after 2 weeks of placebo medication. Linear regression analysis was used to describe the relationship between baseline and placebo PVC frequency for various indexes of ventricular ectopic activity and to establish 95% and 99% one-tailed confidence intervals for this relationship within the group of 21 patients. The lower limit of baseline PVC frequency for which the procedure could distinguish a placebo from a true drug response, termed the "sensitivity threshold," was an average frequency of 2.2 PVCs/hour for ambulatory electrocardiographic monitoring and 1.2 PVCs/min for treadmill exercise testing. All patients exceeded the sensitivity threshold on baseline ambulatory ECGs, but only 38% of patients did so on baseline treadmill exercise tests. To establish antiarrhythmic efficacy with 95% confidence, the minimal percent reduction of PVCs between baseline and placebo visits was 68% for treadmill exercise testing and 65% for ambulatory electrocardiography. Although these standards were developed in patients with chronic ischemic heart disease, the model can be used to establish antiarrhythmic drug efficacy in any patient group. 相似文献
76.
77.
Roland Gerber 《电信纪事》1983,38(9-10):367-379
78.
Bernd Altmayer Klaus W. Eichhorn und Roland Plapp 《Zeitschrift für Lebensmitteluntersuchung und -Forschung A》1982,175(3):172-174
Zusammenfassung Traubenmoste aus dem Weinanbaugebiet der Rheinpfalz wurden auf ihren Patulingehalt untersucht. Nach Extraktion und Reinigung wurde Patulin mit Hilfe der Hochleistungsflilssig- und Dünnschichtchromatographie bestimmt. Zur Extraktion des Patulins erwies sich die Verwendung von Extrelutsdulen als vorteilhaft. In 62% der untersuchten Proben (55) war kein Patulin nachweisbar, 22% enthielten weniger als 50 g, 16% mehr als 50 g Patulin pro Liter. Durch praxisübliche Mostschwefelung (100 mg Kaliumpyrosulîit/1) und Vergärung mit Hefen der GattungSaccharomyces konnte vorhandenes Patulin entfernt werden.
Analysis of patulin in grape juices and wine
Summary Grape juices from the wine-growing region of the palatinate Rheinpfalz were analysed for patulin. After extraction and purification patulin was determined by high performance liquid chromatography and thin layer chromatography. The use of Extrelut-columns for the extraction of patulin was found advantageous. 62% of the analysed samples (55) were free of patulin, 22% contained less than 50 g/l, 16% more than 50 g/l. By addition of sulfur dioxide to the must and fermentation withSaccharomyces sp. patulin could be removed from the samples.相似文献
79.
Christian Pruner Martin Fally Romano A. Rupp Roland P. May Jürgen Vollbrandt 《Nuclear instruments & methods in physics research. Section A, Accelerators, spectrometers, detectors and associated equipment》2006,560(2):598-605
Design and setup of an interferometer for cold and ultracold neutrons are described. As neutron optical components three holographically produced gratings are arranged in triple Laue geometry. The gratings are adjusted during their recording process in photosensitized polymer slabs once for ever. Employing this device we measured the coherence function of a cold neutron beam by means of interferometry. 相似文献
80.
Evans C.A. Jovanovic V.D. Indjin D. Ikonic Z. Harrison P. 《Quantum Electronics, IEEE Journal of》2006,42(9):859-867
The development of a thermal model for quantum cascade lasers (QCLs) is presented. The model is used in conjunction with a self-consistent scattering rate calculation of the electron dynamics of an InGaAs-AlAsSb QCL to calculate the temperature distribution throughout the device which can be a limiting factor for high temperature operation. The model is used to investigate the effects of various driving conditions and device geometries, such as epilayer down bonding and buried heterostructures, on the active region temperature. It is found that buried heterostructures have a factor of eight decrease in thermal time constants compared to standard ridge waveguide structures in pulsed mode and allow a /spl sim/78% increase in heat sink temperature compared to epilayer down mounted devices in continuous-wave mode. The model presented provides a valuable tool for understanding the thermal dynamics inside a quantum cascade laser and will help to improve their operating temperatures. 相似文献