全文获取类型
收费全文 | 7388篇 |
免费 | 781篇 |
国内免费 | 832篇 |
专业分类
电工技术 | 430篇 |
综合类 | 1910篇 |
化学工业 | 185篇 |
金属工艺 | 33篇 |
机械仪表 | 200篇 |
建筑科学 | 238篇 |
矿业工程 | 87篇 |
能源动力 | 92篇 |
轻工业 | 157篇 |
水利工程 | 81篇 |
石油天然气 | 63篇 |
武器工业 | 47篇 |
无线电 | 1051篇 |
一般工业技术 | 698篇 |
冶金工业 | 60篇 |
原子能技术 | 32篇 |
自动化技术 | 3637篇 |
出版年
2024年 | 34篇 |
2023年 | 100篇 |
2022年 | 137篇 |
2021年 | 144篇 |
2020年 | 195篇 |
2019年 | 228篇 |
2018年 | 196篇 |
2017年 | 214篇 |
2016年 | 250篇 |
2015年 | 278篇 |
2014年 | 365篇 |
2013年 | 486篇 |
2012年 | 575篇 |
2011年 | 560篇 |
2010年 | 473篇 |
2009年 | 435篇 |
2008年 | 406篇 |
2007年 | 465篇 |
2006年 | 442篇 |
2005年 | 366篇 |
2004年 | 291篇 |
2003年 | 261篇 |
2002年 | 235篇 |
2001年 | 215篇 |
2000年 | 262篇 |
1999年 | 193篇 |
1998年 | 163篇 |
1997年 | 148篇 |
1996年 | 100篇 |
1995年 | 130篇 |
1994年 | 125篇 |
1993年 | 86篇 |
1992年 | 77篇 |
1991年 | 73篇 |
1990年 | 62篇 |
1989年 | 62篇 |
1988年 | 39篇 |
1987年 | 31篇 |
1986年 | 16篇 |
1985年 | 19篇 |
1984年 | 13篇 |
1983年 | 8篇 |
1982年 | 10篇 |
1981年 | 9篇 |
1980年 | 7篇 |
1979年 | 3篇 |
1978年 | 7篇 |
1977年 | 4篇 |
1975年 | 2篇 |
1974年 | 1篇 |
排序方式: 共有9001条查询结果,搜索用时 15 毫秒
41.
Ivan Cimrák 《Archives of Computational Methods in Engineering》2007,15(3):277-309
The Landau-Lifshitz (LL)equation of micromagnetism governs rich variety of the evolution of magnetization patterns in ferromagnetic
media. This is due to the complexity of physical quantities appearing in the LL equation. This complexity causes also an interesting
mathematical properties of the LL equation: nonlocal character for some quantities,nonconvex side-constraints, strongly nonlinear
terms. These effects influence also the numerical approximations. In this work, recent developments on the approximation of
weak solutions, together with the overview of well-known methods for strong solutions,are addressed.
Author is supported by the Fund for Scientific Research - Flanders FWO (Belgium). 相似文献
42.
An actor-critic type reinforcement learning algorithm is proposed and analyzed for constrained controlled Markov decision processes. The analysis uses multiscale stochastic approximation theory and the envelope theorem' of mathematical economics. 相似文献
43.
44.
This paper documents the design, competing systems, results, and conclusions of the CADE-14 ATP System Competition (CASC-14). 相似文献
45.
广义Foster定理 总被引:3,自引:0,他引:3
利用Maxwell方程组导出了适用于有耗网络的广义Foster定理,得到了一些有关电抗斜率以及Q值的有用公式及结论。 相似文献
46.
Implicit induction in conditional theories 总被引:1,自引:0,他引:1
We propose a new procedure for proof by induction in conditional theories where case analysis is simulated by term rewriting. This technique reduces considerably the number of variables of a conjecture to be considered for applying induction schemes. Our procedure is presented as a set of inference rules whose correctness has been formally proved. Moreover, when the axioms are ground convergent and the functions are completely defined, it is possible to apply the system for refuting conjectures. The procedure is even refutationally complete for conditional equations with Boolean preconditions over free constructors. The method is entirely implemented in the proverSPIKE. This system has solved interesting problems in a completely automatic way, that is, without interaction with the user and without ad hoc heuristics. It has also proved the challenging Gilbreath card trick, with only two easy lemmas.Preliminary versions of the results have been presented at the 13th International Joint Conference on Artificial Intelligence, Chambéry (France), 1993 (Bouhoula and Rusinowith, 1993). 相似文献
47.
提出状态空间离散化的思想,建立换热器的动态机理模型,然后通过Simulink模块化进行连接,对换热网络进行动态仿真。在大规模原油换热网络的仿真中,采用存储初值和切断代数环的方法,使换热网络的收敛速度得到了很大的提高,为复杂换热网络的动态仿真和实时优化打下了基础。这种方法,还可适用于一般石油化工过程装置的大规模动态仿真运行中。 相似文献
48.
三网融合是网络发展的主要方向,无线网络是接入有线网络的一个重要途径。本文主要概述了因特网、电信网络、有线电视网络和无线网络的技术现状;分析在三网融合的形势下,它们各自都可以为发展未来包含现在由三种网络提供的所有服务的综合业务网提供核心技术的能力;指出没有单个网络技术能够成为无争议的赢家:融合的网络将具有异构网络集合的特征,提供多种多样的服务;然后在更广阔的视野上阐明了在三网融合之后的未来全局多媒体网络的特征以及建立具有这样的特征的网络所面临的挑战和所需要的变革和创新。 相似文献
49.
50.
Sidney C. Bailin 《Journal of Automated Reasoning》1988,4(3):269-286
We present a semi-decision algorithm for the unifiability of two set-theoretic formulas modulo -reduction. The algorithm is based on the approach developed by G. Huet for type theory, but requires additional measures because formulas in set theory are not all normalizable. We present the algorithm in an Ada-like pseudocode, and then prove two theorems that show the completeness and correctness of the procedure. We conclude by showing that -unification is not a complete quantifier substitution method for set theory-unlile first-order unification and first-order logic. In this respect set theory is similar to type theory (higher-order logic).This material is based upon work supported by the National Science Foundation under award number ISI-8560438. Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the author and do not necessarily reflect the views of the National Science Foundation. 相似文献