全文获取类型
收费全文 | 4095篇 |
免费 | 241篇 |
国内免费 | 4篇 |
专业分类
电工技术 | 42篇 |
综合类 | 5篇 |
化学工业 | 1176篇 |
金属工艺 | 69篇 |
机械仪表 | 110篇 |
建筑科学 | 193篇 |
矿业工程 | 8篇 |
能源动力 | 151篇 |
轻工业 | 517篇 |
水利工程 | 24篇 |
石油天然气 | 13篇 |
无线电 | 267篇 |
一般工业技术 | 695篇 |
冶金工业 | 129篇 |
原子能技术 | 48篇 |
自动化技术 | 893篇 |
出版年
2024年 | 8篇 |
2023年 | 38篇 |
2022年 | 181篇 |
2021年 | 213篇 |
2020年 | 99篇 |
2019年 | 114篇 |
2018年 | 151篇 |
2017年 | 137篇 |
2016年 | 193篇 |
2015年 | 110篇 |
2014年 | 171篇 |
2013年 | 299篇 |
2012年 | 275篇 |
2011年 | 329篇 |
2010年 | 218篇 |
2009年 | 246篇 |
2008年 | 227篇 |
2007年 | 182篇 |
2006年 | 190篇 |
2005年 | 149篇 |
2004年 | 107篇 |
2003年 | 97篇 |
2002年 | 77篇 |
2001年 | 58篇 |
2000年 | 56篇 |
1999年 | 53篇 |
1998年 | 41篇 |
1997年 | 34篇 |
1996年 | 34篇 |
1995年 | 39篇 |
1994年 | 20篇 |
1993年 | 22篇 |
1992年 | 10篇 |
1991年 | 17篇 |
1990年 | 11篇 |
1989年 | 12篇 |
1988年 | 7篇 |
1987年 | 7篇 |
1986年 | 8篇 |
1985年 | 10篇 |
1984年 | 14篇 |
1983年 | 8篇 |
1982年 | 17篇 |
1981年 | 13篇 |
1980年 | 5篇 |
1979年 | 8篇 |
1978年 | 7篇 |
1977年 | 6篇 |
1976年 | 3篇 |
1973年 | 3篇 |
排序方式: 共有4340条查询结果,搜索用时 15 毫秒
91.
We study the reachability problem for cryptographic protocols represented as processes relying on perfect cryptographic functions. We introduce a symbolic reduction system that can handle hashing functions, symmetric keys, and public keys. Desirable properties such as secrecy or authenticity are specified by inserting logical assertions in the processes.We show that the symbolic reduction system provides a flexible decision procedure for finite processes and a reference for sound implementations. The symbolic reduction system can be regarded as a variant of syntactic unification which is compatible with certain set-membership constraints. For a significant fragment of our formalism, we argue that a dag implementation of the symbolic reduction system leads to an algorithm running in nptime thus matching the lower bound of the problem.In the case of iterated or finite control processes, we show that the problem is undecidable in general and in ptime for a subclass of iterated processes that do not rely on pairing. Our technique is based on rational transductions of regular languages and it applies to a class of processes containing the ping-pong protocols studied in 1982 by Dolev, Even and Karp. 相似文献
92.
Roberto Guidorzi Author Vitae Roberto Diversi Author Vitae Author Vitae 《Automatica》2003,39(2):281-289
This paper deals with optimal (minimal variance) filtering in an errors-in-variables framework. Differently from many other contexts, errors-in-variables models treat all variables in a symmetric way (no partition of the variables into inputs and outputs is required) and assume additive noise on all the variables. The filtering technique described in this paper can be easily implemented in a recursive way and does not require the use of a Riccati equation at every update. The results of Monte Carlo simulations have shown the effectiveness and consistency of the approach. 相似文献
93.
A multistep iterative calibration methodology for the opto-mechanical system introduced in Part I is proposed. The methodology makes use of a monoview coplanar set of control points, whose number has been determined on the basis of both geometrical considerations and the results of a statistical analysis aiming at assessing the procedure stability in the case of noisy image data. The calibration procedure is carried out comparing the theoretical and observed images of the calibration pattern. Both synthetic and real data have been employed to test the calibration procedure, which proved to be accurate and efficient. The experimental results achieved by the calibrated system are satisfactory in terms of measurement precision. 相似文献
94.
Roberto Bagnara Roberta Gori Patricia M. Hill Enea Zaffanella 《Information and Computation》2004,193(2):84-116
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occurs-check) and increased expressivity (cyclic terms can provide very efficient representations of grammars and other useful objects). Unfortunately, the use of infinite rational trees has problems. For instance, many of the built-in and library predicates are ill-defined for such trees and need to be supplemented by run-time checks whose cost may be significant. Moreover, some widely used program analysis and manipulation techniques are correct only for those parts of programs working over finite trees. It is thus important to obtain, automatically, a knowledge of the program variables (the finite variables) that, at the program points of interest, will always be bound to finite terms. For these reasons, we propose here a new data-flow analysis, based on abstract interpretation, that captures such information. We present a parametric domain where a simple component for recording finite variables is coupled, in the style of the open product construction of Cortesi et al., with a generic domain (the parameter of the construction) providing sharing information. The sharing domain is abstractly specified so as to guarantee the correctness of the combined domain and the generality of the approach. This finite-tree analysis domain is further enhanced by coupling it with a domain of Boolean functions, called finite-tree dependencies, that precisely captures how the finiteness of some variables influences the finiteness of other variables. We also summarize our experimental results showing how finite-tree analysis, enhanced with finite-tree dependencies, is a practical means of obtaining precise finiteness information. 相似文献
95.
Francesco Calvetti Claudio di Prisco Roberto Nova 《Canadian Metallurgical Quarterly》2004,130(12):1292-1299
Cases of pipeline damage caused by landslides are common in coastal or mountainous regions, where a continuous monitoring/repair activity is planned in order to maintain their serviceability. The analysis of the soil–structure interaction phenomenon can be invoked to improve the planning and design of buried pipelines, to guide monitoring, and to reduce the risk of damage or failure. Two different approaches are considered in this paper: small scale laboratory tests and numerical simulations using the distinct element method (DEM). The experimental setup consists of a box filled with sand and water. Several experiments were performed, in which the diameter and the depth of the tube varied. The numerical simulations are divided in two separate series: in the first, the numerical model is calibrated and its reliability in reproducing the experimental tests is checked; in the second series, the direction of the relative displacement between the tube and the surrounding “numerical soil” varies over the range ±90° with respect to the horizontal. In the latter, both vertical and horizontal components of the drag force are measured and the corresponding interaction diagrams are constructed. The DEM simulations provide useful information about the shape of the failure mechanisms and the force transfer within the soil. 相似文献
96.
A mathematical model was developed to describe the in‐line hot rolling deformation and recrystallization behaviour of austenite after the solidification on a thin slab casting plant. The most significant features of the cast rolling process were taken into consideration: through‐thickness thermal gradients, inhomogeneous stress and strain, temperature discontinuity between the strip and the rolls. A HSLA (High Strength Low Alloy) steel has been chosen to perform the experiments of cast rolling. The characteristic constants ruling the microstructural evolution of that steel were computed and integrated into the computational module which manages the structural stress‐strain and strain rate computation. The developed approach is based on the Navier‐Stokes’ equations which were used to compute the speed field in the strip during the deformation. Then a model providing a proper constitutive equation was structured on the basis of the Yada's model based on evolution of the dislocation populations. The use of the Navier‐Stokes’ formalism allows to reach the resolution of the structural problem from the data measured easily during the industrial practice (i.e. speed of the rolled product at the entry and at the exit of a stand, the temperature of the rolled material). The validation of this computational approach was obtained by a comparison between the prior austenite grain size of the strip in different positions of the hot rolling process, as well as by a comparison between the computed deformation power and the measured one provided by the engines moving the rolls. 相似文献
97.
Despite the great technical advancement of mass spectrometry, this technique has contributed in a limited way to the discovery and quantitation of specific/precocious markers linked to free radical-mediated diseases. Unsaturated aldehydes generated by free radical-induced lipid peroxidation of polyunsaturated fatty acids, and in particular 4-hydroxy-trans-2 nonenal (HNE), are involved in the onset and progression of many pathologies such as cardiovascular (atherosclerosis, long-term complications of diabetes) and neurodegenerative diseases (Alzheimer's disease, Parkinson's disease, and cerebral ischemia). Most of the biological effects of HNE are attributed to the capacity of HNE to react with the nucleophilic sites of proteins and peptides (other than nucleic acids), to form covalently modified biomolecules that can disrupt important cellular functions and induce mutations. By considering the emerging role of HNE in several human diseases, an unequivocal analytical approach as mass spectrometry to detect/elucidate the structure of protein-HNE adducts in biological matrices is strictly needed not only to understand the reaction mechanism of HNE, but also to gain a deeper insight into the pathological role of HNE. This with the aim to provide intermediate diagnostic biomarkers for human diseases. This review sheds focus on the "state-of-the-art" of mass spectrometric applications in the field of HNE-protein adducts characterization, starting from the fundamental early studies and discussing the different MS-based approaches that can provide detailed information on the mechanistic aspects of HNE-protein interaction. In the last decade, the increases in the accessible mass ranges of modern instruments and advances in ionization methods have made possible a fundamental improvement in the analysis of protein-HNE adducts by mass spectrometry, and in particular by matrix-assisted laser desorption/ionization (MALDI) and electrospray ionization (ESI) tandem mass spectrometry. The recent developments and uses of combined analytical approaches to detect and characterize the type/site of interaction have been highlighted, and several other aspects, including sample preparation methodologies, structure elucidation, and data analysis have also been considered. 相似文献
98.
Roberto Bassani 《Tribology Letters》2013,49(2):397-401
Permanent magnet bearings offer no wear and no mechanical friction. Recently, Rare Earth (RE) permanent magnets have been used, which give rise to force fields 20 times greater than those of common magnets. RE also allows to build magnets suitable for bearings of every shape. RE bearings are then profitable. On the other hand, permanent magnet bearings are unstable. For example, the levitated ring of the axial bearing with opposite magnetic fields of Fig. 1 is stable axially, but unstable radially. It has been, however, verified that a permanent magnet system may become stable under peculiar conditions. As an example, if the above-mentioned levitated ring is subjected to a parametric axial excitation, its radial instability can be removed. In our opinion, it may also be possible that stability is obtained by exploiting microstructural properties of ferromagnetic materials, especially of RE, like dimensional and magnetic changes if subjected to mechanical stresses. Then, in this paper, the stability of the levitated member of an RE axial ring bearing is investigated by a suitable exploitation of magnetoelastic properties of the ring. Fig. 1
Passive magnetic axial ring bearing 相似文献
99.
Proteins as biomarkers of oxidative/nitrosative stress in diseases: the contribution of redox proteomics 总被引:8,自引:0,他引:8
Dalle-Donne I Scaloni A Giustarini D Cavarra E Tell G Lungarella G Colombo R Rossi R Milzani A 《Mass spectrometry reviews》2005,24(1):55-99
Reactive oxygen species (ROS) and reactive nitrogen species (RNS) contribute to the pathogenesis and/or progression of several human diseases. Proteins are important molecular signposts of oxidative/nitrosative damage. However, it is generally unresolved whether the presence of oxidatively/nitrosatively modified proteins has a causal role or simply reflects secondary epiphenomena. Only direct identification and characterization of the modified protein(s) in a given pathophysiological condition can decipher the potential roles played by ROS/RNS-induced protein modifications. During the last few years, mass spectrometry (MS)-based technologies have contributed in a significant way to foster a better understanding of disease processes. The study of oxidative/nitrosative modifications, investigated by redox proteomics, is contributing to establish a relationship between pathological hallmarks of disease and protein structural and functional abnormalities. MS-based technologies promise a contribution in a new era of molecular medicine, especially in the discovery of diagnostic biomarkers of oxidative/nitrosative stress, enabling early detection of diseases. Indeed, identification and characterization of oxidatively/nitrosatively modified proteins in human diseases has just begun. 相似文献
100.
A simplified procedure is presented to calculate the maximum earthquake response of light mechanical or electrical equipment supported at two arbitrary points of a building structure. The procedure is derived on the basis of the application of the response spectrum method to a combined structure-equipment system, but, in an effort to avoid the complications of such an approach, it is formulated in terms of the dynamic characteristics of the two independent components. It fully takes into account the interaction between the two subsystems, and avoids the generation of floor response spectra and the need to consider two different support excitations. The formulation is attained by using Hurty's component mode synthesis technique and Rayleigh's principle. Linear systems with classical modes of vibration and small structure to equipment mass ratios are considered. The simplicity of the method is demonstrated by a numerical example, and its accuracy verified by a comparative study. In this comparative study, the suggested procedure estimates correct solutions with an average error of about 2%. 相似文献