全文获取类型
收费全文 | 5626篇 |
免费 | 378篇 |
国内免费 | 9篇 |
专业分类
电工技术 | 75篇 |
综合类 | 11篇 |
化学工业 | 1763篇 |
金属工艺 | 78篇 |
机械仪表 | 147篇 |
建筑科学 | 229篇 |
矿业工程 | 5篇 |
能源动力 | 210篇 |
轻工业 | 660篇 |
水利工程 | 26篇 |
石油天然气 | 5篇 |
武器工业 | 1篇 |
无线电 | 507篇 |
一般工业技术 | 1037篇 |
冶金工业 | 184篇 |
原子能技术 | 58篇 |
自动化技术 | 1017篇 |
出版年
2024年 | 8篇 |
2023年 | 55篇 |
2022年 | 363篇 |
2021年 | 415篇 |
2020年 | 168篇 |
2019年 | 163篇 |
2018年 | 205篇 |
2017年 | 197篇 |
2016年 | 227篇 |
2015年 | 204篇 |
2014年 | 255篇 |
2013年 | 392篇 |
2012年 | 325篇 |
2011年 | 441篇 |
2010年 | 320篇 |
2009年 | 302篇 |
2008年 | 276篇 |
2007年 | 249篇 |
2006年 | 216篇 |
2005年 | 164篇 |
2004年 | 148篇 |
2003年 | 123篇 |
2002年 | 104篇 |
2001年 | 69篇 |
2000年 | 51篇 |
1999年 | 67篇 |
1998年 | 65篇 |
1997年 | 61篇 |
1996年 | 51篇 |
1995年 | 30篇 |
1994年 | 41篇 |
1993年 | 22篇 |
1992年 | 16篇 |
1991年 | 10篇 |
1990年 | 7篇 |
1989年 | 17篇 |
1988年 | 8篇 |
1987年 | 5篇 |
1986年 | 8篇 |
1985年 | 17篇 |
1984年 | 22篇 |
1983年 | 24篇 |
1982年 | 12篇 |
1981年 | 14篇 |
1980年 | 15篇 |
1979年 | 14篇 |
1978年 | 5篇 |
1977年 | 13篇 |
1976年 | 5篇 |
1974年 | 4篇 |
排序方式: 共有6013条查询结果,搜索用时 15 毫秒
131.
A new method, based on the maximum likelihood principle, through the numerical Expectation–Maximization algorithm, is proposed to estimate traffic matrices when traffic exhibits long-range dependence. The methods proposed so far in the literature do not account for long-range dependence. The method proposed in the present paper also provides an estimate of the Hurst parameter. Simulation results show that: (i) the estimate of the traffic matrix is more efficient than those obtained via existing techniques; (ii) the estimation error of the traffic matrix is lower for larger values of the true traffic intensity; (iii) the estimate of the Hurst parameter is slightly negatively biased. 相似文献
132.
The JPEG algorithm is one of the most used tools for compressing images. The main factor affecting the performance of the JPEG compression is the quantization process, which exploits the values contained in two tables, called quantization tables. The compression ratio and the quality of the decoded images are determined by these values. Thus, the correct choice of the quantization tables is crucial to the performance of the JPEG algorithm. In this paper, a two-objective evolutionary algorithm is applied to generate a family of optimal quantization tables which produce different trade-offs between image compression and quality. Compression is measured in terms of difference in percentage between the sizes of the original and compressed images, whereas quality is computed as mean squared error between the reconstructed and the original images. We discuss the application of the proposed approach to well-known benchmark images and show how the quantization tables determined by our method improve the performance of the JPEG algorithm with respect to the default tables suggested in Annex K of the JPEG standard. 相似文献
133.
Mauro Baluda Pietro Braione Giovanni Denaro Mauro Pezzè 《Software Quality Journal》2011,19(4):725-751
Structural code coverage criteria have been studied since the early seventies, and now they are well supported by commercial
and open-source tools and are commonly embedded in several advanced industrial processes. Most industrial applications still
refer to simple criteria, like statement and branch coverage, and consider complex criteria, like modified condition decision
coverage, only rarely and often driven by the requirements of certification agencies. The industrial value of structural criteria
is limited by the difficulty of achieving high coverage, due to both the complexity of deriving test cases that execute specific
uncovered elements and the presence of many infeasible elements in the code. In this paper, we propose a technique that both
generates test cases that execute yet uncovered branches and identifies infeasible branches that can be eliminated from the
computation of the branch coverage. In this way, we can increase branch coverage to closely approximate full coverage, thus
improving its industrial value. The algorithm combines symbolic analysis, abstraction refinement, and a novel technique named
coarsening, to execute unexplored branches, identify infeasible ones, and mitigate the state space explosion problem. In the paper,
we present the technique and illustrate its effectiveness through a set of experimental results obtained with a prototype
implementation. 相似文献
134.
Irene Taurino Sandro Carrara Mauro Giorcelli Alberto Tagliaferro Giovanni De MicheliAuthor vitae 《Sensors and actuators. B, Chemical》2011,160(1):327
In this study, we report on multi-walled carbon nanotubes fabricated on silicon substrate with four different orientations via chemical vapor deposition. It is well-known that chemical treatments improve the nanotube electrochemical reactivity by creating edge-like defects on their exposed sidewalls. Before use, we performed an acid treatment on carbon nanotubes. To prove the effect of the treatment on these nanostructured electrodes, contact angles were measured. Then, sensitivities and detection limits were evaluated performing cyclic voltammetry. Two target molecules were used: potassium ferricyanide, an inorganic electroactive molecule, and hydrogen peroxide that is a product of reactions catalyzed by many enzymes, such as oxidases and peroxidases. Carbon nanotubes with tilted tips become hydrophilic after the treatment showing a contact angle of 22° ± 2°. This kind of electrode has shown also the best electrochemical performance. Sensitivity and detection limit values are 110.0 ± 0.5 μA/(mM cm2) and 8 μM for potassium ferricyanide solutions and 16.4 ± 0.1 μA/(mM cm2) and 24 μM using hydrogen peroxide as target compound. Considering the results of wettability and voltammetric measurements, nanotubes with tilted tips-based electrodes are found to be the most promising for future biosensing applications. 相似文献
135.
Some applications require autonomous robots to search an initially unknown environment for static targets, without any a priori information about environment structure and target locations. Targets can be human victims in search and rescue or materials
in foraging. In these scenarios, the environment is incrementally discovered by the robots exploiting exploration strategies
to move around in an autonomous and effective way. Most of the strategies proposed in literature are based on the idea of
evaluating a number of candidate locations on the frontier between the known and the unknown portions of the environment according
to ad hoc utility functions that combine different criteria. In this paper, we show some of the advantages of using a more theoretically-grounded
approach, based on Multi-Criteria Decision Making (MCDM), to define exploration strategies for robots employed in search and
rescue applications. We implemented some MCDM-based exploration strategies within an existing robot controller and we evaluated
their performance in a simulated environment. 相似文献
136.
137.
Given a graph G where a label is associated with each edge, we address the problem of looking for a maximum matching of G using the minimum number of different labels, namely the labeled maximum matching problem. It is a relatively new problem whose application is related to the timetabling problem. We prove it is NP-complete and present four different mathematical formulations. Moreover, we propose an exact algorithm based on a branch-and-bound approach to solve it. We evaluate the performance of our algorithm on a wide set of instances and compare our computational times with the ones required by CPLEX to solve the proposed mathematical formulations. Test results show the effectiveness of our procedure, that hugely outperforms the solver. 相似文献
138.
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. 相似文献
139.
Analysis and synthesis of attractive quantum Markovian dynamics 总被引:1,自引:0,他引:1
We propose a general framework for investigating a large class of stabilization problems in Markovian quantum systems. Building on the notions of invariant and attractive quantum subsystem, we characterize attractive subspaces by exploring the structure of the invariant sets for the dynamics. Our general analysis results are exploited to assess the ability of open-loop Hamiltonian and output-feedback control strategies to synthesize Markovian generators which stabilize a target subsystem, subspace, or pure state. In particular, we provide an algebraic characterization of the manifold of stabilizable pure states in arbitrary finite-dimensional Markovian systems, that leads to a constructive strategy for designing the relevant controllers. Implications for stabilization of entangled pure states are addressed by example. 相似文献
140.
This work addresses the problem of offset-free Model Predictive Control (MPC) when tracking an asymptotically constant reference. In the first part, compact and intuitive conditions for offset-free MPC control are introduced by using the arguments of the internal model principle. In the second part, we study the case where the number of measured variables is larger than the number of tracked variables. The plant model is augmented only by as many states as there are tracked variables, and an algorithm which guarantees offset-free tracking is presented. In the last part, offset-free tracking properties for special implementations of MPC schemes are briefly discussed. 相似文献