全文获取类型
收费全文 | 1750篇 |
免费 | 115篇 |
国内免费 | 4篇 |
专业分类
电工技术 | 22篇 |
综合类 | 4篇 |
化学工业 | 411篇 |
金属工艺 | 21篇 |
机械仪表 | 19篇 |
建筑科学 | 102篇 |
矿业工程 | 3篇 |
能源动力 | 78篇 |
轻工业 | 177篇 |
水利工程 | 11篇 |
石油天然气 | 3篇 |
无线电 | 185篇 |
一般工业技术 | 349篇 |
冶金工业 | 86篇 |
原子能技术 | 13篇 |
自动化技术 | 385篇 |
出版年
2024年 | 4篇 |
2023年 | 22篇 |
2022年 | 39篇 |
2021年 | 53篇 |
2020年 | 30篇 |
2019年 | 47篇 |
2018年 | 46篇 |
2017年 | 43篇 |
2016年 | 43篇 |
2015年 | 59篇 |
2014年 | 81篇 |
2013年 | 112篇 |
2012年 | 92篇 |
2011年 | 143篇 |
2010年 | 133篇 |
2009年 | 102篇 |
2008年 | 113篇 |
2007年 | 98篇 |
2006年 | 85篇 |
2005年 | 76篇 |
2004年 | 51篇 |
2003年 | 64篇 |
2002年 | 61篇 |
2001年 | 26篇 |
2000年 | 27篇 |
1999年 | 34篇 |
1998年 | 17篇 |
1997年 | 7篇 |
1996年 | 19篇 |
1995年 | 14篇 |
1994年 | 21篇 |
1993年 | 19篇 |
1992年 | 10篇 |
1991年 | 10篇 |
1990年 | 6篇 |
1989年 | 5篇 |
1988年 | 6篇 |
1987年 | 3篇 |
1986年 | 7篇 |
1985年 | 5篇 |
1983年 | 2篇 |
1982年 | 5篇 |
1980年 | 2篇 |
1979年 | 2篇 |
1978年 | 3篇 |
1976年 | 5篇 |
1975年 | 4篇 |
1973年 | 2篇 |
1967年 | 2篇 |
1965年 | 2篇 |
排序方式: 共有1869条查询结果,搜索用时 15 毫秒
31.
Johan M. M. van Rooij Marcel E. van Kooten Niekerk Hans L. Bodlaender 《Theory of Computing Systems》2013,52(4):687-718
We consider the Partition Into Triangles problem on bounded degree graphs. We show that this problem is polynomial-time solvable on graphs of maximum degree three by giving a linear-time algorithm. We also show that this problem becomes $\mathcal{NP}$ -complete on graphs of maximum degree four. Moreover, we show that there is no subexponential-time algorithm for this problem on graphs of maximum degree four unless the Exponential-Time Hypothesis fails. However, the Partition Into Triangles problem on graphs of maximum degree at most four is in many cases practically solvable as we give an algorithm for this problem that runs in $\mathcal{O}(1.02220^{n})$ time and linear space. 相似文献
32.
We present algorithms, methods, and software for a Grid resource manager, that performs resource brokering and job scheduling in production Grids. This decentralized broker selects computational resources based on actual job requirements, job characteristics, and information provided by the resources, with the aim to minimize the total time to delivery for the individual application. The total time to delivery includes the time for program execution, batch queue waiting, and transfer of executable and input/output data to and from the resource. The main features of the resource broker include two alternative approaches to advance reservations, resource selection algorithms based on computer benchmark results and network performance predictions, and a basic adaptation facility. The broker is implemented as a built-in component of a job submission client for the NorduGrid/ARC middleware. 相似文献
33.
Marion Woytasik Johan Moulin Emile Martincic Anne-Lise Coutrot Elisabeth Dufour-Gergam 《Microsystem Technologies》2008,14(7):951-956
Recent advances in microtechnology allow realization of planar microcoils. These components are integrated in MEMS as magnetic sensor or actuator. In the latter case, it is necessary to maximize the effective magnetic field which is proportional to the current passing through the copper track and depends on the distance to the generation microcoil. The aim of this work was to determine the optimal microcoil design configuration for magnetic field generation. The results were applied to magnetic actuation, taking into account technological constraints. In particular, we have considered different realistic configurations that involve a magnetically actuated device coupled to a microcoil. Calculations by a semi-analytical method using Matlab software were validated by experimental measurements. The copper planar microcoils are fabricated by UV micromoulding on different substrates: flexible polymer (Kapton®) and silicate on silicon. They are constituted by a spiral-like continuous track. Their total surface is about 1 mm2. 相似文献
34.
Comparison of the identification performance of conventional FEM updating and integrated DIC
下载免费PDF全文
![点击此处可从《International journal for numerical methods in engineering》网站下载免费的PDF全文](/ch/ext_images/free.gif)
Andre P. Ruybalid Johan P. M. Hoefnagels Olaf van der Sluis Marc G. D. Geers 《International journal for numerical methods in engineering》2016,106(4):298-320
Full‐field identification methods are increasingly used to adequately identify constitutive parameters to describe the mechanical behavior of materials. This paper investigates the more recently introduced one‐step method of integrated digital image correlation (IDIC) with respect to the most commonly used two‐step method of finite element model updating (FEMU), which uses a subset‐based DIC algorithm. To make the comparison as objective as possible, both methods are implemented in the most equivalent manner and use the same FE model. Various virtual test cases are studied to assess the performance of both methods when subjected to different error sources: (1) systematic errors, (2) poor initial guesses for the constitutive parameters, (3) image noise, (4) constitutive model errors, and (5) experimental errors. Results show that, despite the mathematical similarity of both methods, IDIC produces less erroneous and more reliable results than FEMU, particularly for more challenging test cases exhibiting small displacements, complex kinematics, misalignment of the specimen, and image noise. Copyright © 2015 John Wiley & Sons, Ltd. 相似文献
35.
Verb Phrase Ellipsis (VPE) has been studied in great depth in theoretical linguistics, but empirical studies of VPE are rare.
We extend the few previous corpus studies with an annotated corpus of VPE in all 25 sections of the Wall Street Journal corpus
(WSJ) distributed with the Penn Treebank. We annotated the raw files using a stand-off annotation scheme that codes the auxiliary
verb triggering the elided verb phrase, the start and end of the antecedent, the syntactic type of antecedent (VP, TV, NP,
PP or AP), and the type of syntactic pattern between the source and target clauses of the VPE and its antecedent. We found
487 instances of VPE (including predicative ellipsis, antecedent-contained deletion, comparative constructions, and pseudo-gapping)
plus 67 cases of related phenomena such as do so anaphora. Inter-annotator agreement was high, with a 0.97 average F-score for three annotators for one section of the WSJ.
Our annotation is theory neutral, and has better coverage than earlier efforts that relied on automatic methods, e.g. simply
searching the parsed version of the Penn Treebank for empty VP’s achieves a high precision (0.95) but low recall (0.58) when
compared with our manual annotation. The distribution of VPE source–target patterns deviates highly from the standard examples
found in the theoretical linguistics literature on VPE, once more underlining the value of corpus studies. The resulting corpus
will be useful for studying VPE phenomena as well as for evaluating natural language processing systems equipped with ellipsis
resolution algorithms, and we propose evaluation measures for VPE detection and VPE antecedent selection. The stand-off annotation
is freely available for research purposes. 相似文献
36.
In this paper, two nonlinear optimization methods for the identification of nonlinear systems are compared. Both methods estimate the parameters of e.g. a polynomial nonlinear state-space model by means of a nonlinear least-squares optimization of the same cost function. While the first method does not estimate the states explicitly, the second method estimates both states and parameters adding an extra constraint equation. Both methods are introduced and their similarities and differences are discussed utilizing simulation data. The unconstrained method appears to be faster and more memory efficient, but the constrained method has a significant advantage as well: it is robust for unstable systems of which bounded input-output data can be measured (e.g. a system captured in a stabilizing feedback loop). Both methods have successfully been applied on real-life measurement data. 相似文献
37.
38.
Alzate Carlos Suykens Johan A. K. 《IEEE transactions on pattern analysis and machine intelligence》2010,32(2):335-347
A new formulation for multiway spectral clustering is proposed. This method corresponds to a weighted kernel principal component analysis (PCA) approach based on primal-dual least-squares support vector machine (LS-SVM) formulations. The formulation allows the extension to out-of-sample points. In this way, the proposed clustering model can be trained, validated, and tested. The clustering information is contained on the eigendecomposition of a modified similarity matrix derived from the data. This eigenvalue problem corresponds to the dual solution of a primal optimization problem formulated in a high-dimensional feature space. A model selection criterion called the Balanced Line Fit (BLF) is also proposed. This criterion is based on the out-of-sample extension and exploits the structure of the eigenvectors and the corresponding projections when the clusters are well formed. The BLF criterion can be used to obtain clustering parameters in a learning framework. Experimental results with difficult toy problems and image segmentation show improved performance in terms of generalization to new samples and computation times. 相似文献
39.
Simulations of the interaction between a vortex and a NACA0012 airfoil are performed with a stable, high-order accurate (in space and time), multi-block finite difference solver for the compressible Navier-Stokes equations.We begin by computing a benchmark test case to validate the code. Next, the flow with steady inflow conditions are computed on several different grids. The resolution of the boundary layer as well as the amount of the artificial dissipation is studied to establish the necessary resolution requirements. We propose an accuracy test based on the weak imposition of the boundary conditions that does not require a grid refinement.Finally, we compute the vortex-airfoil interaction and calculate the lift and drag coefficients. It is shown that the viscous terms add the effect of detailed small scale structures to the lift and drag coefficients. 相似文献
40.
We have implemented a compiler for key parts of Modelica, an object-oriented language supporting equation-based modeling and simulation of complex physical systems. The compiler is extensible, to support experiments with emerging tools for physical models. To achieve extensibility, the implementation is done declaratively in JastAdd, a metacompilation system supporting modern attribute grammar mechanisms such as reference attributes and nonterminal attributes.This paper reports on experiences from this implementation. For name and type analyses, we illustrate how declarative design strategies, originally developed for a Java compiler, could be reused to support Modelica’s advanced features of multiple inheritance and structural subtyping. Furthermore, we present new general design strategies for declarative generation of target ASTs from source ASTs. We illustrate how these strategies are used to resolve a generics-like feature of Modelica called modifications, and to support flattening, a fundamental part of Modelica compilation. To validate that the approach is practical, we have compared the execution speed of our compiler to two existing Modelica compilers. 相似文献