全文获取类型
收费全文 | 2686篇 |
免费 | 214篇 |
国内免费 | 9篇 |
专业分类
电工技术 | 59篇 |
综合类 | 1篇 |
化学工业 | 773篇 |
金属工艺 | 34篇 |
机械仪表 | 66篇 |
建筑科学 | 73篇 |
矿业工程 | 3篇 |
能源动力 | 101篇 |
轻工业 | 320篇 |
水利工程 | 10篇 |
石油天然气 | 1篇 |
无线电 | 208篇 |
一般工业技术 | 437篇 |
冶金工业 | 43篇 |
原子能技术 | 34篇 |
自动化技术 | 746篇 |
出版年
2024年 | 4篇 |
2023年 | 35篇 |
2022年 | 129篇 |
2021年 | 206篇 |
2020年 | 80篇 |
2019年 | 98篇 |
2018年 | 117篇 |
2017年 | 92篇 |
2016年 | 138篇 |
2015年 | 117篇 |
2014年 | 152篇 |
2013年 | 225篇 |
2012年 | 172篇 |
2011年 | 201篇 |
2010年 | 138篇 |
2009年 | 170篇 |
2008年 | 141篇 |
2007年 | 100篇 |
2006年 | 99篇 |
2005年 | 97篇 |
2004年 | 67篇 |
2003年 | 52篇 |
2002年 | 44篇 |
2001年 | 30篇 |
2000年 | 27篇 |
1999年 | 18篇 |
1998年 | 27篇 |
1997年 | 21篇 |
1996年 | 24篇 |
1995年 | 14篇 |
1994年 | 5篇 |
1993年 | 8篇 |
1992年 | 7篇 |
1991年 | 7篇 |
1990年 | 2篇 |
1989年 | 5篇 |
1988年 | 2篇 |
1987年 | 5篇 |
1985年 | 2篇 |
1984年 | 4篇 |
1983年 | 4篇 |
1982年 | 4篇 |
1980年 | 3篇 |
1979年 | 2篇 |
1978年 | 2篇 |
1977年 | 4篇 |
1976年 | 2篇 |
1975年 | 3篇 |
1974年 | 1篇 |
1973年 | 1篇 |
排序方式: 共有2909条查询结果,搜索用时 15 毫秒
81.
Alessandro Lapadula Rosario Pugliese Francesco Tiezzi 《Electronic Notes in Theoretical Computer Science》2008,200(3):133
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform formalism for modelling all the relevant phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, deployment and execution. In this paper, we show that constraints and operations on them can be smoothly incorporated in COWS, and propose a disciplined way to model multisets of constraints and to manipulate them through appropriate interaction protocols. Therefore, we demonstrate that also QoS requirement specifications and SLA achievements, and the phases of dynamic service discovery and negotiation can be comfortably modelled in COWS. We illustrate our approach through a scenario for a service-based web hosting provider. 相似文献
82.
Enver Sangineto Nicola Capuano Matteo Gaeta Alessandro Micarelli 《Universal Access in the Information Society》2008,7(1-2):1-23
This paper presents an approach to automatic course generation and student modeling. The method has been developed during
the European funded projects Diogene and Intraserv, focused on the construction of an adaptive e-learning platform. The aim
of the platform is the automatic generation and personalization of courses, taking into account pedagogical knowledge on the
didactic domain as well as statistic information on both the student’s knowledge degree and learning preferences. Pedagogical
information is described by means of an innovative methodology suitable for effective and efficient course generation and
personalization. Moreover, statistic information can be collected and exploited by the system in order to better describe
the student’s preferences and learning performances. Learning material is chosen by the system matching the student’s learning
preferences with the learning material type, following a pedagogical approach suggested by Felder and Silverman. The paper
discusses how automatic learning material personalization makes it possible to facilitate distance learning access to both
able-bodied and disabled people. Results from the Diogene and Intraserv evaluation are reported and discussed. 相似文献
83.
Sacchi M Spezzani C Carpentiero A Prasciolu M Delaunay R Lüning J Polack F 《The Review of scientific instruments》2007,78(4):043702
We have developed a setup for measuring holographically formed interference patterns using an integrated sample-mask design. The direct space image of the sample is obtained via a two-dimensional Fourier transform of the X-ray diffraction pattern. We present the details of our setup, commenting on the influence of geometrical parameters on the imaging capabilities. As an example, we present and discuss the results of test experiments on a patterned Co film. 相似文献
84.
Bissacco A Chiuso A Soatto S 《IEEE transactions on pattern analysis and machine intelligence》2007,29(11):1958-1972
We address the problem of performing decision tasks, and in particular classification and recognition, in the space of dynamical models in order to compare time series of data. Motivated by the application of recognition of human motion in image sequences, we consider a class of models that include linear dynamics, both stable and marginally stable (periodic), both minimum and non-minimum phase, driven by non-Gaussian processes. This requires extending existing learning and system identification algorithms to handle periodic modes and nonminimum phase behavior, while taking into account higher-order statistics of the data. Once a model is identified, we define a kernel-based cord distance between models that includes their dynamics, their initial conditions as well as input distribution. This is made possible by a novel kernel defined between two arbitrary (non-Gaussian) distributions, which is computed by efficiently solving an optimal transport problem. We validate our choice of models, inference algorithm, and distance on the tasks of human motion synthesis (sample paths of the learned models), and recognition (nearest-neighbor classification in the computed distance). However, our work can be applied more broadly where one needs to compare historical data while taking into account periodic trends, non-minimum phase behavior, and non-Gaussian input distributions. 相似文献
85.
86.
87.
Polyamides incorporating furan moieties. 5. Synthesis and characterisation of furan-aromatic homologues 总被引:1,自引:0,他引:1
2,2′-Bis (5-chloroformyl 2-furyl) propane and various aromatic diamines were used as monomers in the study of their interfacial polycondensation and the properties of the ensuing furanic-aromatic polyamides. The effects of such variables as the nature of the organic phase, the temperature, the reaction time, and the type and concentration of the catalyst were investigated as well as the properties of the polyamides in terms of structure, average chain length, Tg, Tm and thermal stability. 相似文献
88.
Capacitive micromachined ultrasonic transducers (CMUTs) bring the fabrication technology of standard integrated circuits into the field of ultrasound medical imaging. This unique property, combined with the inherent advantages of CMUTs in terms of increased bandwidth and suitability for new imaging modalities and high frequency applications, have indicated these devices as new generation arrays for acoustic imaging. The advances in microfabrication have made possible to fabricate, in few years, silicon-based electrostatic transducers competing in performance with the piezoelectric transducers. This paper summarizes the fabrication, design, modeling, and characterization of 1D CMUT linear arrays for medical imaging, established in our laboratories during the past 3 years. Although the viability of our CMUT technology for applications in diagnostic echographic imaging is demonstrated, the whole process from silicon die to final probe is not fully mature yet for successful practical applications. 相似文献
89.
This paper discusses some issues about the usage of SDL and related commercial SDL support tools for the validation of a railway signalling system: in particular, the issue of the multiple configurations presented by this system is addressed, discussing the possible strategies to validate the system regardless to the actual configuration. 相似文献
90.
This paper shows a parallel implementation of a priority queue with bandwidthPand maximum sizenPby means of a network with reconfigurable buses. The proposed solution is based on a tree of meshes architecture ofO(nP2) processors andO(Plogn) maximum subbus length. The computational times required by the operations of a priority queue with bandwidthPareO(1) for all the operations, using the unit-time delay model for broadcasting, while they areO(1) for MIN andO(logP+ log logn) for both DELETEMIN and INSERT, using the log-time delay model. The proposed network can be laid out in a classical H-shaped manner to occupyO(nP2) area in the VLSI model. WhenP=O(1), the required area is optimal and, using the unit-time delay model, the resultingAT2is also optimal. The paper presents also a very simple and efficient way of merging two sorted sequences on a reconfigurable mesh, which is used in the implementation of the priority queue operations. 相似文献