全文获取类型
收费全文 | 5130篇 |
免费 | 360篇 |
国内免费 | 19篇 |
专业分类
电工技术 | 39篇 |
综合类 | 2篇 |
化学工业 | 1064篇 |
金属工艺 | 97篇 |
机械仪表 | 116篇 |
建筑科学 | 249篇 |
矿业工程 | 10篇 |
能源动力 | 160篇 |
轻工业 | 409篇 |
水利工程 | 68篇 |
石油天然气 | 17篇 |
无线电 | 407篇 |
一般工业技术 | 1252篇 |
冶金工业 | 721篇 |
原子能技术 | 9篇 |
自动化技术 | 889篇 |
出版年
2024年 | 9篇 |
2023年 | 58篇 |
2022年 | 97篇 |
2021年 | 171篇 |
2020年 | 144篇 |
2019年 | 147篇 |
2018年 | 170篇 |
2017年 | 160篇 |
2016年 | 199篇 |
2015年 | 156篇 |
2014年 | 252篇 |
2013年 | 336篇 |
2012年 | 396篇 |
2011年 | 490篇 |
2010年 | 310篇 |
2009年 | 260篇 |
2008年 | 344篇 |
2007年 | 301篇 |
2006年 | 255篇 |
2005年 | 209篇 |
2004年 | 165篇 |
2003年 | 133篇 |
2002年 | 144篇 |
2001年 | 87篇 |
2000年 | 64篇 |
1999年 | 42篇 |
1998年 | 46篇 |
1997年 | 42篇 |
1996年 | 39篇 |
1995年 | 27篇 |
1994年 | 35篇 |
1993年 | 29篇 |
1992年 | 22篇 |
1991年 | 14篇 |
1990年 | 14篇 |
1989年 | 17篇 |
1988年 | 9篇 |
1987年 | 10篇 |
1986年 | 11篇 |
1985年 | 15篇 |
1984年 | 8篇 |
1983年 | 7篇 |
1982年 | 10篇 |
1981年 | 7篇 |
1980年 | 6篇 |
1979年 | 6篇 |
1978年 | 4篇 |
1977年 | 13篇 |
1975年 | 4篇 |
1973年 | 3篇 |
排序方式: 共有5509条查询结果,搜索用时 15 毫秒
71.
72.
Matthew Hennessy 《Formal Aspects of Computing》2012,24(4-6):749-768
We take a fresh look at strong probabilistic bisimulations for processes which exhibit both non-deterministic and probabilistic behaviour. We suggest that it is natural to interpret such processes as distributions over states in a probabilistic labelled transition system, a pLTS; this enables us to adapt the standard notion of contextual equivalence to this setting. We then prove that a novel form of bisimulation equivalence between distributions are both sound and complete with respect to this contextual equivalence. We also show that a very simple extension to HML, Hennessy–Milner Logic, provides finite explanations for inequivalences between distributions. Finally we show that our bisimulations between distributions in a pLTS are simply an alternative characterisation of a standard notion of probabilistic bisimulation equivalence, defined between states in a pLTS. 相似文献
73.
Louise A. Dennis Michael Fisher Matthew P. Webster Rafael H. Bordini 《Automated Software Engineering》2012,19(1):5-63
In this paper we describe a verification system for multi-agent programs. This is the first comprehensive approach to the verification of programs developed using programming languages based on the BDI (belief-desire-intention)
model of agency. In particular, we have developed a specific layer of abstraction, sitting between the underlying verification
system and the agent programming language, that maps the semantics of agent programs into the relevant model-checking framework.
Crucially, this abstraction layer is both flexible and extensible; not only can a variety of different agent programming languages
be implemented and verified, but even heterogeneous multi-agent programs can be captured semantically. In addition to describing this layer, and the semantic mapping inherent
within it, we describe how the underlying model-checker is driven and how agent properties are checked. We also present several
examples showing how the system can be used. As this is the first system of its kind, it is relatively slow, so we also indicate
further work that needs to be tackled to improve performance. 相似文献
74.
75.
Xingbo Liu Ever Barbero Jing Xu Matthew Burris Keh-Minn Chang Vinod Sikka 《Metallurgical and Materials Transactions A》2005,36(8):2049-2058
Corrosion tests of 316L and two intermetallic compounds Fe3Al and FeCrSi in industrial Galvanizing (Zn-0.18Al), GALFAN (Zn-5Al), GALVALUME (Zn-55Al), and Aluminizing (Al-8Si) baths
and lab-scale static baths were conducted. In on-line tests in industrial hot-dip baths, 316L steel shows better corrosion
resistance than Fe3Al in Galvanizing, GALFAN, and GALVALUME baths. The corrosion resistance of 316L and Fe3Al is similar in Aluminizing bath. In static tests, FeCrSi shows the best corrosion resistance in pure Zn, Zn-55Al, and Al-8Si
baths. The corrosion resistance of 316L is better than that of Fe3Al. In Zn-5Al bath, 316L shows no thickness loss after the test. For the same bath composition, the corrosion rates of the
alloys in industrial baths are higher than those in static baths. Bath temperature and chemical composition play important
roles in corrosion and intermetallic layer formation. Increasing bath temperature accelerates the corrosion process and changes
the nature of intermetallic layers. A small amount of aluminum reduces the corrosion process by reducing the activity of Zn
and forming inhibition layer. However, after aluminum content reaches the critical point, the dominant corrosion process changes
from Zn-Fe reaction to Al-Fe reaction, and, consequently, the corrosion process accelerates by increasing aluminum content
in the bath. 相似文献
76.
Trace fear conditioning is a learning task that requires the association of an auditory conditioned stimulus (CS) and a shock unconditioned stimulus (US) that are separated by a 20-s trace interval. Single neuron activity was recorded from the prelimbic and infralimbic areas of the medial prefrontal cortex in rats during trace fear conditioning or nonassociative unpaired training. Prelimbic neurons showed learning-related increases in activity to the CS and US, whereas infralimbic neurons showed learning-related decreases in activity to these stimuli. A subset of prelimbic neurons exhibited sustained increases in activity during the trace interval. These sustained prelimbic responses may provide a bridging code that allows for overlapping representations of CS and US information within the trace fear conditioning circuit. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
77.
Holahan Matthew R.; Taverna Franco A.; Emrich Stephen M.; Louis Meira; Muller Robert U.; Roder John C.; McDonald Robert J. 《Canadian Metallurgical Quarterly》2005,119(6):1563
Male Long-Evans rats were injected with 32 ng/μl of the N-methyl-D-aspartate (NMDA) receptor antagonist 3-(2-carboxypiperazin-4-yl) propyl-1-phosphonic acid (CPP) or vehicle and trained to locate a hidden platform in a different location (reversal training) than used on the initial 4 days of training. Rats treated with vehicle or CPP into the dorsal hippocampus, basolateral amygdala, or mediodorsal striatum had similar latencies to locate the platform on the reversal day. Rats infused with CPP into the dorsal hippocampus or mediodorsal striatum failed to search preferentially in the novel location during a 24-hr, drug-free retention test, whereas all other groups searched preferentially in this location. Therefore, blocking dorsal hippocampal or mediodorsal striatal NMDA receptors selectively blocked long-term spatial retention without producing short-term performance deficits. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
78.
Roser Matthew E.; Fugelsang Jonathan A.; Dunbar Kevin N.; Corballis Paul M.; Gazzaniga Michael S. 《Canadian Metallurgical Quarterly》2005,19(5):591
An understanding of relations between causes and effects is essential for making sense of the dynamic physical world. It has been argued that this understanding of causality depends on both perceptual and inferential components. To investigate whether causal perception and causal inference rely on common or on distinct processes, the authors tested 2 callosotomy (split-brain) patients and a group of neurologically intact participants. The authors show that the direct perception of causality and the ability to infer causality depend on different hemispheres of the divided brain. This finding implies that understanding causality is not a unitary process and that causal perception and causal inference can proceed independently. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
79.
In 3 experiments the authors examined changes in successive exemplar generation percentages within categories defined semantically (e.g., fruit-P, fruit-A, fruit-M) and by 1st letter (e.g., insect-C, sport-C, car-C), with a mixed control condition (e.g., fruit-P, insect-C, disease-M). Retrieval success declined across 12 successive items in both semantic and letter categories, with no change for the mixed condition. This retrieval inhibition is unrelated to taxonomic frequency of exemplars within either letter or semantic categorical structures. Furthermore, semantic retrieval inhibition appears to be long lasting, suggested by the decline in retrieval percentage across successive 12-item blocks in both the mixed and letter conditions. The authors suggest that different mechanisms underlie the inhibition found in the semantic (suppression) and letter (interference) conditions. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
80.
Matthew T. Tilbrook 《Engineering Fracture Mechanics》2005,72(16):2444-2467
Cracks in stepped and continuously graded material specimens under flexural loading were investigated via finite element analysis. Calculation of mechanical energy release rates and propagation angles with crack-opening displacement correlation and the local symmetry (KII = 0) criterion, respectively, provided results most efficiently and accurately, as compared with compliance and J-integral approaches and other deflection criteria. A routine was developed for automatic crack extension and remeshing, enabling simulation of incremental crack propagation. Effects of gradient profile and crack geometry on crack-tip stresses and crack propagation path are examined, and implications of these for optimal design of graded components against failure by fast fracture are discussed. 相似文献