全文获取类型
收费全文 | 9068篇 |
免费 | 484篇 |
国内免费 | 12篇 |
专业分类
电工技术 | 120篇 |
综合类 | 33篇 |
化学工业 | 2468篇 |
金属工艺 | 212篇 |
机械仪表 | 198篇 |
建筑科学 | 542篇 |
矿业工程 | 70篇 |
能源动力 | 285篇 |
轻工业 | 618篇 |
水利工程 | 77篇 |
石油天然气 | 9篇 |
无线电 | 747篇 |
一般工业技术 | 1829篇 |
冶金工业 | 503篇 |
原子能技术 | 43篇 |
自动化技术 | 1810篇 |
出版年
2024年 | 16篇 |
2023年 | 122篇 |
2022年 | 195篇 |
2021年 | 325篇 |
2020年 | 215篇 |
2019年 | 216篇 |
2018年 | 248篇 |
2017年 | 240篇 |
2016年 | 360篇 |
2015年 | 365篇 |
2014年 | 429篇 |
2013年 | 596篇 |
2012年 | 587篇 |
2011年 | 765篇 |
2010年 | 490篇 |
2009年 | 536篇 |
2008年 | 508篇 |
2007年 | 446篇 |
2006年 | 373篇 |
2005年 | 316篇 |
2004年 | 260篇 |
2003年 | 205篇 |
2002年 | 209篇 |
2001年 | 108篇 |
2000年 | 130篇 |
1999年 | 131篇 |
1998年 | 142篇 |
1997年 | 131篇 |
1996年 | 140篇 |
1995年 | 106篇 |
1994年 | 82篇 |
1993年 | 75篇 |
1992年 | 64篇 |
1991年 | 54篇 |
1990年 | 34篇 |
1989年 | 21篇 |
1988年 | 28篇 |
1987年 | 33篇 |
1986年 | 17篇 |
1985年 | 26篇 |
1984年 | 22篇 |
1983年 | 21篇 |
1982年 | 10篇 |
1981年 | 17篇 |
1980年 | 19篇 |
1978年 | 13篇 |
1977年 | 11篇 |
1976年 | 20篇 |
1975年 | 13篇 |
1971年 | 10篇 |
排序方式: 共有9564条查询结果,搜索用时 15 毫秒
71.
Nicolas Cuntz Andreas Kolb Robert Strzodka Daniel Weiskopf 《Computer Graphics Forum》2008,27(3):719-726
Typically, flow volumes are visualized by defining their boundary as iso‐surface of a level set function. Grid‐based level sets offer a good global representation but suffer from numerical diffusion of surface detail, whereas particle‐based methods preserve details more accurately but introduce the problem of unequal global representation. The particle level set (PLS) method combines the advantages of both approaches by interchanging the information between the grid and the particles. Our work demonstrates that the PLS technique can be adapted to volumetric dye advection via streak volumes, and to the visualization by time surfaces and path volumes. We achieve this with a modified and extended PLS, including a model for dye injection. A new algorithmic interpretation of PLS is introduced to exploit the efficiency of the GPU, leading to interactive visualization. Finally, we demonstrate the high quality and usefulness of PLS flow visualization by providing quantitative results on volume preservation and by discussing typical applications of 3D flow visualization. 相似文献
72.
Automatic Construction and Verification of Isotopy Invariants 总被引:1,自引:0,他引:1
Volker Sorge Andreas Meier Roy McCasland Simon Colton 《Journal of Automated Reasoning》2008,40(2-3):221-243
We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by
considering the isotopy equivalence relation. Isotopism is an important generalisation of isomorphism, and is studied by mathematicians in domains
such as loop theory. This extension was not straightforward, and we had to solve two major technical problems, namely, generating
and verifying isotopy invariants. Concentrating on the domain of loop theory, we have developed three novel techniques for
generating isotopic invariants, by using the notion of universal identities and by using constructions based on subblocks.
In addition, given the complexity of the theorems that verify that a conjunction of the invariants form an isotopy class,
we have developed ways of simplifying the problem of proving these theorems. Our techniques employ an interplay of computer
algebra, model generation, theorem proving, and satisfiability-solving methods. To demonstrate the power of the approach,
we generate isotopic classification theorems for loops of size 6 and 7, which extend the previously known enumeration results.
This work was previously beyond the capabilities of automated reasoning techniques.
The author’s work was supported by EPSRC MathFIT grant GR/S31099. 相似文献
73.
Mortensen Jesper Yu Insu Khanna Pankaj Tecchia Franco Spanlang Bernhard Marino Giuseppe Slater Mel 《Computer Graphics and Applications, IEEE》2008,28(6):56-64
Real-time global illumination in VR systems enhances scene realism by incorporating soft shadows, reflections of objects in the scene, and color bleeding. The Virtual Light Field (VLF) method enables real-time global illumination rendering in VR. The VLF has been integrated with the Extreme VR system for real-time GPU-based rendering in a Cave Automatic Virtual Environment. 相似文献
74.
75.
Andreas Ruh Adam-Mwanga Dieckmann Richard Heldele Volker Piotter Robert Ruprecht Christian Munzinger Jürgen Fleischer Jürgen Haußelt 《Microsystem Technologies》2008,14(12):1805-1811
In the field of micro-technology the production of metallic and ceramic micro-components by powder injection molding (PIM)
has become a more and more established fabrication method. But in order to fulfill the demand for more complex-shaped high-precision
micro-components further development work has to be performed. This is especially true if more efficient production routes
for multi-component-micro-assemblies consisting of different materials or sub-components are envisaged. To meet these challenges,
investigations are performed to realize and to establish two primary shape micro-processes. These are two-component micro-injection
molding (2C-MicroPIM) and sinter-joining. The realization of these technologies will lead to a markedly reduction of the efforts
for handling, adjustment, and assembling of metallic and ceramic micro-assemblies. Furthermore, an increased integration level
and functionality can be yielded. For an effective transfer of scientific results to industrial applications the whole process
chain must be considered, from development and construction of the tooling as well as of the components to the quality assurance
and determination of the properties of the assemblies after sintering. These primary shape processes shall enable the mutual
processing of different materials within the fabrication process, so avoiding separate mounting or assembling steps. Additionally
fixed and loose junctions between at least two components shall be realized. The progress in research and development will
be demonstrated especially by the implementation of shaft-to-collar connections between micro-gearwheels and corresponding
shafts. Regarding two-component micro-injection molding, the tool construction for shaft-to-collar connections will be presented
as well as first experimental results on the properties of selected ceramic powders and feedstocks for the special requirements
of the 2C-MicroPIM process. With the assembly step being performed outside the injection molding tool before sinter-joining
different parts and geometries can be combined quite easily. The presented article gives an overview on the concept and on
preliminary testing results for the fabrication of a shaft-to-collar-connection. Additionally, a solution for an automated
assembly of a shaft and a toothed wheel outside the injection molding tool is presented. 相似文献
76.
Andreas Petlund Paul Beskow Jon Pedersen Espen Søgård Paaby Carsten Griwodz Pål Halvorsen 《Multimedia Tools and Applications》2009,45(1-3):33-60
A large number of network services rely on IP and reliable transport protocols. For applications that provide abundant data for transmission, loss is usually handled satisfactorily, even if the application is latency-sensitive (Wang et al. 2004). For data streams where small packets are sent intermittently, however, applications can occasionally experience extreme latencies (Griwodz and Halvorsen 2006). As it is not uncommon that such thin-stream applications are time-dependent, any unnecessarily induced delay can have severe consequences for the service provided. Massively Multiplayer Online Games (MMOGs) are a defining example of thin streams. Many MMOGs (like World of Warcraft and Age of Conan) use TCP for the benefits of reliability, in-order delivery and NAT/firewall traversal. It has been shown that TCP has several shortcomings with respect to the latency requirements of thin streams because of the way it handles retransmissions (Griwodz and Halvorsen 2006). As such, an alternative to TCP may be SCTP (Stewart et al. 2000), which was originally developed to meet the requirements of signaling transport. In this paper, we evaluate the Linux-kernel SCTP implementation in the context of thin streams. To address the identified latency challenges, we propose sender-side only enhancements that reduce the application-layer latency in a manner that is compatible with unmodified receivers. These enhancements can be switched on by applications and are used only when the system identifies the stream as thin. To evaluate the latency performance, we have performed several tests over various real networks and over an emulated network, varying parameters like RTT, packet loss and amount of competing cross traffic. When comparing our modifications with SCTP on Linux and FreeBSD and TCP New Reno, our results show great latency improvements and indicate the need for a separate handling of thin and thick streams. 相似文献
77.
Klaus Dräger Bernd Finkbeiner Andreas Podelski 《International Journal on Software Tools for Technology Transfer (STTT)》2009,11(1):27-37
In directed model checking, the traversal of the state space is guided by an estimate of the distance from the current state
to the nearest error state. This paper presents a distance-preserving abstraction for concurrent systems that allows one to compute an interesting estimate of the error distance without hitting the state
explosion problem. Our experiments show a dramatic reduction both in the number of states explored by the model checker and
in the total runtime. 相似文献
78.
Hybrid systems are heterogeneous systems characterised by the interaction of discrete and continuous dynamics. We present a trajectory-based algebraic model for describing hybrid systems; the trajectories used are closely related to streams. The algebra is based on left quantales and left semirings and provides a new application for these algebraic structures. We show that hybrid automata, which are probably the standard tool for describing hybrid systems, can conveniently be embedded into our algebra. Moreover we point out some important advantages of the algebraic approach. In particular, we show how to handle Zeno effects, which are excluded by most other authors. The development of the theory is illustrated by a running example and a larger case study. 相似文献
79.
Today’s time-of-flight (TOF) sensors measure full-range distance information by estimating the elapsed time between emission and receiving of active light in real-time. Such sensors are inexpensive, compact, and they have a high performance, which especially fits real-time applications, e.g. in the fields of automotive, robotics, 3D imaging, and visualization. The simulation of such sensors is an essential building block for hardware design and application development. Therefore, the simulation data must capture the major sensor characteristics.This paper introduces a simulation approach, which is motivated by physics, for the Photonic Mixing Device (PMD) sensor which is a specific type of time-of-flight sensor. Dynamic motion blurring and resolution artifacts such as flying pixels as well as the typical deviation error are prominent effects of real world systems. Flying pixels arise when an area of inhomogeneous depth is covered by a single PMD-pixel whereas the deviation error is based on the anharmonic properties of the optical signal. The modeling of these artifacts is essential for an authentic simulation approach. We present a detailed comparison between a real PMD-device and the simulation data regarding the sensor characteristics.The proposed algorithms are implemented in a hardware accelerated solution which makes use of the programmability of modern Graphics Processing Units (GPUs). This way, an interactive simulation feedback is provided for applications and further data processing. The simulation takes place in real-time and thus all required control mechanisms are accessible in real-time, too. 相似文献
80.
Andreas Waldenspuhl 《Datenschutz und Datensicherheit - DuD》2009,33(7):431-438