全文获取类型
收费全文 | 2294篇 |
免费 | 109篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 48篇 |
综合类 | 2篇 |
化学工业 | 590篇 |
金属工艺 | 15篇 |
机械仪表 | 47篇 |
建筑科学 | 76篇 |
矿业工程 | 1篇 |
能源动力 | 62篇 |
轻工业 | 239篇 |
水利工程 | 14篇 |
石油天然气 | 8篇 |
无线电 | 250篇 |
一般工业技术 | 432篇 |
冶金工业 | 257篇 |
原子能技术 | 14篇 |
自动化技术 | 350篇 |
出版年
2024年 | 6篇 |
2023年 | 33篇 |
2022年 | 80篇 |
2021年 | 124篇 |
2020年 | 58篇 |
2019年 | 63篇 |
2018年 | 65篇 |
2017年 | 51篇 |
2016年 | 70篇 |
2015年 | 45篇 |
2014年 | 107篇 |
2013年 | 128篇 |
2012年 | 118篇 |
2011年 | 169篇 |
2010年 | 117篇 |
2009年 | 88篇 |
2008年 | 105篇 |
2007年 | 112篇 |
2006年 | 98篇 |
2005年 | 76篇 |
2004年 | 66篇 |
2003年 | 54篇 |
2002年 | 39篇 |
2001年 | 44篇 |
2000年 | 30篇 |
1999年 | 32篇 |
1998年 | 99篇 |
1997年 | 77篇 |
1996年 | 51篇 |
1995年 | 30篇 |
1994年 | 20篇 |
1993年 | 22篇 |
1992年 | 5篇 |
1991年 | 9篇 |
1990年 | 19篇 |
1989年 | 9篇 |
1988年 | 7篇 |
1987年 | 4篇 |
1986年 | 4篇 |
1985年 | 7篇 |
1984年 | 4篇 |
1983年 | 9篇 |
1981年 | 5篇 |
1980年 | 10篇 |
1979年 | 3篇 |
1978年 | 3篇 |
1977年 | 6篇 |
1976年 | 10篇 |
1975年 | 3篇 |
1968年 | 2篇 |
排序方式: 共有2405条查询结果,搜索用时 15 毫秒
61.
62.
We are extremely pleased to present this special issue of the Journal of Control Theory and Applications.Approximate dynamic programming (ADP) is a general and effective approach for solving optimal control and estimation problems by adapting to uncertain environments over time.ADP optimizes the sensing objectives accrued over a future time interval with respect to an adaptive control law,conditioned on prior knowledge of the system,its state,and uncertainties.A numerical search over the present value of the control minimizes a Hamilton-Jacobi-Bellman (HJB) equation providing a basis for real-time,approximate optimal control. 相似文献
63.
From Images to Shape Models for Object Detection 总被引:2,自引:0,他引:2
Vittorio Ferrari Frederic Jurie Cordelia Schmid 《International Journal of Computer Vision》2010,87(3):284-303
We present an object class detection approach which fully integrates the complementary strengths offered by shape matchers.
Like an object detector, it can learn class models directly from images, and can localize novel instances in the presence
of intra-class variations, clutter, and scale changes. Like a shape matcher, it finds the boundaries of objects, rather than
just their bounding-boxes. This is achieved by a novel technique for learning a shape model of an object class given images of example instances. Furthermore, we also integrate Hough-style voting with a non-rigid point matching algorithm to localize
the model in cluttered images. As demonstrated by an extensive evaluation, our method can localize object boundaries accurately
and does not need segmented examples for training (only bounding-boxes). 相似文献
64.
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. 相似文献
65.
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. 相似文献
66.
67.
Sacchi M Spezzani C Carpentiero A Prasciolu M Delaunay R Lüning J Polack F 《The Review of scientific instruments》2007,78(4):043702
We have developed a setup for measuring holographically formed interference patterns using an integrated sample-mask design. The direct space image of the sample is obtained via a two-dimensional Fourier transform of the X-ray diffraction pattern. We present the details of our setup, commenting on the influence of geometrical parameters on the imaging capabilities. As an example, we present and discuss the results of test experiments on a patterned Co film. 相似文献
68.
A.F. Ferrari 《Computer Physics Communications》2007,176(5):334-346
SusyMath is a Mathematica package for quantum superfield calculations. It defines a standard form to translate the correction to the effective action corresponding to a given supergraph into a Mathematica expression, which is then evaluated and simplified. Several functions for manipulations of these expressions are provided, and the package also has the ability to save the outcomes of its calculations in form.
Program summary
Title of program: SusyMathCatalogue identifier:ADYQ_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADYQ_v1_0Program obtainable from: CPC Program Library, Queen's University of Belfast, N. Ireland, also at http://fma.if.usp.br/~alysson/SusyMathLicensing provisions: LGPL, CPC non-profit use licenseProgramming language: MathematicaPlatform: Any platform supporting Mathematica 4.0 or higherComputer tested on: PC (Athlon64 X2 +3800); 1 GB RAMOperating system under which the program has been tested: Linux (Debian 4.0); XOrg 7.0.22; Mathematica 5.2No. of lines in distributed program, including test data, etc.:42 472No. of bytes in distributed program, including test data, etc.:471 596Distribution format:tar.gzNature of the problem: Evaluate quantum corrections to the effective action of supersymmetric field theories, formulated in the superfield formalism, both in three- and four-spacetime dimensions.Solution method: A set of procedures for integration by parts, application of the algebra of covariant derivatives and Grassman integration, along with several auxiliary functions, is introduced.Restrictions: At the moment, the background field method is not implemented, but the system is designed to be further generalized.Running time: Depends on the complexity of the problem. From seconds for simpler one-loop diagrams to several hours for simple two-loop graphs. 相似文献69.
Bertino E. Ferrari E. Stolf M. 《Knowledge and Data Engineering, IEEE Transactions on》2000,12(1):102-125
Multimedia presentations are composed of objects belonging to different data types such as video, audio, text and image. An important aspect is that, quite often, the user defining a presentation needs to express sophisticated temporal and spatial constraints among the objects composing the presentation. We present a system (called MPGS-Multimedia Presentation Generator System) which supports the specification of constraints among multimedia objects and the generation of multimedia presentations according to the specified constraints. The constraint model provided by MPGS is very flexible and powerful in terms of the kinds of object constraints it can represent. A large number of innovative features are supported including: asynchronous and simultaneous spatial constraints; components of interest and priority levels; motion functions. Obviously, the flexibility provided to the users requires the development of nontrivial techniques to check constraint consistency and to generate a presentation satisfying the specified constraints. We illustrate the solutions we have devised in the framework of MPGS 相似文献
70.
A number of techniques that infer finite state automata from execution traces have been used to support test and analysis activities. Some of these techniques can produce automata that integrate information about the data-flow, that is, they also represent how data values affect the operations executed by programs.The integration of information about operation sequences and data values into a unique model is indeed conceptually useful to accurately represent the behavior of a program. However, it is still unclear whether handling heterogeneous types of information, such as operation sequences and data values, necessarily produces higher quality models or not.In this paper, we present an empirical comparative study between techniques that infer simple automata and techniques that infer automata extended with information about data-flow. We investigate the effectiveness of these techniques when applied to traces with different levels of sparseness, produced by different software systems. To the best of our knowledge this is the first work that quantifies both the effect of adding data-flow information within automata and the effectiveness of the techniques when varying sparseness of traces. 相似文献