全文获取类型
收费全文 | 1986篇 |
免费 | 96篇 |
国内免费 | 6篇 |
专业分类
电工技术 | 23篇 |
综合类 | 5篇 |
化学工业 | 512篇 |
金属工艺 | 29篇 |
机械仪表 | 39篇 |
建筑科学 | 120篇 |
矿业工程 | 32篇 |
能源动力 | 37篇 |
轻工业 | 154篇 |
水利工程 | 29篇 |
石油天然气 | 4篇 |
无线电 | 135篇 |
一般工业技术 | 310篇 |
冶金工业 | 148篇 |
原子能技术 | 6篇 |
自动化技术 | 505篇 |
出版年
2023年 | 23篇 |
2022年 | 43篇 |
2021年 | 60篇 |
2020年 | 28篇 |
2019年 | 26篇 |
2018年 | 59篇 |
2017年 | 51篇 |
2016年 | 79篇 |
2015年 | 69篇 |
2014年 | 80篇 |
2013年 | 94篇 |
2012年 | 110篇 |
2011年 | 134篇 |
2010年 | 78篇 |
2009年 | 116篇 |
2008年 | 103篇 |
2007年 | 89篇 |
2006年 | 99篇 |
2005年 | 69篇 |
2004年 | 63篇 |
2003年 | 46篇 |
2002年 | 53篇 |
2001年 | 31篇 |
2000年 | 28篇 |
1999年 | 35篇 |
1998年 | 32篇 |
1997年 | 36篇 |
1996年 | 37篇 |
1995年 | 38篇 |
1994年 | 30篇 |
1993年 | 20篇 |
1992年 | 15篇 |
1991年 | 17篇 |
1990年 | 14篇 |
1989年 | 6篇 |
1988年 | 8篇 |
1987年 | 14篇 |
1985年 | 13篇 |
1984年 | 12篇 |
1983年 | 12篇 |
1982年 | 5篇 |
1981年 | 9篇 |
1980年 | 9篇 |
1979年 | 7篇 |
1978年 | 11篇 |
1977年 | 6篇 |
1976年 | 15篇 |
1975年 | 9篇 |
1973年 | 4篇 |
1971年 | 6篇 |
排序方式: 共有2088条查询结果,搜索用时 0 毫秒
41.
Bernhard Burgermeister Martin Arnold Alexander Eichberger 《Multibody System Dynamics》2011,26(1):1-14
The rapidly increasing complexity of multi-body system models in applications like vehicle dynamics, robotics and bio-mechanics
requires qualitative new solution methods to slash computing times for the dynamical simulation. 相似文献
42.
Fuchs E Gruber T Nitschke J Sick B 《IEEE transactions on pattern analysis and machine intelligence》2010,32(12):2232-2245
The paper presents SwiftSeg, a novel technique for online time series segmentation and piecewise polynomial representation. The segmentation approach is based on a least-squares approximation of time series in sliding and/or growing time windows utilizing a basis of orthogonal polynomials. This allows the definition of fast update steps for the approximating polynomial, where the computational effort depends only on the degree of the approximating polynomial and not on the length of the time window. The coefficients of the orthogonal expansion of the approximating polynomial-obtained by means of the update steps-can be interpreted as optimal (in the least-squares sense) estimators for average, slope, curvature, change of curvature, etc., of the signal in the time window considered. These coefficients, as well as the approximation error, may be used in a very intuitive way to define segmentation criteria. The properties of SwiftSeg are evaluated by means of some artificial and real benchmark time series. It is compared to three different offline and online techniques to assess its accuracy and runtime. It is shown that SwiftSeg-which is suitable for many data streaming applications-offers high accuracy at very low computational costs. 相似文献
43.
This special issue collects current advances in the ongoing attempt to obtain synergies from the combination of Tests and
Proofs. 相似文献
44.
This paper introduces a system for real-time physiological measurement, analysis, and metaphorical visualization within a virtual environment (VE). Our goal is to develop a method that allows humans to unconsciously relate to parts of an environment more strongly than to others, purely induced by their own physiological responses to the virtual reality (VR) displays. In particular, we exploit heart rate, respiration, and galvanic skin response in order to control the behavior of virtual characters in the VE. Such unconscious processes may become a useful tool for storytelling or assist guiding participants through a sequence of tasks in order to make the application more interesting, e.g., in rehabilitation. We claim that anchoring of subjective bodily states to a virtual reality (VR) can enhance a person’s sense of realism of the VR and ultimately create a stronger relationship between humans and the VR. 相似文献
45.
With the continually increasing complexity of e-learning environments, there is a need for integrating concepts of cognitive load theory (CLT) with concepts of human–computer interaction (HCI). Basic concepts of both fields were reviewed and contrasted. A literature review was conducted within the literature database “The Guide to Computing Literature,” searching for “cognitive load theory” and “Sweller.” Sixty-five publications contained “cognitive load” in their titles or abstracts. Each publication was checked to see whether it contained the concepts of intrinsic, extraneous, or germane cognitive load. The review showed that CLT concepts have been adopted in HCI. However, the concept of germane cognitive load has attracted less attention up to the present time. Two conceptual models are proposed. The first model divides extraneous cognitive load into load induced by the instructional design and load caused by software usage. The model clarifies the focus of traditional usability principles and of existing instructional design principles derived from CLT. The second model fits CLT concepts into the basic components of user-centered design. The concept of germane cognitive load illustrates that an increase of cognitive load can be desirable when designing e-learning environments. Areas for future interdisciplinary research are sketched. 相似文献
46.
47.
In this paper we give an overview over a series of experiments to visualize and measure flow fields in the human vascular
system with respect to their diagnostic capabilities. The experiments utilize a selection of GPU-based sparse and dense flow
visualization algorithms to show the diagnostic opportunities for volumetric cardiovascular phase contrast magnetic resonance
imaging data sets. Besides classical hardware accelerated particle and line-based approaches, an extensible tublet-based visualization,
a four-dimensional volumetric line integral convolution and a new two-dimensional cutting plane tool for three-dimensional
velocity data sets have been implemented. To evaluate the results, several hearts of human subjects have been investigated
and a flow phantom was built to artificially simulate distinctive flow features. Our results demonstrate that we are able
to provide an interactive tool for cardiovascular diagnostics with complementary hardware accelerated visualizations.
Electronic Supplementary Material The online version of this article () contains supplementary material, which is available to authorized users.
相似文献
Dieter SchmalstiegEmail: |
48.
A near-resonant, sway-induced sloshing flow in a rectangular tank is used to compare a homogeneous and inhomogeneous multiphase approach for fluid density and viscosity in a commercial CFD code. Dimensional analysis of the relative motion between the phases suggests the application of an inhomogeneous multiphase model whereas previous published work has used the computationally cheaper homogeneous (or average property) approach. The comparison between the computational and experimental results shows that the homogeneous model tends to underestimate the experimental peak pressures by up to 50%. The inhomogeneous multiphase model gives good agreement with the experimental pressure data. Examination of the relative velocity at the fluid interface confirms that the inhomogeneous model is the appropriate model to use for the simulation of a violent sloshing flow. 相似文献
49.
Benjamin Köhler Uta Preim Matthias Grothoff Matthias Gutberlet Katharina Fischbach Bernhard Preim 《Computer Graphics Forum》2016,35(1):32-43
Four‐dimensional phase‐contrast magnetic resonance imaging (4D PC‐MRI) allows the non‐invasive acquisition of time‐resolved, 3D blood flow information. Stroke volumes (SVs) and regurgitation fractions (RFs) are two of the main measures to assess the cardiac function and severity of valvular pathologies. The flow rates in forward and backward direction through a plane above the aortic or pulmonary valve are required for their quantification. Unfortunately, the calculations are highly sensitive towards the plane's angulation since orthogonally passing flow is considered. This often leads to physiologically implausible results. In this work, a robust quantification method is introduced to overcome this problem. Collaborating radiologists and cardiologists were carefully observed while estimating SVs and RFs in various healthy volunteer and patient 4D PC‐MRI data sets with conventional quantification methods, that is, using a single plane above the valve that is freely movable along the centerline. By default it is aligned perpendicular to the vessel's centerline, but free angulation (rotation) is possible. This facilitated the automation of their approach which, in turn, allows to derive statistical information about the plane angulation sensitivity. Moreover, the experts expect a continuous decrease of the blood flow volume along the vessel course. Conventional methods are often unable to produce this behaviour. Thus, we present a procedure to fit a monotonous function that ensures such physiologically plausible results. In addition, this technique was adapted for the usage in branching vessels such as the pulmonary artery. The performed informal evaluation shows the capability of our method to support diagnosis; a parameter evaluation confirms the robustness. Vortex flow was identified as one of the main causes for quantification uncertainties. 相似文献
50.
Sofia Cassel Falk Howar Bengt Jonsson Bernhard Steffen 《Formal Aspects of Computing》2016,28(2):233-263
We present a black-box active learning algorithm for inferring extended finite state machines (EFSM)s by dynamic black-box analysis. EFSMs can be used to model both data flow and control behavior of software and hardware components. Different dialects of EFSMs are widely used in tools for model-based software development, verification, and testing. Our algorithm infers a class of EFSMs called register automata. Register automata have a finite control structure, extended with variables (registers), assignments, and guards. Our algorithm is parameterized on a particular theory, i.e., a set of operations and tests on the data domain that can be used in guards.Key to our learning technique is a novel learning model based on so-called tree queries. The learning algorithm uses tree queries to infer symbolic data constraints on parameters, e.g., sequence numbers, time stamps, identifiers, or even simple arithmetic. We describe sufficient conditions for the properties that the symbolic constraints provided by a tree query in general must have to be usable in our learning model. We also show that, under these conditions, our framework induces a generalization of the classical Nerode equivalence and canonical automata construction to the symbolic setting. We have evaluated our algorithm in a black-box scenario, where tree queries are realized through (black-box) testing. Our case studies include connection establishment in TCP and a priority queue from the Java Class Library. 相似文献