全文获取类型
收费全文 | 3096篇 |
免费 | 234篇 |
国内免费 | 7篇 |
专业分类
电工技术 | 49篇 |
综合类 | 16篇 |
化学工业 | 703篇 |
金属工艺 | 99篇 |
机械仪表 | 80篇 |
建筑科学 | 278篇 |
矿业工程 | 24篇 |
能源动力 | 91篇 |
轻工业 | 148篇 |
水利工程 | 28篇 |
石油天然气 | 2篇 |
无线电 | 250篇 |
一般工业技术 | 686篇 |
冶金工业 | 158篇 |
原子能技术 | 12篇 |
自动化技术 | 713篇 |
出版年
2024年 | 5篇 |
2023年 | 68篇 |
2022年 | 90篇 |
2021年 | 118篇 |
2020年 | 109篇 |
2019年 | 105篇 |
2018年 | 123篇 |
2017年 | 98篇 |
2016年 | 148篇 |
2015年 | 134篇 |
2014年 | 155篇 |
2013年 | 225篇 |
2012年 | 237篇 |
2011年 | 272篇 |
2010年 | 178篇 |
2009年 | 169篇 |
2008年 | 164篇 |
2007年 | 167篇 |
2006年 | 103篇 |
2005年 | 86篇 |
2004年 | 79篇 |
2003年 | 53篇 |
2002年 | 66篇 |
2001年 | 30篇 |
2000年 | 32篇 |
1999年 | 34篇 |
1998年 | 42篇 |
1997年 | 36篇 |
1996年 | 27篇 |
1995年 | 20篇 |
1994年 | 17篇 |
1993年 | 21篇 |
1992年 | 19篇 |
1991年 | 14篇 |
1990年 | 8篇 |
1989年 | 4篇 |
1988年 | 6篇 |
1986年 | 4篇 |
1985年 | 9篇 |
1984年 | 11篇 |
1983年 | 8篇 |
1981年 | 4篇 |
1979年 | 4篇 |
1978年 | 5篇 |
1977年 | 3篇 |
1976年 | 3篇 |
1975年 | 5篇 |
1972年 | 2篇 |
1970年 | 2篇 |
1961年 | 2篇 |
排序方式: 共有3337条查询结果,搜索用时 3 毫秒
21.
22.
Christoph Minnameier 《Information Processing Letters》2007,103(3):105-111
Interaction systems are a formal model for component-based systems. Combining components via connectors to form more complex systems may give rise to deadlock situations. We present here a polynomial time reduction from 3-SAT to the question whether an interaction system contains deadlocks. 相似文献
23.
F Baumgart T Kaulisch C Tempelmann B Gaschler-Markefski C Tegeler F Schindler D Stiller H Scheich 《Canadian Metallurgical Quarterly》1998,25(10):2068-2070
Electrodynamic speakers compatible with (functional) magnetic resonance imaging (MRI) are described. The speakers magnets are removed, their function is replaced by the scanner's magnetic field, resulting in an uncommon but efficient operation. The method can be used with headphones as well as woofers. Functional MRI is not associated with any known biological risks, but as a method for visualization of task-specific activation of brain regions it is undesirably noisy. Thus, it requires both noise protection and efficient sound transmission systems for delivering acoustic stimuli to subjects. Woofers could possibly be used in active noise-control systems. The speakers described in this paper can be used for either task. 相似文献
24.
The problem of packing circles into a domain of prescribed topology is considered. The circles need not have equal radii. The Collins-Stephenson algorithm computes such a circle packing. This algorithm is parallelized in two different ways and its performance is reported for a triangular, planar domain test case. The implementation uses the highly parallel graphics processing unit (GPU) on commodity hardware. The speedups so achieved are discussed based on a number of experiments. 相似文献
25.
We describe RTblob, a high speed vision system that detects objects in cluttered scenes based on their color and shape at
a speed of over 800 frames/s. Because the system is available as open-source software and relies only on off-the-shelf PC
hardware components, it can provide the basis for multiple application scenarios. As an illustrative example, we show how
RTblob can be used in a robotic table tennis scenario to estimate ball trajectories through 3D space simultaneously from four
cameras images at a speed of 200 Hz. 相似文献
26.
Phan Alex Truong Phuong Schade Christoph Vasan Aditya Friend James Talke Frank E. 《Microsystem Technologies》2021,27(6):2473-2479
Microsystem Technologies - “Zero drift” behavior of an optical intraocular pressure sensor is studied using an analytical model based on the deflection of a circular membrane. Results... 相似文献
27.
Christoph Beierle Gabriele Kern-Isberner 《Annals of Mathematics and Artificial Intelligence》2012,65(2-3):123-158
Different forms of semantics have been proposed for conditionals of the form “Usually, if A then B”, ranging from quantitative probability distributions to qualitative approaches using plausibility orderings, possibility distributions, or conditional objects. Atomic-bound systems, also called big-stepped probabilities, allow qualitative reasoning with probabilities, aiming at bridging the gap between qualitative and quantitative argumentation and providing a model for the nonmonotonic reasoning system P. By using Goguen and Burstall’s notion of institutions for the formalization of logical systems, we elaborate precisely which formal connections exist among big-stepped probabilities, standard probabilities, and qualitative logics. Based on our investigations, we also develop two variants of conditional objects, one of them having a simpler semantics while still providing a model for system P. 相似文献
28.
Krishnan H Garth C Gühring J Gülsün MA Greiser A Joy KI 《IEEE transactions on visualization and computer graphics》2012,18(6):966-977
Many flow visualization techniques, especially integration-based methods, are problematic when the measured data exhibit noise and discretization issues. Particularly, this is the case for flow-sensitive phase-contrast magnetic resonance imaging (PC-MRI) data sets which not only record anatomic information, but also time-varying flow information. We propose a novel approach for the visualization of such data sets using integration-based methods. Our ideas are based upon finite-time Lyapunov exponents (FTLE) and enable identification of vessel boundaries in the data as high regions of separation. This allows us to correctly restrict integration-based visualization to blood vessels. We validate our technique by comparing our approach to existing anatomy-based methods as well as addressing the benefits and limitations of using FTLE to restrict flow. We also discuss the importance of parameters, i.e., advection length and data resolution, in establishing a well-defined vessel boundary. We extract appropriate flow lines and surfaces that enable the visualization of blood flow within the vessels. We further enhance the visualization by analyzing flow behavior in the seeded region and generating simplified depictions. 相似文献
29.
In this paper, we present a formulation of the quaternion constraint for rigid body rotations in the form of a standard perfect
bilateral mechanical constraint, for which the associated Lagrangian multiplier has the meaning of a constraint force. First,
the equations of motion of a scalable body are derived. A scalable body has three translational, three rotational, and one
uniform scaling degree of freedom. As generalized coordinates, an unconstrained quaternion and a displacement vector are used.
To the scalable body, a perfect bilateral constraint is added, restricting the quaternion to unit length and making the body
rigid. This way a quaternion based differential algebraic equation (DAE) formulation for the dynamics of a rigid body is obtained,
where the 7×7 mass matrix is regular and the unit length restriction of the quaternion is enforced by a mechanical constraint.
Finally, the equations of motion in the form of a DAE are linked to the Newton–Euler equations of motion of a rigid body.
The rigid body DAE formulation is useful for the construction of (energy) consistent integrators. 相似文献
30.
Johannes Klopf Christine Brostjan Wolf Eilenberg Christoph Neumayer 《International journal of molecular sciences》2021,22(2)
Neutrophils are primary effector cells of innate immunity and fight infection by phagocytosis and degranulation. Activated neutrophils also release neutrophil extracellular traps (NETs) in response to a variety of stimuli. These NETs are net-like complexes composed of cell-free DNA, histones and neutrophil granule proteins. Besides the evolutionarily conserved mechanism to capture and eliminate pathogens, NETs are also associated with pathophysiological processes of various diseases. Here, we elucidate the mechanisms of NET formation and their different implications in disease. We focused on autoinflammatory and cardiovascular disorders as the leading cause of death. Neutrophil extracellular traps are not only present in various cardiovascular diseases but play an essential role in atherosclerotic plaque formation, arterial and venous thrombosis, as well as in the development and progression of abdominal aortic aneurysms. Furthermore, NETosis can be considered as a source of autoantigens and maintains an inflammatory milieu promoting autoimmune diseases. Indeed, there is further need for research into the balance between NET induction, inhibition, and degradation in order to pharmacologically target NETs and their compounds without impairing the patient’s immune defense. This review may be of interest to both basic scientists and clinicians to stimulate translational research and innovative clinical approaches. 相似文献