全文获取类型
收费全文 | 25893篇 |
免费 | 3305篇 |
国内免费 | 2733篇 |
学科分类
工业技术 | 31931篇 |
出版年
2024年 | 86篇 |
2023年 | 438篇 |
2022年 | 795篇 |
2021年 | 947篇 |
2020年 | 1006篇 |
2019年 | 763篇 |
2018年 | 684篇 |
2017年 | 856篇 |
2016年 | 920篇 |
2015年 | 1136篇 |
2014年 | 1762篇 |
2013年 | 1696篇 |
2012年 | 2032篇 |
2011年 | 2146篇 |
2010年 | 1612篇 |
2009年 | 1615篇 |
2008年 | 1482篇 |
2007年 | 1823篇 |
2006年 | 1646篇 |
2005年 | 1387篇 |
2004年 | 1056篇 |
2003年 | 987篇 |
2002年 | 781篇 |
2001年 | 647篇 |
2000年 | 607篇 |
1999年 | 472篇 |
1998年 | 384篇 |
1997年 | 380篇 |
1996年 | 321篇 |
1995年 | 278篇 |
1994年 | 266篇 |
1993年 | 167篇 |
1992年 | 147篇 |
1991年 | 142篇 |
1990年 | 127篇 |
1989年 | 116篇 |
1988年 | 62篇 |
1987年 | 26篇 |
1986年 | 21篇 |
1985年 | 23篇 |
1984年 | 23篇 |
1983年 | 14篇 |
1982年 | 13篇 |
1981年 | 10篇 |
1980年 | 8篇 |
1979年 | 6篇 |
1978年 | 3篇 |
1976年 | 2篇 |
1975年 | 3篇 |
1951年 | 2篇 |
排序方式: 共有10000条查询结果,搜索用时 375 毫秒
71.
Ferdinando Auricchio Lorenza Petrini 《International journal for numerical methods in engineering》2004,61(6):807-836
An always increasing knowledge on material properties as well as a progressively more sophisticated production technology make shape memory alloys (SMA) extremely interesting for the industrial world. At the same time, SMA devices are typically characterized by complex multi‐axial stress states as well as non‐homogeneous and non‐isothermal conditions both in space and time. This aspect suggests the finite element method as a useful tool to help and improve application design and realization. With this aim, we focus on a three‐dimensional macroscopic thermo‐mechanical model able to reproduce the most significant SMA features (Int. J. Numer. Methods Eng. 2002; 55 : 1255–1264), proposing a simple modification of such a model. However, the suggested modification allows the development of a time‐discrete solution algorithm, which is more effective and robust than the one previously discussed in the literature. We verify the computational tool ability to simulate realistic mechanical boundary value problems with prescribed temperature dependence, studying three SMA applications: a spring actuator, a self‐expanding stent, a coupling device for vacuum tightness. The effectiveness of the model to solve thermo‐mechanical coupled problems will be discussed in a forthcoming work. Copyright © 2004 John Wiley & Sons, Ltd. 相似文献
72.
Gleeble 3800热模拟试验机在宝钢的典型应用与功能开发 总被引:4,自引:0,他引:4
热模拟试验可研究成分与各工艺参数对组织和性能的影响,用于指导产品设计和实际生产工艺的制定,还有助于建立数学模型。文章介绍了Gleeble 3800热/力模拟试验机在宝钢实际应用中的几个典型试验,包括高温热塑性试验、多道次变形试验、冷轧薄板相转变点试验和HAZ焊接热影响区热模拟试验等。这些试验可用来解决连铸、轧钢和冷轧产品热处理生产中存在的一些问题。 相似文献
73.
秦牧作为17年时期重要的散文家之一,其成绩是与他所自觉进行的文体改造分不开的。秦牧的身份和处境使得他的文体改造颇为顺利。秦牧17年文体改造体现在特写强调、抒情风味、辨证色彩三个方面,这与当时的文风密切相关。秦牧的文体改造延续了学者散文的文脉,也印证了文体改造在文学史上的积极意义。 相似文献
74.
75.
Cu—Zn—Al系合金热弹性马氏体相变的热滞 总被引:3,自引:0,他引:3
韩明 《有色金属材料与工程》1997,18(2):53-55
本文通过热处理工艺及添加第四组元研究了Cu-Zn-Al系记忆合金的相变热滞。结果表明,淬火冷却速度影响合金的相变热滞大小,随着母相时效时间的延长,马氏体相变热滞变大.Mn元素的加入可以减小CU-Zn-Al合金相变热滞. 相似文献
76.
77.
从冷却曲线上相变段倾角最小原则出发,研究了新型激冷剂的配比与热分析法检测铸铁成分精度的关系,实验结果表明,能使相变段倾角最小的成分配比,也能提高对铸铁成分的热分析和检测精度。 相似文献
78.
本文探讨HIS变换对数字化航空片影象与landsat TM多光谱影象进行复合的方法,并在此基础上提出一种改进的方法。试验结果表明本文提出的方法是一种非常行之有效的方法。复合后的影象不仅保留了TM影像的光谱特征,而且将其空间分解力由30m提高到10m,清晰度也提高了。因而复合后的影像能提高分类精度,制作专题图的精度、多时相监测能力和解译水平等。 相似文献
79.
80.
J. Dingel 《Formal Aspects of Computing》2002,14(2):123-197
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to
the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists.
Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these
problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus
allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The
calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction
of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are
independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated.
Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification
notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus
rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement
relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality.
The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing
program and vice versa.
Received July 2001 / Accepted in revised form May 2002 相似文献