全文获取类型
收费全文 | 4412篇 |
免费 | 138篇 |
国内免费 | 10篇 |
专业分类
电工技术 | 68篇 |
综合类 | 29篇 |
化学工业 | 1340篇 |
金属工艺 | 105篇 |
机械仪表 | 84篇 |
建筑科学 | 270篇 |
矿业工程 | 8篇 |
能源动力 | 73篇 |
轻工业 | 355篇 |
水利工程 | 25篇 |
石油天然气 | 1篇 |
无线电 | 259篇 |
一般工业技术 | 813篇 |
冶金工业 | 590篇 |
原子能技术 | 38篇 |
自动化技术 | 502篇 |
出版年
2022年 | 48篇 |
2021年 | 56篇 |
2020年 | 46篇 |
2019年 | 58篇 |
2018年 | 65篇 |
2017年 | 56篇 |
2016年 | 95篇 |
2015年 | 83篇 |
2014年 | 115篇 |
2013年 | 206篇 |
2012年 | 171篇 |
2011年 | 255篇 |
2010年 | 185篇 |
2009年 | 167篇 |
2008年 | 194篇 |
2007年 | 186篇 |
2006年 | 133篇 |
2005年 | 157篇 |
2004年 | 132篇 |
2003年 | 105篇 |
2002年 | 86篇 |
2001年 | 84篇 |
2000年 | 85篇 |
1999年 | 88篇 |
1998年 | 110篇 |
1997年 | 89篇 |
1996年 | 72篇 |
1995年 | 76篇 |
1994年 | 71篇 |
1993年 | 74篇 |
1992年 | 70篇 |
1991年 | 49篇 |
1990年 | 75篇 |
1989年 | 47篇 |
1988年 | 46篇 |
1987年 | 53篇 |
1986年 | 44篇 |
1985年 | 60篇 |
1984年 | 54篇 |
1983年 | 48篇 |
1982年 | 52篇 |
1981年 | 43篇 |
1979年 | 45篇 |
1978年 | 44篇 |
1977年 | 66篇 |
1976年 | 43篇 |
1975年 | 42篇 |
1974年 | 56篇 |
1972年 | 41篇 |
1970年 | 40篇 |
排序方式: 共有4560条查询结果,搜索用时 0 毫秒
51.
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. 相似文献
52.
Norbert Kuhn Klaus Madlener Friedrich Otto 《Applicable Algebra in Engineering, Communication and Computing》1994,5(5):287-316
Algorithms for solving uniform decision problems for algebraic structures crucially depend on the chosen finite presentations for the structures under consideration. Rewriting techniques have been used very successfully to solve uniform decision problems, when the presentations considered involve finite, noetherian, and ()-confluent rewriting systems. Whenever the class of algebraic structures considered is closed under the operation of taking finitely generated substructures, then the algorithms for solving the uniform decision problems can be applied to the substructures as well. However, since these algorithms depend on the form of the presentations, this involves the task of constructing a presentation of a certain form for a substructure given a presentation of this form for the structure itself and a finite set of generating elements for the substructure.This problem, which has received a lot of attention in algebra, is here investigated from an algorithmic point of view. The structures considered are the following two classes of groups, which have been studied extensively before: the polycyclic groups and the context-free groups.Finitely generated context-free groups can be presented by finite, monadic, and -confluent string-rewriting systems. Due to their nice algorithmic properties these systems provide a way to effectively solve many decision problems for context-free groups. Since finitely generated subgroups of context-free groups are again contextfree, they can be presented in the same way. Here we describe a process that, from a finite, monadic, and -confluent string-rewriting system presenting a context-free groupG and a finite subsetU ofG, determines a presentation of this form for the subgroup U ofG that is generated byU. For finitely presented polycyclic groups we obtain an analogous result, when we use finite confluent PCP2-presentations to describe these groups.This work was performed while this author was visiting at the Fachbereich Informatik, Universität Kaiserslautern, during his sabbatical 1991/92 相似文献
53.
Optimized Photoinitiator for Fast Two‐Photon Absorption Polymerization of Polyester‐Macromers for Tissue Engineering 下载免费PDF全文
54.
Transistors: Impact of Interfacial Microstructure on Charge Carrier Transport in Solution‐Processed Conjugated Polymer Field‐Effect Transistors (Adv. Mater. 11/2016) 下载免费PDF全文
55.
56.
The calibration of discrete element method (DEM) simulations is typically accomplished in a trial-and-error manner. It generally lacks objectivity and is filled with uncertainties. To deal with these issues, the sequential quasi-Monte Carlo (SQMC) filter is employed as a novel approach to calibrating the DEM models of granular materials. Within the sequential Bayesian framework, the posterior probability density functions (PDFs) of micromechanical parameters, conditioned to the experimentally obtained stress–strain behavior of granular soils, are approximated by independent model trajectories. In this work, two different contact laws are employed in DEM simulations and a granular soil specimen is modeled as polydisperse packing using various numbers of spherical grains. Knowing the evolution of physical states of the material, the proposed probabilistic calibration method can recursively update the posterior PDFs in a five-dimensional parameter space based on the Bayes’ rule. Both the identified parameters and posterior PDFs are analyzed to understand the effect of grain configuration and loading conditions. Numerical predictions using parameter sets with the highest posterior probabilities agree well with the experimental results. The advantage of the SQMC filter lies in the estimation of posterior PDFs, from which the robustness of the selected contact laws, the uncertainties of the micromechanical parameters and their interactions are all analyzed. The micro–macro correlations, which are byproducts of the probabilistic calibration, are extracted to provide insights into the multiscale mechanics of dense granular materials. 相似文献
57.
Mixing sand or soil with small pieces of tire is common practice in civil engineering applications. Although the properties of the soil are changed, it is environmentally friendly and sometimes economical. Nevertheless, the mechanical behavior of such mixtures is still not fully understood and more numerical investigations are required. This paper presents a novel approach for the modeling of sand–tire mixtures based on the discrete element method. The sand grains are represented by rigid agglomerates whereas the tire grains are represented by deformable agglomerates. The approach considers both grain shape and deformability. The micromechanical parameters of the contact law are calibrated based on experimental results from the literature. The effects of tire content and confining pressure on the stress–strain response are investigated in detail by performing numerical triaxial compression tests. The main results indicate that both strength and stiffness of the samples decrease with increasing tire content. A tire contact of 40% is identified as the boundary between rubber-like and sand-like behavior. 相似文献
58.
Horst Kesselmeier Inga Tschiersch Klaus Henning Beate Stoffels Sebastian Kutscha 《AI & Society》1998,12(1-2):55-63
Today technology design can no longer be understood as a design process on a green site. Design and implementation of new technology are always dependent on existing technology and the way it is used by people. In this respect Software-Engineering has also changed to the characteristics of normal technology design taking into account existing computer systems. Experiences show that the conditions and needs of such Software-Reengineering projects are highly complex and differ in their special characteristics ranging from aspects of quality of existing system documentation to organizational structures of the computer departments concerned. The Task-Artifact Cycle presented here gives a suitable reengineering approach emphasizing both analysis and design in Software-Reengineering. 相似文献
59.
We performed Raman measurements at 18 K and pressures up to 25 GPa in order to construct a tentative phase diagram of the (N
2)1–x
:(O
2)x
–system at low temperatures. We varied the composition of the mixed system over the whole concentration range. Here we focused on the systems with high nitrogen concentration and pressures above 2 GPa. It is known that at room temperature oxygen is highly solvable in the –phase of N
2. The experimental results show that oxygen suppresses the disorder–order transition –N
2. 相似文献
60.
We propose a technique for the recognition and segmentation of complex shapes in 2D images using a hierarchy of finite element vibration modes in an evolutionary shape search. The different levels of the shape hierarchy can influence each other, which can be exploited in top-down part-based image analysis. Our method overcomes drawbacks of existing structural approaches, which cannot uniformly encode shape variation and co-variation, or rely on training. We present results demonstrating that by utilizing a quality-of-fit function the model explicitly recognizes missing parts of a complex shape, thus allowing for categorization between shape classes. 相似文献