全文获取类型
收费全文 | 2748篇 |
免费 | 172篇 |
国内免费 | 4篇 |
专业分类
电工技术 | 38篇 |
综合类 | 2篇 |
化学工业 | 753篇 |
金属工艺 | 45篇 |
机械仪表 | 69篇 |
建筑科学 | 109篇 |
矿业工程 | 1篇 |
能源动力 | 91篇 |
轻工业 | 276篇 |
水利工程 | 19篇 |
石油天然气 | 3篇 |
无线电 | 239篇 |
一般工业技术 | 417篇 |
冶金工业 | 165篇 |
原子能技术 | 19篇 |
自动化技术 | 678篇 |
出版年
2024年 | 6篇 |
2023年 | 49篇 |
2022年 | 149篇 |
2021年 | 179篇 |
2020年 | 82篇 |
2019年 | 76篇 |
2018年 | 117篇 |
2017年 | 71篇 |
2016年 | 134篇 |
2015年 | 88篇 |
2014年 | 128篇 |
2013年 | 207篇 |
2012年 | 183篇 |
2011年 | 235篇 |
2010年 | 146篇 |
2009年 | 153篇 |
2008年 | 151篇 |
2007年 | 126篇 |
2006年 | 106篇 |
2005年 | 81篇 |
2004年 | 66篇 |
2003年 | 56篇 |
2002年 | 44篇 |
2001年 | 23篇 |
2000年 | 27篇 |
1999年 | 29篇 |
1998年 | 45篇 |
1997年 | 35篇 |
1996年 | 36篇 |
1995年 | 15篇 |
1994年 | 19篇 |
1993年 | 9篇 |
1992年 | 9篇 |
1990年 | 2篇 |
1989年 | 6篇 |
1988年 | 4篇 |
1986年 | 1篇 |
1985年 | 2篇 |
1984年 | 1篇 |
1983年 | 3篇 |
1982年 | 4篇 |
1981年 | 2篇 |
1980年 | 5篇 |
1979年 | 4篇 |
1977年 | 1篇 |
1976年 | 5篇 |
1974年 | 1篇 |
1972年 | 1篇 |
1969年 | 1篇 |
1965年 | 1篇 |
排序方式: 共有2924条查询结果,搜索用时 31 毫秒
91.
Matteo Casadei Luca Gardelli Mirko Viroli 《Electronic Notes in Theoretical Computer Science》2007,175(2):59
Recent coordination languages and models are moving towards the application of techniques coming from the research context of complex systems: adaptivity and self-organization are exploited in order to tackle the openness, dynamism and unpredictability of today's distributed systems. In this area, systems are to be described using stochastic models, and simulation is a valuable tool both for analysis and design. Accordingly, in this work we focused on modelling and simulating emergent properties of coordination techniques.We first develop a framework acting as a general-purpose engine for simulating stochastic transition systems, built as a library for the Maude term rewriting system. We then evaluate this tool to a coordination problem called collective sort, where autonomous agents move tuples across different tuple spaces according to local criteria, and resulting in the emergence of the complete clustering property. 相似文献
92.
Aliaksei Kerhet Michele Magno Francesco Leonardi Andrea Boni Luca Benini 《Journal of Real-Time Image Processing》2007,2(4):331-342
In this paper we propose MicrelEye, a wireless video node for cooperative distributed video processing applications that involve
image classification. The node is equipped with a low-cost VGA CMOS image sensor, a reconfigurable processing engine (FPGA,
Microcontroller, SRAM) and a Bluetooth 100-m transceiver. It has a size of few cubic centimeters and its typical power consumption
is approximately ten times less than that of typical commercial DSP-based solutions. As regards classification, a highly optimized
hardware-oriented support vector machine-like (SVM-like) algorithm called ERSVM is proposed and implemented. We describe our
hardware and software architecture, its performance and power characteristics. The case study considered in this paper is
people detection. The obtained results suggest that the present technology allows for the design of simple intelligent video
nodes capable of performing classification tasks locally.
相似文献
Luca BeniniEmail: |
93.
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. 相似文献
94.
Gabriele Dono Raffaele Cortignani Luca Doro Luca Giraldo Luigi Ledda Massimiliano Pasqui Pier Paolo Roggero 《Water Resources Management》2013,27(10):3607-3622
Climate change is likely to have a profound effect on many agricultural variables, although the extent of its influence will vary over the course of the annual farm management cycle. Consequently, the effect of different and interconnected physical, technical and economic factors must be modeled in order to estimate the effects of climate change on agricultural productivity. Such modeling commonly makes use of indicators that summarize the among environmental factors that are considered when farmers plan their activities. This study uses net evapotranspiration (ETN), estimated using EPIC, as a proxy index for the physical factors considered by farmers when managing irrigation. Recent trends suggest that the probability distribution function of ETN may continue to change in the near future due to changes in the irrigation needs of crops. Also, water availability may continue to vary due to changes in the rainfall regime. The impacts of the uncertainties related to these changes on costs are evaluated using a Discrete Stochastic Programming model representing an irrigable Mediterranean area where limited water is supplied from a reservoir. In this context, adaptation to climate change can be best supported by improvements to the collective irrigation systems, rather than by measures aimed at individual farms such as those contained within the rural development policy. 相似文献
95.
96.
The problem of line breaking consists of finding the best way to split paragraphs into lines. It has been cleverly addressed by the total‐fit algorithm exposed by Knuth and Plass in a well‐known paper. Similarly, page‐breaking algorithms break the content flow of a document into page units. Formatting languages—such as the World Wide Web Consortium standard Extensible Stylesheet Language Formatting Objects (XSL‐FO)—allow users to set which content should be kept in the same page and how many isolated lines are acceptable at the beginning/end of each page. The strategies most formatters adopt to meet these requirements, however, are not satisfactory for many publishing contexts as they very often generate unpleasant empty areas. In that case, typographers are required to manually craft the results in order to completely fill pages. This paper presents a page‐breaking algorithm that extends the original Knuth and Plass line‐breaking approach and produces high‐quality documents without unwanted empty areas. The basic idea consists of delaying the definitive choice of breaks in the line‐breaking process in order to provide a larger set of alternatives to the actual pagination step. The algorithm also allows users to decide the set of properties to be adjusted for pagination and their variation ranges. An application of the algorithm to XSL‐FO is also presented, with an extension of the language that allows users to drive the pagination process. The tool, named FOP+, is a customized version of the open‐source Apache Formatting Objects Processor formatter. Copyright © 2011 John Wiley & Sons, Ltd. 相似文献
97.
In many applications, the properties of an object being modeled are stored as labels on vertices or edges of a graph. In this paper, we consider succinct representation of labeled graphs. Our main results are the succinct representations of labeled and multi-labeled graphs (we consider planar triangulations, planar graphs and k-page graphs) to support various label queries efficiently. The additional space cost to store the labels is essentially the information-theoretic minimum. As far as we know, our representations are the first succinct representations of labeled graphs. We also have two preliminary results to achieve the main contribution. First, we design a succinct representation of unlabeled planar triangulations to support the rank/select of edges in ccw (counter clockwise) order in addition to the other operations supported in previous work. Second, we design a succinct representation for a k-page graph when k is large to support various navigational operations more efficiently. In particular, we can test the adjacency of two vertices in O(lg?k) time, while previous work uses O(k) time. 相似文献
98.
C.C. Pavel D. Vuono P. De Luca N. Bilba J. B.Nagy A. Nastro 《Microporous and mesoporous materials》2005,80(1-3):263-268
Phosphorus containing ET(P)S-4 and ET(P)S-10 were synthesized from gels of composition xNa2O–0.6KF–0.2TiO2–(1.28 − 4y)xHCl–yP2O5–1.49SiO2–39.5H2O at 190 °C for 3 days. The XRD patterns are almost identical to the corresponding ETS samples. The presence of phosphorus in the initial gel influences the kinetic parameters of the crystallization process, the morphology and the size of the crystals. The 31P-NMR of the samples show that part of the phosphorus is attached at the siliceous surface as dihydrogenophosphate SiOPO(OH)2 groups and cannot be introduced in a tetrahedral or octahedral framework position. 相似文献
99.
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our logic includes spatial operations corresponding to composition, local name restriction, and a primitive fresh name quantifier. Properties can also be defined by recursion; a central aim of this paper is then the combination of a logical notion of freshness with inductive and coinductive definitions of properties. 相似文献
100.
Algorithms for Moving Objects Databases 总被引:8,自引:0,他引:8