全文获取类型
收费全文 | 4484篇 |
免费 | 242篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 55篇 |
综合类 | 4篇 |
化学工业 | 1164篇 |
金属工艺 | 67篇 |
机械仪表 | 79篇 |
建筑科学 | 163篇 |
矿业工程 | 18篇 |
能源动力 | 177篇 |
轻工业 | 793篇 |
水利工程 | 24篇 |
石油天然气 | 16篇 |
无线电 | 217篇 |
一般工业技术 | 722篇 |
冶金工业 | 219篇 |
原子能技术 | 21篇 |
自动化技术 | 989篇 |
出版年
2024年 | 14篇 |
2023年 | 49篇 |
2022年 | 201篇 |
2021年 | 199篇 |
2020年 | 124篇 |
2019年 | 147篇 |
2018年 | 187篇 |
2017年 | 177篇 |
2016年 | 179篇 |
2015年 | 155篇 |
2014年 | 193篇 |
2013年 | 339篇 |
2012年 | 331篇 |
2011年 | 362篇 |
2010年 | 285篇 |
2009年 | 240篇 |
2008年 | 253篇 |
2007年 | 212篇 |
2006年 | 163篇 |
2005年 | 147篇 |
2004年 | 106篇 |
2003年 | 95篇 |
2002年 | 94篇 |
2001年 | 45篇 |
2000年 | 40篇 |
1999年 | 37篇 |
1998年 | 50篇 |
1997年 | 38篇 |
1996年 | 27篇 |
1995年 | 43篇 |
1994年 | 19篇 |
1993年 | 18篇 |
1992年 | 12篇 |
1991年 | 17篇 |
1990年 | 13篇 |
1989年 | 13篇 |
1988年 | 10篇 |
1987年 | 6篇 |
1986年 | 5篇 |
1985年 | 8篇 |
1984年 | 13篇 |
1983年 | 8篇 |
1981年 | 3篇 |
1980年 | 3篇 |
1979年 | 8篇 |
1978年 | 4篇 |
1977年 | 6篇 |
1976年 | 6篇 |
1975年 | 8篇 |
1974年 | 3篇 |
排序方式: 共有4728条查询结果,搜索用时 15 毫秒
51.
Chvátal-Gomory cuts are among the most well-known classes of cutting planes for general integer linear programs (ILPs). In
case the constraint multipliers are either 0 or
, such cuts are known as
-cuts. It has been proven by Caprara and Fischetti (Math. Program. 74:221–235, 1996) that separation of
-cuts is
-hard.
In this paper, we study ways to separate
-cuts effectively in practice. We propose a range of preprocessing rules to reduce the size of the separation problem. The
core of the preprocessing builds a Gaussian elimination-like procedure. To separate the most violated
-cut, we formulate the (reduced) problem as integer linear program. Some simple heuristic separation routines complete the
algorithmic framework.
Computational experiments on benchmark instances show that the combination of preprocessing with exact and/or heuristic separation
is a very vital idea to generate strong generic cutting planes for integer linear programs and to reduce the overall computation
times of state-of-the-art ILP-solvers. 相似文献
52.
We present new GPU-based techniques for implementing linear digital filters for real-time audio processing. Our solution for recursive filters is the first presented in the literature. We demonstrate the relevance of these algorithms to computer graphics by synthesizing realistic sounds of colliding objects made of different materials, such as glass, plastic, and wood, in real time. The synthesized sounds can be parameterized by the object materials, velocities, and collision angles. Despite its flexibility, our approach uses very little memory, since it essentially requires a set of coefficients representing the impulse response of each material sound. Such features make our approach an attractive alternative to traditional CPU-based techniques that use playback of pre-recorded sounds. 相似文献
53.
Bruno R. de Araújo Tiago Guerreiro Manuel J. Fonseca Joaquim A. Jorge João M. Pereira Monica Bordegoni Francesco Ferrise Mario Covarrubias Michele Antolini 《Journal of Real-Time Image Processing》2010,5(2):73-90
Currently, the design of aesthetic products is a process that requires a set of activities where digital models and physical
mockups play a key role. Typically, these are modified (and built) several times before reaching the desired design, increasing
the development time and, consequently, the final product cost. In this paper, we present an innovative design environment
for computer-aided design (CAD) surface analysis. Our system relies on a direct visuo-haptic display system, which enables
users to visualize models using a stereoscopic view, and allows the evaluation of sectional curves using touch. Profile curves
are rendered using an haptic device that deforms a plastic strip, thanks to a set of actuators, to reproduce the curvature
of the shape co-located with the virtual model. By touching the strip, users are able to evaluate shape characteristics, such
as curvature or discontinuities (rendered using sound), and to assess the surface quality. We believe that future computer-aided
systems (CAS)/CAD systems based on our approach will contribute in improving the design process at industrial level. Moreover,
these will allow companies to reduce the product development time by reducing the number of physical mockups necessary for
the product design evaluation and by increasing the quality of the final product, allowing a wider exploration and comparative
evaluation of alternatives in the given time. 相似文献
54.
German Urbina-Villalba Aileen Lozsán Manuel S. Romero-Cano 《Computer Physics Communications》2009,180(11):2129-2139
According to Emulsion Stability Simulations (ESS), the flocculation of two non-deformable drops in the primary minimum of the interaction potential, necessarily leads to their coalescence. This property is used here for the evaluation of the stability ratio (W) of solid particles, interacting with the same inter-particle potential as the one of non-deformable droplets. Two different methodologies are used. The first one consists on the repeated evaluation of the coalescence time between two particles. The second one consists on the estimation of the time required for a decrease in the number of aggregates of the dispersion equal to n0/2 (where n0 is the initial number of aggregates). The results of the simulations are contrasted with the stability ratio of an anionic latex suspension subject to several ionic strengths (400-1000 mM). The first methodology is far more efficient for the evaluation of W although it misses the development of the aggregates and their growth. Absolute coagulation rates (kf) can also be obtained using one N-particle simulation for the calculation of the fast flocculation rate , and several two-particle simulations for the evaluation of W. This combined procedure is also more efficient than the N-particle evaluation of . 相似文献
55.
This work presents a general mechanism for executing specifications that comply with given invariants, which may be expressed in different formalisms and logics. We exploit Maude’s reflective capabilities and its properties as a general semantic framework to provide a generic strategy that allows us to execute Maude specifications taking into account user-defined invariants. The strategy is parameterized by the invariants and by the logic in which such invariants are expressed. We experiment with different logics, providing examples for propositional logic, (finite future time) linear temporal logic and metric temporal logic. 相似文献
56.
Most real‐coded genetic algorithm research has focused on developing effective crossover operators, and as a result, many different types of crossover operators have been proposed. Some forms of crossover operators are more suitable to tackle certain problems than others, even at the different stages of the genetic process in the same problem. For this reason, techniques that combine multiple crossovers, called hybrid crossover operators, have been suggested as alternative schemes to the common practice of applying only one crossover model to all the elements in the population. On the other hand, there are operators with multiple offsprings, more than two descendants from two parents, which present a better behavior than the operators with only two descendants, and achieve a good balance between exploration and exploitation. © 2009 Wiley Periodicals, Inc. 相似文献
57.
58.
59.
Eric Pedrol Javier Martínez Magdalena Aguiló Manuel Garcia-Algar Moritz Nazarenus Luca Guerrini Eduardo Garcia-Rico Francesc Díaz Jaume Massons 《Microfluidics and nanofluidics》2017,21(12):181
This paper presents an optofluidic device for cell discrimination with two independent interrogation regions. Pumping light is coupled to the device, and cell fluorescence is extracted from the two interrogation zones by using optical fibers embedded in the optofluidic chip. To test the reliability of this device, AU-565 cells—expressing EpCAM and HER2 receptors—and RAMOS cells were mixed in a controlled manner, confined inside a hydrodynamic focused flow in the microfluidic chip and detected individually so that they could be discriminated as positive (signal reception from fluorescently labeled antibodies from the AU-565 cells) or negative events (RAMOS cells). A correlation analysis of the two signals reduces the influence of noise on the overall data. 相似文献
60.
Reliability and time‐to‐failure bounds for discrete‐time constrained Markov jump linear systems 下载免费PDF全文
This paper presents a methodology to obtain a guaranteed‐reliability controller for constrained linear systems, which switch between different modes according to a Markov chain (Markov jump linear systems). Inside the classical maximal robust controllable set, there is 100% guarantee of never violating constraints at future time. However, outside such set, some sequences might make hitting constraints unavoidable for some disturbance realisations. A guaranteed‐reliability controller based on a greedy heuristic approach was proposed in an earlier work for disturbance‐free, robustly stabilisable Markov jump linear systems. Here, extensions are presented by, first, considering bounded disturbances and, second, presenting an iterative algorithm based on dynamic programming. In non‐stabilisable systems, reliability is zero; therefore, prior results cannot be applied; in this case, optimisation of a mean‐time‐to‐failure bound is proposed, via minor algorithm modifications. Optimality can be proved in the disturbance‐free, finitely generated case. Copyright © 2016 John Wiley & Sons, Ltd. 相似文献