全文获取类型
收费全文 | 2378篇 |
免费 | 43篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 38篇 |
综合类 | 24篇 |
化学工业 | 484篇 |
金属工艺 | 38篇 |
机械仪表 | 45篇 |
建筑科学 | 77篇 |
矿业工程 | 16篇 |
能源动力 | 38篇 |
轻工业 | 181篇 |
水利工程 | 27篇 |
石油天然气 | 5篇 |
无线电 | 173篇 |
一般工业技术 | 293篇 |
冶金工业 | 611篇 |
原子能技术 | 37篇 |
自动化技术 | 336篇 |
出版年
2021年 | 27篇 |
2020年 | 24篇 |
2019年 | 30篇 |
2017年 | 23篇 |
2016年 | 43篇 |
2015年 | 37篇 |
2014年 | 32篇 |
2013年 | 127篇 |
2012年 | 67篇 |
2011年 | 84篇 |
2010年 | 84篇 |
2009年 | 81篇 |
2008年 | 95篇 |
2007年 | 91篇 |
2006年 | 80篇 |
2005年 | 89篇 |
2004年 | 65篇 |
2003年 | 44篇 |
2002年 | 63篇 |
2001年 | 40篇 |
2000年 | 28篇 |
1999年 | 33篇 |
1998年 | 41篇 |
1997年 | 27篇 |
1996年 | 42篇 |
1995年 | 37篇 |
1994年 | 31篇 |
1993年 | 38篇 |
1992年 | 38篇 |
1991年 | 23篇 |
1990年 | 36篇 |
1989年 | 38篇 |
1988年 | 26篇 |
1987年 | 22篇 |
1986年 | 39篇 |
1985年 | 47篇 |
1984年 | 52篇 |
1983年 | 43篇 |
1982年 | 53篇 |
1981年 | 25篇 |
1980年 | 35篇 |
1979年 | 31篇 |
1978年 | 30篇 |
1977年 | 40篇 |
1976年 | 36篇 |
1975年 | 37篇 |
1974年 | 29篇 |
1973年 | 25篇 |
1972年 | 24篇 |
1969年 | 22篇 |
排序方式: 共有2423条查询结果,搜索用时 15 毫秒
31.
Although the photoacoustic effect is almost universally generated by radiation whose intensity is varied in time either by amplitude modulation of a continuous optical source or through the use of pulsed irradiation, it is possible to produce sound by movement of a continuous source in space. Here, the characteristics of sound production by movement of a light source in one dimension are discussed by solution to the wave equation for pressure. Solutions to the wave equation for the velocity potential, from which the acoustic pressure can be determined, are found using the D’Alembert integral and by Fourier transformation of the wave equation. The characteristics of the waveform generated by a Gaussian heat source moving uniformly in space are found to depend on the initial conditions for movement of the source. 相似文献
32.
A meta-analysis of published studies on the clinical efficacy of selected self-help programs (F. Scogin et al; see record 1990-15222-001) indicated that such conditions were more effective than no-treatment controls. Calculation of a fail-safe N showed that 53 nonsignificant studies would have to exist to render the conclusions of the meta-analysis invalid. Results indicate that unpublished research is unlikely to threaten the validity of the original meta-analysis. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
33.
Joanne F. Houlahan Lenore J. Cowen Gerald M. Masson 《The Journal of supercomputing》1996,10(3):271-283
This paper presents a novel cascaded conference network that provides distributed processing and signal transmission among members of disjoint sets of generic send/receive devices called conferees. It assumes an online request model in which idle groups of conferees may request the formation of a conference interconnection. Once a conference is established, all conferees remain connected until the entire conference is dissolved. The Hypercube Sandwich Network (HSN) consists of two components. A bidirectional permutation network is used for routing purposes to and from a hypercube of special processing elements for the purpose of conference formation. The HSN achieves strictly nonblocking performance for N conferees using O(Nlog N) processing elements, and this is shown to be tight to within a log 1/4
N factor. Previous constructions required a quadratic number of processing elements for strictly nonblocking performance or could only provide wide-sense nonblocking conferencing. If the stronger requirement is made that the communication delay is logarithmic in the conference size, a simple algorithm is presented for wide-sense nonblocking conferencing in an HSN with O(N log N) processing elements.An earlier version of this paper was presented at the 1995 International Conference on Parallel Processing Techniques and Applications. 相似文献
34.
Yiannis Verginadis Antonis Michalas Panagiotis Gouvas Gunther Schiefer Gerald Hübsch Iraklis Paraskakis 《Journal of Grid Computing》2017,15(2):219-234
Enterprises increasingly recognize the compelling economic and operational benefits from virtualizing and pooling IT resources in the cloud. Nevertheless, the significant and valuable transformation of organizations that adopt cloud computing is accompanied by a number of security threats that should be considered. In this paper, we outline significant security challenges presented when migrating to a cloud environment and propose PaaSword – a novel holistic framework that aspires to alleviate these challenges. Specifically, the proposed framework involves a context-aware security model, the necessary policies enforcement mechanism along with a physical distribution, encryption and query middleware. 相似文献
35.
The realization and applicability of a new dynamic hydrogen reference electrode (DHRE) within an electrochemical microcell for sensor applications is reported. The electrodes are fabricated in thin-film technology and fixed within a flow-through device. An experimental setup for accurate electrochemical potential measurements is described. Smooth platinum, platinized platinum and pHEMA coated electrodes are investigated with regard to their initialization behavior, stability, reproducibility and interference with electrolytes. It is found that platinized platinum DHREs show excellent stability and reproducibility. For uncoated electrodes, the electrochemical potential is established within seconds. The potential is independent of the pH value within the range of pH 4–10. Interference with sulfate and phosphate is observed. Thus, the platinized platinum DHRE is well suited for bioanalytical sensor applications, where the pH value is buffered and the concentrations of the disturbing anions are constant or very low. 相似文献
36.
Northern Grey and Bruce counties are situated centrally in the Lake Huron basin of the Great Lakes area of North America and are similarly central to the area of glacial Lake Algonquin, the largest glacial lake of the Great Lakes area. Ten survey traverses at sites in northern Grey and Bruce counties have documented the continuation of Lake Algonquin and Nipissing phase shorelines onto the Bruce Peninsula from previous work to the east. The Algonquin shoreline near 240 m ASL (above sea level) rises northward above land high enough to record it near Lion's Head. The Nipissing shoreline at 191 m ASL defines a shallow strait across the Bruce Peninsula near Ferndale, which was flooded temporarily at the maximum of the Nipissing transgression, separating northern Bruce Peninsula from the mainland. Uplift and Port Huron outlet downcutting later rejoined the island to the mainland as it is today. Raised beaches define Algonquin and Nipissing regressions by uplift using the Port Huron outlet. Paleobiotic records in a sand dune at Oliphant (molluscs), a Nipissing shorebluff along Sucker Creek (molluscs) and several sites in the former Nipissing shallow water strait near Ferndale (molluscs, ostracodes, plant macrofossils), provide paleoenvironmental data and supplement prior pollen studies at Lake Charles, Slough of Despond, and Hope Bay. Lake Algonquin deep water rhythmite clays are barren of fossils, whereas Nipissing shallow water silts are fossiliferous. 相似文献
37.
38.
This article presents a case study on retrospective verification of the Linux Virtual File System (VFS), which is aimed at
checking violations of API usage rules and memory properties. Since VFS maintains dynamic data structures and is written in
a mixture of C and inlined assembly, modern software model checkers cannot be applied. Our case study centres around our novel
automated software verification tool, the SOCA Verifier, which symbolically executes and analyses compiled code. We describe
how this verifier deals with complex features such as memory access, pointer aliasing and computed jumps in the VFS implementation,
while reducing manual modelling to a minimum. Our results show that the SOCA Verifier is capable of analysing the complex
Linux VFS implementation reliably and efficiently, thereby going beyond traditional testing tools and into niches that current
software model checkers do not reach. This testifies to the SOCA Verifier’s suitability as an effective and efficient bug-finding
tool during the development of operating system components. 相似文献
39.
Michael Würsch Giacomo Ghezzi Matthias Hert Gerald Reif Harald C. Gall 《Computing》2012,94(11):857-885
The Semantic Web provides a standardized, well-established framework to define and work with ontologies. It is especially apt for machine processing. However, researchers in the field of software evolution have not really taken advantage of that so far. In this paper, we address the potential of representing software evolution knowledge with ontologies and Semantic Web technology, such as Linked Data and automated reasoning. We present Seon, a pyramid of ontologies for software evolution, which describes stakeholders, their activities, artifacts they create, and the relations among all of them. We show the use of evolution-specific ontologies for establishing a shared taxonomy of software analysis services, for defining extensible meta-models, for explicitly describing relationships among artifacts, and for linking data such as code structures, issues (change requests), bugs, and basically any changes made to a system over time. For validation, we discuss three different approaches, which are backed by Seon and enable semantically enriched software evolution analysis. These techniques have been fully implemented as tools and cover software analysis with web services, a natural language query interface for developers, and large-scale software visualization. 相似文献
40.
Asserts that in preparing objectives of television programming for children the instructor must (a) recognize the needs and interests of his/her audience and (b) match them to his/her educational purposes. The techniques used to identify and implement methods of attaining the goals of the television programs "Sesame Street" and "The Electric Company" are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献