全文获取类型
收费全文 | 3168篇 |
免费 | 258篇 |
国内免费 | 238篇 |
专业分类
电工技术 | 173篇 |
综合类 | 893篇 |
化学工业 | 80篇 |
金属工艺 | 13篇 |
机械仪表 | 99篇 |
建筑科学 | 93篇 |
矿业工程 | 20篇 |
能源动力 | 48篇 |
轻工业 | 67篇 |
水利工程 | 34篇 |
石油天然气 | 27篇 |
武器工业 | 20篇 |
无线电 | 356篇 |
一般工业技术 | 294篇 |
冶金工业 | 18篇 |
原子能技术 | 12篇 |
自动化技术 | 1417篇 |
出版年
2024年 | 11篇 |
2023年 | 29篇 |
2022年 | 39篇 |
2021年 | 36篇 |
2020年 | 41篇 |
2019年 | 64篇 |
2018年 | 55篇 |
2017年 | 65篇 |
2016年 | 92篇 |
2015年 | 78篇 |
2014年 | 129篇 |
2013年 | 175篇 |
2012年 | 180篇 |
2011年 | 221篇 |
2010年 | 155篇 |
2009年 | 198篇 |
2008年 | 174篇 |
2007年 | 204篇 |
2006年 | 172篇 |
2005年 | 163篇 |
2004年 | 115篇 |
2003年 | 130篇 |
2002年 | 112篇 |
2001年 | 96篇 |
2000年 | 130篇 |
1999年 | 96篇 |
1998年 | 84篇 |
1997年 | 82篇 |
1996年 | 49篇 |
1995年 | 76篇 |
1994年 | 88篇 |
1993年 | 46篇 |
1992年 | 49篇 |
1991年 | 48篇 |
1990年 | 37篇 |
1989年 | 42篇 |
1988年 | 28篇 |
1987年 | 23篇 |
1986年 | 7篇 |
1985年 | 15篇 |
1984年 | 4篇 |
1983年 | 3篇 |
1982年 | 3篇 |
1981年 | 6篇 |
1980年 | 5篇 |
1979年 | 2篇 |
1978年 | 3篇 |
1977年 | 2篇 |
1975年 | 1篇 |
1974年 | 1篇 |
排序方式: 共有3664条查询结果,搜索用时 15 毫秒
1.
The aim of this paper is to give a general quantitative requirement which the loop gain must satisfy in order to stabilize a given unstable (possibly nonlinear and time-varying) plant, namely that the gain must exceed one. 相似文献
2.
线性时变系统的区间稳定性与鲁棒稳定性 总被引:7,自引:0,他引:7
本文应用向量比较定理研究线性时变系统的区间稳定性和具非线性时变摄动的线性时变系统的鲁棒稳定性,所得的新结果包含文献的一些主要结果作为特例,本文的研究方法说明向量比较方法是分析区间稳定性和鲁棒稳定性的一种自然而有力的工具。 相似文献
3.
The famous Antosik-Mikusinski convergent theorem on the Abel topological groups has very extensive applications in measure theory, summation theory and other analysis fields. In this paper, we establish the theorem on a class of effect algebras equipped with the ideal topology. This paper shows also that the ideal topology of effect algebras is a useful topology in studying the quantum logic the- ory. 相似文献
4.
关于粉体成球机盘体几何形状的研究 总被引:2,自引:2,他引:0
通过对粉体小球在粉体成球机盘底上运动轨线的研究,利用Euler定理,结合其参数特点,得到了不同几何形状的盘底在成球过程中对粉体小球运动的影响,球面盘底较平面盘底更有利于成球的结论。 相似文献
5.
Norihiro Kamide 《Journal of Logic, Language and Information》2002,11(4):453-470
We introduce Kripke semantics for modal substructural logics, and provethe completeness theorems with respect to the semantics. Thecompleteness theorems are proved using an extended Ishihara's method ofcanonical model construction (Ishihara, 2000). The framework presentedcan deal with a broad range of modal substructural logics, including afragment of modal intuitionistic linear logic, and modal versions ofCorsi's logics, Visser's logic, Méndez's logics and relevant logics. 相似文献
6.
J Strother Moore 《Formal Aspects of Computing》1994,6(1):60-91
We present a formal model of asynchronous communication between two digital hardware devices. The model takes the form of a function in the Boyer-Moore logic. The function transforms the signal stream generated by one processor into that consumed by an independently clocked processor, given the phases and rates of the two clocks and the communications delay. The model can be used quantitatively to derive concrete performance bounds on communications at ISO protocol level 1 (physical level). We use the model to show that an 18-bit/cell biphase mark protocol reliably sends messages of arbitrary length between two processors provided the ratio of the clock rates is within 5% of unity. 相似文献
7.
本文给出一个结构不完全对称并联电网的等价定理,它把双输入双输出非线性耦合的微分方程组等价为单输入单输出的非线性微分方程,然后用渐近方法和谐波线性化方法求其一次近似解,得到一些新的物理性质,有助于合理选择电网结构,以提高其结构稳定性. 相似文献
8.
9.
以Takens嵌入定理和影子定理为理论依据,提出一种能对混沌信号去噪的局部投影方法。该方法不需潜在动力学系统的先验知识,符合工程实用的要求。通过实验结果表明这种方法对混沌信号去噪很有效。 相似文献
10.
Shang-Ching Chou 《Journal of Automated Reasoning》1988,4(3):237-267
Wu's algebraic method for mechanically proving geometry theorems is presented at a level as elementary as possible with sufficient examples for further understanding the complete method.The work reported here was supported by NSF Grant DCR-8503498. 相似文献