全文获取类型
收费全文 | 11483篇 |
免费 | 1450篇 |
国内免费 | 903篇 |
专业分类
电工技术 | 1030篇 |
技术理论 | 1篇 |
综合类 | 971篇 |
化学工业 | 354篇 |
金属工艺 | 554篇 |
机械仪表 | 1589篇 |
建筑科学 | 573篇 |
矿业工程 | 359篇 |
能源动力 | 175篇 |
轻工业 | 265篇 |
水利工程 | 312篇 |
石油天然气 | 307篇 |
武器工业 | 317篇 |
无线电 | 1460篇 |
一般工业技术 | 963篇 |
冶金工业 | 513篇 |
原子能技术 | 304篇 |
自动化技术 | 3789篇 |
出版年
2024年 | 71篇 |
2023年 | 192篇 |
2022年 | 379篇 |
2021年 | 456篇 |
2020年 | 475篇 |
2019年 | 357篇 |
2018年 | 342篇 |
2017年 | 418篇 |
2016年 | 470篇 |
2015年 | 548篇 |
2014年 | 840篇 |
2013年 | 854篇 |
2012年 | 893篇 |
2011年 | 874篇 |
2010年 | 662篇 |
2009年 | 635篇 |
2008年 | 646篇 |
2007年 | 728篇 |
2006年 | 633篇 |
2005年 | 561篇 |
2004年 | 433篇 |
2003年 | 429篇 |
2002年 | 337篇 |
2001年 | 253篇 |
2000年 | 233篇 |
1999年 | 200篇 |
1998年 | 154篇 |
1997年 | 128篇 |
1996年 | 106篇 |
1995年 | 110篇 |
1994年 | 79篇 |
1993年 | 65篇 |
1992年 | 51篇 |
1991年 | 37篇 |
1990年 | 31篇 |
1989年 | 33篇 |
1988年 | 24篇 |
1987年 | 12篇 |
1986年 | 8篇 |
1985年 | 7篇 |
1984年 | 7篇 |
1983年 | 6篇 |
1982年 | 6篇 |
1980年 | 6篇 |
1979年 | 6篇 |
1964年 | 5篇 |
1963年 | 3篇 |
1962年 | 3篇 |
1960年 | 3篇 |
1955年 | 7篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
11.
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. 相似文献
12.
针对100吨转炉设备安装过程中设备重量超载,超高,无法直接采用行车安装的情况,采用了设备分体移位吊装,现场整体组合焊接的施工工艺方案,设计专用安装工装,确保了设备安装精度并一次安装到位。 相似文献
13.
针对传统的非锐化掩模算法的局限性,依据图像中各像素点及以其为中心的若干相邻像素点的均方差值,提出了自适应图像增强算法的原理,并分析其硬件实现方法,然后给出了该算法与其它算法应用于图像增强的对比结果,最后在FPGA(field programmable gate array)实验板上进行验证.实验结果表明,此算法有效的增强图像的细节区域,防止图像边缘区域出现过冲现象,抑制图像平坦区域的噪声放大.因此,该算法取得了良好的视觉效果,硬件实现简单,适合于实时条件下图像的增强. 相似文献
14.
当前炮位侦校雷达精度评价存在两种计算方法,通过分析这两种精度计算方法的原理,就如何选用计算方法对雷达精度进行合理评价等问题进行了探讨,并在实践运用效果的基础上对提高产品研制质量提出了建议。 相似文献
15.
Erian A. Armanios 《Canadian Metallurgical Quarterly》1991,4(2):216-235
A validation of the delamination analysis models developed in a companion paper is provided through comparisons of predictions with finite‐element and elasticity solutions. The models are applied to the analysis of composite compression specimens reinforced with end tabs. An elasticity solution for the gage section of the specimens is developed. A comparison of the characteristic roots shows that the predictions of the models include the material and geometric parameters that control the behavior, and the roots corresponding to the basic stretching and bending modes are accurately predicted. The stress distribution at the interface between tabs and specimen is in good agreement with a finite‐element simulation. The interlaminar shear and peel stresses show an exponential increase with a maximum intensity at the free edges of the tabs. The behavior of previously tested specimens is explained; and practical guidelines for specimen design are provided to avoid unwanted extraneous modes of failure. The influence of the deformation modes associated with each model is investigated. An assessment of the accuracy and level of complexity is presented. 相似文献
16.
Numerical Modeling of Silicon Photodiodes for High-Accuracy Applications Part I. Simulation Programs
Jon Geist Deane Chandler-Horowitz A. M. Robinson C. R. James 《Journal of research of the National Institute of Standards and Technology》1991,96(4):463-469
The suitability of the semiconductor-device modeling program PC-1D for high-accuracy simulation of silicon photodiodes is discussed. A set of user interface programs optimized to support high-accuracy batch-mode operation of PC-1D for modeling the internal quantum efficiency of photodiodes is also described. The optimization includes correction for the dark current under reverse- and forward-bias conditions before calculating the quantum efficiency, and easy access to the highest numerical accuracy available from PC-1D, neither of which is conveniently available with PC-1D’s standard user interface. 相似文献
17.
介绍了VLSI版图验证中电阻提取的基本原理和主要方法,给出了一种新颖的基于边界元法的电阻提取算法。该算法采用变节点单元,较好地解决了实际问题中经常出现的角点问题。通过应用该算法对几个实例进行提取,证明使用本文的算法不仅在精度上而且在占用CPU时间上都取得了令人满意的效果 相似文献
18.
强度型光纤传感器的信号检测系统 总被引:1,自引:0,他引:1
余向东 《中国计量学院学报》1996,(1)
本文阐述了一种可提高强度型光纤传感器测量精度的检测系统。该系统利用同一检测电路交替检测信号、参考通道的输出信号,并将信号、参考两通道的检测结果相除,从而消除了因发光二极管光源波动及检测电路系统不稳定所带来的误差。采用同步相关技术抑制了噪声,提高了输出信噪比。实验证明,当时间常数RC为0.05S时,采用该检测系统可获得优于千分之一的零点稳定性和优于2×103的输出信噪比。 相似文献
19.
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. 相似文献
20.
TheSpecial Issue on Applications of Temporal Models raises many issues of time: What are the important properties of time? How can time be best represented? How can one reason about time-dependent properties? What are the important directions of temporal research? This introductory piece very briefly surveys the current wide variety of temporal models, temporal reasoning methods, and applications to time-varying phenomena. Promising areas of investigation such as the verification of concurrent systems, knowledge-base representation methods, and dealing with theFrame Problem pass in fleeting review. Brief introductions to each of the works in the volume close the section. 相似文献