全文获取类型
收费全文 | 2660篇 |
免费 | 87篇 |
国内免费 | 17篇 |
专业分类
电工技术 | 131篇 |
综合类 | 3篇 |
化学工业 | 340篇 |
金属工艺 | 64篇 |
机械仪表 | 50篇 |
建筑科学 | 147篇 |
矿业工程 | 10篇 |
能源动力 | 86篇 |
轻工业 | 255篇 |
水利工程 | 18篇 |
石油天然气 | 13篇 |
武器工业 | 1篇 |
无线电 | 302篇 |
一般工业技术 | 321篇 |
冶金工业 | 297篇 |
原子能技术 | 17篇 |
自动化技术 | 709篇 |
出版年
2023年 | 12篇 |
2022年 | 28篇 |
2021年 | 43篇 |
2020年 | 24篇 |
2019年 | 43篇 |
2018年 | 85篇 |
2017年 | 59篇 |
2016年 | 52篇 |
2015年 | 46篇 |
2014年 | 90篇 |
2013年 | 197篇 |
2012年 | 171篇 |
2011年 | 136篇 |
2010年 | 172篇 |
2009年 | 180篇 |
2008年 | 208篇 |
2007年 | 130篇 |
2006年 | 157篇 |
2005年 | 140篇 |
2004年 | 73篇 |
2003年 | 97篇 |
2002年 | 83篇 |
2001年 | 42篇 |
2000年 | 51篇 |
1999年 | 54篇 |
1998年 | 34篇 |
1997年 | 34篇 |
1996年 | 30篇 |
1995年 | 31篇 |
1994年 | 21篇 |
1993年 | 23篇 |
1992年 | 24篇 |
1991年 | 17篇 |
1990年 | 19篇 |
1989年 | 20篇 |
1988年 | 13篇 |
1987年 | 10篇 |
1986年 | 16篇 |
1985年 | 10篇 |
1984年 | 13篇 |
1983年 | 15篇 |
1982年 | 8篇 |
1981年 | 12篇 |
1980年 | 10篇 |
1979年 | 6篇 |
1978年 | 5篇 |
1977年 | 4篇 |
1976年 | 6篇 |
1975年 | 3篇 |
1974年 | 3篇 |
排序方式: 共有2764条查询结果,搜索用时 15 毫秒
11.
Steve Greenbaum 《Journal of Automated Reasoning》1997,18(2):259-264
Violet is an easy-to-use theorem prover based on locking resolution, with integrated equality extensions that use term rewriting and Knuth–Bendix completion. Violet participated in the CADE-13 ATP System Competition. 相似文献
12.
In this reply, the authors explore several issues raised by I. Kirsch (2004; see record 2004-11156-008) concerning their original article (S. Stewart-Williams & J. Podd, 2004; see record 2004-11156-007), which dealt with the roles of expectancy and classical conditioning in the placebo effect. The only notable disagreement concerns a definitional issue, namely, Stewart-Williams and Podd's claim that the placebo concept can be extended to inert psychotherapies. The authors defend this claim against the criticisms Kirsch raised. In addition, they comment on the suggestion that nonconscious learning processes play only a small role in human placebo effects, arguing that there are theoretical reasons to expect these processes to be more important than has previously been recognized. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
13.
This paper describes our work exploring the suitability of formal specification methods for independent verification and validation (IV&V) of software specifications for large, safety-critical systems. An IV&V contractor often has to perform rapid analysis on incomplete specifications, with no control over how those specifications are represented. Lightweight formal methods show significant promise in this context, as they offer a way of uncovering major errors without the burden of full proofs of correctness. We describe a case study of the use of partial formal models for IV&V of the requirements for Fault Detection Isolation and Recovery on the space station. We conclude that the insights gained from formalizing a specification are valuable, and it is the process of formalization, rather than the end product, that is important. It was only necessary to build enough of the formal model to test the properties in which we were interested. Maintenance of fidelity between multiple representations of the same requirements (as they evolve) is still a problem, and deserves further study. 相似文献
14.
Changzhen Wang Steve Tobin Themis Parodos David J. Smith 《Journal of Electronic Materials》2006,35(6):1192-1196
The microstructure of p-n device structures grown by liquid-phase epitaxy (LPE) on CdZnTe substrates has been evaluated using
transmission electron microscopy (TEM). The devices consisted of thick (∼21-μm) n-type layers and thin (∼1.6-μm) p-type layers,
with final CdTe (∼0.5 μm) passivation layers. Initial observations revealed small defects, both within the n-type layer (doped
with 8×1014/cm3 of In) and also within the p-type layer but at a much reduced level. These defects were not visible, however, in cross-sectional
samples prepared by ion milling with the sample held at liquid nitrogen temperature. Only isolated growth defects were observed
in samples having low indium doping levels (2×1014/cm3). The CdTe passivation layers were generally columnar and polycrystalline, and interfaces with the p-type HgCdTe layers were
uneven. No obvious structural changes were apparent in the region of the CdTe/HgCdTe interfaces as a result of annealing at
250°C. 相似文献
15.
16.
17.
18.
19.
Castel Alan D.; Lee Steve S.; Humphreys Kathryn L.; Moore Amy N. 《Canadian Metallurgical Quarterly》2011,25(1):15
Objective: The ability to select what is important to remember, to attend to this information, and to recall high-value items leads to the efficient use of memory. The present study examined how children with and without attention-deficit/hyperactivity disorder (ADHD) performed on an incentive-based selectivity task in which to-be-remembered items were worth different point values. Method: Participants were 6–9 year old children with ADHD (n = 57) and without ADHD (n = 59). Using a selectivity task, participants studied words paired with point values and were asked to maximize their score, which was the overall value of the items they recalled. This task allows for measures of memory capacity and the ability to selectively remember high-value items. Results: Although there were no significant between-groups differences in the number of words recalled (memory capacity), children with ADHD were less selective than children in the control group in terms of the value of the items they recalled (control of memory). All children recalled more high-value items than low-value items and showed some learning with task experience, but children with ADHD Combined type did not efficiently maximize memory performance (as measured by a selectivity index) relative to children with ADHD Inattentive type and healthy controls, who did not differ significantly from one another. Conclusions: Children with ADHD Combined type exhibit impairments in the strategic and efficient encoding and recall of high-value items. The findings have implications for theories of memory dysfunction in childhood ADHD and the key role of metacognition, cognitive control, and value-directed remembering when considering the strategic use of memory. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
20.
Analysis of the diametral compression method for determining the tensile strength of transparent magnesium aluminate spinel 总被引:1,自引:0,他引:1
Jeffrey J. Swab Jian Yu Robert Gamble Steve Kilczewski 《International Journal of Fracture》2011,172(2):187-192
Attempts were made to determine the inherent tensile strength of a coarse-grained, hot-pressed magnesium aluminate spinel (MgAl2O4) using the diametral compression test. Thick (9.6 mm) disk specimens were machined from a large (356 mm square) plate of spinel. Two pairs of tungsten carbide (WC) platens, one with flat surfaces and the other with a 20° half-arc and radius matched to the disk diameter, were used to transfer the applied load. Specimens tested using the platens with the matched radius had strength values almost 50% higher than those tested using flat platens. Images of the fracture process captured using a high-speed camera showed that irrespective of the type of platens used, fracture consistently initiated at the loading interface, resulting in an invalid test. These results show that the diametral compression test method is not appropriate for determining the tensile strength of this spinel and it raises concerns about the applicability of the method for any advanced ceramic. 相似文献