全文获取类型
收费全文 | 607篇 |
免费 | 21篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 7篇 |
综合类 | 1篇 |
化学工业 | 238篇 |
金属工艺 | 25篇 |
机械仪表 | 18篇 |
建筑科学 | 9篇 |
矿业工程 | 3篇 |
能源动力 | 33篇 |
轻工业 | 40篇 |
水利工程 | 4篇 |
石油天然气 | 2篇 |
无线电 | 28篇 |
一般工业技术 | 89篇 |
冶金工业 | 28篇 |
原子能技术 | 7篇 |
自动化技术 | 97篇 |
出版年
2024年 | 1篇 |
2023年 | 8篇 |
2022年 | 64篇 |
2021年 | 63篇 |
2020年 | 28篇 |
2019年 | 30篇 |
2018年 | 33篇 |
2017年 | 26篇 |
2016年 | 28篇 |
2015年 | 26篇 |
2014年 | 24篇 |
2013年 | 30篇 |
2012年 | 36篇 |
2011年 | 30篇 |
2010年 | 32篇 |
2009年 | 26篇 |
2008年 | 17篇 |
2007年 | 17篇 |
2006年 | 22篇 |
2005年 | 14篇 |
2004年 | 7篇 |
2003年 | 10篇 |
2002年 | 10篇 |
2001年 | 4篇 |
2000年 | 1篇 |
1999年 | 4篇 |
1998年 | 2篇 |
1997年 | 2篇 |
1996年 | 6篇 |
1994年 | 1篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1990年 | 6篇 |
1989年 | 5篇 |
1988年 | 2篇 |
1987年 | 1篇 |
1986年 | 1篇 |
1985年 | 1篇 |
1984年 | 3篇 |
1980年 | 1篇 |
1979年 | 2篇 |
1977年 | 2篇 |
1973年 | 1篇 |
排序方式: 共有629条查询结果,搜索用时 15 毫秒
91.
Grzegorz Bancerek Czesław Byliński Adam Grabowski Artur Korniłowicz Roman Matuszewski Adam Naumowicz Karol Pąk 《Journal of Automated Reasoning》2018,61(1-4):9-32
The Mizar system is one of the pioneering systems aimed at supporting mathematical proof development on a computer that have laid the groundwork for and eventually have evolved into modern interactive proof assistants. We claim that an important milestone in the development of these systems was the creation of organized libraries accumulating all previously available formalized knowledge in such a way that new works could effectively re-use all previously collected notions. In the case of Mizar, the turning point of its development was the decision to start building the Mizar Mathematical Library as a centrally-managed knowledge base maintained together with the formalization language and the verification system. In this paper we show the process of forming this library, the evolution of its design principles, and also present some data showing its current use with the modern version of the Mizar proof checker, but also as a rich corpus of semantically linked mathematical data in various areas including web-based and natural language proof presentation, maths education, and machine learning based automated theorem proving. 相似文献
92.
93.
The purpose of this paper is to describe experiments carried out on laser stake welded T-joints of web-core steel sandwich structures. A special test setup was developed to measure the shear-induced rotation at the T-joint. The ratio of the shear force to rotation angle gave the joint stiffness. This stiffness was measured for specimens with two different face-plate thicknesses. The influence of weld thickness, root gap and occurrence of contact were further investigated with finite element simulations. Finally, the shear stiffness of the sandwich structure transverse to the web plate direction was determined using the experimentally obtained average joint stiffness value. The validation of the shear stiffness was carried out by considering a beam in four-point bending. The agreement between calculated deflection and stress and experimental results was found to be good. 相似文献
94.
95.
Zaleszczyk W Janik E Presz A Dłuzewski P Kret S Szuszkiewicz W Morhange JF Dynowska E Kirmse H Neumann W Petroutchik A Baczewski LT Karczewski G Wojtowicz T 《Nano letters》2008,8(11):4061-4065
It is shown that the growth of II-VI diluted magnetic semiconductor nanowires is possible by the catalytically enhanced molecular beam epitaxy (MBE). Zn(1-x)MnxTe NWs with manganese content up to x=0.60 were produced by this method. X-ray diffraction, Raman spectroscopy, and temperature dependent photoluminescence measurements confirm the incorporation of Mn(2+) ions in the cation substitutional sites of the ZnTe matrix of the NWs. 相似文献
96.
97.
Grzegorz Mrugalski Janusz Rajski Chen Wang Artur Pogiel Jerzy Tyszer 《Journal of Electronic Testing》2007,23(1):35-45
This paper describes a non-recursive fault diagnosis technique for scan-based designs with convolutional test response compaction.
The proposed approach allows a time-efficient and accurate identification of failing scan cells using Gauss–Jordan elimination
method.
相似文献
Jerzy Tyszer (Corresponding author)Email: |
98.
99.
Aleksandra Świerczyńska Dariusz Fydrych Grzegorz Rogalski 《International Journal of Hydrogen Energy》2017,42(38):24532-24540
This article reports the effect of underwater wet welding parameters and conditions on the diffusible hydrogen content in deposited metal for welding with a self-shielded flux cored wire. The diffusible hydrogen content in deposited metal was determined using the glycerin method according to the Plackett-Burman design determining the significance of the effect of the stick out length, welding current, arc voltage, travel speed and water salinity. The results of the measurements of the diffusible hydrogen content in deposited metal ranged from 25.85 to 44.12 ml/100 g. The effect of all the tested factors is statistically significant. An equation was also developed, the analysis of which showed, that the hydrogen content cannot be reduced by technological methods below 21 ml/100 g. 相似文献
100.
Królicka Aleksandra Lesiuk Grzegorz Kuziak Roman Radwański Krzysztof Janik Aleksandra 《Metallurgical and Materials Transactions A》2023,54(2):487-504
Metallurgical and Materials Transactions A - The low-carbon bainitic steel after a continuous cooling process was subjected to fracture toughness investigations using the J-integral approach. The... 相似文献