全文获取类型
收费全文 | 2597篇 |
免费 | 146篇 |
国内免费 | 3篇 |
专业分类
电工技术 | 31篇 |
综合类 | 5篇 |
化学工业 | 700篇 |
金属工艺 | 37篇 |
机械仪表 | 43篇 |
建筑科学 | 118篇 |
矿业工程 | 10篇 |
能源动力 | 105篇 |
轻工业 | 188篇 |
水利工程 | 28篇 |
石油天然气 | 5篇 |
无线电 | 229篇 |
一般工业技术 | 470篇 |
冶金工业 | 159篇 |
原子能技术 | 9篇 |
自动化技术 | 609篇 |
出版年
2024年 | 4篇 |
2023年 | 43篇 |
2022年 | 142篇 |
2021年 | 133篇 |
2020年 | 80篇 |
2019年 | 82篇 |
2018年 | 101篇 |
2017年 | 84篇 |
2016年 | 104篇 |
2015年 | 88篇 |
2014年 | 116篇 |
2013年 | 191篇 |
2012年 | 143篇 |
2011年 | 227篇 |
2010年 | 141篇 |
2009年 | 136篇 |
2008年 | 176篇 |
2007年 | 118篇 |
2006年 | 108篇 |
2005年 | 72篇 |
2004年 | 49篇 |
2003年 | 56篇 |
2002年 | 37篇 |
2001年 | 31篇 |
2000年 | 31篇 |
1999年 | 23篇 |
1998年 | 55篇 |
1997年 | 45篇 |
1996年 | 28篇 |
1995年 | 19篇 |
1994年 | 16篇 |
1993年 | 11篇 |
1992年 | 6篇 |
1991年 | 3篇 |
1990年 | 4篇 |
1989年 | 5篇 |
1988年 | 8篇 |
1987年 | 2篇 |
1986年 | 1篇 |
1985年 | 3篇 |
1983年 | 1篇 |
1982年 | 6篇 |
1981年 | 2篇 |
1980年 | 4篇 |
1978年 | 3篇 |
1977年 | 3篇 |
1976年 | 1篇 |
1975年 | 2篇 |
1970年 | 2篇 |
排序方式: 共有2746条查询结果,搜索用时 15 毫秒
51.
Unal G Yezzi A Soatto S Slabaugh G 《IEEE transactions on pattern analysis and machine intelligence》2007,29(8):1322-1338
This paper addresses the problem of calibrating camera parameters using variational methods. One problem addressed is the severe lens distortion in low-cost cameras. For many computer vision algorithms aiming at reconstructing reliable representations of 3D scenes, the camera distortion effects will lead to inaccurate 3D reconstructions and geometrical measurements if not accounted for. A second problem is the color calibration problem caused by variations in camera responses that result in different color measurements and affects the algorithms that depend on these measurements. We also address the extrinsic camera calibration that estimates relative poses and orientations of multiple cameras in the system and the intrinsic camera calibration that estimates focal lengths and the skew parameters of the cameras. To address these calibration problems, we present multiview stereo techniques based on variational methods that utilize partial and ordinary differential equations. Our approach can also be considered as a coordinated refinement of camera calibration parameters. To reduce computational complexity of such algorithms, we utilize prior knowledge on the calibration object, making a piecewise smooth surface assumption, and evolve the pose, orientation, and scale parameters of such a 3D model object without requiring a 2D feature extraction from camera views. We derive the evolution equations for the distortion coefficients, the color calibration parameters, the extrinsic and intrinsic parameters of the cameras, and present experimental results. 相似文献
52.
The multimod application framework: a rapid application development tool for computer aided medicine 总被引:1,自引:0,他引:1
Viceconti M Zannoni C Testi D Petrone M Perticoni S Quadrani P Taddei F Imboden S Clapworthy G 《Computer methods and programs in biomedicine》2007,85(2):138-151
This paper describes a new application framework (OpenMAF) for rapid development of multimodal applications in computer-aided medicine. MAF applications are multimodal in data, in representation, and in interaction. The framework supports almost any type of biomedical data, including DICOM datasets, motion-capture recordings, or data from computer simulations (e.g. finite element modeling). The interactive visualization approach (multimodal display) helps the user interpret complex datasets, providing multiple representations of the same data. In addition, the framework allows multimodal interaction by supporting the simultaneous use of different input-output devices like 3D trackers, stereoscopic displays, haptics hardware and speech recognition/synthesis systems. The Framework has been designed to run smoothly even on limited power computers, but it can take advantage of all hardware capabilities. The Framework is based on a collection of portable libraries and it can be compiled on any platform that supports OpenGL, including Windows, MacOS X and any flavor of Unix/linux. 相似文献
53.
Aguzzoli Stefano; Busaniche Manuela; Marra Vincenzo 《Journal of Logic and Computation》2007,17(4):749-765
We establish a categorical duality for the finitely generatedLindenbaum-Tarski algebras of propositional nilpotent minimumlogic. The latter's conjunction is semantically interpretedby a left-continuous (but not continuous) triangular norm; implicationis obtained through residuation. Our duality allows one to transferto nilpotent minimum logic several known results about inutitionisticlogic with the prelinearity axiom (also called Gödel-Dummettlogic), mutatis mutandis. We give several such applications. 相似文献
54.
55.
Algorithmic and architectural design for real-time and power-efficient Retinex image/video processing 总被引:1,自引:1,他引:0
Sergio Saponara Luca Fanucci Stefano Marsi Giovanni Ramponi 《Journal of Real-Time Image Processing》2007,1(4):267-283
This paper presents novel algorithmic and architectural solutions for real-time and power-efficient enhancement of images
and video sequences. A programmable class of Retinex-like filters, based on the separation of the illumination and reflectance
components, is proposed. The dynamic range of the input image is controlled by applying a suitable non-linear function to
the illumination, while the details are enhanced by processing the reflectance. An innovative spatially recursive rational
filter is used to estimate the illumination. Moreover, to improve the visual quality results of two-branch Retinex operators
when applied to videos, a novel three-branch technique is proposed which exploits both spatial and temporal filtering. Real-time
implementation is obtained by designing an Application Specific Instruction-set Processor (ASIP). Optimizations are addressed
at algorithmic and architectural levels. The former involves arithmetic accuracy definition and linearization of non-linear
operators; the latter includes customized instruction set, dedicated memory structure, adapted pipeline, bypasses, custom
address generator, and special looping structures. The ASIP is synthesized in standard-cells CMOS technology and its performances
are compared to known Digital signal processor (DSP) implementations of real-time Retinex filters. As a result of the comparison,
the proposed algorithmic/architectural design outperforms state-of-art Retinex-like operators achieving the best trade-off
between power consumption, flexibility, and visual quality.
Sergio Saponara is a Research Scientist and Assistant Professor at the University of Pisa. He was born in Bari, Italy, in 1975. He received the Electronic Engineering degree cum laude and the Ph.D. in Information Engineering, both from Pisa University, in 1999 and 2003, respectively. Since 2001 he collaborates with Consorzio Pisa Ricerche, Italy and in 2002 he was with IMEC, Belgium as Marie Curie research fellow. His research and teaching interests include electronic circuits and systems for multimedia, telecom and automation. He co-authored more than 40 papers including journals, conferences and patents. Luca Fanucci is Associate Professor of Microelectronics at the University of Pisa. He was born in Montecatini, Italy, in 1965. He received the Doctor Engineer degree and the Ph.D. in Electronic Engineering from the University of Pisa in 1992 and 1996, respectively. From 1992 to 1996, he was with the European Space Agency's Research and Technology Center, Noordwijk, The Netherlands, and from 1996 to 2004 he was a Research Scientist of the Italian National Research Council in Pisa. His research interests include design technologies for integrated circuits and systems, with emphasis on system-level design, hardware/software co-design and low-power. He co-authored more than 100 journal/conference papers and holds more than 10 patents. Stefano Marsi was born in Trieste, Italy, in 1963. He received the Doctor Engineer degree in Electronic Engineering (summa cum laude) in 1990 and the Ph.D. degree in 1994. Since 1995 he has held the position of researcher in the Department of Electronics at the University of Trieste where he is the teacher of courses in electronic field. His research interests include non-linear operators for image and video processing and their realization through application specific electronics circuits. He is author or co-author of more than 40 papers in international journals, proceedings of international conferences or contributions in books. Giovanni Ramponi is Professor of Electronics at the Department of Electronics of the University of Trieste, Italy. His research interests include nonlinear digital signal processing, and the enhancement and feature extraction in images and image sequences. Prof. Ramponi has been an Associate Editor of the IEEE Signal Processing Letters and of the IEEE Transactions on Image Processing; presently is an AE of the SPIE Journal of Electronic Imaging. He has participated in various EU and National Research Projects. He is the co-inventor of various pending international patents and has published more than 140 papers in international journals and conference proceedings, and as book chapters. Prof. Ramponi contributes to several undergraduate and graduate courses on digital signal processing. 相似文献
Giovanni RamponiEmail: |
Sergio Saponara is a Research Scientist and Assistant Professor at the University of Pisa. He was born in Bari, Italy, in 1975. He received the Electronic Engineering degree cum laude and the Ph.D. in Information Engineering, both from Pisa University, in 1999 and 2003, respectively. Since 2001 he collaborates with Consorzio Pisa Ricerche, Italy and in 2002 he was with IMEC, Belgium as Marie Curie research fellow. His research and teaching interests include electronic circuits and systems for multimedia, telecom and automation. He co-authored more than 40 papers including journals, conferences and patents. Luca Fanucci is Associate Professor of Microelectronics at the University of Pisa. He was born in Montecatini, Italy, in 1965. He received the Doctor Engineer degree and the Ph.D. in Electronic Engineering from the University of Pisa in 1992 and 1996, respectively. From 1992 to 1996, he was with the European Space Agency's Research and Technology Center, Noordwijk, The Netherlands, and from 1996 to 2004 he was a Research Scientist of the Italian National Research Council in Pisa. His research interests include design technologies for integrated circuits and systems, with emphasis on system-level design, hardware/software co-design and low-power. He co-authored more than 100 journal/conference papers and holds more than 10 patents. Stefano Marsi was born in Trieste, Italy, in 1963. He received the Doctor Engineer degree in Electronic Engineering (summa cum laude) in 1990 and the Ph.D. degree in 1994. Since 1995 he has held the position of researcher in the Department of Electronics at the University of Trieste where he is the teacher of courses in electronic field. His research interests include non-linear operators for image and video processing and their realization through application specific electronics circuits. He is author or co-author of more than 40 papers in international journals, proceedings of international conferences or contributions in books. Giovanni Ramponi is Professor of Electronics at the Department of Electronics of the University of Trieste, Italy. His research interests include nonlinear digital signal processing, and the enhancement and feature extraction in images and image sequences. Prof. Ramponi has been an Associate Editor of the IEEE Signal Processing Letters and of the IEEE Transactions on Image Processing; presently is an AE of the SPIE Journal of Electronic Imaging. He has participated in various EU and National Research Projects. He is the co-inventor of various pending international patents and has published more than 140 papers in international journals and conference proceedings, and as book chapters. Prof. Ramponi contributes to several undergraduate and graduate courses on digital signal processing. 相似文献
56.
Costanzi S Vincenzetti S Cristalli G Vita A 《Journal of molecular graphics & modelling》2006,25(1):10-16
Cytidine deaminase (CDA) is a cytosolic metalloprotein whose functional unit can be either a homotetramer (T-CDA) or a homodimer (D-CDA), depending on the species. In 1994, the first crystal structure of the dimeric Escherichia coli CDA has been published. However, a crystal structure of a tetrameric CDA was not determined until 2002. Prior to the disclosure of the experimentally elucidated structure of a tetrameric CDA, we derived a homology model of the human T-CDA employing the crystal structure of the dimeric E. coli CDA as a template. The comparison of our theoretical model with the crystal structure of the human T-CDA, subsequently published in 2004, validates our prediction: not only of the structural features of the monomer and the details of the binding site, but also the multimeric arrangement of the subunits were determined with high accuracy in our model. By means of a phylogenetic analysis conducted on CDAs from various organisms, we demonstrate that the E. coli CDA is one of the furthest known homologues of the human enzyme. Nonetheless, despite the evolutionary distance and, more importantly, the different multimeric arrangement of their functional units, the E. coli CDA proved to have all the necessary information to accurately infer the structure of its human homologue. 相似文献
57.
58.
We consider devices equipped with multiple wired or wireless interfaces. By switching of various interfaces, each device might establish several connections. A connection is established when the devices at its endpoints share at least one active interface. Each interface is assumed to require an activation cost. In this paper, we consider two basic networking problems in the field of multi-interface networks. The first one, known as the Coverage problem, requires to establish the connections defined by a network. The second one, known as Connectivity problem, requires to guarantee a connecting path between any pair of nodes of a network. Both are subject to the constraint of keeping as low as possible the maximum cost set of active interfaces at each single node. We study the problems of minimizing the maximum cost set of active interfaces among the nodes of the network in order to cover all the edges in the first case, or to ensure connectivity in the second case. We prove that the Coverage problem is NP-hard for any fixed Δ≥5 and k≥16, with Δ being the maximum degree, and k being the number of different interfaces among the network. We also show that, unless P=NP, the problem cannot be approximated within a factor of ηln?Δ, for a certain constant η. We then provide a general approximation algorithm which guarantees a factor of O((1+b)ln?Δ), with b being a parameter depending on the topology of the input graph. Interestingly, b can be bounded by a constant for many graph classes. Other approximation and exact algorithms for special cases are presented. Concerning the Connectivity problem, we prove that it is NP-hard for any fixed Δ≥3 and k≥10. Also for this problem, the inapproximability result holds, that is, unless P=NP, the problem cannot be approximated within a factor of ηln?Δ, for a certain constant η. We then provide approximation and exact algorithms for the general problem and for special cases, respectively. 相似文献
59.
A separation result for some kind of global stabilization via output feedback of a class of nonlinear systems, under the form of some stabilizability by state feedback on the one hand, and some unboundedness observability on the other hand is presented. They allow to design, for any domain of output initial condition, some dynamic output feedback controller achieving global stability. It is also highlighted how disturbance attenuation can further be achieved on the same basis. As an example, the proposed conditions are shown to be satisfied by the class of so-called Euler-Lagrange systems, for which a tracking output feedback control law is thus proposed. 相似文献
60.
Nicola Mazzocca Stefano Russo Valeria VittoriniAuthor vitae 《Journal of Systems Architecture》1997,43(10):671-685
This paper describes a real-world case study in the specification and analysis of dependable distributed systems. The case study is an automated transport system with safety requirements. In order to manage the complexity of the problem of specifying the dynamic behavior of the whole system, a compositional approach is used, based on the integration of the trace logic of the Communicating Sequential Processes (CSP) theory, and stochastic Petri nets (SPNs). It is argued that the integration of different formal methods is a useful approach in the definition of practical engineering methodologies for the specification, design and analysis of complex dependable distributed systems. 相似文献