全文获取类型
收费全文 | 6908篇 |
免费 | 403篇 |
国内免费 | 6篇 |
专业分类
电工技术 | 98篇 |
综合类 | 28篇 |
化学工业 | 1947篇 |
金属工艺 | 183篇 |
机械仪表 | 152篇 |
建筑科学 | 416篇 |
矿业工程 | 39篇 |
能源动力 | 243篇 |
轻工业 | 464篇 |
水利工程 | 42篇 |
石油天然气 | 5篇 |
无线电 | 603篇 |
一般工业技术 | 1476篇 |
冶金工业 | 282篇 |
原子能技术 | 38篇 |
自动化技术 | 1301篇 |
出版年
2024年 | 14篇 |
2023年 | 101篇 |
2022年 | 152篇 |
2021年 | 268篇 |
2020年 | 187篇 |
2019年 | 191篇 |
2018年 | 190篇 |
2017年 | 186篇 |
2016年 | 282篇 |
2015年 | 299篇 |
2014年 | 349篇 |
2013年 | 505篇 |
2012年 | 472篇 |
2011年 | 626篇 |
2010年 | 411篇 |
2009年 | 418篇 |
2008年 | 402篇 |
2007年 | 354篇 |
2006年 | 276篇 |
2005年 | 246篇 |
2004年 | 189篇 |
2003年 | 149篇 |
2002年 | 149篇 |
2001年 | 73篇 |
2000年 | 100篇 |
1999年 | 92篇 |
1998年 | 85篇 |
1997年 | 82篇 |
1996年 | 86篇 |
1995年 | 55篇 |
1994年 | 46篇 |
1993年 | 49篇 |
1992年 | 46篇 |
1991年 | 33篇 |
1990年 | 20篇 |
1989年 | 12篇 |
1988年 | 16篇 |
1987年 | 16篇 |
1986年 | 12篇 |
1985年 | 13篇 |
1984年 | 8篇 |
1983年 | 7篇 |
1982年 | 4篇 |
1981年 | 5篇 |
1980年 | 9篇 |
1976年 | 3篇 |
1975年 | 4篇 |
1972年 | 4篇 |
1959年 | 2篇 |
1954年 | 3篇 |
排序方式: 共有7317条查询结果,搜索用时 15 毫秒
61.
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. 相似文献
62.
63.
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. 相似文献
64.
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. 相似文献
65.
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. 相似文献
66.
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. 相似文献
67.
Andreas Waldenspuhl 《Datenschutz und Datensicherheit - DuD》2009,33(7):431-438
DuD Report
DuD Report 相似文献68.
Florian Echtler Simon Nestler Andreas Dippon Gudrun Klinker 《Personal and Ubiquitous Computing》2009,13(8):609-617
As more interactive surfaces enter public life, casual interactions from passersby are bound to increase. Most of these users
can be expected to carry a mobile phone or PDA, which nowadays offers significant computing capabilities of its own. This
offers new possibilities for interaction between these users’ private displays and large public ones. In this paper, we present
a system that supports such casual interactions. We first explore a method to track mobile phones that are placed on a horizontal
interactive surface by examining the shadows which are cast on the surface. This approach detects the presence of a mobile
device, as opposed to any other opaque object, through the signal strength emitted by the built-in Bluetooth transceiver without
requiring any modifications to the devices’ software or hardware. We then go on to investigate interaction between a Sudoku
game running in parallel on the public display and on mobile devices carried by passing users. Mobile users can join a running
game by placing their devices on a designated area. The only requirement is that the device is in discoverable Bluetooth mode.
After a specific device has been recognized, a client software is sent to the device which then enables the user to interact
with the running game. Finally, we explore the results of a study which we conducted to determine the effectiveness and intrusiveness
of interactions between users on the tabletop and users with mobile devices. 相似文献
69.
In this paper we discuss the potentials of a new Bayesian inference tool, called the Gibbs sampler, for the analysis of the censored regression or Tobit model. Tobit models have a wide range of applications in empirical sciences, like econometrics and biometrics. The estimation results of the simple Tobit model will be compared to a hierarchical Tobit model, and the Gibbs sampling approach to the related classical algorithm of expectation-maximisation (EM). The underlying botanical example of this paper is concerned with the censoring mechanism in plant reproduction and proposes the Bayesian Tobit model for the growth relationship between the reproductive part and the rest of the plant. 相似文献
70.
In this work we examine the influence of the diffusive motion of vortices in highly anisotropic high-Tc superconductors near the Berezinskii-Kosterlitz-Thouless (BKT) transition temperature T
bkt
on the spin-lattice relaxation rate T
1
–1
.We find a jump in T
1
–1
at the temperature T
bkt
. 相似文献