全文获取类型
收费全文 | 5724篇 |
免费 | 543篇 |
国内免费 | 416篇 |
专业分类
电工技术 | 343篇 |
综合类 | 1217篇 |
化学工业 | 124篇 |
金属工艺 | 39篇 |
机械仪表 | 233篇 |
建筑科学 | 240篇 |
矿业工程 | 55篇 |
能源动力 | 62篇 |
轻工业 | 113篇 |
水利工程 | 66篇 |
石油天然气 | 59篇 |
武器工业 | 48篇 |
无线电 | 658篇 |
一般工业技术 | 596篇 |
冶金工业 | 63篇 |
原子能技术 | 22篇 |
自动化技术 | 2745篇 |
出版年
2024年 | 33篇 |
2023年 | 78篇 |
2022年 | 125篇 |
2021年 | 112篇 |
2020年 | 114篇 |
2019年 | 150篇 |
2018年 | 135篇 |
2017年 | 159篇 |
2016年 | 190篇 |
2015年 | 177篇 |
2014年 | 318篇 |
2013年 | 372篇 |
2012年 | 369篇 |
2011年 | 398篇 |
2010年 | 301篇 |
2009年 | 355篇 |
2008年 | 318篇 |
2007年 | 369篇 |
2006年 | 287篇 |
2005年 | 285篇 |
2004年 | 206篇 |
2003年 | 216篇 |
2002年 | 194篇 |
2001年 | 157篇 |
2000年 | 175篇 |
1999年 | 140篇 |
1998年 | 119篇 |
1997年 | 114篇 |
1996年 | 80篇 |
1995年 | 97篇 |
1994年 | 105篇 |
1993年 | 61篇 |
1992年 | 62篇 |
1991年 | 60篇 |
1990年 | 45篇 |
1989年 | 51篇 |
1988年 | 35篇 |
1987年 | 24篇 |
1986年 | 11篇 |
1985年 | 20篇 |
1984年 | 11篇 |
1983年 | 12篇 |
1982年 | 7篇 |
1981年 | 8篇 |
1980年 | 8篇 |
1979年 | 6篇 |
1978年 | 5篇 |
1977年 | 2篇 |
1976年 | 2篇 |
1975年 | 2篇 |
排序方式: 共有6683条查询结果,搜索用时 5 毫秒
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.
This paper considers the principles of algorithmic and software implementation of the software system NADRA 3D designed to
analyze processes in three-dimensional multicomponent soil media. The principles of operation of NADRA 3D are described.
__________
Translated from Kibernetika i Sistemnyi Analiz, No. 6, pp. 157–174, November–December 2006. 相似文献
3.
线性时变系统的区间稳定性与鲁棒稳定性 总被引:7,自引:0,他引:7
本文应用向量比较定理研究线性时变系统的区间稳定性和具非线性时变摄动的线性时变系统的鲁棒稳定性,所得的新结果包含文献的一些主要结果作为特例,本文的研究方法说明向量比较方法是分析区间稳定性和鲁棒稳定性的一种自然而有力的工具。 相似文献
4.
试论就业形势与战略 总被引:5,自引:1,他引:4
刘庆唐 《重庆理工大学学报(自然科学版)》2005,19(1):7-10
论述了就业的特殊重要性、目前我国就业形势的极端严重性,以及所应当采取的战略和措施。 相似文献
5.
Sven Beyer Christian Jacobi Daniel Kröning Dirk Leinenbach Wolfgang J. Paul 《International Journal on Software Tools for Technology Transfer (STTT)》2006,8(4-5):411-430
In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor
with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE
compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification
has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA.
A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional
verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University. 相似文献
6.
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. 相似文献
7.
关于粉体成球机盘体几何形状的研究 总被引:2,自引:2,他引:0
通过对粉体小球在粉体成球机盘底上运动轨线的研究,利用Euler定理,结合其参数特点,得到了不同几何形状的盘底在成球过程中对粉体小球运动的影响,球面盘底较平面盘底更有利于成球的结论。 相似文献
8.
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. 相似文献
9.
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. 相似文献
10.
郝建民 《导弹与航天运载技术》1997,(2)
推导证明了作为通信理论基石之一的采样定理及其公式存在着两个矛盾:内在不自洽性,即采样定理与其公式的推导前提条件相矛盾;采样定理在工程实际应用时的严重局限性 相似文献