全文获取类型
收费全文 | 727篇 |
免费 | 23篇 |
专业分类
电工技术 | 2篇 |
综合类 | 3篇 |
化学工业 | 248篇 |
金属工艺 | 15篇 |
机械仪表 | 11篇 |
建筑科学 | 45篇 |
矿业工程 | 2篇 |
能源动力 | 11篇 |
轻工业 | 78篇 |
水利工程 | 1篇 |
无线电 | 39篇 |
一般工业技术 | 142篇 |
冶金工业 | 45篇 |
原子能技术 | 6篇 |
自动化技术 | 102篇 |
出版年
2023年 | 4篇 |
2022年 | 9篇 |
2021年 | 21篇 |
2020年 | 12篇 |
2019年 | 20篇 |
2018年 | 14篇 |
2017年 | 16篇 |
2016年 | 21篇 |
2015年 | 19篇 |
2014年 | 23篇 |
2013年 | 40篇 |
2012年 | 41篇 |
2011年 | 41篇 |
2010年 | 39篇 |
2009年 | 35篇 |
2008年 | 34篇 |
2007年 | 32篇 |
2006年 | 21篇 |
2005年 | 26篇 |
2004年 | 26篇 |
2003年 | 14篇 |
2002年 | 14篇 |
2001年 | 13篇 |
2000年 | 15篇 |
1999年 | 13篇 |
1998年 | 12篇 |
1997年 | 17篇 |
1996年 | 13篇 |
1995年 | 15篇 |
1994年 | 8篇 |
1993年 | 9篇 |
1992年 | 7篇 |
1991年 | 9篇 |
1990年 | 7篇 |
1989年 | 6篇 |
1988年 | 13篇 |
1987年 | 8篇 |
1985年 | 6篇 |
1984年 | 2篇 |
1983年 | 9篇 |
1982年 | 5篇 |
1981年 | 8篇 |
1980年 | 4篇 |
1979年 | 2篇 |
1976年 | 5篇 |
1975年 | 3篇 |
1974年 | 3篇 |
1972年 | 4篇 |
1970年 | 5篇 |
1969年 | 2篇 |
排序方式: 共有750条查询结果,搜索用时 15 毫秒
41.
42.
Claudia Kretzschmar Robert Siegmund Dietmar Müller 《The Journal of supercomputing》2003,26(2):185-203
In this paper, an approach to the implementation of digital systems is presented which utilizes dynamic hardware reconfiguration in order to automatically minimize the power dissipated on module interconnections such as system buses during system run time. Reduction of power dissipation is achieved by means of an activity-reducing system bus encoding technique. Encoder and decoder are implemented with dynamically reconfigured code tables which contain a transition minimizing code that is periodically recomputed during run time of the system in order to adapt to variations in the statistical parameters of the encoded data stream. We present the theoretical basics and an efficient implementation of a corresponding coder-decoder system. Experimental results showed a reduction in bus transition activity of up to 41%. 相似文献
43.
Georg Birkenheuer Andr�� Brinkmann Mikael H?gqvist Alexander Papaspyrou Bernhard Schott Dietmar Sommerfeld Wolfgang Ziegler 《Journal of Grid Computing》2011,9(3):355-377
Infrastructure federation is becoming an increasingly important issue for modern Distributed Computing Infrastructures (DCIs):
Dynamic elasticity of quasi-static Grid environments, incorporation of special-purpose resources into commoditized Cloud infrastructures,
cross-community collaboration for increasingly diverging areas of modern e-Science, and Cloud Bursting pose major challenges
on the technical level for many resource and middleware providers. Especially with respect to increasing costs of operating
data centers, the intelligent yet automated and secure sharing of resources is a key factor for success. With the D-Grid Scheduler
Interoperability (DGSI) project within the German D-Grid Initiative, we provide a strategic technology for the automatically
negotiated, SLA-secured, dynamically provisioned federation of resources and services for Grid-and Cloud-type infrastructures.
This goal is achieved by complementing current DCI schedulers with the ability to federate infrastructure for the temporary
leasing of resources and rechanneling of workloads. In this work, we describe the overall architecture and SLA-secured negotiation
protocols within DGSI and depict an advanced mechanism for resource delegation through means of dynamically provisioned, virtualized
middleware. Through this methodology, we provide the technological foundation for intelligent capacity planning and workload
management in a cross-infrastructure fashion. 相似文献
44.
Michael Gurnis Mark TurnerSabin Zahirovic Lydia DiCaprio Sonja SpasojevicR.Dietmar Müller James BoydenMaria Seton Vlad Constantin Manea Dan J. Bower 《Computers & Geosciences》2012,38(1):35-42
We present a new algorithm for modeling a self-consistent set of global plate polygons. Each plate polygon is composed of a finite list of plate margins, all with different Euler poles. We introduce a "continuously closed plate" (CCP), such that, as each margin moves independently, the plate polygon remains closed geometrically as a function of time. This method solves emerging needs in computational geodynamics to combine kinematic with dynamic models. Because they have polygons that are too widely spaced in time and have inconsistent motions between margins and plates, traditional global plate tectonic reconstructions have become inadequate for geodynamics. The CCP algorithm has been incorporated into the GPlates open-source paleogeographic system. The algorithm is a set of procedures and data structures that operate on collections of reconstructed geometric data to form closed plate polygons; the main data structures used for each plate polygon are based on a nested hierarchy of topological elements. Reconstructions with CCPs can be created, edited, visualized, and exported with GPlates. The native storage of the dynamic reconstructions is the GPlates Markup Language, GPML, which uses an XML-based file format called GML. We demonstrate the utility of the CCP method by creating a global reconstruction with continuously closing plates from 140 Ma to the present using data from existing, traditional reconstructions. 相似文献
45.
46.
47.
A concept for a future integer arithmetic unit suitable for a realization with 3-D optoelectronic very large scale integrated (VLSI) circuits is presented. Due to the use of optical interconnections running vertically to the circuit's surface no pin limitation is given. This allows massively parallelism and a higher throughput performance than in all-electronic solutions. To exploit the potential of optical interconnections in VLSI systems efficiently well-adapted low-level algorithms and architectures have to be developed. This is demonstrated for a pipelined arithmetic unit using a redundant number representation. A transistor layout for the optoelectronic circuits is given as well as a specification for the necessary optical interconnection scheme linking the circuits with free-space optics. It is shown that the throughput can be increased by a factor of 10 to 50 compared to current all-electronic processors by considering state-of-the-art optical and optoelectronic technology. Furthermore we present results we gained by investigations on a first realized optoelectronic VLSI test chip. 相似文献
48.
49.
Through continued miniaturization of electronic devices embedded smart cameras are steadily becoming more and more important. The reduction of the camera size increases the spectrum of applications. In industrial applications the range of smart cameras spans from quality monitoring and position tracking to the calibration of production machines. In non-professional applications a distinct boom in action cameras combined with fused sensor information can be observed. However, all of these applications have a common bottleneck: the memory architecture. Most image processing applications are memory-bound tasks. Thus, the amount of time for transferring data with image processing applications decisively affects the application’s entire processing time. Different memory access patterns require different memory configurations and hierarchies. An insufficient match between the image processing application and the memory architecture leads to a poor performance in the image processing system. This can lead to longer processing times, and larger energy consumption rates. This work introduces new methods of classifying image processing applications by using their memory access pattern for mapping on memory architectures. Our work combines a simulation framework the heterogenous memory simulator with a analytical framework the memory analyzer to find bottlenecks inside the image processing application and aids in finding a suitable, application-specific memory configuration in terms of processing time and energy consumption. 相似文献
50.
For the development of practical semantic applications, ontologies are commonly used with rule extensions. Prominent examples of semantic applications not only are Semantic Wikis, Semantic Desktops, but also advanced Web Services and agents. The application of rules increases the expressiveness of the underlying knowledge in many ways. Likewise, the integration not only creates new challenges for the design process of such ontologies, but also existing evaluation methods have to cope with the extension of ontologies by rules.Since the verification of Owl ontologies with rule extensions is not tractable in general, we propose to verify ontologies at the symbolic level by using a declarative approach: With the new language Datalog?, known anomalies can be easily specified and tested in a compact manner. We introduce supplements to existing verification techniques to support the design of ontologies with rule enhancements, and we focus on the detection of anomalies that especially occur due to the combined use of rules and ontological definitions. 相似文献