首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   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.
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.
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.
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.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号