全文获取类型
收费全文 | 10019篇 |
免费 | 523篇 |
国内免费 | 9篇 |
专业分类
电工技术 | 131篇 |
综合类 | 24篇 |
化学工业 | 2472篇 |
金属工艺 | 279篇 |
机械仪表 | 189篇 |
建筑科学 | 643篇 |
矿业工程 | 140篇 |
能源动力 | 306篇 |
轻工业 | 748篇 |
水利工程 | 65篇 |
石油天然气 | 20篇 |
武器工业 | 1篇 |
无线电 | 783篇 |
一般工业技术 | 1979篇 |
冶金工业 | 963篇 |
原子能技术 | 72篇 |
自动化技术 | 1736篇 |
出版年
2023年 | 124篇 |
2022年 | 215篇 |
2021年 | 362篇 |
2020年 | 220篇 |
2019年 | 226篇 |
2018年 | 250篇 |
2017年 | 288篇 |
2016年 | 370篇 |
2015年 | 320篇 |
2014年 | 408篇 |
2013年 | 645篇 |
2012年 | 578篇 |
2011年 | 795篇 |
2010年 | 552篇 |
2009年 | 540篇 |
2008年 | 545篇 |
2007年 | 496篇 |
2006年 | 430篇 |
2005年 | 345篇 |
2004年 | 276篇 |
2003年 | 224篇 |
2002年 | 195篇 |
2001年 | 132篇 |
2000年 | 122篇 |
1999年 | 156篇 |
1998年 | 262篇 |
1997年 | 187篇 |
1996年 | 143篇 |
1995年 | 99篇 |
1994年 | 90篇 |
1993年 | 77篇 |
1992年 | 70篇 |
1991年 | 41篇 |
1990年 | 56篇 |
1989年 | 39篇 |
1988年 | 41篇 |
1987年 | 40篇 |
1986年 | 34篇 |
1985年 | 40篇 |
1984年 | 39篇 |
1983年 | 30篇 |
1982年 | 43篇 |
1981年 | 21篇 |
1980年 | 32篇 |
1978年 | 25篇 |
1977年 | 42篇 |
1976年 | 60篇 |
1975年 | 26篇 |
1973年 | 21篇 |
1969年 | 18篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
11.
Sven Beyer Christian Jacobi Daniel Kröning Dirk Leinenbach Wolfgang J. Paul 《International Journal on Software Tools for Technology Transfer (STTT)》2006,8(4-5):411-430
In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor
with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE
compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification
has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA.
A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional
verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University. 相似文献
12.
With increasing globalization, communication across language and cultural boundaries is becoming an essential requirement
of doing business, delivering education, and providing public services. Due to the considerable cost of human translation
services, only a small fraction of text documents and an even smaller percentage of spoken encounters, such as international
meetings and conferences, are translated, with most resorting to the use of a common language (e.g. English) or not taking
place at all. Technology may provide a potentially revolutionary way out if real-time, domain-independent, simultaneous speech
translation can be realized. In this paper, we present a simultaneous speech translation system based on statistical recognition
and translation technology. We discuss the technology, various system improvements and propose mechanisms for user-friendly
delivery of the result. Over extensive component and end-to-end system evaluations and comparisons with human translation
performance, we conclude that machines can already deliver comprehensible simultaneous translation output. Moreover, while
machine performance is affected by recognition errors (and thus can be improved), human performance is limited by the cognitive
challenge of performing the task in real time. 相似文献
13.
The exact magnetization pattern of magnetic films close to a spin-reorientation transition is difficult to analyze due to the intrinsically three-dimensional (3d) variation of the orientation of the local magnetization. We present a technique how this can be performed, based on the analysis of high quality 2d polarization maps from a single scanning electron microscope with polarization analysis (SEMPA) measurement with tilted sample. The key tool is the statistical distribution of all occurring polarization doublets, visualized in a 2d histogram plot. From the shape of the distribution the type of transition—canted-phase, or coexisting phases—can be inferred. For the canted-phase state, the canting angle can be accurately determined from geometrical considerations. With help of the histogram the image data can be analyzed and the three components of the magnetization can be calculated for most points of the image. For a Co/Pt multilayer film we found a cone state. The magnetization forms a complex pattern consisting of out-of-plane domains while the in-plane magnetization shows a maze pattern. 相似文献
14.
Volker Mayer 《Dynamical Systems: An International Journal》2007,22(2):169-178
We prove several essential fractal properties, such as positivity, finiteness or local infinity, of Hausdorff and packing measures of radial Julia sets for large subclasses of entire and meromorphic functions considered in our previous work: çGeometric thermodynamical formalism and real analyticity for meromorphic functions of finite order'. Most of the results proven are shown to be optimal. 相似文献
15.
The present study evaluated the reliability and validity of the Triage Assessment Survey: Organizations (TAS:O), a 27-item, 5-point, Likert summated rating scale. One hundred and seventeen participants responded to the TAS:O after reading mild, moderate, marked and severe organizational crisis scenarios. The overall Cronbach's alpha and split-half reliability were both .93. Confirmatory factor analysis revealed three factors, supporting the hypothesis that the TAS:O is comprised of three distinct factors (i.e., Affect, Behavior, and Cognition). An analysis of variance provided evidence that the TAS:O has the capacity to distinguish among mild, moderate, marked, and severe crises. Because this research is the first to evaluate the TAS:O, further studies are needed to strengthen confidence in the psychometric properties of this scale. 相似文献
16.
17.
It is proposed that when solving an arithmetic word problem, unsuccessful problem solvers base their solution plan on numbers and keywords that they select from the problem (the direct translation strategy), whereas successful problem solvers construct a model of the situation described in the problem and base their solution plan on this model (the problem-model strategy). Evidence for this hypothesis was obtained in 2 experiments. In Experiment 1, the eye fixations of successful and unsuccessful problem solvers on words and numbers in the problem statement were compared. In Experiment 2, the degree to which successful and unsuccessful problem solvers remember the meaning and exact wording of word problems was examined. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
18.
19.
FE Nargang KP Künkele A Mayer RG Ritzel W Neupert R Lill 《Canadian Metallurgical Quarterly》1995,14(6):1099-1108
MOM22 is a component of the protein import complex of the mitochondrial outer membrane of Neurospora crassa. Using the newly developed procedure of 'sheltered disruption', we created a heterokaryotic strain harboring two nuclei, one with a null allele of the mom-22 gene and the other with a wild-type allele. Homokaryons bearing the mom-22 disruption could not be isolated, suggesting that mom-22 is an essential gene. The mutant nucleus can be forced to predominate in the heterokaryon through the use of specific nutritional and inhibitor resistance markers. Cultivation of the heterokaryon under conditions favoring the mutant nucleus resulted in selective depletion of MOM22. MOM22-depleted cells did not grow and contained mitochondria with an altered morphology and protein composition. Protein import into isolated, MOM22-depleted mitochondria was abolished for most precursor proteins destined for all subcompartments. In contrast, precursors of MOM19, MOM22 and MOM72 became inserted normally into the outer membrane, defining a novel MOM22-independent import pathway which remained intact in mutant mitochondria. Furthermore, the specific binding of the ADP/ATP carrier to the outer membrane was unaffected, but subsequent transport across the outer membrane did not occur. Our data show that MOM22 is an essential component of Neurospora cells specifically required for the biogenesis of mitochondria. 相似文献
20.
Christian Azar 《Energy》1994,19(12):1255-1261
Haraden's model for estimating the economic cost of global warming is analysed. We change his method of discounting and some of his input parameters in a manner consistent with physical and economic theory as well as empirical data. We then find much higher costs than Haraden found. These costs are compared to the cost of reducing CO2 emissions and we find that deep cuts of the emissions of CO2 are preferable. A check of the sensitivity of our results with respect to some crucial parameter values does not alter that conclusion. 相似文献