全文获取类型
收费全文 | 6020篇 |
免费 | 912篇 |
国内免费 | 691篇 |
专业分类
电工技术 | 540篇 |
综合类 | 382篇 |
化学工业 | 165篇 |
金属工艺 | 122篇 |
机械仪表 | 537篇 |
建筑科学 | 227篇 |
矿业工程 | 112篇 |
能源动力 | 96篇 |
轻工业 | 180篇 |
水利工程 | 138篇 |
石油天然气 | 90篇 |
武器工业 | 78篇 |
无线电 | 713篇 |
一般工业技术 | 615篇 |
冶金工业 | 107篇 |
原子能技术 | 130篇 |
自动化技术 | 3391篇 |
出版年
2024年 | 57篇 |
2023年 | 134篇 |
2022年 | 247篇 |
2021年 | 249篇 |
2020年 | 283篇 |
2019年 | 205篇 |
2018年 | 192篇 |
2017年 | 226篇 |
2016年 | 274篇 |
2015年 | 281篇 |
2014年 | 407篇 |
2013年 | 438篇 |
2012年 | 447篇 |
2011年 | 433篇 |
2010年 | 339篇 |
2009年 | 364篇 |
2008年 | 356篇 |
2007年 | 422篇 |
2006年 | 356篇 |
2005年 | 342篇 |
2004年 | 251篇 |
2003年 | 217篇 |
2002年 | 190篇 |
2001年 | 126篇 |
2000年 | 122篇 |
1999年 | 112篇 |
1998年 | 75篇 |
1997年 | 76篇 |
1996年 | 63篇 |
1995年 | 67篇 |
1994年 | 42篇 |
1993年 | 41篇 |
1992年 | 41篇 |
1991年 | 22篇 |
1990年 | 19篇 |
1989年 | 24篇 |
1988年 | 15篇 |
1987年 | 8篇 |
1986年 | 9篇 |
1985年 | 9篇 |
1984年 | 7篇 |
1983年 | 10篇 |
1982年 | 4篇 |
1980年 | 5篇 |
1979年 | 5篇 |
1975年 | 2篇 |
1963年 | 2篇 |
1961年 | 2篇 |
1959年 | 1篇 |
1951年 | 1篇 |
排序方式: 共有7623条查询结果,搜索用时 15 毫秒
1.
The basic methods of verifying continuous automatic belt weighers are described. A comparative analysis of these methods on the basis of experimental studies is made and ways of implementing the results in industry are recommended. 相似文献
2.
3.
Generation of Technology-Independent Retargetable Analog Blocks 总被引:1,自引:0,他引:1
R. Castro-López F. V. Fernández F. Medeiro A. Rodríguez-Vázquez 《Analog Integrated Circuits and Signal Processing》2002,33(2):157-170
This paper introduces a complete methodology for retargeting of analog cells to different sets of specifications. This methodology is technology-independent, thus allowing the migration, from one technology to another, of the circuit under retargeting. Careful integration of the device sizing and layout generation tasks via the incorporation of layout constraints during the sizing process allows to generate fully functional designs in a few minutes. The methodology is illustrated via the retargeting of a fully-differential Miller-compensated two-stage operational amplifier for a new set of specifications and two different technological processes.An erratum to this article can be found at 相似文献
4.
Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach and the knowledge-based approach. But the optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. This paper describes the work in knowledge-based software engineering conducted by the authors for the past 10 years. The final goal of the research is to develop a paradigm for software engineering which integrates the three approaches mentioned above. A knowledge-based tool which can support the whole process of software development is provided in this paper. 相似文献
5.
6.
Munish Agarwal Ali K. Kamrani Hamid R. Parsaei 《Journal of Intelligent Manufacturing》1994,5(4):235-249
The philosophy of group technology (GT) is an important concept in the design of flexible manufacturing systems and manufacturing cells. Group technology is a manufacturing philosophy that identifies similar parts and groups them into families. Beside assigning unique codes to these parts, group technology developers intend to take advantage of part similarities during design and manufacturing processes. GT is not the answer to all manufacturing problems, but it is a good management technique with which to standardize efforts and eliminate duplication. Group technology classifies parts by assigning them to different families based on their similarities in: (1) design attributes (physical shape and size), and/or (2) manufacturing attributes (processing sequence). The manufacturing industry today is process focused; departments and sub units are no longer independent but are interdependent. If the product development process is to be optimized, engineering and manufacturing cannot remain independent any more: they must be coordinated. Each sub-system is a critical component within an integrated manufacturing framework. The coding and classification system is the basis of CAPP and the functioning and reliability of CAPP depends on the robustness of the coding system. The proposed coding system is considered superior to the previously proposed coding systems, in that it has the capability to migrate into multiple manufacturing environments. This article presents the design of a coding and classification system and the supporting database for manufacturing processes based on both design and manufacturing attributes of parts. An interface with the spreadsheet will calculate the machine operation costs for various processes. This menu-driven interactive package is implemented using dBASE-IV. Part Family formation is achieved using a KAMCELL package developed in TURBO Pascal. 相似文献
7.
8.
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. 相似文献
9.
Larry Wos 《Journal of Automated Reasoning》1987,3(4):433-435
This article is the fourth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research focuses on finding criteria that would enable an automated reasoning program to expand or contract definitions wisely. For evaluating a proposed solution to this research problem, we include suggestions concerning possible test problems.This work was supported by the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under contract W-31-109-Eng-38. 相似文献
10.
采用传递比较法对二厘米微波衰减标准装置不确定度进行了验证。测量标准装置的重复性以组内实验标准偏差sn(A)定量表征,测量标准装置的稳定性用组间实验标准偏差sm定量表征。 相似文献