全文获取类型
收费全文 | 2660篇 |
免费 | 148篇 |
国内免费 | 7篇 |
专业分类
电工技术 | 43篇 |
综合类 | 3篇 |
化学工业 | 488篇 |
金属工艺 | 54篇 |
机械仪表 | 26篇 |
建筑科学 | 248篇 |
矿业工程 | 9篇 |
能源动力 | 107篇 |
轻工业 | 270篇 |
水利工程 | 27篇 |
石油天然气 | 2篇 |
无线电 | 130篇 |
一般工业技术 | 447篇 |
冶金工业 | 483篇 |
原子能技术 | 3篇 |
自动化技术 | 475篇 |
出版年
2023年 | 25篇 |
2022年 | 38篇 |
2021年 | 43篇 |
2020年 | 41篇 |
2019年 | 66篇 |
2018年 | 71篇 |
2017年 | 73篇 |
2016年 | 76篇 |
2015年 | 79篇 |
2014年 | 111篇 |
2013年 | 175篇 |
2012年 | 140篇 |
2011年 | 204篇 |
2010年 | 140篇 |
2009年 | 121篇 |
2008年 | 127篇 |
2007年 | 132篇 |
2006年 | 115篇 |
2005年 | 82篇 |
2004年 | 80篇 |
2003年 | 57篇 |
2002年 | 50篇 |
2001年 | 47篇 |
2000年 | 36篇 |
1999年 | 37篇 |
1998年 | 137篇 |
1997年 | 87篇 |
1996年 | 70篇 |
1995年 | 43篇 |
1994年 | 31篇 |
1993年 | 37篇 |
1992年 | 16篇 |
1991年 | 19篇 |
1990年 | 15篇 |
1989年 | 18篇 |
1988年 | 10篇 |
1987年 | 11篇 |
1986年 | 9篇 |
1985年 | 10篇 |
1984年 | 21篇 |
1983年 | 7篇 |
1982年 | 7篇 |
1981年 | 15篇 |
1980年 | 8篇 |
1979年 | 11篇 |
1977年 | 15篇 |
1976年 | 22篇 |
1975年 | 8篇 |
1973年 | 4篇 |
1972年 | 4篇 |
排序方式: 共有2815条查询结果,搜索用时 15 毫秒
61.
We have implemented a compiler for key parts of Modelica, an object-oriented language supporting equation-based modeling and simulation of complex physical systems. The compiler is extensible, to support experiments with emerging tools for physical models. To achieve extensibility, the implementation is done declaratively in JastAdd, a metacompilation system supporting modern attribute grammar mechanisms such as reference attributes and nonterminal attributes.This paper reports on experiences from this implementation. For name and type analyses, we illustrate how declarative design strategies, originally developed for a Java compiler, could be reused to support Modelica’s advanced features of multiple inheritance and structural subtyping. Furthermore, we present new general design strategies for declarative generation of target ASTs from source ASTs. We illustrate how these strategies are used to resolve a generics-like feature of Modelica called modifications, and to support flattening, a fundamental part of Modelica compilation. To validate that the approach is practical, we have compared the execution speed of our compiler to two existing Modelica compilers. 相似文献
62.
Animated meshes are often represented by a sequence of static meshes with constant connectivity. Due to their frame-based representation they usually occupy a vast amount of bandwidth or disk space. We present a fast and efficient scalable predictive coding (SPC) scheme for frame-based representations of animated meshes. SPC decomposes animated meshes in spatial and temporal layers which are efficiently encoded in one pass through the animation. Coding is performed in a streamable and scalable fashion. Dependencies between neighbouring spatial and temporal layers are predictively exploited using the already encoded spatio-temporal neighbourhood. Prediction is performed in the space of rotation-invariant coordinates compensating local rigid motion. SPC supports spatial and temporal scalability, and it enables efficient compression as well as fast encoding and decoding. Parts of SPC were adopted in the MPEG-4 FAMC standard. However, SPC significantly outperforms the streaming mode of FAMC with coding gains of over 33%, while in comparison to the scalable FAMC, SPC achieves coding gains of up to 15%. SPC has the additional advantage over FAMC of achieving real-time encoding and decoding rates while having only low memory requirements. Compared to some other non-scalable state-of-the-art approaches, SPC shows superior compression performance with gains of over 16% in bit-rate. 相似文献
63.
We consider interconnections of locally input-to-state stable (LISS) systems. The class of LISS systems is quite large, in particular it contains input-to-state stable (ISS) and integral input-to-state stable (iISS) systems.Local small-gain conditions both for LISS trajectory and Lyapunov formulations guaranteeing LISS of the composite system are provided in this paper. Notably, estimates for the resulting stability region of the composite system are also given. This in particular provides an advantage over the linearization approach, as will be discussed. 相似文献
64.
With motivation from considerations in XML database theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position, a symbol and a data value from an infinite domain. Previous work has shown that it is difficult to come up with an expressive yet decidable automaton model for data languages. Recently, such a model, data automata, was introduced. This paper introduces a simpler but equivalent model and investigates its expressive power, algorithmic and closure properties, and some extensions. 相似文献
65.
D. Bjørner 《Cybernetics and Systems Analysis》2010,46(4):609-623
In this paper, we wish to advocate that departments of computer science put emphasis on teaching programming and software
engineering based on formal methods; and more emphasis on research into formal methods for the trustworthy development of
software. We also wish to advocate that the concepts of domain science and domain engineering become an indispensable part
of the science of informatics and of software engineering. 相似文献
66.
Jürgen Bernard Jan Brase Dieter Fellner Oliver Koepler Jörn Kohlhammer Tobias Ruppert Tobias Schreck Irina Sens 《International Journal on Digital Libraries》2010,11(2):111-123
Digital Library support for textual and certain types of non-textual documents has significantly advanced over the last years.
While Digital Library support implies many aspects along the whole library workflow model, interactive and visual retrieval
allowing effective query formulation and result presentation are important functions. Recently, new kinds of non-textual documents
which merit Digital Library support, but yet cannot be fully accommodated by existing Digital Library technology, have come
into focus. Scientific data, as produced for example, by scientific experimentation, simulation or observation, is such a
document type. In this article we report on a concept and first implementation of Digital Library functionality for supporting
visual retrieval and exploration in a specific important class of scientific primary data, namely, time-oriented research
data. The approach is developed in an interdisciplinary effort by experts from the library, natural sciences, and visual analytics
communities. In addition to presenting the concept and to discussing relevant challenges, we present results from a first
implementation of our approach as applied on a real-world scientific primary data set. We also report from initial user feedback
obtained during discussions with domain experts from the earth observation sciences, indicating the usefulness of our approach. 相似文献
67.
Kjell Ivar Øvergård Cato Alexander Bjørkli Bjarte Knappen Røed Thomas Hoff 《Cognition, Technology & Work》2010,12(3):163-179
This article investigates the relationship between the control situation framework, as presented by Bjørkli et al. (Cogn Technol Work 9:67–80, 2007), and observed operator action and communication in high-speed craft operation in the Norwegian Royal Navy. The reported data include two series of events during sailing in the Norwegian archipelago where uncertainty of ship position, challenges of manoeuvring and navigation strategies are addressed. The results indicate that the navigators perform actions and communicate in accordance with the key features of the control situation framework, and thus adapt to the interrelation between control possibilities and control requirements. The navigators were guided by explicit knowledge of the functional characteristics of psychical and temporal dynamics, which were actualized in manoeuvring. It indicates that the control situation framework can be used to describe the models the operators use. 相似文献
68.
69.
Incremental Linear Discriminant Analysis Using Sufficient Spanning Sets and Its Applications 总被引:1,自引:0,他引:1
Tae-Kyun Kim Björn Stenger Josef Kittler Roberto Cipolla 《International Journal of Computer Vision》2011,91(2):216-232
This paper presents an incremental learning solution for Linear Discriminant Analysis (LDA) and its applications to object
recognition problems. We apply the sufficient spanning set approximation in three steps i.e. update for the total scatter matrix, between-class scatter matrix and the projected data
matrix, which leads an online solution which closely agrees with the batch solution in accuracy while significantly reducing
the computational complexity. The algorithm yields an efficient solution to incremental LDA even when the number of classes
as well as the set size is large. The incremental LDA method has been also shown useful for semi-supervised online learning.
Label propagation is done by integrating the incremental LDA into an EM framework. The method has been demonstrated in the
task of merging large datasets which were collected during MPEG standardization for face image retrieval, face authentication
using the BANCA dataset, and object categorisation using the Caltech101 dataset. 相似文献
70.
We introduce a class of tree bimorphisms that define exactly the translations performed by syntax-directed translation schemata. We also show that these “quasi-alphabetic” tree bimorphisms preserve recognizability, and that their class is closed under composition and inverses. 相似文献