全文获取类型
收费全文 | 63575篇 |
免费 | 5713篇 |
国内免费 | 2867篇 |
专业分类
电工技术 | 3569篇 |
技术理论 | 2篇 |
综合类 | 4108篇 |
化学工业 | 10695篇 |
金属工艺 | 3715篇 |
机械仪表 | 4063篇 |
建筑科学 | 4689篇 |
矿业工程 | 2137篇 |
能源动力 | 1693篇 |
轻工业 | 3992篇 |
水利工程 | 1070篇 |
石油天然气 | 3919篇 |
武器工业 | 524篇 |
无线电 | 7689篇 |
一般工业技术 | 7748篇 |
冶金工业 | 3066篇 |
原子能技术 | 634篇 |
自动化技术 | 8842篇 |
出版年
2024年 | 353篇 |
2023年 | 1131篇 |
2022年 | 1830篇 |
2021年 | 2583篇 |
2020年 | 1973篇 |
2019年 | 1764篇 |
2018年 | 1921篇 |
2017年 | 2116篇 |
2016年 | 1917篇 |
2015年 | 2476篇 |
2014年 | 3019篇 |
2013年 | 3620篇 |
2012年 | 4050篇 |
2011年 | 4448篇 |
2010年 | 3673篇 |
2009年 | 3514篇 |
2008年 | 3387篇 |
2007年 | 3291篇 |
2006年 | 3656篇 |
2005年 | 3030篇 |
2004年 | 2119篇 |
2003年 | 1796篇 |
2002年 | 1590篇 |
2001年 | 1443篇 |
2000年 | 1557篇 |
1999年 | 1708篇 |
1998年 | 1511篇 |
1997年 | 1266篇 |
1996年 | 1145篇 |
1995年 | 953篇 |
1994年 | 834篇 |
1993年 | 570篇 |
1992年 | 427篇 |
1991年 | 366篇 |
1990年 | 261篇 |
1989年 | 212篇 |
1988年 | 184篇 |
1987年 | 122篇 |
1986年 | 97篇 |
1985年 | 59篇 |
1984年 | 30篇 |
1983年 | 20篇 |
1982年 | 28篇 |
1981年 | 16篇 |
1980年 | 21篇 |
1979年 | 10篇 |
1978年 | 7篇 |
1977年 | 5篇 |
1976年 | 14篇 |
1975年 | 9篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
991.
992.
Godson-3: A Scalable Multicore RISC Processor with x86 Emulation 总被引:2,自引:0,他引:2
The Godson-3 microprocessor aims at high-throughput server applications, high-performance scientific computing, and high-end embedded applications. It offers a scalable network on chip, hardware support for x86 emulation, and a reconfigurable architecture. The four-core Godson-3 chip is fabricated with 65-nm CMOS technology. Eight- and 16-core Godson-3 chips are in development. 相似文献
993.
994.
This paper addresses the food distribution decision from a wholesaler's perspective, as the wholesalers are often faced with thorny issues such as when, where, how to deliver products at the lowest costs to best satisfy the retailers’ changing needs. This research relies on a distribution problem encountered at Northern Grocery Company in Beijing as an example to develop a two-stage solution procedure and subsequent computer-enabled programs for identifying efficient vehicle routing alternatives. The solution process, which integrates heuristic search algorithms and an integer programming model, can be applied to a wide range of distribution problems with specified route durations and a circular transportation network structure as exemplified by City of Beijing. 相似文献
995.
Petri nets based deadlock prevention for flexible manufacturing systems has received much attention over the past decade, primarily due to the seminal work of Ezpeleta et al. in 1995. A Petri net based deadlock prevention mechanism is usually implemented by adding monitors or control places to a plant Petri net model such that liveness can be enforced. The significance of this methodology lies in that both a plant model and its supervisor are in a same formalism-Petri nets. Due to the inherent complexity of Petri nets, in theory, the number of additional monitors that have to been added to achieve liveness-enforcement purpose for an uncontrolled plant model is exponential with respect to the size of the model. This paper first proposes a systematic method to minimize the number of additional monitors in a liveness-enforcing Petri net supervisor such that the resultant net system has the same permissive behavior while liveness can still be preserved. Furthermore, for the liveness-enforcing Petri net supervisors of flexible manufacturing systems, which have some particular property, an algorithm is developed such that more permissive liveness-enforcing Petri net supervisors can be obtained after liveness-restrictive monitor removal. Compared with the existing techniques of eliminating redundant monitors in the literature, the complete state enumeration of a supervisor is avoided, which implies the high computational efficiency of the methods in this paper. Flexible manufacturing examples are used to demonstrate the proposed approaches. 相似文献
996.
In this paper, the global exponential stability is investigated for the bi-directional associative memory networks with time delays. Several new sufficient conditions are presented to ensure global exponential stability of delayed bi-directional associative memory neural networks based on the Lyapunov functional method as well as linear matrix inequality technique. To the best of our knowledge, few reports about such “linearization” approach to exponential stability analysis for delayed neural network models have been presented in literature. The method, called parameterized first-order model transformation, is used to transform neural networks. The obtained conditions show to be less conservative and restrictive than that reported in the literature. Two numerical simulations are also given to illustrate the efficiency of our result. 相似文献
997.
通过对中原油田注水站应用高压大功率变频调速节能技术的原理及效果分析,揭示了油田注水系统应用变频实施节能改遗的巨大潜力. 相似文献
998.
999.
Hai-Yin Xu Author Vitae Hon Yuen Tam Author Vitae Author Vitae Li’an Hu Author Vitae 《Computer aided design》2009,41(6):432-440
The intersecting path is an important tool path generation method. This paper proposes an approach for the quart-parametric interpolation of intersecting paths. The objective of our approach is that the intersecting paths for surface machining can be directly interpolated within the computer numerical control (CNC) system. This enables the CNC interpolator to process the intersecting paths without geometric approximation as in existing approaches and take into consideration any specific feedrate profiles and further machining dynamical issues along the path.The interpolation of the intersection of two general parametric surfaces is transferred into interpolation of its projection curves and the time trajectories of four parameters along the intersecting curves are obtained. Our strategy is to carry out the quart-parametric interpolation based on the projection interpolation. The feedrate control method is developed, and then the interpolation algorithms for two projection curves are proposed. An error reduction scheme is presented to alleviate point deviation from the drive parametric surface. Simulations of quart-parametric interpolation have been carried out to verify the effectiveness of the proposed algorithm. 相似文献
1000.
A (t, n) threshold proxy signature scheme allows any t or more proxy signers to cooperatively sign messages on behalf of an original signer, but t ? 1 or fewer proxy signers cannot. In a recent work [C.H. Yang, S.F. Tzeng, M.S. Hwang, On the efficiency of nonrepudiable threshold proxy signature scheme with known signers, Systems and Software 73(3) (2004) 507–514], C.H. Yang, S.F. Tzeng and M.S. Hwang proposed a new threshold proxy signature scheme (called as YTH scheme), which is more efficient in algorithm and communication than Hsu et al.'s scheme proposed in 2001. However, YTH scheme still has some security weaknesses. In this paper, we show that YTH scheme cannot resist frame attack and public-key substitute attack. A new improvement with high safety and efficiency is proposed. The new scheme remedies the weaknesses of YTH scheme, especially, it can resist public-key substitute attack successfully by Zero-Knowledge Proof. Furthermore, the system doesn't need a security channel and computational complexity can be lowered. 相似文献