全文获取类型
收费全文 | 1605篇 |
免费 | 66篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 42篇 |
化学工业 | 451篇 |
金属工艺 | 16篇 |
机械仪表 | 34篇 |
建筑科学 | 44篇 |
矿业工程 | 3篇 |
能源动力 | 84篇 |
轻工业 | 208篇 |
水利工程 | 1篇 |
石油天然气 | 2篇 |
无线电 | 120篇 |
一般工业技术 | 345篇 |
冶金工业 | 73篇 |
原子能技术 | 11篇 |
自动化技术 | 239篇 |
出版年
2024年 | 2篇 |
2023年 | 13篇 |
2022年 | 68篇 |
2021年 | 94篇 |
2020年 | 38篇 |
2019年 | 42篇 |
2018年 | 56篇 |
2017年 | 45篇 |
2016年 | 61篇 |
2015年 | 48篇 |
2014年 | 61篇 |
2013年 | 125篇 |
2012年 | 100篇 |
2011年 | 117篇 |
2010年 | 103篇 |
2009年 | 73篇 |
2008年 | 80篇 |
2007年 | 65篇 |
2006年 | 67篇 |
2005年 | 45篇 |
2004年 | 49篇 |
2003年 | 34篇 |
2002年 | 38篇 |
2001年 | 18篇 |
2000年 | 25篇 |
1999年 | 16篇 |
1998年 | 36篇 |
1997年 | 24篇 |
1996年 | 21篇 |
1995年 | 17篇 |
1994年 | 12篇 |
1993年 | 14篇 |
1992年 | 9篇 |
1991年 | 9篇 |
1990年 | 3篇 |
1989年 | 4篇 |
1988年 | 3篇 |
1987年 | 5篇 |
1986年 | 2篇 |
1985年 | 2篇 |
1983年 | 3篇 |
1982年 | 4篇 |
1981年 | 2篇 |
1980年 | 4篇 |
1979年 | 2篇 |
1977年 | 2篇 |
1976年 | 2篇 |
1972年 | 3篇 |
1966年 | 1篇 |
1965年 | 1篇 |
排序方式: 共有1673条查询结果,搜索用时 15 毫秒
91.
92.
Michele Dei Nicolò Nizza Massimo Piotto Paolo Bruschi 《Analog Integrated Circuits and Signal Processing》2009,58(1):43-47
A compact voltage controlled CMOS current divider is presented. Differently from previous implementations, exploiting the
MOSFET translinear characteristics in subthreshold region, the proposed circuit is based on devices operating from moderate
to strong inversion. An input current linearity range of nearly a decade is obtained by compensating for the deviations from
the ideal drain current square-law approximation through an original empirical approach. The circuit is suitable for use as
a building block in analog multipliers and for transconductor continuous tuning. The effectiveness of the proposed configuration
is demonstrated by means of electrical simulations, performed on a prototype designed with a commercial process. The robustness
of the linearization algorithm with respect to temperature variations is proven. 相似文献
93.
Massimo Merro 《Information and Computation》2009,207(2):194-208
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled Transition Semantics. We prove that the two semantics coincide. The labelled transition system is then used to derive the notions of (weak) simulation and bisimulation for ad hoc networks. The labelled bisimilarity completely characterises reduction barbed congruence, a standard branching-time and contextually-defined program equivalence. We then use our (bi)simulation proof method to formally prove a number of non-trivial properties of ad hoc networks. 相似文献
94.
Roberto Cigliutti Andrea Galtarossa Massimo Giltrelli Daniele Grosso Andrew W.R. Leitch Luca Palmieri Stefano Santoni Luca Schenato David Waswa 《Optical Fiber Technology》2009,15(3):242-250
Polarization Mode Dispersion (PMD) compensation has been a matter of investigation of several papers in literature. The proposed solutions belong basically to two large families: electronic compensators and optical compensators. Both PMD compensator schemes have advantages and disadvantages: electronic PMD compensators are usually simple to include in line-terminal, potentially low-cost, very fast, and FEC compatible but their development is strongly dependent on IC technology capability that at this time allows device developments up to the 10 Gbit/s bit rates area. Furthermore, they are strongly dependent on modulation formats, and they can operate only on a single channel. Conversely, optical compensators are independent of bit rate and modulation format and potentially they can compensate more channels simultaneously; their major drawbacks are the longer response time and the complexity in the feedback signal process within the control algorithm. In this paper we consider an optical Polarization Mode Dispersion Compensator (PMDC) that is simple to realize and easy to include at limited costs in each EDFA module (distributed compensation) as well as a single-stage front-end compensator. Numerical analysis of the PMDC and experimental results confirm the utility of the PMDC proposed and its capability in compensating DGD larger than 20 ps in NRZ and RZ 40 Gbit/s optical systems. 相似文献
95.
Carotenuto R Sabbi G Pappalardo M 《IEEE transactions on ultrasonics, ferroelectrics, and frequency control》2002,49(8):1039-1049
Spatial resolution in modern ultrasound imaging systems is limited by the high cost of large aperture transducer arrays, which require a large number of transducer elements and electronic channels. A new technique to enhance the spatial resolution of pulse-echo imaging systems is presented. The method attempts to build an image that could be obtained with a transducer array aperture larger than that physically available. We consider two images of the same object obtained with two different apertures, the full aperture and a subaperture, of the same transducer. A suitable artificial neural network (ANN) is trained to reproduce the relationship between the image obtained with the transducer full aperture and the image obtained with a subaperture. The inputs of the neural network are portions of the image obtained with the subaperture (low resolution image), and the target outputs are the corresponding portions of the image produced by the full aperture (high resolution image). After the network is trained, it can produce images with almost the same resolution of the full aperture transducer, but using a reduced number of real transducer elements. All computations are carried out on envelope-detected decimated images; for this reason, the computational cost is low and the method is suitable for real-time applications. The proposed method was applied to experimental data obtained with the ultrasound synthetic aperture focusing technique (SAFT), giving quite promising results. Realtime implementation on a modern, full-digital echographic system is currently being developed. 相似文献
96.
Livia D'Apuzzo Massimo Squillante 《Annals of Mathematics and Artificial Intelligence》2002,35(1-4):177-195
Starting by quasilinear means, we propose and analyze functionals that allow to represent the preferences of the decision maker in a more general setting; the preference order in the set of the alternatives depends on the way the functional has been generated. The functionals of this kind enjoy classical properties as independence and dominance principle. Anyway we stress that to make use of a single functional is not sufficient to describe paradoxical situations that arise for istance in the Kahneman and Tversky experiment. 相似文献
97.
An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation 总被引:1,自引:0,他引:1
Marco Cadoli Marco Schaerf Andrea Giovanardi Massimo Giovanardi 《Journal of Automated Reasoning》2002,28(2):101-142
The high computational complexity of advanced reasoning tasks such as reasoning about knowledge and planning calls for efficient and reliable algorithms for reasoning problems harder than NP. In this paper we propose Evaluate, an algorithm for evaluating quantified Boolean formulae (QBFs). Algorithms for evaluation of QBFs are suitable for experimental analysis of problems that belong to a wide range of complexity classes, a property not easily found in other formalisms. Evaluate is a generalization of the Davis–Putnam procedure for SAT and is guaranteed to work in polynomial space. Before presenting the algorithm, we discuss several abstract properties of QBFs that we singled out to make it more efficient. We also discuss various options that were investigated about heuristics and data structures and report the main results of the experimental analysis. In particular, Evaluate is orders of magnitude more efficient than a nested backtracking procedure that resorts to a Davis–Putnam algorithm for handling the innermost set of quantifiers. Moreover, experiments show that randomly generated QBFs exhibit regular patterns such as phase transition and easy-hard-easy distribution. 相似文献
98.
Fernando Luís Dotti Leila Ribeiro Osmar Marchi dos Santos Fábio Pasini 《Software and Systems Modeling》2006,5(3):289-311
The development of concurrent and reactive systems is gaining importance since they are well-suited to modern computing platforms, such as the Internet. However, the development of correct concurrent and reactive systems is a non-trivial task. Object-based graph grammar (OBGG) is a visual formal language suitable for the specification of this class of systems. In previous work, a translation from OBGG to PROMELA (the input language of the SPIN model checker) was defined, enabling the verification of OBGG models using SPIN. In this paper we extend this approach in two different ways: (1) the approach for property specification is improved, enabling to prove properties not only about possible OBGG derivations, but also about the internal state of involved objects; (2) an approach is defined to interpret PROMELA races as OBGG derivations, generating graphical counter-examples for properties that are not true for a given OBGG model. Another contribution of this paper is (3) the definition of a method for model checking partial systems (isolated objects or a set of objects) using an assume-guarantee approach. A gas station system modeled with OBGGs is used to illustrate the contributions.This work is partially sponsored by projects IQ-MObile (CNPq-Brazil/CNR-Italy) and PLATUS (CNPq).Osmar Marchi dos Santos is partially sponsored by CAPES-Brazil. 相似文献
99.
Costanzo GA Siccardi M Barychev V De Marchi A 《IEEE transactions on ultrasonics, ferroelectrics, and frequency control》2000,47(1):249-255
The high C-field Cs beam frequency standard is presently a working machine that is undergoing first evaluations. The projected 10(-14 ) accuracy goal is as yet unattained, mainly because of inadequate C-field uniformity and stability. An analysis of the projected possible C-field improvements and the consequent uncertainty is here reported. 相似文献
100.