全文获取类型
收费全文 | 3129篇 |
免费 | 114篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 12篇 |
化学工业 | 748篇 |
金属工艺 | 25篇 |
机械仪表 | 53篇 |
建筑科学 | 118篇 |
矿业工程 | 8篇 |
能源动力 | 43篇 |
轻工业 | 578篇 |
水利工程 | 40篇 |
石油天然气 | 8篇 |
无线电 | 90篇 |
一般工业技术 | 278篇 |
冶金工业 | 935篇 |
原子能技术 | 3篇 |
自动化技术 | 305篇 |
出版年
2023年 | 21篇 |
2022年 | 89篇 |
2021年 | 83篇 |
2020年 | 65篇 |
2019年 | 50篇 |
2018年 | 66篇 |
2017年 | 63篇 |
2016年 | 66篇 |
2015年 | 66篇 |
2014年 | 82篇 |
2013年 | 216篇 |
2012年 | 146篇 |
2011年 | 173篇 |
2010年 | 133篇 |
2009年 | 150篇 |
2008年 | 126篇 |
2007年 | 142篇 |
2006年 | 106篇 |
2005年 | 114篇 |
2004年 | 99篇 |
2003年 | 92篇 |
2002年 | 74篇 |
2001年 | 54篇 |
2000年 | 46篇 |
1999年 | 41篇 |
1998年 | 49篇 |
1997年 | 45篇 |
1996年 | 46篇 |
1995年 | 41篇 |
1994年 | 42篇 |
1993年 | 38篇 |
1992年 | 44篇 |
1991年 | 13篇 |
1990年 | 38篇 |
1989年 | 48篇 |
1988年 | 28篇 |
1987年 | 47篇 |
1986年 | 41篇 |
1985年 | 39篇 |
1984年 | 31篇 |
1983年 | 19篇 |
1982年 | 42篇 |
1981年 | 22篇 |
1980年 | 22篇 |
1979年 | 14篇 |
1978年 | 26篇 |
1977年 | 16篇 |
1975年 | 15篇 |
1974年 | 13篇 |
1973年 | 10篇 |
排序方式: 共有3244条查询结果,搜索用时 15 毫秒
51.
Ferris Patricia A.; Sinclair Christina; Kline Theresa J. 《Canadian Metallurgical Quarterly》2005,10(3):225
In a cross-sectional sample of 428 employees, the job demand-control-support and effort-reward imbalance job stress models were amalgamated and expanded to include modifiable risk factors and noncontrollable genetic factors related to cardiovascular disease (CVD) risk. With structural equation modeling, the constructs of lack of job resilience, lack of personal resilience, and job demand were used to examine how employer and employee factors related to psychosomatic strain and risk indicators of CVD. Negative perception of job demand predicted perception of lack of job resilience but not lack of personal resilience. Lack of job and personal resilience predicted strain. Women reported greater strain than men. CVD risk was predicted by strain, age, sex, and family history. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
52.
Mikels Joseph A.; Larkin Gregory R.; Reuter-Lorenz Patricia A.; Cartensen Laura L. 《Canadian Metallurgical Quarterly》2005,20(4):542
Working memory mediates the short-term maintenance of information. Virtually all empirical research on working memory involves investigations of working memory for verbal and visual information. Whereas aging is typically associated with a deficit in working memory for these types of information, recent findings suggestive of relatively well-preserved long-term memory for emotional information in older adults raise questions about working memory for emotional material. This study examined age differences in working memory for emotional versus visual information. Findings demonstrate that, despite an age-related deficit for the latter, working memory for emotion was unimpaired. Further, older adults exhibited superior performance on positive relative to negative emotion trials, whereas their younger counterparts exhibited the opposite pattern. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
53.
Algebra offers an elegant and powerful approach to understand regular languages and finite automata. Such framework has been notoriously lacking for timed languages and timed automata. We introduce the notion of monoid recognizability for data languages, which includes timed languages as special case, in a way that respects the spirit of the classical situation. We study closure properties and hierarchies in this model and prove that emptiness is decidable under natural hypotheses. Our class of recognizable languages properly includes many families of deterministic timed languages that have been proposed until now, and the same holds for non-deterministic versions. 相似文献
54.
Forward Analysis of Updatable Timed Automata 总被引:1,自引:2,他引:1
Patricia Bouyer 《Formal Methods in System Design》2004,24(3):281-320
Timed automata are a widely studied model. Its decidability has been proved using the so-called region automaton construction. This construction provides a correct abstraction for the behaviours of timed automata, but it suffers from a state explosion and is thus not used in practice. Instead, algorithms based on the notion of zones are implemented using adapted data structures like DBMs. When we focus on forward analysis algorithms, the exact computation of all the successors of the initial configurations does not always terminate. Thus, some abstractions are often used to ensure termination, among which, a widening operator on zones.In this paper, we study in detail this widening operator and the corresponding forward analysis algorithm. This algorithm is most used and implemented in tools like KRONOS and UPPAAL. One of our main results is that it is hopeless to find a forward analysis algorithm for general timed automata, that uses such a widening operator, and which is correct. This goes really against what one could think. We then study in detail this algorithm in the more general framework of updatable timed automata, a model which has been introduced as a natural syntactic extension of classical timed automata. We describe subclasses of this model for which a correct widening operator can be found. 相似文献
55.
Roberto Bagnara Roberta Gori Patricia M. Hill Enea Zaffanella 《Information and Computation》2004,193(2):84-116
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occurs-check) and increased expressivity (cyclic terms can provide very efficient representations of grammars and other useful objects). Unfortunately, the use of infinite rational trees has problems. For instance, many of the built-in and library predicates are ill-defined for such trees and need to be supplemented by run-time checks whose cost may be significant. Moreover, some widely used program analysis and manipulation techniques are correct only for those parts of programs working over finite trees. It is thus important to obtain, automatically, a knowledge of the program variables (the finite variables) that, at the program points of interest, will always be bound to finite terms. For these reasons, we propose here a new data-flow analysis, based on abstract interpretation, that captures such information. We present a parametric domain where a simple component for recording finite variables is coupled, in the style of the open product construction of Cortesi et al., with a generic domain (the parameter of the construction) providing sharing information. The sharing domain is abstractly specified so as to guarantee the correctness of the combined domain and the generality of the approach. This finite-tree analysis domain is further enhanced by coupling it with a domain of Boolean functions, called finite-tree dependencies, that precisely captures how the finiteness of some variables influences the finiteness of other variables. We also summarize our experimental results showing how finite-tree analysis, enhanced with finite-tree dependencies, is a practical means of obtaining precise finiteness information. 相似文献
56.
Pettarin Valeria Frontini Patricia Eliçabe Guillermo Rink Marta Pavan Andrea 《Mechanics of Time-Dependent Materials》2004,8(3):269-288
This paper deals with the influence of the testing equipment on impact load measurements. A previously developed method of analysis and processing of the experimental data based on a refined analogical model of the impact event and inverse problem techniques is used. This method makes it possible to obtain the mechanical response of the material, notwithstanding the disturbance of the dynamic effects associated to the test. Results from tests carried out both on falling weight and swing pendulum instrumented testing machines are compared. It is shown that this method can give an accurate estimation of the actual bending force in impact testing independent of the testing equipment. 相似文献
57.
The corpus callosum has been proposed to contribute to attention by modulating resource allocation between the hemispheres and filtering interhemispheric signal transmission (M. T. Banich, 1998). The resource allocation hypothesis predicts that interhemispheric interactions become more advantageous with increasing resource demands. The selective filtering hypothesis predicts that interhemispheric interactions become less advantageous as filtering requirements increase. The authors tested both predictions by comparing within- and across-hemisphere letter matching under dual-task (Experiment 1) and selective attention conditions (Experiment 2). Task-specific resource demands (i.e., letter processing load) alter the bihemispheric advantage, but the general demand imposed by an unrelated secondary task does not. Filtering requirements influenced the advantage from interhemispheric interactions, providing new evidence for the role of the corpus callosum in selective attention. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
58.
Blount Ronald L.; Morris Julie A. B.; Cheng Patricia S.; Campbell Robert M.; Brown Ronald T. 《Canadian Metallurgical Quarterly》2004,72(4):597
The authors examined associations among parental and child adjustment, child syncope, somatic, and school problems. Participants were children (N = 56) ages 7-18 years with syncope. Measures included syncope severity, parental distress, and children's internalizing symptoms. For children diagnosed negative for neurocardiogenic syncope (NCS), their fathers' and their own psychological symptoms were positively associated with the severity of syncope, whereas their mothers' functioning was negatively associated with the severity of syncope. Also, for the negative NCS group, fathers' psychological functioning was associated with children's nonsyncope somatic complaints but not with their school problems. For the positive NCS group, few significant father-child associations were found, but several significant positive associations were revealed between mothers' psychological symptoms and their children's syncope as well as somatic and school problems. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
59.
The discovery of conjunctive causes--factors that act in concert to produce or prevent an effect--has been explained by purely covariational theories. Such theories assume that concomitant variations in observable events directly license causal inferences, without postulating the existence of unobservable causal relations. This article discusses problems with these theories, proposes a causal-power theory that overcomes the problems, and reports empirical evidence favoring the new theory. Unlike earlier models, the new theory derives (a) the conditions under which covariation implies conjunctive causation and (b) functions relating observable events to unobservable conjunctive causal strength. This psychological theory, which concerns simple cases involving 2 binary candidate causes and a binary effect, raises questions about normative statistics for testing causal hypotheses regarding categorical data resulting from discrete variables. (PsycINFO Database Record (c) 2011 APA, all rights reserved) 相似文献
60.
Industrial control applications are usually developed in two phases: control design and real-time system implementation. In the control design stage a regulator is obtained and later it is translated into an algorithm in the implementation phase. Traditionally, these two phases have been developed in separate ways. Recently, some works have pointed out the necessity of the integration of the control design and its implementation. One of these works reduce the delay variance of control tasks (defined as the control action interval (CAI) and data acquisition interval (DAI) parameters) splitting every task into three parts. The CAI reduction method highly reduces the delay variance and improves the control performance. This work shows how to evaluate these delays under static and dynamic scheduling policies. A new task model is proposed in order to reduce the CAI and DAI parameters, which implies an improvement in the control performance. The new task model will be implemented in a real process, and the experimental measurements will show how, effectively, the control performance is highly improved with the methods presented in this paper. 相似文献