全文获取类型
收费全文 | 126171篇 |
免费 | 7083篇 |
国内免费 | 3533篇 |
专业分类
电工技术 | 6200篇 |
技术理论 | 7篇 |
综合类 | 10981篇 |
化学工业 | 9209篇 |
金属工艺 | 5278篇 |
机械仪表 | 14138篇 |
建筑科学 | 28591篇 |
矿业工程 | 3920篇 |
能源动力 | 2985篇 |
轻工业 | 5144篇 |
水利工程 | 3624篇 |
石油天然气 | 4083篇 |
武器工业 | 1438篇 |
无线电 | 7693篇 |
一般工业技术 | 13263篇 |
冶金工业 | 3005篇 |
原子能技术 | 661篇 |
自动化技术 | 16567篇 |
出版年
2024年 | 455篇 |
2023年 | 1238篇 |
2022年 | 2073篇 |
2021年 | 2631篇 |
2020年 | 2904篇 |
2019年 | 2216篇 |
2018年 | 2179篇 |
2017年 | 2778篇 |
2016年 | 3189篇 |
2015年 | 3460篇 |
2014年 | 9042篇 |
2013年 | 7113篇 |
2012年 | 8881篇 |
2011年 | 9515篇 |
2010年 | 8089篇 |
2009年 | 8373篇 |
2008年 | 7507篇 |
2007年 | 9014篇 |
2006年 | 7545篇 |
2005年 | 6656篇 |
2004年 | 5357篇 |
2003年 | 5059篇 |
2002年 | 4024篇 |
2001年 | 3377篇 |
2000年 | 2769篇 |
1999年 | 2165篇 |
1998年 | 1780篇 |
1997年 | 1496篇 |
1996年 | 1263篇 |
1995年 | 994篇 |
1994年 | 810篇 |
1993年 | 562篇 |
1992年 | 442篇 |
1991年 | 374篇 |
1990年 | 238篇 |
1989年 | 239篇 |
1988年 | 184篇 |
1987年 | 138篇 |
1986年 | 83篇 |
1985年 | 93篇 |
1984年 | 122篇 |
1983年 | 81篇 |
1982年 | 92篇 |
1981年 | 31篇 |
1980年 | 35篇 |
1979年 | 27篇 |
1978年 | 13篇 |
1977年 | 11篇 |
1959年 | 11篇 |
1951年 | 7篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
101.
C. C. Price
M. Salama
《Computers & Mathematics with Applications》1993,26(12):17-24Criteria are established to determine the optimal policy for allocating a set of uniform tasks onto a multiprocessor hypercube ensemble. It is shown that the optimal policy depends on the ratio of computation to intertask communication required by the distributed program, and that based on this ratio, tasks should be placed either all on one processor or uniformly distributed over the largest possible hypercube. 相似文献
102.
This paper presents a partial scan algorithm, calledPARES (PartialscanAlgorithm based onREduced Scan shift), for designing partial scan circuits. PARES is based on the reduced scan shift that has been previously proposed for generating short test sequences for full scan circuits. In the reduced scan shift method, one determines proch FFs must be controlled and observed for each test vector. According to the results of similar analysis, PARES selects these FFs that must be controlled or observed for a large number of test vectors, as scanned FFs. Short test sequences are generated by reducing scan shift operations using a static test compaction method. To minimize the loss of fault coverage, the order of test vectors is so determined that the unscanned FFs are in the state required by the next test vector. If there are any faults undetected yet by a test sequence derived from the test vectors, then PARES uses a sequential circuit test generator to detect the faults. Experimental results for ISCAS'89 benchmark circuits are given to demonstrate the effectiveness of PARES. 相似文献
103.
集群移动通信系统的组网设计 总被引:1,自引:0,他引:1
本文对集群移动通信系统在组网设计时应考虑的问题进行了分析,并提出了具体步骤和方法,可供集群系统组网设计时参考。 相似文献
104.
以行波半导体光放大器速度方程为基础,采用传输矩阵方法,对锥形结构半导体光放大器的增益和饱和特性进行理论研究。讨论了不同锥形长度,不同结构时的增益和饱和特性差异。理论研究表明,锥形结构能改善半导体光放大器的偏振灵敏度。在同一锥度下,长锥形长度能提高饱和增益,降低偏振度。在进行半导体光放大器有源条结构设计时要综合考虑锥度及锥形长度的影响,以实现结构优化 。 相似文献
105.
106.
Design of artificial satellites for communication, remote sensing and scientific investigations follows, at present, a fixed
pattern based on existing and proven technologies and the requirements of payload or experiment within the constraints of
weight, volume and power available. The advances in optoelectronic components and systems have opened up a new dimension in
designing satellites of the future, incorporating new technologies. This paper deals with general satellite design concepts
based on optoelectronic systems wherever applicable. 相似文献
107.
108.
Summary A derivation of a parallel algorithm for rank order filtering is presented. Both derivation and result differ from earlier designs: the derivations are less complicated and the result allows a number of different implementations. The same derivation is used to design a collection of priority queues. Both filters and priority queues are highly efficient: they have constant response time and small latency.
Anne Kaldewaij received an M.Sc. degree in Mathematics from the University of Utrecht (The Netherlands) and a Ph.D. degree in Computing Science from the Eindhoven University of Technology. Currently, he is associate professor in Computing Science at Eindhoven University. His research includes parallel programming and the design of algorithms and data structures. He enjoys teaching and he has written a number of textbooks on mathematics and programming.
Jan Tijmen Udding received an M.Sc. degree in Mathematics in 1980 and a Ph.D. degree in Computing Science in 1984 from Eindhoven University of Technology. Currently, he is associate professor at Groningen University. His main research interests are mathematical aspects of VLSI, program derivation and correctness, and functional programming. 相似文献
109.
针对双组分等温平行反应体系,分析讨论了以提高催化剂活性和选择性为目标时催化剂活性组分的最优分布形式(为δ-函数分布),并给出了确定这种反应体系的催化剂的最佳活性层位置的计算方法。结果表明:以提高选择性为目标的最佳活性层位置比以提高活性为目标的要更靠近催化剂核心,实用的最优位置应介于二者之间。最后,本文还研究了反应动力学级数、本性选择性以及内扩散模数(Thiele 模数)等因素对最佳活性层位置的影响。 相似文献
110.
Mike Schofield 《Quality and Reliability Engineering International》1992,8(6):549-555
Because of the growing demand for increasingly complex computer-based systems there is now an urgent need to provide tools to assist during the design of such systems. Formal specifications and formal methods provide such assistance but their widespread adoption has been hindered by the so-called ‘math fear’ and the perception that the tools are too difficult, too time consuming and too costly to use in a commercial environment. The aim of this article is to dispel the mystery surrounding the topic and to explain what formal methods are, how and why they are used, the benefits that accrue and why the technology should be accepted on a broader front. The application of formal methods to the design of computer-based systems will be discussed without resorting to jargon or mathematics. The discussion will concentrate more on the software content of systems but the arguments apply equally well to hardware. Some of the available tools will also be introduced. 相似文献