全文获取类型
收费全文 | 2714篇 |
免费 | 182篇 |
国内免费 | 232篇 |
专业分类
电工技术 | 27篇 |
综合类 | 181篇 |
化学工业 | 231篇 |
金属工艺 | 927篇 |
机械仪表 | 76篇 |
建筑科学 | 44篇 |
矿业工程 | 45篇 |
能源动力 | 51篇 |
轻工业 | 42篇 |
水利工程 | 9篇 |
石油天然气 | 29篇 |
武器工业 | 18篇 |
无线电 | 72篇 |
一般工业技术 | 545篇 |
冶金工业 | 282篇 |
原子能技术 | 12篇 |
自动化技术 | 537篇 |
出版年
2024年 | 8篇 |
2023年 | 56篇 |
2022年 | 88篇 |
2021年 | 100篇 |
2020年 | 106篇 |
2019年 | 89篇 |
2018年 | 88篇 |
2017年 | 106篇 |
2016年 | 74篇 |
2015年 | 79篇 |
2014年 | 135篇 |
2013年 | 187篇 |
2012年 | 133篇 |
2011年 | 217篇 |
2010年 | 138篇 |
2009年 | 167篇 |
2008年 | 144篇 |
2007年 | 160篇 |
2006年 | 193篇 |
2005年 | 148篇 |
2004年 | 134篇 |
2003年 | 108篇 |
2002年 | 90篇 |
2001年 | 62篇 |
2000年 | 53篇 |
1999年 | 59篇 |
1998年 | 35篇 |
1997年 | 33篇 |
1996年 | 28篇 |
1995年 | 23篇 |
1994年 | 12篇 |
1993年 | 18篇 |
1992年 | 14篇 |
1991年 | 11篇 |
1990年 | 8篇 |
1989年 | 6篇 |
1988年 | 3篇 |
1987年 | 1篇 |
1985年 | 2篇 |
1984年 | 5篇 |
1983年 | 1篇 |
1981年 | 1篇 |
1980年 | 2篇 |
1976年 | 3篇 |
排序方式: 共有3128条查询结果,搜索用时 15 毫秒
11.
The well-established “halide salt” route was employed in the present work to produce Al–Ti–B grain refiner alloys with consistent, good properties. The holding step in the production cycle was revised, however, to avoid oxidation of the molten alloy which is believed to be responsible for the relatively low Ti recoveries and thus for the inadequate and inconsistent grain refining efficiency. Stirring during holding was found to degrade the grain refining properties when molten potassium aluminium fluride salt was left on the molten alloy to avoid excessive oxidation. Likewise, holding temperatures higher than 800 °C and holding times longer than 30 min both had an undesirable effect on the grain refining performance. The experimental Al–5Ti–1B grain refiner alloy produced according to the present method provided consistent and better overall grain refining performance. 相似文献
12.
The compressed sensing (CS) theory shows that accurate signal reconstruction depends on presetting an appropriate signal sparsifying dictionary. For CS of superimposed chirps, this dictionary is typically taken to be a waveform-matched dictionary formed by blindly diseretizing the frequency-chirp rate plane. However, since practical target parameters do not lie exactly on gridding points of the assumed dictionary, there is always mismatch between the assumed and the actual sparsifying dictionaries, which will cause the performance of conventional CS reconstruction methods to degrade considerably. To address this, we model the waveform- matched sparsifying dictionary as a parameterized one by treating its sampled frequency-chirp rate grid points as the underlying parameters. As a consequence, the sparsifying dictionary becomes refinable and its refinement can be achieved by optimizing the underlying parameters. Based on this, we develop a novel reconstruction algorithm for CS of superimposed chirps by utilizing the variational expectation-maximization (EM) algorithm. By alternating between steps of sparse coefficients estimation and dictionary parameters optimization, the algorithm integrates the process for dictionary refinement into that of signal reconstruction, and thus can achieve sparse reconstruction and dictionary optimization simultaneously. Experimental results demonstrate that the algorithm effectively deals with the performance degradation incurred by dictionary mismatch, and also outperforms the state-of-the-art CS reconstruction methods both in compressing the signal measurements and in suppressing the measurement noise. 相似文献
13.
Category Partition Method (CPM) is a general approach to specification-based program testing, where test frame reduction and
refinement are two important issues. Test frame reduction is necessary since too many test frames may be produced, and test
frame refinement is important since during CPM testing new information about test frame generation may be achieved and considered
incrementally. Besides the information provided by testers or users, implementation related knowledge offers alternative information
for reducing and refining CPM test frames. This paper explores the idea by proposing a call patterns semantics based test
frame updating method for Prolog programs, in which a call patterns analysis is used to collect information about the way
in which procedures are used in a program. The updated test frames will be represented as constraints. The effect of our test
frame updating is two-fold. On one hand, it removes “uncared” data from the original set of test frames; on the other hand,
it refines the test frames to which we should pay more attention. The first effect makes the input domain on which a procedure
must be tested a subset of the procedure’s input domain, and the latter makes testers stand more chance to find out the faults
that are more likely to show their presence in the use of the program under consideration. Our test frame updating method
preserves the effectiveness of CPM testing with respect to the detection of faults we care. The test case generation from
the updated set of test frames is also discussed. In order to show the applicability of our method an approximation call patterns
semantics is proposed, and the test frame updating on the semantics is illustrated by an example.
相似文献
Lingzhong ZhaoEmail: |
14.
Compositional verification using assume-guarantee reasoning has recently seen an uprise due to the introduction of automatic techniques for learning assumptions. In this paper, we transfer this technique to a setting with CSP as modelling and property specification language, and present an approach to compositional traces refinement checking. The approach has been implemented using the CSP model checker FDR as teacher during learning. The implementation shows that the compositional approach can both drastically outperform as well as underperform FDR's performance, depending on the example at hand. 相似文献
15.
Numerical simulation of detonation using an adaptive Cartesian cut-cell method combined with a cell-merging technique 总被引:1,自引:0,他引:1
A second-order accurate scheme for the Cartesian cut-cell method developed previously by the authors [Ji H, Lien F-S, Yee E. Comput. Methods Appl. Mech. Eng. 198 (2008), 432] is generalized for application to both two- and three-dimensional inviscid compressible flow problems. A cell-merging approach is used to address the so-called “small cell” problem that has plagued Cartesian cut-cell methods. In the present cell-merging approach, the conservative variables are stored at the cut-cell centroid (including the non-merged and merged cut-cells) rather than at the Cartesian cell center. Although this approach results in a more complicated search algorithm for the determination of the neighbor cells (required for the computation of the spatial gradients of the conservative variables), this approach enables the straightforward formulation of a higher than first-order accurate discretization scheme in the vicinity of the (complex and irregular) internal boundaries of the flow domain. Six test cases (including detonation problems) are used to demonstrate the accuracy and capability of the adaptive cut-cell method, for which both mesh refinement and derefinement techniques are employed in the case of an unsteady shock diffraction problem. 相似文献
16.
基于完备抽象解释的模型检验CTL公式研究 总被引:1,自引:0,他引:1
在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的. 相似文献
17.
18.
In the numerical simulation of three dimensional fluid dynamical equations, the huge computational quantity is a main challenge. In this paper, the discontinuous Galerkin (DG) finite element method combined with the adaptive mesh refinement (AMR) is studied to solve the three dimensional Euler equations based on conforming unstructured tetrahedron meshes, that is according the equation solution variation to refine and coarsen grids so as to decrease total mesh number. The four space adaptive strategies are given and analyzed their advantages and disadvantages. The numerical examples show the validity of our methods. 相似文献
19.
A multi-level cell by cell Adaptive Mesh Refinement (AMR) hydrodynamics capability has been developed for the Lagrangian step of the 2D Arbitrary Lagrangian Eulerian (ALE) code CORVUS. Connectivity arrays are used rather than a hierarchical data structure. We solve only on the dynamic unstructured mesh rather than on every level of a refinement hierarchy. The strength, artificial viscosity, slide and programmed burn methods have been generalised to work with AMR. Results are presented for a range of Lagrangian test problems. 相似文献
20.
提出了一种基于动态网格细分的烟雾模拟方法,该方法主要采取图形设备上的动态网格管理对烟雾进行并行处理以达到泊松方程的迭代求解。为了实现高性能,利用高速缓存以提高存取权限和适应硬件的能力。实验结果表明,该方法能够实现比较快速的模拟,结果比较令人满意。 相似文献