全文获取类型
收费全文 | 139265篇 |
免费 | 8661篇 |
国内免费 | 4369篇 |
专业分类
电工技术 | 6499篇 |
技术理论 | 8篇 |
综合类 | 12416篇 |
化学工业 | 10459篇 |
金属工艺 | 5788篇 |
机械仪表 | 14991篇 |
建筑科学 | 31680篇 |
矿业工程 | 4481篇 |
能源动力 | 3279篇 |
轻工业 | 5986篇 |
水利工程 | 4046篇 |
石油天然气 | 5387篇 |
武器工业 | 1557篇 |
无线电 | 8170篇 |
一般工业技术 | 15440篇 |
冶金工业 | 3677篇 |
原子能技术 | 741篇 |
自动化技术 | 17690篇 |
出版年
2024年 | 577篇 |
2023年 | 1557篇 |
2022年 | 2547篇 |
2021年 | 3165篇 |
2020年 | 3487篇 |
2019年 | 2694篇 |
2018年 | 2612篇 |
2017年 | 3265篇 |
2016年 | 3653篇 |
2015年 | 3959篇 |
2014年 | 9771篇 |
2013年 | 7956篇 |
2012年 | 9785篇 |
2011年 | 10429篇 |
2010年 | 8841篇 |
2009年 | 9106篇 |
2008年 | 8176篇 |
2007年 | 9831篇 |
2006年 | 8252篇 |
2005年 | 7233篇 |
2004年 | 5926篇 |
2003年 | 5509篇 |
2002年 | 4347篇 |
2001年 | 3738篇 |
2000年 | 3080篇 |
1999年 | 2400篇 |
1998年 | 1965篇 |
1997年 | 1680篇 |
1996年 | 1421篇 |
1995年 | 1120篇 |
1994年 | 897篇 |
1993年 | 647篇 |
1992年 | 514篇 |
1991年 | 422篇 |
1990年 | 287篇 |
1989年 | 299篇 |
1988年 | 212篇 |
1987年 | 167篇 |
1986年 | 97篇 |
1985年 | 118篇 |
1984年 | 139篇 |
1983年 | 95篇 |
1982年 | 101篇 |
1981年 | 35篇 |
1980年 | 51篇 |
1979年 | 29篇 |
1978年 | 13篇 |
1977年 | 13篇 |
1975年 | 9篇 |
1959年 | 12篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
51.
The efficient, economical and often elegant transformation from a design schema to an embodied design solution containing real components is essential for the commercial success of a product. More often the ability of the designer to explore an optimum solution is severely frustrated by the analytically intensive and time-consuming aspects of embodying a concept. This paper presents a computer based system-modelling tool that is to be used by designers during the transformation of a concept to an embodied solution particularly to deal with standard components. This environment provides for the representation of conceptual schemas and subsequent embodiment from computer based component selection modules. These selection modules encompass the full range of electronic representations for standard mechanical components. The strategy for representing a mechanical system, its included components and their associated representations is discussed. The process of constructing a system model, specifying the desired performance characteristics and system resolution are also described. 相似文献
52.
徐惟红 《计算机应用与软件》1993,10(5):32-36,43
本文提出一种基于知识的计算机辅助服装设计系统,该系统运用了人工智能中产生式和框架思想,把服装设计中智能和各种常识和技能进行抽象,把服装按人体部位进行自上而下的分层,从而把一个很复杂的问题转变为简单问题。本文同时提出真实显示服装效果图的数学模型。 相似文献
53.
斯新中 《石油化工设备技术》1996,17(4):1-3
根据十万立方米浮顶油罐罐壁板应力测试的实测结果,运用应力分析程序,对罐壁板应力分布情况进行了分析和比较,通过调整罐壁板的厚度,使新设计储罐的罐壁板应力分布更加均匀、合理。 相似文献
54.
In this paper an H∞ optimal, robust flight control system design for a supersonic aircraft has been described. Separate controllers are designed for longitudinal and lateral motions. A general two-degrees-of-freedom controller is proposed, where feedback control is designed for robust performance augmentation, while a series compensator is used to ensure that requisite handling qualities. Three alternative methods to achieve performance robustness have been discussed. The results obtained are very encouraging. It is hoped that this will equip the flight control engineers with an alternative to the conventional methods. 相似文献
55.
几何设计约束的表示与满足问题研究 总被引:3,自引:1,他引:2
对于智能CAD系统来说,具有解决几何设计约束的功能是重要的。本文提出了一种面向对象的几何设计约束表示方法,它可以通过两种方式来表达。文中给出了一个约束传播算法,用于解决约束满足问题。 相似文献
56.
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. 相似文献
57.
对于遂昌金矿合理的采场结构参数,目前没有理想的确定方法。本文联系上盘围岩的构造裂隙,矿房的支护形式等提出采场稳定跨度判断指标。经40个采场的检验,值信度达97.5%。 相似文献
58.
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. 相似文献
59.
针对双组分等温平行反应体系,分析讨论了以提高催化剂活性和选择性为目标时催化剂活性组分的最优分布形式(为δ-函数分布),并给出了确定这种反应体系的催化剂的最佳活性层位置的计算方法。结果表明:以提高选择性为目标的最佳活性层位置比以提高活性为目标的要更靠近催化剂核心,实用的最优位置应介于二者之间。最后,本文还研究了反应动力学级数、本性选择性以及内扩散模数(Thiele 模数)等因素对最佳活性层位置的影响。 相似文献
60.
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. 相似文献