全文获取类型
收费全文 | 1595篇 |
免费 | 50篇 |
国内免费 | 10篇 |
专业分类
电工技术 | 13篇 |
综合类 | 1篇 |
化学工业 | 480篇 |
金属工艺 | 32篇 |
机械仪表 | 9篇 |
建筑科学 | 63篇 |
矿业工程 | 2篇 |
能源动力 | 32篇 |
轻工业 | 172篇 |
水利工程 | 10篇 |
石油天然气 | 8篇 |
无线电 | 167篇 |
一般工业技术 | 297篇 |
冶金工业 | 143篇 |
原子能技术 | 13篇 |
自动化技术 | 213篇 |
出版年
2023年 | 8篇 |
2022年 | 12篇 |
2021年 | 19篇 |
2020年 | 10篇 |
2019年 | 13篇 |
2018年 | 19篇 |
2017年 | 25篇 |
2016年 | 26篇 |
2015年 | 26篇 |
2014年 | 41篇 |
2013年 | 87篇 |
2012年 | 58篇 |
2011年 | 97篇 |
2010年 | 67篇 |
2009年 | 70篇 |
2008年 | 90篇 |
2007年 | 64篇 |
2006年 | 72篇 |
2005年 | 49篇 |
2004年 | 62篇 |
2003年 | 51篇 |
2002年 | 69篇 |
2001年 | 32篇 |
2000年 | 32篇 |
1999年 | 36篇 |
1998年 | 32篇 |
1997年 | 21篇 |
1996年 | 25篇 |
1995年 | 24篇 |
1994年 | 26篇 |
1993年 | 24篇 |
1992年 | 24篇 |
1991年 | 16篇 |
1990年 | 18篇 |
1989年 | 23篇 |
1988年 | 19篇 |
1987年 | 15篇 |
1986年 | 16篇 |
1985年 | 30篇 |
1984年 | 13篇 |
1983年 | 23篇 |
1982年 | 14篇 |
1981年 | 13篇 |
1980年 | 19篇 |
1979年 | 18篇 |
1978年 | 15篇 |
1976年 | 16篇 |
1975年 | 20篇 |
1974年 | 10篇 |
1966年 | 7篇 |
排序方式: 共有1655条查询结果,搜索用时 0 毫秒
51.
Ferrari CP Dommergue A Veysseyre A Planchon F Boutron CF 《The Science of the total environment》2002,287(1-2):61-69
Snow samples have been collected in the French Alps in 1998, 1999 and 2000 in order to measure both total Hg (HgT) and reactive Hg (HgR). Concentrations of HgT were between 13 and 130 pg g(-1) and HgR concentrations were below the detection limit (approximately 0.8 pg g(-1)). Hg speciation in snow was evaluated on the basis of ionic complexation equilibrium with chloride, hydroxide, oxalate. The pH of the snow was found to be an important parameter for Hg speciation. For pH values near 3, HgC2O4 is predominant in snow samples except for snow strongly influenced by anthropogenic sources (in which case HgCl2 predominates). When pH > 4, Hg(OH)2 and HgOHCl are predominant. These latter pH values are observed for precipitation not influenced by anthropogenic sources but more by soil erosion, e.g. Saharan dusts. The knowledge of Hgr speciation in snow is a key question for understanding the mechanisms of transformation of these complexes in snow after precipitation. 相似文献
52.
Esteves AC Monteiro OC Barros-Timmons AM Boemare C Soares MJ Monteiro T Trindade T 《Journal of nanoscience and nanotechnology》2002,2(2):177-181
Hybrid materials consisting of SiO2/CdS particles dispersed in poly(styrene-co-maleic anhydride) and poly(styrene-co-maleimide) have been synthesized and characterized. The polymer nanocomposites were synthesised in situ in the presence of previously prepared inorganic fillers (SiO2/CdS). The nanocomposites were synthesized with the use of as-prepared or surface-modified SiO2/CdS fillers. For both types of nanocomposites, the optical properties were evaluated and the observation of size quantization effects in the optical spectra is discussed. In this context, the influence of the inorganic fillers and polymer matrices on the optical properties of the final nanocomposites was investigated. 相似文献
53.
We provide a detailed analysis of the various problems connected with the development of tunable thin-film filters for wavelength-division multiplexing applications. We examine the relation between the change in layer thickness and the central wavelength shift for various configurations and point out the significance of the structure of the reflectors, the spacer thickness, and the location of the active layers. We describe and compare practical arrangements using either temperature or an electric field as the driving parameter. 相似文献
54.
Montcalm C Grabner RF Hudyma RM Schmidt MA Spiller E Walton CC Wedowski M Folta JA 《Applied optics》2002,41(16):3262-3269
We present our results of coating a first set of optical elements for an extreme-ultraviolet (EUV) lithography system. The optics were coated with Mo-Si multilayer mirrors by dc magnetron sputtering and characterized by synchrotron radiation. Near-normal incidence reflectances above 65% were achieved at 13.35 nm. The run-to-run reproducibility of the reflectance peak wavelength was maintained to within 0.4%, and the thickness uniformity (or gradient) was controlled to within +/-0.05% peak to valley, exceeding the prescribed specification. The deposition technique used for this study is an enabling technology for EUV lithography, making it possible to fabricate multilayer-coated optics to accuracies commensurate with atomic dimensions. 相似文献
55.
Aerosol extinction coefficients have been derived in the 375-700-nm spectral domain from measurement in the stratosphere since 1992, at night, at mid- and high latitudes from 15 to 40 km, by two balloonborne spectrometers, Absorption par les Minoritaires Ozone et NO(chi) (AMON) and Spectroscopie d'Absorption Lunaire pour l'Observation des Minoritaires Ozone et NO(chi) (SALOMON). Log-normal size distributions associated with the Mie-computed extinction spectra that best fit the measurements permit calculation of integrated properties of the distributions. Although measured extinction spectra that correspond to background aerosols can be reproduced by the Mie scattering model by use of monomodal log-normal size distributions, each flight reveals some large discrepancies between measurement and theory at several altitudes. The agreement between measured and Mie-calculated extinction spectra is significantly improved by use of bimodal log-normal distributions. Nevertheless, neither monomodal nor bimodal distributions permit correct reproduction of some of the measured extinction shapes, especially for the 26 February 1997 AMON flight, which exhibited spectral behavior attributed to particles from a polar stratospheric cloud event. 相似文献
56.
Quang Huy Nguyen Claude Kirchner Hélène Kirchner 《Journal of Automated Reasoning》2002,29(3-4):309-336
This paper presents the design, the implementation, and experiments of the integration of syntactic, conditional possibly associative-commutative term rewriting into proof assistants based on constructive type theory. Our approach is called external because it consists in performing term rewriting in a specific and efficient environment and checking the computations later in a proof assistant. Two typical systems are considered in this work: ELAN, based on the rewriting calculus, as the term rewriting-based environment, and Coq, based on the calculus of inductive constructions as the proof assistant. We first formalize the proof terms for deduction by rewriting and strategies in ELAN using the rewriting calculus with explicit substitutions. We then show how these proof terms can soundly be translated into Coq syntax where they can be directly type checked. For the method to be applicable for rewriting modulo associativity and commutativity, we provide an effective method to prove equalities modulo these axioms in Coq using ELAN. These results have been integrated into an ELAN-based rewriting tactic in Coq. 相似文献
57.
TGV: theory, principles and algorithms 总被引:3,自引:0,他引:3
Claude Jard Thierry Jéron 《International Journal on Software Tools for Technology Transfer (STTT)》2005,7(4):297-315
This paper presents the TGV tool, which allows for the automatic synthesis of conformance test cases from a formal specification of a (non-deterministic) reactive system. TGV was developed by Irisa Rennes and Verimag Grenoble, with the support of the Vasy team of Inria Rhônes-Alpes. The paper describes the main elements of the underlying testing theory, which is based on a model of transitions system which distinguishes inputs, outputs and internal actions, and is based on the concept of conformance relation. The principles of the test synthesis process, as well as the main algorithms, are explained. We then describe the main characteristics of the TGV tool and refer to some industrial experiments that have been conducted to validate the approach. As a conclusion, we describe some ongoing work on test synthesis. 相似文献
58.
Eric Cancès Claude LeBris Yvon Maday Gabriel Turinici 《Journal of scientific computing》2002,17(1-4):461-469
Due to the high dimensionality of the spaces where the problems are set, adapted discretization basis are often advocated in complex physical problems (Navier–Stokes equations, solid mecanics, ab initio electronic structure computations) to express the solution in terms of solution of similar (but easier to solve) problems. However, very few mathematical studies have been undertaken to asses the numerical properties of these approximations. Within this context, we will present in this paper an overview of the tools required to develop more rigorous reduced basis approaches for quantum chemistry: a posteriori numerical analysis and fast exponential decay of the n-width of the solution set. 相似文献
59.
60.
A combination of the boundary integral (BIM) and finite element (FEM) methods is presented for the calculation of the signal induced by small cracks. This approach—by preserving the attractive properties of both methods—allows considering a large variety of probe structures while the computation time remains low, especially if the signal of a complete scan is calculated. To validate the calculation results, experiments are carried out using a large number of minute cracks. The good agreement obtained between the measured and calculated data shows the applicability of the presented method. 相似文献