全文获取类型
收费全文 | 7242篇 |
免费 | 449篇 |
国内免费 | 6篇 |
专业分类
电工技术 | 103篇 |
综合类 | 28篇 |
化学工业 | 2013篇 |
金属工艺 | 185篇 |
机械仪表 | 163篇 |
建筑科学 | 425篇 |
矿业工程 | 40篇 |
能源动力 | 248篇 |
轻工业 | 490篇 |
水利工程 | 45篇 |
石油天然气 | 5篇 |
无线电 | 661篇 |
一般工业技术 | 1525篇 |
冶金工业 | 381篇 |
原子能技术 | 42篇 |
自动化技术 | 1343篇 |
出版年
2024年 | 15篇 |
2023年 | 102篇 |
2022年 | 163篇 |
2021年 | 273篇 |
2020年 | 191篇 |
2019年 | 191篇 |
2018年 | 194篇 |
2017年 | 188篇 |
2016年 | 288篇 |
2015年 | 306篇 |
2014年 | 353篇 |
2013年 | 521篇 |
2012年 | 476篇 |
2011年 | 642篇 |
2010年 | 418篇 |
2009年 | 432篇 |
2008年 | 415篇 |
2007年 | 368篇 |
2006年 | 287篇 |
2005年 | 255篇 |
2004年 | 194篇 |
2003年 | 156篇 |
2002年 | 154篇 |
2001年 | 82篇 |
2000年 | 114篇 |
1999年 | 102篇 |
1998年 | 130篇 |
1997年 | 108篇 |
1996年 | 100篇 |
1995年 | 72篇 |
1994年 | 49篇 |
1993年 | 56篇 |
1992年 | 52篇 |
1991年 | 36篇 |
1990年 | 21篇 |
1989年 | 14篇 |
1988年 | 17篇 |
1987年 | 19篇 |
1986年 | 14篇 |
1985年 | 14篇 |
1984年 | 11篇 |
1983年 | 10篇 |
1982年 | 7篇 |
1981年 | 9篇 |
1980年 | 9篇 |
1979年 | 10篇 |
1978年 | 7篇 |
1976年 | 8篇 |
1975年 | 5篇 |
1974年 | 7篇 |
排序方式: 共有7697条查询结果,搜索用时 15 毫秒
151.
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. 相似文献
152.
153.
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. 相似文献
154.
Andreas Waldenspuhl 《Datenschutz und Datensicherheit - DuD》2009,33(7):431-438
DuD Report
DuD Report 相似文献155.
Zusammenfassung Die Arbeit mit Schutzzielen hat sich grunds?tzlich bew?hrt. Sie sind so formuliert, dass sie die Anforderungen an technische
und organisatorische Systeme sowohl abstrakt überblickbar als auch in Form von Ma?nahmen hinreichend konkret fa?bar machen.
Der Beitrag empfiehlt, sie in Datenschutzgesetze und Vertr?ge aufzunehmen, als Leitlinien für den Entwurf und Betrieb von
IT-Infrastrukturen heranzuziehen und in Mechanismen transformiert als WebService-Policies auszudrücken — und unterbreitet
einen Strukturierungsvorschlag. 相似文献
156.
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. 相似文献
157.
An instrument to measure dynamic adhesive forces between interacting rough surfaces has been developed. It consists of four parts, namely, main instrument body, vertical positioning system with both micrometer and nanometer positioning accuracies, horizontal positioning system with nanometer positioning accuracy, and custom-built high-resolution, and high dynamic bandwidth capacitive force transducer. The vertical piezoelectric actuator (PZT) controls the vertical (approaching and retracting) motion of the upper specimen, while the horizontal PZT controls the horizontal (reciprocal) motion of the lower specimen. The force transducer is placed in line with the upper specimen and vertical PZT, and directly measures the adhesive forces with a root-mean-square load resolution of 1.7 microN and a dynamic bandwidth of 1.7 kHz. The newly developed instrument enables reliable measurements of near-contact and contact adhesive forces for microscale devices under different dynamic conditions. Using the developed instrument, dynamic pull-in and pull-off force measurements were performed between an aluminum-titanium-carbide sphere and a 10 nm thick carbon film disk sample. Three different levels of contact force were investigated; where for each contact force level the vertical velocity of the upper sample was varied from 0.074 to 5.922 microms, while the lower sample was stationary. It was found that slower approaching and retracting velocities result in higher pull-in and pull-off forces. The noncontact attractive force was also measured during horizontal movement of the lower sample, and it was found that the periodic movements of the lower disk sample also affect the noncontact surface interactions. 相似文献
158.
Proof planning is a technique for theorem proving which replaces the ultra-efficient but blind search of classical theorem proving systems by an informed knowledge-based planning process that employs mathematical knowledge at a human-oriented level of abstraction. Standard proof planning uses methods as operators and control rules to find an abstract proof plan which can be expanded (using tactics) down to the level of the underlying logic calculus.In this paper, we propose more flexible refinements and a modification of the proof planner with an additional strategic level of control above the previous proof planning control. This strategic control guides the cooperation of the problem solving strategies by meta-reasoning.We present a general framework for proof planning with multiple strategies and describe its implementation in the Multi system. The benefits are illustrated by several large case studies, which significantly push the limits of what can be achieved by a machine today. 相似文献
159.
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. 相似文献
160.
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
. 相似文献