全文获取类型
收费全文 | 2971篇 |
免费 | 58篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 47篇 |
综合类 | 25篇 |
化学工业 | 581篇 |
金属工艺 | 45篇 |
机械仪表 | 60篇 |
建筑科学 | 84篇 |
矿业工程 | 16篇 |
能源动力 | 51篇 |
轻工业 | 250篇 |
水利工程 | 30篇 |
石油天然气 | 7篇 |
无线电 | 199篇 |
一般工业技术 | 358篇 |
冶金工业 | 820篇 |
原子能技术 | 40篇 |
自动化技术 | 418篇 |
出版年
2021年 | 29篇 |
2020年 | 27篇 |
2019年 | 36篇 |
2017年 | 30篇 |
2016年 | 50篇 |
2015年 | 44篇 |
2014年 | 40篇 |
2013年 | 142篇 |
2012年 | 84篇 |
2011年 | 114篇 |
2010年 | 109篇 |
2009年 | 92篇 |
2008年 | 116篇 |
2007年 | 110篇 |
2006年 | 98篇 |
2005年 | 108篇 |
2004年 | 85篇 |
2003年 | 55篇 |
2002年 | 72篇 |
2001年 | 50篇 |
2000年 | 37篇 |
1999年 | 55篇 |
1998年 | 96篇 |
1997年 | 63篇 |
1996年 | 67篇 |
1995年 | 51篇 |
1994年 | 42篇 |
1993年 | 55篇 |
1992年 | 43篇 |
1991年 | 27篇 |
1990年 | 49篇 |
1989年 | 45篇 |
1988年 | 33篇 |
1987年 | 37篇 |
1986年 | 46篇 |
1985年 | 59篇 |
1984年 | 61篇 |
1983年 | 45篇 |
1982年 | 55篇 |
1981年 | 30篇 |
1980年 | 38篇 |
1979年 | 34篇 |
1978年 | 32篇 |
1977年 | 42篇 |
1976年 | 41篇 |
1975年 | 44篇 |
1974年 | 37篇 |
1973年 | 27篇 |
1972年 | 29篇 |
1969年 | 27篇 |
排序方式: 共有3031条查询结果,搜索用时 15 毫秒
61.
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. 相似文献
62.
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. 相似文献
63.
We present a method for analytically calculating an anti‐aliased rasterization of arbitrary polygons or fonts bounded by Bézier curves in 2D as well as oriented triangle meshes in 3D. Our algorithm rasterizes multiple resolutions simultaneously using a hierarchical wavelet representation and is robust to degenerate inputs. We show that using the simplest wavelet, the Haar basis, is equivalent to performing a box‐filter to the rasterized image. Because we evaluate wavelet coefficients through line integrals in 2D, we are able to derive analytic solutions for polygons that have Bézier curve boundaries of any order, and we provide solutions for quadratic and cubic curves. In 3D, we compute the wavelet coefficients through analytic surface integrals over triangle meshes and show how to do so in a computationally efficient manner. 相似文献
64.
We present a method for calculating the boundary of objects from Discrete Indicator Functions that store 2‐material volume fractions with a high degree of accuracy. Although Marching Cubes and its derivatives are effective methods for calculating contours of functions sampled over discrete grids, these methods perform poorly when contouring non‐smooth functions such as Discrete Indicator Functions. In particular, Marching Cubes will generate surfaces that exhibit aliasing and oscillations around the exact surface. We derive a simple solution to remove these problems by using a new function to calculate the positions of vertices along cell edges that is efficient, easy to implement, and does not require any optimization or iteration. Finally, we provide empirical evidence that the error introduced by our contouring method is significantly less than is introduced by Marching Cubes. 相似文献
65.
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. 相似文献
66.
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. 相似文献
67.
68.
We provide a method for improving the parameterization of patching schemes that approximate Catmull‐Clark subdivision surfaces, such that the new parameterization conforms better to that of the original subdivision surface. We create this reparameterization in real‐time using a method that only depends on the topology of the surface and is independent of the surface's geometry. Our method can handle patches with more than one extraordinary vertex and avoids the combinatorial increase in both complexity and storage associated with multiple extraordinary vertices. Moreover, the reparameterization function is easy to implement and fast. 相似文献
69.
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. 相似文献
70.
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. 相似文献