全文获取类型
收费全文 | 2485篇 |
免费 | 92篇 |
国内免费 | 6篇 |
专业分类
电工技术 | 31篇 |
综合类 | 5篇 |
化学工业 | 563篇 |
金属工艺 | 37篇 |
机械仪表 | 43篇 |
建筑科学 | 124篇 |
矿业工程 | 32篇 |
能源动力 | 40篇 |
轻工业 | 237篇 |
水利工程 | 29篇 |
石油天然气 | 5篇 |
无线电 | 214篇 |
一般工业技术 | 376篇 |
冶金工业 | 289篇 |
原子能技术 | 13篇 |
自动化技术 | 545篇 |
出版年
2023年 | 24篇 |
2022年 | 47篇 |
2021年 | 62篇 |
2020年 | 29篇 |
2019年 | 33篇 |
2018年 | 62篇 |
2017年 | 60篇 |
2016年 | 84篇 |
2015年 | 74篇 |
2014年 | 88篇 |
2013年 | 107篇 |
2012年 | 114篇 |
2011年 | 148篇 |
2010年 | 85篇 |
2009年 | 127篇 |
2008年 | 120篇 |
2007年 | 103篇 |
2006年 | 111篇 |
2005年 | 87篇 |
2004年 | 79篇 |
2003年 | 62篇 |
2002年 | 67篇 |
2001年 | 44篇 |
2000年 | 51篇 |
1999年 | 49篇 |
1998年 | 68篇 |
1997年 | 61篇 |
1996年 | 50篇 |
1995年 | 53篇 |
1994年 | 42篇 |
1993年 | 36篇 |
1992年 | 31篇 |
1991年 | 26篇 |
1990年 | 17篇 |
1989年 | 14篇 |
1988年 | 17篇 |
1987年 | 23篇 |
1986年 | 12篇 |
1985年 | 23篇 |
1984年 | 19篇 |
1983年 | 18篇 |
1982年 | 10篇 |
1981年 | 15篇 |
1980年 | 9篇 |
1979年 | 11篇 |
1978年 | 13篇 |
1977年 | 9篇 |
1976年 | 20篇 |
1975年 | 11篇 |
1971年 | 7篇 |
排序方式: 共有2583条查询结果,搜索用时 0 毫秒
31.
Kirk Weller Ilana Arnon Ed Dubinsky 《Canadian Journal of Science, Mathematics, & Technology Education》2013,13(2):129-159
Abstract In an earlier study of preservice elementary and middle school teachers’ beliefs about repeating decimals, Weller, Arnon, and Dubinsky (2009) reported on a comparison of the mathematical performance of 77 preservice teachers who completed an APOS-based instructional unit with 127 preservice teachers who completed traditional instruction. The purpose of the current study, based on 47 interviews conducted 4 months after the instruction, during which time there was no further instruction on this topic, is to determine the strength and stability (over time) of the students’ beliefs, to uncover thinking that did not arise in the earlier study, and to see whether the interviews yield similar comparative results. The interviews did uncover changes in student thinking. The students who received the APOS-based instruction developed stronger and more stable (over time) beliefs that a repeating decimal is a number; a repeating decimal has a fraction or integer to which it corresponds; a repeating decimal in general equals its corresponding fraction or integer; and, in particular, In addition, a number of indices and categories were developed that may prove useful in other studies consisting of the comparison of interview and questionnaire data involving a large number of interview subjects. 相似文献
32.
Mortensen Jesper Yu Insu Khanna Pankaj Tecchia Franco Spanlang Bernhard Marino Giuseppe Slater Mel 《Computer Graphics and Applications, IEEE》2008,28(6):56-64
Real-time global illumination in VR systems enhances scene realism by incorporating soft shadows, reflections of objects in the scene, and color bleeding. The Virtual Light Field (VLF) method enables real-time global illumination rendering in VR. The VLF has been integrated with the Extreme VR system for real-time GPU-based rendering in a Cave Automatic Virtual Environment. 相似文献
33.
Hybrid systems are heterogeneous systems characterised by the interaction of discrete and continuous dynamics. We present a trajectory-based algebraic model for describing hybrid systems; the trajectories used are closely related to streams. The algebra is based on left quantales and left semirings and provides a new application for these algebraic structures. We show that hybrid automata, which are probably the standard tool for describing hybrid systems, can conveniently be embedded into our algebra. Moreover we point out some important advantages of the algebraic approach. In particular, we show how to handle Zeno effects, which are excluded by most other authors. The development of the theory is illustrated by a running example and a larger case study. 相似文献
34.
Marco Bakera Tiziana Margaria Clemens D. Renner Bernhard Steffen 《Innovations in Systems and Software Engineering》2009,5(3):211-228
We show on a case study from an autonomous aerospace context how to apply a game-based model-checking approach as a powerful
technique for the verification, diagnosis, and adaptation of system behaviors based on temporal properties. This work is part
of our contribution within the SHADOWS project, where we provide a number of enabling technologies for model-driven self-healing.
We propose here to use GEAR, a game-based model checker, as a user-friendly tool that can offer automatic proofs of critical
properties of such systems. Although it is a model checker for the full modal μ-calculus, it also supports derived, more user-oriented logics. With GEAR, designers and engineers can interactively investigate
automatically generated winning strategies for the games, by this way exploring the connection between the property, the system,
and the proof.
This work has been partially supported by the European Union Specific Targeted Research Project SHADOWS (IST-2006-35157), exploring a Self-Healing Approach to Designing cOmplex softWare Systems. The project’s web page is at .
This article is an extended version of Renner et al. [18] presented at ISoLA 2007, Poitiers, December 2007. 相似文献
35.
36.
Herpes simplex virus type 1 (HSV-1) DNA replication intermediates exist in a complex nonlinear structure that does not migrate into a pulsed-field gel. Genetic evidence suggests that the product of the UL12 gene, termed alkaline nuclease, plays a role in processing replication intermediates (R. Martinez, R. T. Sarisky, P. C. Weber, and S. K. Weller, J. Virol. 70:2075-2085, 1996). In this study we have tested the hypothesis that alkaline nuclease acts as a structure-specific resolvase. Cruciform structures generated with oligonucleotides were treated with purified alkaline nuclease; however, instead of being resolved into linear duplexes as would be expected of a resolvase activity, the artificial cruciforms were degraded. DNA replication intermediates were isolated from the well of a pulsed-field gel ("well DNA") and treated with purified HSV-1 alkaline nuclease. Although alkaline nuclease can degrade virion DNA to completion, digestion of well DNA results in a smaller-than-unit-length product that migrates as a heterogeneous smear; this product is resistant to further digestion by alkaline nuclease. The smaller-than-unit-length products are representative of the entire HSV genome, indicating that alkaline nuclease is not inhibited at specific sequences. To further probe the structure of replicating DNA, well DNA was treated with various known nucleases; our results indicate that replicating DNA apparently contains no accessible double-stranded ends but does contain nicks and gaps. Our data suggest that UL12 functions at nicks and gaps in replicating DNA to correctly repair or process the replicating genome into a form suitable for encapsidation. 相似文献
37.
J. L. Tallon C. Bernhard Ch. Niedermayer J. Shimoyama S. Hahakura K. Yamaura Z. Hiroi M. Takano K. Kishio 《Journal of Low Temperature Physics》1996,105(5-6):1379-1384
We show from muon spin relaxation (SR) studies on mercury HTS superconductors that a 50-fold increase in irreversibility field obtained by partial substitution of Re for Hg is due to metallisation of the Hg/Re layer. Induced superconductivity on this metallic layer doubles the overall superfluid density. This suggests a new approach to the design of high performance HTS materials: metallising one of the non-CuO2 interlayers and thereby greatly enhancing the superconducting properties. 相似文献
38.
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. 相似文献
39.
Bernhard Burgermeister Martin Arnold Alexander Eichberger 《Multibody System Dynamics》2011,26(1):1-14
The rapidly increasing complexity of multi-body system models in applications like vehicle dynamics, robotics and bio-mechanics
requires qualitative new solution methods to slash computing times for the dynamical simulation. 相似文献
40.
Fuchs E Gruber T Nitschke J Sick B 《IEEE transactions on pattern analysis and machine intelligence》2010,32(12):2232-2245
The paper presents SwiftSeg, a novel technique for online time series segmentation and piecewise polynomial representation. The segmentation approach is based on a least-squares approximation of time series in sliding and/or growing time windows utilizing a basis of orthogonal polynomials. This allows the definition of fast update steps for the approximating polynomial, where the computational effort depends only on the degree of the approximating polynomial and not on the length of the time window. The coefficients of the orthogonal expansion of the approximating polynomial-obtained by means of the update steps-can be interpreted as optimal (in the least-squares sense) estimators for average, slope, curvature, change of curvature, etc., of the signal in the time window considered. These coefficients, as well as the approximation error, may be used in a very intuitive way to define segmentation criteria. The properties of SwiftSeg are evaluated by means of some artificial and real benchmark time series. It is compared to three different offline and online techniques to assess its accuracy and runtime. It is shown that SwiftSeg-which is suitable for many data streaming applications-offers high accuracy at very low computational costs. 相似文献