全文获取类型
收费全文 | 4305篇 |
免费 | 224篇 |
国内免费 | 9篇 |
专业分类
电工技术 | 68篇 |
综合类 | 3篇 |
化学工业 | 1162篇 |
金属工艺 | 95篇 |
机械仪表 | 71篇 |
建筑科学 | 173篇 |
矿业工程 | 5篇 |
能源动力 | 149篇 |
轻工业 | 334篇 |
水利工程 | 21篇 |
石油天然气 | 13篇 |
武器工业 | 1篇 |
无线电 | 531篇 |
一般工业技术 | 763篇 |
冶金工业 | 329篇 |
原子能技术 | 29篇 |
自动化技术 | 791篇 |
出版年
2023年 | 25篇 |
2022年 | 63篇 |
2021年 | 78篇 |
2020年 | 69篇 |
2019年 | 79篇 |
2018年 | 103篇 |
2017年 | 95篇 |
2016年 | 121篇 |
2015年 | 107篇 |
2014年 | 157篇 |
2013年 | 274篇 |
2012年 | 227篇 |
2011年 | 291篇 |
2010年 | 222篇 |
2009年 | 181篇 |
2008年 | 220篇 |
2007年 | 201篇 |
2006年 | 180篇 |
2005年 | 150篇 |
2004年 | 130篇 |
2003年 | 116篇 |
2002年 | 129篇 |
2001年 | 60篇 |
2000年 | 74篇 |
1999年 | 67篇 |
1998年 | 66篇 |
1997年 | 83篇 |
1996年 | 69篇 |
1995年 | 69篇 |
1994年 | 62篇 |
1993年 | 43篇 |
1992年 | 43篇 |
1991年 | 38篇 |
1990年 | 47篇 |
1989年 | 40篇 |
1988年 | 27篇 |
1987年 | 26篇 |
1986年 | 24篇 |
1985年 | 40篇 |
1984年 | 40篇 |
1983年 | 37篇 |
1982年 | 44篇 |
1981年 | 33篇 |
1980年 | 17篇 |
1979年 | 28篇 |
1978年 | 17篇 |
1977年 | 18篇 |
1976年 | 18篇 |
1974年 | 15篇 |
1970年 | 15篇 |
排序方式: 共有4538条查询结果,搜索用时 0 毫秒
61.
Matrix models are ubiquitous for constraint problems. Many such problems have a matrix of variables $\mathcal{M}$ , with the same constraint C defined by a finite-state automaton $\mathcal{A}$ on each row of $\mathcal{M}$ and a global cardinality constraint $\mathit{gcc}$ on each column of $\mathcal{M}$ . We give two methods for deriving, by double counting, necessary conditions on the cardinality variables of the $\mathit{gcc}$ constraints from the automaton $\mathcal{A}$ . The first method yields linear necessary conditions and simple arithmetic constraints. The second method introduces the cardinality automaton, which abstracts the overall behaviour of all the row automata and can be encoded by a set of linear constraints. We also provide a domain consistency filtering algorithm for the conjunction of lexicographic ordering constraints between adjacent rows of $\mathcal{M}$ and (possibly different) automaton constraints on the rows. We evaluate the impact of our methods in terms of runtime and search effort on a large set of nurse rostering problem instances. 相似文献
62.
Fabrice Rousselle Petrik Clarberg Luc Leblanc Victor Ostromoukhov Pierre Poulin 《The Visual computer》2008,24(7-9):465-474
We present an efficient method for importance sampling the product of multiple functions. Our algorithm computes a quick approximation of the product on the fly, based on hierarchical representations of the local maxima and averages of the individual terms. Samples are generated by exploiting the hierarchical properties of many low-discrepancy sequences, and thresholded against the estimated product. We evaluate direct illumination by sampling the triple product of environment map lighting, surface reflectance, and a visibility function estimated per pixel. Our results show considerable noise reduction compared to existing state-of-the-art methods using only the product of lighting and BRDF. 相似文献
63.
Search games are attractive for their correspondence with classical width parameters. For instance, the invisible search number (a.k.a. node search number) of a graph is equal to its pathwidth plus 1, and the visible search number of a graph is equal to its treewidth plus 1. The connected variants of these games ask for search strategies that are connected, i.e., at every step of the strategy, the searched part of the graph induces a connected subgraph. We focus on monotone search strategies, i.e., strategies for which every node is searched exactly once. The monotone connected visible search number of an n-node graph is at most O(logn) times its visible search number. First, we prove that this logarithmic bound is tight. Precisely, we prove that there is an infinite family of graphs for which the ratio monotone connected visible search number over visible search number is Ω(logn). Second, we prove that, as opposed to the non-connected variant of visible graph searching, “recontamination helps” for connected visible search. Precisely, we prove that, for any k4, there exists a graph with connected visible search number at most k, and monotone connected visible search number >k 相似文献
64.
This paper introduces time stream Pétri nets (Ts treamPn), a model for the formal specification of multimedia synchronization scenarios. This new model extends time Pétri nets to formally describe the timed behaviour of multimedia objects and streams in asynchronous distributed systems. The proposed approach uses time intervals to label the arcs exiting from the places of the net, and typed transitions to define different firing rules. This model allows a complete and accurate specification of synchronization constraints between multimedia streams and can be used at different levels of granularity. 相似文献
65.
Pierre Lescanne 《Formal Aspects of Computing》1995,7(1):77-90
We focus on termination proofs of rewrite systems, especially of rewrite systems containing associative and commutative operators. We prove their termination by elementary interpretations, more specifically, by functions defined by addition, multiplication and exponentiation. We discuss a method based on polynomial interpretations and propose an implementation of a mechanisation of the comparison of expressions built with polynomials and exponentials. 相似文献
66.
Chapellier Paul Lavenus Pierre Le Traon Olivier Dulmet Bernard 《Microsystem Technologies》2022,28(6):1485-1496
Microsystem Technologies - This paper presents recent advances on two dimensional length-extension mode (2D-LEM) quartz resonators providing high quality (Q) factor on resonances at a few MHz. The... 相似文献
67.
68.
We investigate the ability to move of large objects—referred to as intruders—embedded in a granular material and subjected to cyclic loadings. A discrete element method is used to simulate the dynamics response of intruders subjected to a vertical uplift cyclic force, exploring a wide range of loading magnitudes and frequencies. The analysis of the intruder and grains displacements over many cycles reveals three mobility regimes. In the first two regimes, called confined and failure the intruder either do not significantly move or consistently moves upward after each cycles. We introduce a physically based model considering an inertial drag force to rationalise the existence of these regimes depending on the loading frequency and magnitude. We further evidence a third intermediate regime of creep, where intruder trajectories exhibit long periods of confinement punctuated by shorter periods of sustained uplift motion. Finally, we observe unexpected failures at low loading magnitudes and specific frequencies, which we attribute to a process of elasto-inertial resonance. These results highlight the important differences in the mobility of intruders upon constant and cyclic loadings. 相似文献
69.
Oxidative Stress Imaging: Visualizing Oxidative Cellular Stress Induced by Nanoparticles in the Subcytotoxic Range Using Fluorescence Lifetime Imaging (Small 23/2018) 下载免费PDF全文
70.
Malte Krack Marc Secanell Pierre Mertiny 《Structural and Multidisciplinary Optimization》2011,44(1):57-73
A procedure to find the optimal design of a flywheel with a split-type hub is presented. Since cost plays a decisive role
in stationary flywheel energy storage applications, a trade-off between energy and cost is required. Applying a scaling technique,
the multi-objective design problem is reduced to the maximization of the energy-per-cost ratio as the single objective. Both
an analytical and a finite element model were studied. The latter was found to be more than three orders of magnitude more
computationally expensive than the analytical model, while the analytical model can only be regarded as a coarse approximation.
Multifidelity approaches were examined to reduce the computational expense while retaining the high accuracy and large modeling
depth of the finite element model. Using a surrogate-based optimization strategy, the computational cost was reduced to only
one third in comparison to using only the finite element model. A nonlinear interior-point method was employed to find the
optimal rim thicknesses and rotational speed. The benefits of the split-type hub architecture were demonstrated. 相似文献