全文获取类型
收费全文 | 3319篇 |
免费 | 69篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 43篇 |
综合类 | 2篇 |
化学工业 | 427篇 |
金属工艺 | 42篇 |
机械仪表 | 45篇 |
建筑科学 | 84篇 |
矿业工程 | 3篇 |
能源动力 | 91篇 |
轻工业 | 185篇 |
水利工程 | 8篇 |
石油天然气 | 2篇 |
无线电 | 74篇 |
一般工业技术 | 311篇 |
冶金工业 | 1752篇 |
原子能技术 | 20篇 |
自动化技术 | 300篇 |
出版年
2023年 | 7篇 |
2022年 | 10篇 |
2021年 | 25篇 |
2020年 | 25篇 |
2019年 | 34篇 |
2018年 | 37篇 |
2017年 | 37篇 |
2016年 | 54篇 |
2015年 | 30篇 |
2014年 | 67篇 |
2013年 | 116篇 |
2012年 | 84篇 |
2011年 | 146篇 |
2010年 | 80篇 |
2009年 | 88篇 |
2008年 | 98篇 |
2007年 | 90篇 |
2006年 | 91篇 |
2005年 | 85篇 |
2004年 | 53篇 |
2003年 | 67篇 |
2002年 | 36篇 |
2001年 | 42篇 |
2000年 | 34篇 |
1999年 | 70篇 |
1998年 | 521篇 |
1997年 | 296篇 |
1996年 | 221篇 |
1995年 | 116篇 |
1994年 | 92篇 |
1993年 | 115篇 |
1992年 | 27篇 |
1991年 | 32篇 |
1990年 | 35篇 |
1989年 | 39篇 |
1988年 | 37篇 |
1987年 | 58篇 |
1986年 | 31篇 |
1985年 | 38篇 |
1984年 | 8篇 |
1983年 | 16篇 |
1982年 | 18篇 |
1981年 | 20篇 |
1980年 | 13篇 |
1979年 | 7篇 |
1978年 | 7篇 |
1977年 | 34篇 |
1976年 | 73篇 |
1975年 | 5篇 |
1967年 | 3篇 |
排序方式: 共有3389条查询结果,搜索用时 967 毫秒
81.
The profile of a graph is an integer-valued parameter defined via vertex orderings; it is known that the profile of a graph
equals the smallest number of edges of an interval supergraph. Since computing the profile of a graph is an NP-hard problem,
we consider parameterized versions of the problem. Namely, we study the problem of deciding whether the profile of a connected
graph of order n is at most n−1+k, considering k as the parameter; this is a parameterization above guaranteed value, since n−1 is a tight lower bound for the profile. We present two fixed-parameter algorithms for this problem. The first algorithm
is based on a forbidden subgraph characterization of interval graphs. The second algorithm is based on two simple kernelization
rules which allow us to produce a kernel with linear number of vertices and edges. For showing the correctness of the second
algorithm we need to establish structural properties of graphs with small profile which are of independent interest.
A preliminary version of the paper is published in Proc. IWPEC 2006, LNCS vol. 4169, 60–71. 相似文献
82.
Ketut Fundana Niels C. Overgaard Anders Heyden 《International Journal of Computer Vision》2008,80(3):289-299
In this paper we address the problem of segmentation in image sequences using region-based active contours and level set methods.
We propose a novel method for variational segmentation of image sequences containing nonrigid, moving objects. The method
is based on the classical Chan-Vese model augmented with a novel frame-to-frame interaction term, which allow us to update
the segmentation result from one image frame to the next using the previous segmentation result as a shape prior. The interaction
term is constructed to be pose-invariant and to allow moderate deformations in shape. It is expected to handle the appearance
of occlusions which otherwise can make segmentation fail. The performance of the model is illustrated with experiments on
synthetic and real image sequences. 相似文献
83.
Roberto Bruttomesso Alessandro Cimatti Anders Franzen Alberto Griggio Roberto Sebastiani 《Annals of Mathematics and Artificial Intelligence》2009,55(1-2):63-99
Most state-of-the-art approaches for Satisfiability Modulo Theories $(SMT(\mathcal{T}))$ rely on the integration between a SAT solver and a decision procedure for sets of literals in the background theory $\mathcal{T} (\mathcal{T}{\text {-}}solver)$ . Often $\mathcal{T}$ is the combination $\mathcal{T}_1 \cup \mathcal{T}_2$ of two (or more) simpler theories $(SMT(\mathcal{T}_1 \cup \mathcal{T}_2))$ , s.t. the specific ${\mathcal{T}_i}{\text {-}}solvers$ must be combined. Up to a few years ago, the standard approach to $SMT(\mathcal{T}_1 \cup \mathcal{T}_2)$ was to integrate the SAT solver with one combined $\mathcal{T}_1 \cup \mathcal{T}_2{\text {-}}solver$ , obtained from two distinct ${\mathcal{T}_i}{\text {-}}solvers$ by means of evolutions of Nelson and Oppen’s (NO) combination procedure, in which the ${\mathcal{T}_i}{\text {-}}solvers$ deduce and exchange interface equalities. Nowadays many state-of-the-art SMT solvers use evolutions of a more recent $SMT(\mathcal{T}_1 \cup \mathcal{T}_2)$ procedure called Delayed Theory Combination (DTC), in which each ${\mathcal{T}_i}{\text {-}}solver$ interacts directly and only with the SAT solver, in such a way that part or all of the (possibly very expensive) reasoning effort on interface equalities is delegated to the SAT solver itself. In this paper we present a comparative analysis of DTC vs. NO for $SMT(\mathcal{T}_1 \cup \mathcal{T}_2)$ . On the one hand, we explain the advantages of DTC in exploiting the power of modern SAT solvers to reduce the search. On the other hand, we show that the extra amount of Boolean search required to the SAT solver can be controlled. In fact, we prove two novel theoretical results, for both convex and non-convex theories and for different deduction capabilities of the ${\mathcal{T}_i}{\text {-}}solvers$ , which relate the amount of extra Boolean search required to the SAT solver by DTC with the number of deductions and case-splits required to the ${\mathcal{T}_i}{\text {-}}solvers$ by NO in order to perform the same tasks: (i) under the same hypotheses of deduction capabilities of the ${\mathcal{T}_i}{\text {-}}solvers$ required by NO, DTC causes no extra Boolean search; (ii) using ${\mathcal{T}_i}{\text {-}}solvers$ with limited or no deduction capabilities, the extra Boolean search required can be reduced down to a negligible amount by controlling the quality of the $\mathcal{T}$ -conflict sets returned by the ${\mathcal{T}_i}{\text {-}}solvers$ . 相似文献
84.
Leonid B. Freidovich Pedro La Hera Uwe Mettin Anders Robertsson Anton S. Shiriaev Rolf Johansson 《Asian journal of control》2009,11(5):548-556
We consider an underactuated two‐link robot called the inertia wheel pendulum. The system consists of a free planar rotational pendulum and a symmetric disk attached to its end, which is directly controlled by a DC‐motor. The goal is to create stable oscillations of the pendulum, which is not directly actuated. We exploit a recently proposed feedback‐control design strategy based on motion planning via virtual holonomic constraints. This strategy is shown to be useful for design of regulators for achieving orbitally exponentially stable oscillatory motions. The main contribution is a step‐by‐step procedure on how to achieve oscillations with pre‐specified amplitude from a given range and an arbitrary independently chosen period. The theoretical results are verified via experiments with a real hardware setup. Copyright © 2009 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society 相似文献
85.
Anders A. Larsen Martin Bendsøe Jesper Hattel Henrik Schmidt 《Structural and Multidisciplinary Optimization》2009,38(3):289-299
The aim of this paper is to optimize a thermal model of a friction stir welding process by finding optimal welding parameters.
The optimization is performed using space mapping and manifold mapping techniques in which a coarse model is used along with
the fine model to be optimized. Different coarse models are applied and the results and computation time are compared to gradient
based optimization using the full model. It is found that the use of space and manifold mapping reduces the computational
cost significantly due to the fact that fewer function evaluations and no fine model gradient information is required. 相似文献
86.
Hengfei Gu Fei Zhang Shinjae Hwang Anders B. Laursen Xin Liu So Yeon Park Mengjin Yang Rosemary C. Bramante Hussein Hijazi Leila Kasaei Leonard C. Feldman Yao-Wen Yeh Philip E. Batson Bryon W. Larson Mengjun Li Yifei Li Keenan Wyatt James L. Young Krishani Teeluck Kai Zhu Eric Garfunkel G. Charles Dismukes 《Advanced functional materials》2023,33(25):2301196
The rapidly increasing solar conversion efficiency (PCE) of hybrid organic–inorganic perovskite (HOIP) thin-film semiconductors has triggered interest in their use for direct solar-driven water splitting to produce hydrogen. However, application of these low-cost, electronic-structure-tunable HOIP tandem photoabsorbers has been hindered by the instability of the photovoltaic-catalyst-electrolyte (PV+E) interfaces. Here, photolytic water splitting is demonstrated using an integrated configuration consisting of an HOIP/n+silicon single junction photoabsorber and a platinum (Pt) thin film catalyst. An extended electrochemical (EC) lifetime in alkaline media is achieved using titanium nitride on both sides of the Si support to eliminate formation of insulating silicon oxide, and as an effective diffusion barrier to allow high-temperature annealing of the catalyst/TiO2-protected-n+silicon interface necessary to retard electrolytic corrosion. Halide composition is examined in the (FA1-xCsx)PbI3 system with a bandgap suitable for tandem operation. A fill factor of 72.5% is achieved using a Spiro-OMeTAD-hole-transport-layer (HTL)-based HOIP/n+Si solar cell, and a high photocurrent density of −15.9 mA cm−2 (at 0 V vs reversible hydrogen electrode) is attained for the HOIP/n+Si/Pt photocathode in 1 m NaOH under simulated 1-sun illumination. While this thin-film design creates stable interfaces, the intrinsic photo- and electro-degradation of the HOIP photoabsorber remains the main obstacle for future HOIP/Si tandem PEC devices. 相似文献
87.
Applied Intelligence - The task of reconstructing detailed 3D human body models from images is interesting but challenging in computer vision due to the high freedom of human bodies. This work... 相似文献
88.
Sina Jafarzadeh Anders Christian Wulff Kurt Engelbrecht Christian Robert Haffenden Bahl 《Advanced Engineering Materials》2023,25(11):2201790
Obtaining a highly homogeneous magnetic field is desired for field-controlled applications. For example, the resolution of magnetic analysis methods can be improved by generating a stronger and more homogeneous field over the region of interest (ROI). A set of 3D-printed passive shims is fabricated using additive manufacturing to improve the magnetic field homogeneity of a Halbach magnet assembly. The feedstock is a custom acrylonitrile butadiene styrene (ABS)-hard magnet composite filament filled with 60% wt. isotropic NdFeB. Additionally, a method for investigating the remanence is developed and validated. The result reveals a good agreement between the new method and existing measurement techniques for the remanence of permanent magnets. It is also shown that the additive manufacturing procedure has negligible effects on the magnetic properties. Performing a parametric study over a rectangular ROI, an optimized shim configuration is achieved. In the optimized and 3D-printed configuration, the average norm of the magnetic flux density, Bnorm, is increased by 13% and, more importantly, a 43% increase in the magnetic uniformity is obtained. These results highlight the great potential of freeform manufacturing, namely, additive manufacturing, to tailor the properties of magnet structures. 相似文献
89.
90.
M Nicotra M Paci M Sette AJ Oakley MW Parker M Lo Bello AM Caccuri G Federici G Ricci 《Canadian Metallurgical Quarterly》1998,37(9):3020-3027
The conformation of the bound glutathione (GSH) in the active site of the human glutathione transferase P1-1 (EC 2.5.1.18) has been studied by transferred NOE measurements and compared with those obtained by X-ray diffraction data. Two-dimensional TRNOESY and TRROESY experiments have been performed under fast-exchange conditions. The family of GSH conformers, compatible with TRNOE distance constraints, shows a backbone structure very similar to the crystal model. Interesting differences have been found in the side chain regions. After restrained energy minimization of a representative NMR conformer in the active site, the sulfur atom is not found in hydrogen-bonding distance of the hydroxyl group of Tyr 7. This situation is similar to the one observed in an "atypical" crystal complex grown at low pH and low temperature. The NMR conformers display also a poorly defined structure of the glutamyl moiety, and the presence of an unexpected intermolecular NOE could indicate a different interaction of this substrate portion with the G-site. The NMR data seem to provide a snapshot of GSH in a precomplex where the GSH glutamyl end is bound in a different fashion. The existence of this precomplex is supported by pre-steady-state kinetic experiments [Caccuri, A. M., Lo Bello, M., Nuccetelli, M., Nicotra, M., Rossi, P., Antonini, G., Federici, G., and Ricci, G. (1998) Biochemistry 37, 3028-3034] and preliminary time-resolved fluorescence data. 相似文献