全文获取类型
收费全文 | 13148篇 |
免费 | 720篇 |
国内免费 | 870篇 |
专业分类
电工技术 | 355篇 |
综合类 | 746篇 |
化学工业 | 1289篇 |
金属工艺 | 391篇 |
机械仪表 | 1397篇 |
建筑科学 | 1030篇 |
矿业工程 | 215篇 |
能源动力 | 543篇 |
轻工业 | 273篇 |
水利工程 | 274篇 |
石油天然气 | 395篇 |
武器工业 | 93篇 |
无线电 | 835篇 |
一般工业技术 | 657篇 |
冶金工业 | 342篇 |
原子能技术 | 126篇 |
自动化技术 | 5777篇 |
出版年
2024年 | 23篇 |
2023年 | 111篇 |
2022年 | 171篇 |
2021年 | 264篇 |
2020年 | 227篇 |
2019年 | 231篇 |
2018年 | 227篇 |
2017年 | 291篇 |
2016年 | 388篇 |
2015年 | 417篇 |
2014年 | 749篇 |
2013年 | 725篇 |
2012年 | 713篇 |
2011年 | 1070篇 |
2010年 | 710篇 |
2009年 | 729篇 |
2008年 | 786篇 |
2007年 | 942篇 |
2006年 | 882篇 |
2005年 | 759篇 |
2004年 | 697篇 |
2003年 | 722篇 |
2002年 | 528篇 |
2001年 | 429篇 |
2000年 | 300篇 |
1999年 | 307篇 |
1998年 | 270篇 |
1997年 | 219篇 |
1996年 | 165篇 |
1995年 | 166篇 |
1994年 | 106篇 |
1993年 | 70篇 |
1992年 | 78篇 |
1991年 | 51篇 |
1990年 | 41篇 |
1989年 | 45篇 |
1988年 | 31篇 |
1987年 | 9篇 |
1986年 | 16篇 |
1985年 | 22篇 |
1984年 | 12篇 |
1983年 | 10篇 |
1982年 | 9篇 |
1981年 | 6篇 |
1980年 | 5篇 |
1979年 | 2篇 |
1978年 | 1篇 |
1976年 | 3篇 |
1973年 | 2篇 |
1972年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
71.
涡轮增压柴油机模拟计算等压法的探讨 总被引:3,自引:0,他引:3
针对有些模拟计算可以忽略排气压力波的影响,提出了等压法计算的设想,这是一种每一工作循环缸外热力过程只计算一次的简化方法。分析结果表明,这种计算可以满足零维模型必须满足的所有制约方程,能真实地模拟涡轮增压柴油机的实际工作过程,适用于各种增压系统,但仍有待于进一步的研究与改进。根据等压法,建立了一种适用于定压涡轮系统的计算模型--“定压涡轮”模型,用于MPC增压系统的计算,计算结果与试验结果基本吻合,与容积法计算结果趋于一致,从而验证了模型的正确性,同时也表明这种缸外计算法是有效的。 相似文献
72.
The complete verification of the timing properties of a large critical system cannot be undertaken in a single step or with
a single method. In this paper we present a process that links together a number of techniques and approaches that cover all
stages of development from requirements analysis to code testing. The key elements of the process are: a constrained form
of timed automata that uses delay and deadline to define temporal behaviour, notions of rely and guarantee to cover temporal dependencies, model checking for design verification, SPARK and Ravenscar restrictions for programming,
and scheduling and response time analysis for asserting implementation compliance. Extended examples of the use of the process
are given. 相似文献
73.
A model-based autotuning method consists of an identification and a regulator tuning phase. To achieve satisfactory performance and robustness, it is advisable that both phases be tailored a priori to the characteristics of the observed process dynamics. Such characteristics include, but are not limited to, the model structure. For example, overdamped and underdamped models with the same pole-zero structure are parametrised and controlled in different ways. Step response data, that are typically used for the identification phase in the autotuning context, can also be pre-processed to reveal those characteristics. This paper presents a step response classification method suitable for the above purpose. The method is based on a polygonal curve approximation technique for data pre-processing, followed by a neural network classifier. Only normalised I/O data are employed, so that the neural network can be trained off-line with simulated data. Simulation results are reported to show the effectiveness of the proposed classification method in terms of the achievable tuning results. 相似文献
74.
We describe how the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol is modelled
in Promela and verified using SPIN. The verification of arbitrary system configurations is discussed.
Received July 2001/Accepted in revised form November 2002
Correspondence and offprint requests to: Alice Miller, Department of Computing Science, University of Glasgow, 17 Lilybank Gardens, Glasgow G12 8QQ, UK. Email: alice@dcs.gla.ac.uk 相似文献
75.
给出一种新的统计模型的建立方法。在有源器件物理模型的基础上,通过优化物理模型参数的均值和均方根,使所建立统计模型的S参数在各个频率上的概率分布逼近测量数据的概率分布。从建立微波MESFET统计模型的算例结果看出,本方法不仅能比较好地拟合样本S参数的概率分布,而且提高了计算效率。 相似文献
76.
通过对集成基础结构中应用服务器的功能需求分析,采用面向对象方法、矩阵理论和Petri网技术研究了应用服务器系统的实现策略,并依据智能工程理论给出了应用服务器的系统结构。 相似文献
77.
漳泽水库最优兴利调度研究 总被引:2,自引:0,他引:2
漳泽水库供水能力下降。优化调度方式是提高水库效益的最有效途径。通过采用随机动态规划方法与模拟模型交互运算得到现行控制水位的水库优化调度图。采用同样方法对不同控制水位的水库运行方式进行优化调度,选出的规划水库最优控制水位为汛限水位904 .5 m ,正常高水位905 .5 m 。优化的控制水位方案在保障水库防洪安全的前提下可供给城市生活和工业用水6 300 万m3 ,较现行控制水位下的供水量提高1 255 万m3 。但农业用水仍然不足,应采取一定措施给予解决,如对灌区工程进行改造,因地制宜采取不同节水措施和污水回用等。 相似文献
78.
Enrico Tronci 《International Journal on Software Tools for Technology Transfer (STTT)》2006,8(4-5):355-358
In today’s competitive market designing of digital systems (hardware as well as software) faces tremendous challenges. In
fact, notwithstanding an ever decreasing project budget, time to market and product lifetime, designers are faced with an
ever increasing system complexity and customer expected quality. The above situation calls for better and better formal verification
techniques at all steps of the design flow. This special issue is devoted to publishing revised versions of contributions
first presented at the 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME) held 21–24 October 2003 in L’Aquila, Italy. Authors of well regarded papers from CHARME’03 were invited to submit
to this special issue. All papers included here have been suitably extended and have undergone an independent round of reviewing. 相似文献
79.
Graham P. Gavin Garrett B. McGuinness Finbar Dolan M.S.J. Hashmi 《International Journal of Mechanical Sciences》2007,49(3):298-305
Therapeutic ultrasound angioplasty has been investigated, clinically, by a number of researchers and represents a potentially promising therapy for the treatment of atherosclerotic lesions. To date, there has been no detailed analysis of the effect of mechanical design parameters, such as wire geometry or damping characteristics, on wire waveguide performance. An apparatus capable of delivering therapeutic ultrasound down small diameter nickel–titanium (NiTi) wire waveguides is described. The output peak-to-peak (p–p) displacements at the distal tip of a 1.0 mm diameter waveguide were measured experimentally, by means of an optical microscope and image analysis software. The output was measured for a range of waveguide lengths from 118 to 303 mm. Wire waveguide distal tip displacements as high as 98 μm (p–p) at 23.5 kHz were measured. For the range of lengths tested, the experimental measurements show the critical relationship between the length of the waveguide and the output distal tip displacements. A finite element model that can predict the resonant frequencies and distal tip displacements of various wire waveguide geometries and configurations, including the effect of damping, is presented. This numerical model has been validated against the experimental displacement data obtained. This will be a valuable design tool for ensuring the safety and effectiveness of therapeutic ultrasound angioplasty procedures. 相似文献
80.