全文获取类型
收费全文 | 3154篇 |
免费 | 93篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 40篇 |
综合类 | 10篇 |
化学工业 | 1040篇 |
金属工艺 | 55篇 |
机械仪表 | 60篇 |
建筑科学 | 209篇 |
矿业工程 | 10篇 |
能源动力 | 74篇 |
轻工业 | 235篇 |
水利工程 | 26篇 |
石油天然气 | 2篇 |
武器工业 | 4篇 |
无线电 | 182篇 |
一般工业技术 | 456篇 |
冶金工业 | 441篇 |
原子能技术 | 33篇 |
自动化技术 | 372篇 |
出版年
2023年 | 22篇 |
2022年 | 25篇 |
2021年 | 60篇 |
2020年 | 40篇 |
2019年 | 33篇 |
2018年 | 45篇 |
2017年 | 37篇 |
2016年 | 76篇 |
2015年 | 70篇 |
2014年 | 72篇 |
2013年 | 136篇 |
2012年 | 135篇 |
2011年 | 159篇 |
2010年 | 117篇 |
2009年 | 119篇 |
2008年 | 120篇 |
2007年 | 109篇 |
2006年 | 104篇 |
2005年 | 98篇 |
2004年 | 81篇 |
2003年 | 60篇 |
2002年 | 67篇 |
2001年 | 53篇 |
2000年 | 66篇 |
1999年 | 83篇 |
1998年 | 149篇 |
1997年 | 114篇 |
1996年 | 86篇 |
1995年 | 75篇 |
1994年 | 63篇 |
1993年 | 49篇 |
1992年 | 44篇 |
1991年 | 45篇 |
1990年 | 40篇 |
1989年 | 49篇 |
1988年 | 35篇 |
1987年 | 38篇 |
1986年 | 36篇 |
1985年 | 29篇 |
1984年 | 36篇 |
1983年 | 34篇 |
1981年 | 37篇 |
1980年 | 25篇 |
1979年 | 20篇 |
1978年 | 22篇 |
1977年 | 31篇 |
1976年 | 34篇 |
1975年 | 22篇 |
1974年 | 22篇 |
1973年 | 23篇 |
排序方式: 共有3249条查询结果,搜索用时 0 毫秒
41.
In this theoretical study we analyze contrast transfer of weak-phase objects in a transmission electron microscope, which is equipped with an aberration corrector (C(s)-corrector) in the imaging lens system and a physical phase plate in the back focal plane of the objective lens. For a phase shift of pi/2 between scattered and unscattered electrons induced by a physical phase plate, the sine-type phase contrast transfer function is converted into a cosine-type function. Optimal imaging conditions could theoretically be achieved if the phase shifts caused by the objective lens defocus and lens aberrations would be equal to zero. In reality this situation is difficult to realize because of residual aberrations and varying, non-zero local defocus values, which in general result from an uneven sample surface topography. We explore the conditions--i.e. range of C(s)-values and defocus--for most favourable contrast transfer as a function of the information limit, which is only limited by the effect of partial coherence of the electron wave in C(s)-corrected transmission electron microscopes. Under high-resolution operation conditions we find that a physical phase plate improves strongly low- and medium-resolution object contrast, while improving tolerance to defocus and C(s)-variations, compared to a microscope without a phase plate. 相似文献
42.
43.
Daniele Colombo Slah Drira Ralf Frotscher Manfred Staat 《International journal for numerical methods in engineering》2023,124(2):402-433
Edge-based and face-based smoothed finite element methods (ES-FEM and FS-FEM, respectively) are modified versions of the finite element method allowing to achieve more accurate results and to reduce sensitivity to mesh distortion, at least for linear elements. These properties make the two methods very attractive. However, their implementation in a standard finite element code is nontrivial because it requires heavy and extensive modifications to the code architecture. In this article, we present an element-based formulation of ES-FEM and FS-FEM methods allowing to implement the two methods in a standard finite element code with no modifications to its architecture. Moreover, the element-based formulation permits to easily manage any type of element, especially in 3D models where, to the best of the authors' knowledge, only tetrahedral elements are used in FS-FEM applications found in the literature. Shape functions for non-simplex 3D elements are proposed in order to apply FS-FEM to any standard finite element. 相似文献
44.
To understand the handling behaviour of a three-wheeled tilting vehicle, models of the vehicle with different level of detail,
corresponding to specific fields of investigation, have been developed. Then the proposed kinematics of the three-wheeler
are assessed and optimized with respect to desired dynamic properties by applying a detailed multibody system model. The partially
unstable nature of the motion of the vehicle suggests the application of an analytically derived, simplified model, to allow
for focusing on stability aspects and steady-state handling properties. These investigations reveal the necessity of employing
a steer-by-wire control system to support the driver by stabilizing the motion of the vehicle. Thus, an additional basic vehicle
model is derived for control design, and an energy-efficient control strategy is presented. Numerical simulation results demonstrate
the dynamic properties of the optimized kinematics and the control system, approved by successful test runs of a prototype. 相似文献
45.
46.
This paper proves several generic variants of context lemmas and thus contributes to improving the tools for observational semantics of deterministic and non-deterministic higher-order calculi that use a small-step reduction semantics. The generic (sharing) context lemmas are provided for may- as well as two variants of must-convergence, which hold in a broad class of extended process- and extended lambda calculi, if the calculi satisfy certain natural conditions. As a guide-line, the proofs of the context lemmas are valid in call-by-need calculi, in call-by-value calculi if substitution is restricted to variable-by-variable and in process calculi like variants of the -calculus. For calculi employing beta-reduction using a call-by-name or call-by-value strategy or similar reduction rules, some iu-variants of ciu-theorems are obtained from our context lemmas. Our results reestablish several context lemmas already proved in the literature, and also provide some new context lemmas as well as some new variants of the ciu-theorem. To make the results widely applicable, we use a higher-order abstract syntax that allows untyped calculi as well as certain simple typing schemes. The approach may lead to a unifying view of higher-order calculi, reduction, and observational equality. 相似文献
47.
For a number of programming languages, among them Eiffel, C, Java, and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are typically formulated using potentially effectful programs. In order to ensure that these pre- and postconditions behave like logical formulae (that is, enjoy some kind of referential transparency), a notion of purity is needed. Here, we introduce a generic framework for reasoning about purity and effects. Effects are modelled abstractly and axiomatically, using Moggi’s idea of encapsulation of effects as monads. We introduce a dynamic logic (from which, as usual, a Hoare logic can be derived) whose logical formulae are pure programs in a strong sense. We formulate a set of proof rules for this logic, and prove it to be complete with respect to a categorical semantics. Using dynamic logic, we then develop a relaxed notion of purity which allows for observationally neutral effects such writing on newly allocated memory. 相似文献
48.
Ahmed Fadl Zongqin Zhang Sebastian Geller Jonas Tölke Manfred Krafczyk Donna Meyer 《Microsystem Technologies》2009,15(9):1379-1387
The efficiency of the valve-less rectification micropump depends primarily on the microfluidic diodicity (the ratio of the
backward pressure drop to the forward pressure drop). In this study, different rectifying structures, including the conventional
structures (nozzle/diffuser and Tesla structures), were investigated at very low Reynolds numbers (between 0.2 and 60). The
rectifying structures were characterized with respect to their design, and a numerical approach was illustrated to calculate
the diodicity for the rectifying structures. In this study, the microfluidic diodicity was evaluated numerically for different
rectifying structures including half circle, semicircle, heart, triangle, bifurcation, nozzle/diffuser, and Tesla structures.
The Lattice Boltzmann Method (LBM) was utilized as a numerical method to simulate the fluid flow in the microscale. The results
suggest that at very low Reynolds number flow, rectification and multifunction micropumping may be achievable by using a number
of the presented structures. The results for the conventional structures agree with the reported results. 相似文献
49.
50.
A fundamental challenge for enterprises is to ensure compliance of their business processes with imposed compliance rules stemming from various sources, e.g., corporate guidelines, best practices, standards, and laws. In general, a compliance rule may refer to multiple process perspectives including control flow, time, data, resources, and interactions with business partners. On one hand, compliance rules should be comprehensible for domain experts who must define, verify, and apply them. On the other, these rules should have a precise semantics to avoid ambiguities and enable their automated processing. Providing a visual language is advantageous in this context as it allows hiding formal details and offering an intuitive way of modeling the compliance rules. However, existing visual languages for compliance rule modeling have focused on the control flow perspective so far, but lack proper support for the other process perspectives. To remedy this drawback, this paper introduces the extended Compliance Rule Graph language, which enables the visual modeling of compliance rules with the support of multiple perspectives. Overall, this language will foster the modeling and verification of compliance rules in practice. 相似文献