全文获取类型
收费全文 | 6888篇 |
免费 | 234篇 |
国内免费 | 13篇 |
专业分类
电工技术 | 154篇 |
综合类 | 11篇 |
化学工业 | 1692篇 |
金属工艺 | 122篇 |
机械仪表 | 172篇 |
建筑科学 | 357篇 |
矿业工程 | 24篇 |
能源动力 | 220篇 |
轻工业 | 733篇 |
水利工程 | 74篇 |
石油天然气 | 17篇 |
无线电 | 508篇 |
一般工业技术 | 980篇 |
冶金工业 | 932篇 |
原子能技术 | 90篇 |
自动化技术 | 1049篇 |
出版年
2023年 | 61篇 |
2022年 | 138篇 |
2021年 | 154篇 |
2020年 | 132篇 |
2019年 | 138篇 |
2018年 | 149篇 |
2017年 | 145篇 |
2016年 | 161篇 |
2015年 | 148篇 |
2014年 | 224篇 |
2013年 | 373篇 |
2012年 | 318篇 |
2011年 | 392篇 |
2010年 | 275篇 |
2009年 | 249篇 |
2008年 | 282篇 |
2007年 | 240篇 |
2006年 | 233篇 |
2005年 | 164篇 |
2004年 | 171篇 |
2003年 | 155篇 |
2002年 | 147篇 |
2001年 | 94篇 |
2000年 | 92篇 |
1999年 | 96篇 |
1998年 | 166篇 |
1997年 | 147篇 |
1996年 | 98篇 |
1995年 | 97篇 |
1994年 | 86篇 |
1993年 | 75篇 |
1992年 | 61篇 |
1991年 | 51篇 |
1990年 | 69篇 |
1989年 | 71篇 |
1988年 | 55篇 |
1987年 | 69篇 |
1986年 | 62篇 |
1985年 | 77篇 |
1984年 | 71篇 |
1983年 | 74篇 |
1982年 | 58篇 |
1981年 | 50篇 |
1979年 | 51篇 |
1978年 | 64篇 |
1977年 | 64篇 |
1976年 | 71篇 |
1975年 | 56篇 |
1974年 | 55篇 |
1973年 | 61篇 |
排序方式: 共有7135条查询结果,搜索用时 15 毫秒
121.
Amador Durán David Benavides Sergio Segura Pablo Trinidad Antonio Ruiz-Cortés 《Software and Systems Modeling》2017,16(4):1049-1082
In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations was identified as the most relevant challenge in the field. This formalization could provide very valuable assets for tool developers such as a precise definition of the analysis operations and, what is more, a reference implementation, i.e., a trustworthy, not necessarily efficient implementation to compare different tools outputs. In this article, we present the FLAME framework as the result of facing this challenge. FLAME is a formal framework that can be used to formally specify not only feature models, but other variability modeling languages (VML s) as well. This reusability is achieved by its two-layered architecture. The abstract foundation layer is the bottom layer in which all VML-independent analysis operations and concepts are specified. On top of the foundation layer, a family of characteristic model layers—one for each VML to be formally specified—can be developed by redefining some abstract types and relations. The verification and validation of FLAME has followed a process in which formal verification has been performed traditionally by manual theorem proving, but validation has been performed by integrating our experience on metamorphic testing of variability analysis tools, something that has shown to be much more effective than manually designed test cases. To follow this automated, test-based validation approach, the specification of FLAME, written in Z, was translated into Prolog and 20,000 random tests were automatically generated and executed. Tests results helped to discover some inconsistencies not only in the formal specification, but also in the previous informal definitions of the analysis operations and in current analysis tools. After this process, the Prolog implementation of FLAME is being used as a reference implementation for some tool developers, some analysis operations have been formally specified for the first time with more generic semantics, and more VML s are being formally specified using FLAME. 相似文献
122.
Sergio M. Davis Anatoly B. Belonoshko Börje Johansson 《Computer Physics Communications》2011,(5):1105-1110
We present an implementation of a stochastic optimization algorithm applied to location of atomic vacancies. Our method labels an empty point in space as a vacancy site, if the total spatial overlap of a “virtual sphere”, centered around the point, with the surrounding atoms (and other vacancies) falls below a tolerance parameter. A Metropolis-like algorithm displaces the vacancies randomly, using an “overlap temperature” parameter to allow for acceptance of moves into regions with higher overlap, thus avoiding local minima. Once the algorithm has targeted a point with low overlap, the overlap temperature is decreased, and the method works as a steepest descent optimization.Our method, with only two free parameters, is able to detect the correct number and coordinates of vacancies in a wide spectrum of condensed-matter systems, from crystals to amorphous solids, in fact in any given set of atomic coordinates, without any need of comparison with a reference initial structure. 相似文献
123.
The failure detector class Omega (Ω) provides an eventual leader election functionality, i.e., eventually all correct processes permanently trust the same correct process. An algorithm is communication-efficient if the number of links that carry messages forever is bounded by n, being n the number of processes in the system. It has been defined that an algorithm is crash-quiescent if it eventually stops sending messages to crashed processes. In this regard, it has been recently shown the impossibility of implementing Ω crash quiescently without a majority of correct processes. We say that the membership is unknown if each process pi only knows its own identity and the number of processes in the system (that is, i and n), but pi does not know the identity of the rest of processes of the system. There is a type of link (denoted by ADD link) in which a bounded (but unknown) number of consecutive messages can be delayed or lost.In this work we present the first implementation (to our knowledge) of Ω in partially synchronous systems with ADD links and with unknown membership. Furthermore, it is the first implementation of Ω that combines two very interesting properties: communication-efficiency and crash-quiescence when the majority of processes are correct. Finally, we also obtain with the same algorithm a failure detector () such that every correct process eventually and permanently outputs the set of all correct processes. 相似文献
124.
Correcting design decay in source code is not a trivial task. Diagnosing and subsequently correcting inconsistencies between a software system’s code and its design rules (e.g., database queries are only allowed in the persistence layer) and coding conventions can be complex, time-consuming and error-prone. Providing support for this process is therefore highly desirable, but of a far greater complexity than suggesting basic corrective actions for simplistic implementation problems (like the “declare a local variable for non-declared variable” suggested by Eclipse).We present an abductive reasoning approach to inconsistency correction that consists of (1) a means for developers to document and verify a system’s design and coding rules, (2) an abductive logic reasoner that hypothesizes possible causes of inconsistencies between the system’s code and the documented rules and (3) a library of corrective actions for each hypothesized cause. This work builds on our previous work, where we expressed design rules as equality relationships between sets of source code artifacts (e.g., the set of methods in the persistence layer is the same as the set of methods that query the database). In this paper, we generalize our approach to design rules expressed as user-defined binary relationships between two sets of source code artifacts (e.g., every state changing method should invoke a persistence method).We illustrate our approach on the design of IntensiVE, a tool suite that enables defining sets of source code artifacts intensionally (by means of logic queries) and verifying relationships between such sets. 相似文献
125.
Bettina Fazzinga Sergio Flesca Andrea Tagarelli 《Knowledge and Information Systems》2011,26(1):127-173
An effective solution to automate information extraction from Web pages is represented by wrappers. A wrapper associates a Web page with an XML document that represents part of the information in that page in a machine-readable
format. Most existing wrapping approaches have traditionally focused on how to generate extraction rules, while they have
ignored potential benefits deriving from the use of the schema of the information being extracted in the wrapper evaluation. In this paper, we investigate how the schema of extracted information
can be effectively used in both the design and evaluation of a Web wrapper. We define a clean declarative semantics for schema-based wrappers by introducing the notion of (preferred) extraction model, which is essential to compute a valid XML document containing
the information extracted from a Web page. We developed the SCRAP (SChema-based wRAPper for web data) system for the proposed schema-based wrapping approach, which also provides visual support tools to the wrapper designer.
Moreover, we present a wrapper generalization framework to profitably speed up the design of schema-based wrappers. Experimental
evaluation has shown that SCRAP wrappers are not only able to successfully extract the required data, but also they are robust
to changes that may occur in the source Web pages. 相似文献
126.
A novel classifier is introduced to overcome the limitations of the k-NN classification systems. It estimates the posterior class probabilities using a local Parzen window estimation with the k-nearest-neighbour prototypes (in the Euclidean sense) to the pattern to classify. A learning algorithm is also presented to reduce the number of data points to store. Experimental results in two hand-written classification problems demonstrate the potential of the proposed classification system. 相似文献
127.
Entanglement of formation and concurrence for mixed states 总被引:1,自引:0,他引:1
Xiuhong Gao Albeverio Sergio Kai Chen Shaoming Fei Xianqing Li-Jost 《Frontiers of Computer Science in China》2008,2(2):114-128
We review some results on analytical computations of the measures for quantum entanglement: entanglement of formation and
concurrence. We introduce some estimations of the lower bounds for the entanglement of formation in bipartite mixed states,
and of lower bounds for the concurrence in bipartite and tripartite systems. The results on lower bounds for the concurrence
are also generalized to arbitrary multipartite systems. 相似文献
128.
Software Architectures for Reducing Priority Inversion and Non-determinism in Real-time Object Request Brokers 总被引:8,自引:0,他引:8
Schmidt Douglas C. Mungee Sumedh Flores-Gaitan Sergio Gokhale Aniruddha 《Real-Time Systems》2001,21(1-2):77-125
There is increasing demand to extend Object RequestBroker (ORB) middleware to support distributed applications withstringent real-time requirements. However, conventional ORB implementations,such as CORBA ORBs, exhibit substantial priority inversion andnon-determinism, which makes them unsuitable for applicationswith deterministic real-time requirements. This paper providestwo contributions to the study and design of real-time ORB middleware.First, it illustrates empirically why conventional ORBs do notyet support real-time quality of service. Second, it evaluatesconnection and concurrency software architectures to identifystrategies that reduce priority inversion and non-determinismin real-time CORBA ORBs. The results presented in this paperdemonstrate the feasibility of using standard OO middleware likeCORBA to support certain types of real-time applications overthe Internet. 相似文献
129.
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. 相似文献
130.
A novel technique for the quantification of the iron content of copper precipitates in ferritic steels is presented. Energy-filtered (EF) imaging has been used to extract elemental maps with high spatial resolution. These maps contain enough information to attempt the quantification of the signal produced by the precipitates when either a line profile is measured across them or the whole image signal is integrated. Assumptions such as sphericity of the precipitates and composition variations are discussed. Special attention to the assessment of drift on the information extracted from EF images has been taken. Minimum detectability and optimum acquisition conditions are discussed. 相似文献