全文获取类型
收费全文 | 3958篇 |
免费 | 264篇 |
国内免费 | 4篇 |
专业分类
电工技术 | 78篇 |
综合类 | 19篇 |
化学工业 | 1004篇 |
金属工艺 | 82篇 |
机械仪表 | 75篇 |
建筑科学 | 312篇 |
矿业工程 | 18篇 |
能源动力 | 103篇 |
轻工业 | 285篇 |
水利工程 | 28篇 |
石油天然气 | 2篇 |
无线电 | 350篇 |
一般工业技术 | 811篇 |
冶金工业 | 283篇 |
原子能技术 | 18篇 |
自动化技术 | 758篇 |
出版年
2024年 | 6篇 |
2023年 | 61篇 |
2022年 | 136篇 |
2021年 | 150篇 |
2020年 | 120篇 |
2019年 | 100篇 |
2018年 | 127篇 |
2017年 | 109篇 |
2016年 | 160篇 |
2015年 | 165篇 |
2014年 | 190篇 |
2013年 | 272篇 |
2012年 | 258篇 |
2011年 | 320篇 |
2010年 | 261篇 |
2009年 | 210篇 |
2008年 | 215篇 |
2007年 | 211篇 |
2006年 | 159篇 |
2005年 | 153篇 |
2004年 | 105篇 |
2003年 | 88篇 |
2002年 | 86篇 |
2001年 | 53篇 |
2000年 | 47篇 |
1999年 | 58篇 |
1998年 | 64篇 |
1997年 | 45篇 |
1996年 | 52篇 |
1995年 | 31篇 |
1994年 | 20篇 |
1993年 | 23篇 |
1992年 | 12篇 |
1991年 | 14篇 |
1990年 | 13篇 |
1989年 | 15篇 |
1988年 | 7篇 |
1987年 | 6篇 |
1986年 | 11篇 |
1985年 | 14篇 |
1984年 | 4篇 |
1983年 | 4篇 |
1982年 | 5篇 |
1979年 | 9篇 |
1977年 | 4篇 |
1976年 | 10篇 |
1975年 | 6篇 |
1974年 | 5篇 |
1973年 | 6篇 |
1970年 | 5篇 |
排序方式: 共有4226条查询结果,搜索用时 15 毫秒
61.
62.
In [P. Hancock, A. Setzer, Interactive programs in dependent type theory, in: P. Clote, H. Schwichtenberg (Eds.), Proc. 14th Annu. Conf. of EACSL, CSL’00, Fischbau, Germany, 21–26 August 2000, Vol. 1862, Springer, Berlin, 2000, pp. 317–331, URL citeseer.ist.psu.edu/article/hancock00interactive.html; P. Hancock, A. Setzer, Interactive programs and weakly final coalgebras in dependent type theory, in: L. Crosilla, P. Schuster (Eds.), From Sets and Types to Topology and Analysis. Towards Practicable Foundations for Constructive Mathematics, Oxford Logic Guides, Clarendon Press, 2005, URL www.cs.swan.ac.uk/csetzer/] Hancock and Setzer introduced rules to extend Martin-Löf's type theory in order to represent interactive programming. The rules essentially reflect the existence of weakly final coalgebras for a general form of polynomial functor. The standard rules of dependent type theory allow the definition of inductive types, which correspond to initial algebras. Coalgebraic types are not represented in a direct way. In this article we show the existence of final coalgebras in intensional type theory for these kind of functors, where we require uniqueness of identity proofs () for the set of states and the set of commands which determine the functor. We obtain the result by identifying programs which have essentially the same behaviour, viz. are bisimular. This proves the rules of Setzer and Hancock admissible in ordinary type theory, if we replace definitional equality by bisimulation. All proofs [M. Michelbrink, Verifications of final coalgebra theorem in: Interfaces as Functors, Programs as Coalgebras—A Final Coalgebra Theorem in Intensional Type Theory, 2005, URL www.cs.swan.ac.uk/csmichel/] are verified in the theorem prover agda [C. Coquand, Agda, Internet, URL www.cs.chalmers.se/catarina/agda/; K. Peterson, A programming system for type theory, Technical Report, S-412 96, Chalmers University of Technology, Göteborg, 1982], which is based on intensional Martin-Löf type theory. 相似文献
63.
Programmable logic designs are presented that achieve exact integration of leaky integrate-and-fire soma and dynamical synapse neuronal models and incorporate spike-time dependent plasticity and axonal delays. Highly accurate numerical performance has been achieved by modifying simpler forward-Euler-based circuitry requiring minimal circuit allocation, which, as we show, behaves equivalently to exact integration. These designs have been implemented and simulated at the behavioral and physical device levels, demonstrating close agreement with both numerical and analytical results. By exploiting finely grained parallelism and single clock cycle numerical iteration, these designs achieve simulation speeds at least five orders of magnitude faster than the nervous system, termed here hyper-real-time operation, when deployed on commercially available field-programmable gate array (FPGA) devices. Taken together, our designs form a programmable logic construction kit of commonly used neuronal model elements that supports the building of large and complex architectures of spiking neuron networks for real-time neuromorphic implementation, neurophysiological interfacing, or efficient parameter space investigations. 相似文献
64.
Topological methods are often used to describe flow structures in fluid dynamics and topological flow field analysis usually relies on the invariants of the associated tensor fields. A visual impression of the local properties of tensor fields is often complex and the search of a suitable technique for achieving this is an ongoing topic in visualization. This paper introduces and assesses a method of representing the topological properties of tensor fields and their respective flow patterns with the use of colors. First, a tensor norm is introduced, which preserves the properties of the tensor and assigns the tensor invariants to values of the RGB color space. Secondly, the RGB colors of the tensor invariants are transferred to corresponding hue values as an alternative color representation. The vectorial tensor invariants field is reduced to a scalar hue field and visualization of iso-surfaces of this hue value field allows us to identify locations with equivalent flow topology. Additionally highlighting by the maximum of the eigenvalue difference field reflects the magnitude of the structural change of the flow. The method is applied on a vortex breakdown flow structure inside a cylinder with a rotating lid. 相似文献
65.
Adolescents spend a substantial part of their leisure time with playing games and using social media such as Facebook. The present paper examines the link between adolescents' computer and Internet activities and computer literacy (defined as the ability to work with a computer efficiently). A cross-sectional study with N = 200 adolescents, aged 17 on average, was conducted. Hierarchical regression analyses showed that an increase in time spent playing games on a PC/Mac was related to higher scores on practical and theoretical computer knowledge. Moreover, practical computer knowledge was higher for adolescents who liked playing shooters, fantasy games, or Facebook-games. Frequency of social media use was associated with higher scores in practical computer knowledge. A bootstrap analysis indicated that this relationship was mediated by a decrease in computer anxiety, not by more positive attitudes toward the computer. Gender yielded substantial main effects on the media literacy variables but the associations between the computer and Internet activities and the literacy aspects were similar for boys and girls. This study is expected to encourage future longitudinal research on adolescents' incidental learning during leisure time computer and Internet activities. 相似文献
66.
67.
Hyunjung Shim Rolf Adelsberger James Dokyoon Kim Seon-Min Rhee Taehyun Rhee Jae-Young Sim Markus Gross Changyeong Kim 《The Visual computer》2012,28(12):1139-1151
This paper presents a multi-view acquisition system using multi-modal sensors, composed of time-of-flight (ToF) range sensors and color cameras. Our system captures the multiple pairs of color images and depth maps at multiple viewing directions. In order to ensure the acceptable accuracy of measurements, we compensate errors in sensor measurement and calibrate multi-modal devices. Upon manifold experiments and extensive analysis, we identify the major sources of systematic error in sensor measurement and construct an error model for compensation. As a result, we provide a practical solution for the real-time error compensation of depth measurement. Moreover, we implement the calibration scheme for multi-modal devices, unifying the spatial coordinate for multi-modal sensors. The main contribution of this work is to present the thorough analysis of systematic error in sensor measurement and therefore provide a reliable methodology for robust error compensation. The proposed system offers a real-time multi-modal sensor calibration method and thereby is applicable for the 3D reconstruction of dynamic scenes. 相似文献
68.
Levi Valgaerts Andrés Bruhn Markus Mainberger Joachim Weickert 《International Journal of Computer Vision》2012,96(2):212-234
There are two main strategies for solving correspondence problems in computer vision: sparse local feature based approaches
and dense global energy based methods. While sparse feature based methods are often used for estimating the fundamental matrix
by matching a small set of sophistically optimised interest points, dense energy based methods mark the state of the art in
optical flow computation. The goal of our paper is to show that this separation into different application domains is unnecessary
and can be bridged in a natural way. As a first contribution we present a new application of dense optical flow for estimating
the fundamental matrix. Comparing our results with those obtained by feature based techniques we identify cases in which dense
methods have advantages over sparse approaches. Motivated by these promising results we propose, as a second contribution,
a new variational model that recovers the fundamental matrix and the optical flow simultaneously as the minimisers of a single
energy functional. In experiments we show that our coupled approach is able to further improve the estimates of both the fundamental
matrix and the optical flow. Our results prove that dense variational methods can be a serious alternative even in classical
application domains of sparse feature based approaches. 相似文献
69.
Hussein Muzahim Aziz Markus Fiedler H?kan Grahn Lars Lundberg 《Multimedia Systems》2012,18(3):251-262
Streaming video over a wireless network faces several challenges such as high packet error rates, bandwidth variations, and delays, which could have negative effects on the video streaming and the viewer will perceive a frozen picture for certain durations due to loss of frames. In this study, we propose a Time Interleaving Robust Streaming (TIRS) technique to significantly reduce the frozen video problem and provide a satisfactory quality for the mobile viewer. This is done by reordering the streaming video frames as groups of even and odd frames. The objective of streaming the video in this way is to avoid the losses of a sequence of neighbouring frames in case of a long sequence interruption. We evaluate our approach by using a user panel and mean opinion score (MOS) measurements; where the users observe three levels of frame losses. The results show that our technique significantly improves the smoothness of the video on the mobile device in the presence of frame losses, while the transmitted data are only increased by almost 9% (due to reduced time locality). 相似文献
70.