全文获取类型
收费全文 | 1599篇 |
免费 | 35篇 |
专业分类
电工技术 | 5篇 |
综合类 | 1篇 |
化学工业 | 238篇 |
金属工艺 | 35篇 |
机械仪表 | 21篇 |
建筑科学 | 68篇 |
矿业工程 | 4篇 |
能源动力 | 26篇 |
轻工业 | 173篇 |
水利工程 | 7篇 |
石油天然气 | 8篇 |
无线电 | 78篇 |
一般工业技术 | 214篇 |
冶金工业 | 530篇 |
原子能技术 | 8篇 |
自动化技术 | 218篇 |
出版年
2022年 | 18篇 |
2021年 | 24篇 |
2020年 | 16篇 |
2019年 | 11篇 |
2018年 | 15篇 |
2017年 | 15篇 |
2016年 | 21篇 |
2015年 | 17篇 |
2014年 | 27篇 |
2013年 | 66篇 |
2012年 | 41篇 |
2011年 | 79篇 |
2010年 | 49篇 |
2009年 | 61篇 |
2008年 | 57篇 |
2007年 | 65篇 |
2006年 | 55篇 |
2005年 | 41篇 |
2004年 | 46篇 |
2003年 | 64篇 |
2002年 | 52篇 |
2001年 | 28篇 |
2000年 | 22篇 |
1999年 | 28篇 |
1998年 | 52篇 |
1997年 | 45篇 |
1996年 | 37篇 |
1995年 | 34篇 |
1994年 | 25篇 |
1993年 | 38篇 |
1992年 | 21篇 |
1991年 | 11篇 |
1990年 | 26篇 |
1989年 | 26篇 |
1988年 | 25篇 |
1987年 | 15篇 |
1986年 | 19篇 |
1985年 | 20篇 |
1984年 | 34篇 |
1983年 | 23篇 |
1982年 | 22篇 |
1981年 | 29篇 |
1980年 | 26篇 |
1979年 | 21篇 |
1978年 | 19篇 |
1977年 | 15篇 |
1976年 | 18篇 |
1973年 | 13篇 |
1971年 | 9篇 |
1970年 | 10篇 |
排序方式: 共有1634条查询结果,搜索用时 0 毫秒
1.
2.
Leslie Lamport 《Acta Informatica》1980,14(1):21-37
Summary Hoare's logical system for specifying and proving partial correctness properties of sequential programs is generalized to concurrent programs. The basic idea is to define the assertion {P} S {Q} to mean that if execution is begun anywhere in S with P true, then P will remain true until S terminates, and Q will be true if and when S terminates. The predicates P and Q may depend upon program control locations as well as upon the values of variables. A system of inference rules and axiom schemas is given, and a formal correctness proof for a simple program is outlined. We show that by specifying certain requirements for the unimplemented parts, correctness properties can be proved without completely implementing the program. The relation to Pnueli's temporal logic formalism is also discussed. 相似文献
3.
4.
Leslie E. Chipman Benjamin B. Bederson Jennifer A. Golbeck 《Behaviour & Information Technology》2004,23(1):1-9
The SlideBar is a physical linear input device for absolute position control of 1° of freedom, consisting of a physical slider with a graspable knob positioned near or attached to the keyboard. Its range of motion is directly mapped to a one dimensional input widget such as a scrollbar. The SlideBar provides absolute position control in one dimension, is usable in the non-dominant hand in conjunction with a pointing device, and offers constrained passive haptic feedback. These characteristics make the device appropriate for the common class of tasks characterized by one-dimensional input and constrained range of operation. An empirical study of three devices (SlideBar, mouse controlled scrollbar, and mousewheel) shows that for common scrolling tasks, the SlideBar has a significant advantage over a standard mouse controlled scrollbar in user preference. In addition, users tended to prefer it over the mousewheel (without statistical significance). 相似文献
5.
A fully-dense Cu-75 vol pct ZrW2O8 metal matrix composite was fabricated by hot isostatic pressing of Cu-coated ZrW2O8 particles. A small amount of the high-pressure γ-ZrW2O8 phase was created during the cooldown and depressurization following densification; near complete transformation to γ-ZrW2O8 was achieved by subsequent cold isostatic pressing. The thermal expansion behavior of the composite between 25°C and 325°C
was altered by the cold isostatic pressing treatment, and also depended on the length of time that had passed between thermal
cycles. The measured thermal expansion coefficients within specific temperature ranges varied from −6·10−6 K−1 to far above the thermal expansion coefficient of the copper matrix. The complex temperature-dependent expansion/contraction
behavior could be justified by considering the evolution of phase transformations taking place in the ZrW2O8 phase, which were observed by in-situ synchrotron X-ray diffraction measurements. 相似文献
6.
Albert Lamperti Alan Conger Leslie Delaney Marvin Sodicoff 《Drug development and industrial pharmacy》1994,20(12):1971-1989
ABSTRACT
Our transdermal permeation studies of radioprotectors in permeation-enhancing vehicles led us to hypothesize that radiation-induced hair loss could be reduced by topical application of radioprotectors. In the present study we used a hair regrowth assay in “plucked” mice to measure the radioprotective effectiveness of WR-1065, cysteine and TEMPOL when they were dissolved in a variety of vehicles, i.e., saline, dimethyl formamide (DMF), propylene glycol (PG), dimethyl sulfoxide (DMSO), ethanol. Protector effectiveness varied with radiation dose and vehicles. At 600 R, WR-1065 or cysteine, in any vehicle, reduced radiation-induced baldness scores; at 800 R, only WR-1065 in DMF and cysteine in saline, produced some protection. TEMPOL in ethanol produced protection at both the 600 and 800 R. Results suggest that suitably chosen topical application of protector/vehicle combinations can reduce radiation-induced hair loss. 相似文献
Our transdermal permeation studies of radioprotectors in permeation-enhancing vehicles led us to hypothesize that radiation-induced hair loss could be reduced by topical application of radioprotectors. In the present study we used a hair regrowth assay in “plucked” mice to measure the radioprotective effectiveness of WR-1065, cysteine and TEMPOL when they were dissolved in a variety of vehicles, i.e., saline, dimethyl formamide (DMF), propylene glycol (PG), dimethyl sulfoxide (DMSO), ethanol. Protector effectiveness varied with radiation dose and vehicles. At 600 R, WR-1065 or cysteine, in any vehicle, reduced radiation-induced baldness scores; at 800 R, only WR-1065 in DMF and cysteine in saline, produced some protection. TEMPOL in ethanol produced protection at both the 600 and 800 R. Results suggest that suitably chosen topical application of protector/vehicle combinations can reduce radiation-induced hair loss. 相似文献
7.
Voucher-based reinforcement therapy (VBRT) is an effective drug abuse treatment, but the cost of VBRT rewards has limited its dissemination. Obtaining VBRT incentives through donations may be one way to overcome this barrier. Two direct mail campaigns solicited donations for use in VBRT for pregnant, postpartum, and parenting drug users in Toronto, Ontario, Canada, and in Los Angeles, California. In Toronto, 19% of those contacted over 2 months donated $8,000 ($4,000/month) of goods and services. In Los Angeles, nearly 26% of those contacted over 34 months donated $161,000 ($4,472/month) of goods and services. Maintaining voucher programs by soliciting donations is feasible and sustainable. The methods in this article can serve as a guide for successful donation solicitation campaigns. Donations offer an alternative for obtaining VBRT rewards for substance abuse treatment and may increase its dissemination. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
8.
L. Berkowitz and E. Harmon-Jones (see record 2004-15096-001) challenge appraisal theories of emotion by describing 2 sets of conditions (physical discomfort and anger-related muscle actions) in which anger appears to be elicited in the absence of theoretically predicted appraisals. In response, the authors discuss the ability of the specific appraisal model they have developed (e.g., C. A. Smith & L. D. Kirby, 2000, 2001; C. A. Smith & R. S. Lazarus, 1990) to account for such instances of anger. First, a number of issues are clarified relevant to the authors' model, including the nature of both the cognitive operations underlying appraisal and the specific appraisals hypothesized to evoke anger. The authors then describe how their model can account for the instances of anger described by L. Berkowitz and E. Harmon-Jones and how both accounts might be tested. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
9.
Four experiments examined 10-mo-old infants' causal event perception. Exp 1 replicated previous studies except that the specific objects used as agent and recipient varied from trial to trial. Under these conditions infants did not process the causality. Instead they keyed on specific temporal and spatial differences among the events. Exp 2 showed that infants notice a change in the particular agent performing either a causal or noncausal action. Exp 3 showed that infants do not notice a change in the type of action done to a particular recipient. Exp 4 demonstrated that infants do not pay attention to the object used as a recipient. As a whole, the results indicate that 10-mo-old infants perceive the causality of simple events by associating a specific agent with the causal action. These results provide more support for an information-processing view than for the view that infants have a causal module. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
10.
This report analyzes the intracorporal lengths of 236 consecutive organically impotent men who underwent insertion of a penile prosthesis. The average right or left intracorporal length in this series was 20.9 cm, with a standard deviation of 2.2 cm. Intracorporal length ranged from 14-27 cm. This data may be used as reference ranges for penile prosthesis manufacturers, and for Urologists who implant prostheses or perform penile lengthening procedures. 相似文献