全文获取类型
收费全文 | 1592篇 |
免费 | 58篇 |
国内免费 | 10篇 |
专业分类
电工技术 | 13篇 |
综合类 | 1篇 |
化学工业 | 480篇 |
金属工艺 | 36篇 |
机械仪表 | 9篇 |
建筑科学 | 63篇 |
矿业工程 | 2篇 |
能源动力 | 32篇 |
轻工业 | 172篇 |
水利工程 | 10篇 |
石油天然气 | 8篇 |
无线电 | 167篇 |
一般工业技术 | 299篇 |
冶金工业 | 143篇 |
原子能技术 | 13篇 |
自动化技术 | 212篇 |
出版年
2023年 | 8篇 |
2022年 | 10篇 |
2021年 | 20篇 |
2020年 | 10篇 |
2019年 | 14篇 |
2018年 | 19篇 |
2017年 | 25篇 |
2016年 | 26篇 |
2015年 | 27篇 |
2014年 | 42篇 |
2013年 | 88篇 |
2012年 | 58篇 |
2011年 | 98篇 |
2010年 | 68篇 |
2009年 | 72篇 |
2008年 | 90篇 |
2007年 | 64篇 |
2006年 | 71篇 |
2005年 | 49篇 |
2004年 | 62篇 |
2003年 | 51篇 |
2002年 | 69篇 |
2001年 | 32篇 |
2000年 | 32篇 |
1999年 | 36篇 |
1998年 | 32篇 |
1997年 | 20篇 |
1996年 | 25篇 |
1995年 | 24篇 |
1994年 | 26篇 |
1993年 | 24篇 |
1992年 | 24篇 |
1991年 | 16篇 |
1990年 | 18篇 |
1989年 | 23篇 |
1988年 | 19篇 |
1987年 | 15篇 |
1986年 | 16篇 |
1985年 | 30篇 |
1984年 | 13篇 |
1983年 | 23篇 |
1982年 | 14篇 |
1981年 | 13篇 |
1980年 | 19篇 |
1979年 | 18篇 |
1978年 | 15篇 |
1976年 | 16篇 |
1975年 | 20篇 |
1974年 | 10篇 |
1966年 | 7篇 |
排序方式: 共有1660条查询结果,搜索用时 31 毫秒
31.
Mickaël Daniel Yves Lionel Elie Thomas Philippe Claude 《Sensors and actuators. A, Physical》2008,147(1):263-272
This paper introduces the conceptual architecture of a fully integrated, truly self-powered structural health monitoring (SHM) scheme. The challenge here is to power an array of numerous distributed actuators and sensors as well as wireless data transmission modules without recurring to heavy and costly wiring. Based on microgenerators which directly convert ambient mechanical energy into electrical energy, using the synchronized switch harvesting (SSH) method, the proposed solution allows avoiding the periodic replacement or reloading of batteries. This addresses environmental and economic issues at the same time, knowing that such elements are heavy, polluting and might be installed in rather inaccessible locations. Indeed, especially in airborne structures saving weight and maintenance cost is of priority importance.Previous work showed that such microgenerators provide a stand-alone power source, whose performances meet the requirements of autonomous wireless transmitters (AWTs) that comprise an acoustic Lamb wave's actuator and a radio frequency (RF) emitter (D. Guyomar, Y. Jayet, L. Petit, E. Lefeuvre, T. Monnier, C. Richard, M. Lallart, Synchronized switch harvesting applied to self-powered smart systems: Piezoactive microgenerators for autonomous wireless transmitters, Sens Actuators A: Phys. 138 (1) (2007) 151–160, doi:10.1016/j.sna.2007.04.009). Following this work, the present contribution presents a further step towards the integration of the SHM technique. It shows the ability of our microgenerators to provide enough energy to give logical autonomy to each self-powered sensing node, named autonomous wireless receiver (AWR), and thus to provide some local (decentralized) pre-processing ability to the SHM system.A preliminary design of the device using off-the-shelf electronics and surface mounted piezoelectric patches will be presented. Since the existence of a positive energy balance between the harvesting capabilities of the SSH technique and the energy requirements of the proposed device will be proved, the system formed by the combination of the AWR with the previously developed AWT, is a proof of concept of truly self-powered smart systems for damage detection in simple structures, setting apart application-specific optimization or miniaturization concerns that will be addressed in future works. 相似文献
32.
33.
Deduction modulo is a way to combine computation and deduction in proofs, by applying the inference rules of a deductive system (e.g. natural deduction or sequent calculus) modulo some congruence that we assume here to be presented by a set of rewrite rules. Using deduction modulo is equivalent to proving in a theory corresponding to the rewrite rules, and leads to proofs that are often shorter and more readable. However, cuts may be not admissible anymore.We define a new system, the unfolding sequent calculus, and prove its equivalence with the sequent calculus modulo, especially w.r.t. cut-free proofs. It permits to show that it is even undecidable to know if cuts can be eliminated in the sequent calculus modulo a given rewrite system.Then, to recover the cut admissibility, we propose a procedure to complete the rewrite system such that the sequent calculus modulo the resulting system admits cuts. This is done by generalizing the Knuth–Bendix completion in a non-trivial way, using the framework of abstract canonical systems.These results enlighten the entanglement between computation and deduction, and the power of abstract completion procedures. They also provide an effective way to obtain systems admitting cuts, therefore extending the applicability of deduction modulo in automated theorem proving. 相似文献
34.
35.
Mohamed Sahli Christine Millot Claude Roques-Carmes Chantal Khan Malek 《Microsystem Technologies》2009,15(6):827-835
Numerical modelling of the deformation of a polymer using the finite elements method in axisymetrical mode was performed using the LsDyna® software to describe the filling of micro-cavities during the forming process of the material using the hot embossing. These simulations firstly allow verifying whether the chosen forming process conditions promote or not an optimized filling of the superficial cavities in order to achieve precise replicas which best reproduce the superficial topography of the mould. The simulations were carried out to evaluate the filling of the cavities taking into account the mechanical behaviour of the selected polymer into the model. Moreover, these models were developed to verify the effect of the distribution of the mould cavities on their filling. The influence of the mobility of non deformable rigid plates on the filling of the cavities represents an auxiliary variable. In the approach presented, the compression plates are assumed to be parallel and non deformable, whereas the polymer disk follows a rubbery behaviour around a temperature equal to 140°C. Globally the modelling results are satisfactory for they are rather close to the experimental observations conducted. In summary, the effect of the normal stress as also the distribution of micro-cavities at the mould surface seem to prevail in the case of the forming process by hot embossing. 相似文献
36.
Grant E. Gunn Claude R. Duguay Chris Derksen Juha Lemmetyinen 《Remote sensing of environment》2011,115(1):233-244
The algorithms designed to estimate snow water equivalent (SWE) using passive microwave measurements falter in lake-rich high-latitude environments due to the emission properties of ice covered lakes on low frequency measurements. Microwave emission models have been used to simulate brightness temperatures (Tbs) for snowpack characteristics in terrestrial environments but cannot be applied to snow on lakes because of the differing subsurface emissivities and scattering matrices present in ice. This paper examines the performance of a modified version of the Helsinki University of Technology (HUT) snow emission model that incorporates microwave emission from lake ice and sub-ice water. Inputs to the HUT model include measurements collected over brackish and freshwater lakes north of Inuvik, Northwest Territories, Canada in April 2008, consisting of snowpack (depth, density, and snow water equivalent) and lake ice (thickness and ice type). Coincident airborne radiometer measurements at a resolution of 80 × 100 m were used as ground-truth to evaluate the simulations.The results indicate that subsurface media are simulated best when utilizing a modeled effective grain size and a 1 mm RMS surface roughness at the ice/water interface compared to using measured grain size and a flat Fresnel reflective surface as input. Simulations at 37 GHz (vertical polarization) produce the best results compared to airborne Tbs, with a Root Mean Square Error (RMSE) of 6.2 K and 7.9 K, as well as Mean Bias Errors (MBEs) of −8.4 K and −8.8 K for brackish and freshwater sites respectively. Freshwater simulations at 6.9 and 19 GHz H exhibited low RMSE (10.53 and 6.15 K respectively) and MBE (−5.37 and 8.36 K respectively) but did not accurately simulate Tb variability (R = −0.15 and 0.01 respectively). Over brackish water, 6.9 GHz simulations had poor agreement with airborne Tbs, while 19 GHz V exhibited a low RMSE (6.15 K), MBE (−4.52 K) and improved relative agreement to airborne measurements (R = 0.47). Salinity considerations reduced 6.9 GHz errors substantially, with a drop in RMSE from 51.48 K and 57.18 K for H and V polarizations respectively, to 26.2 K and 31.6 K, although Tb variability was not well simulated. With best results at 37 GHz, HUT simulations exhibit the potential to track Tb evolution, and therefore SWE through the winter season. 相似文献
37.
Digital microfluidic design and optimization of classic and new fluidic functions for lab on a chip systems 总被引:2,自引:2,他引:0
Yves Fouillet Dorothée Jary Claude Chabrol Patricia Claustre Christine Peponnet 《Microfluidics and nanofluidics》2008,4(3):159-165
This paper deals with microfluidic studies for lab-on-a-chip development. The first goal was to develop microsystems immediately
usable by biologists for complex protocol integrations. All fluid operations are performed on nano-liter droplet independently
handled solely by electrowetting on dielectric (EWOD) actuation. A bottom-up architecture was used for chip design due to
the development and validation of elementary fluidic designs, which are then assembled. This approach speeds up development
and industrialization while minimizing the effort in designing and simplifying chip-fluidic programming. Dispensing reproducibility
for 64 nl droplets obtained a CV below 3% and mixing time was only a few seconds. Ease of the integration was demonstrated
by performing on chip serial dilutions of 2.8-folds, four times. The second part of this paper concerns the development of
new innovative fluidic functions in order to extend EWOD-actuated digital fluidics’ capabilities. Experiments of particle
dispensing by EWOD droplet handling are reported. Finally, work is shown concerning the coupling of EWOD actuation and magnetic
fields for magnetic bead manipulation. 相似文献
38.
Walid Gaaloul Karim Baïna Claude Godart 《Service Oriented Computing and Applications》2008,2(2-3):93-110
Web service compositions are becoming more and more complex, involving numerous interacting ad-hoc services. These services are often implemented as business processes themselves. By analysing such complex web service compositions one is able to better understand, control and eventually re-design them. Our contribution to this problem is a mining algorithm, based on a statistical technique to discover composite web service patterns from execution logs. Our approach is characterised by a “local” pattern’s discovery that covers partial results through a dynamic programming algorithm. Those locally discovered patterns are then composed iteratively until the composite Web service is discovered. The analysis of the disparities between the discovered model and the initial ad-hoc composite model (delta-analysis) enables initial design gaps to be detected and thus to re-engineer the initial Web service composition. 相似文献
39.
We present a suite of programs to determine the ground state of the time-independent Gross-Pitaevskii equation, used in the simulation of Bose-Einstein condensates. The calculation is based on the Optimal Damping Algorithm, ensuring a fast convergence to the true ground state. Versions are given for the one-, two-, and three-dimensional equation, using either a spectral method, well suited for harmonic trapping potentials, or a spatial grid.
Program summary
Program title: GPODACatalogue identifier: ADZN_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADZN_v1_0.htmlProgram obtainable from: CPC Program Library, Queen's University, Belfast, N. IrelandLicensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.: 5339No. of bytes in distributed program, including test data, etc.: 19 426Distribution format: tar.gzProgramming language: Fortran 90Computer: ANY (Compilers under which the program has been tested: Absoft Pro Fortran, The Portland Group Fortran 90/95 compiler, Intel Fortran Compiler)RAM: From <1 MB in 1D to ∼102 MB for a large 3D gridClassification: 2.7, 4.9External routines: LAPACK, BLAS, DFFTPACKNature of problem: The order parameter (or wave function) of a Bose-Einstein condensate (BEC) is obtained, in a mean field approximation, by the Gross-Pitaevskii equation (GPE) [F. Dalfovo, S. Giorgini, L.P. Pitaevskii, S. Stringari, Rev. Mod. Phys. 71 (1999) 463]. The GPE is a nonlinear Schrödinger-like equation, including here a confining potential. The stationary state of a BEC is obtained by finding the ground state of the time-independent GPE, i.e., the order parameter that minimizes the energy. In addition to the standard three-dimensional GPE, tight traps can lead to effective two- or even one-dimensional BECs, so the 2D and 1D GPEs are also considered.Solution method: The ground state of the time-independent of the GPE is calculated using the Optimal Damping Algorithm [E. Cancès, C. Le Bris, Int. J. Quantum Chem. 79 (2000) 82]. Two sets of programs are given, using either a spectral representation of the order parameter [C.M. Dion, E. Cancès, Phys. Rev. E 67 (2003) 046706], suitable for a (quasi) harmonic trapping potential, or by discretizing the order parameter on a spatial grid.Running time: From seconds in 1D to a few hours for large 3D grids 相似文献40.
Nicolas Grégori Jean-Charles Hautecouverture François Charoy Claude Godart 《AI & Society》2006,20(3):384-402
Analyzing the way computer technologies are used is crucial for their development. Such analyses make it possible to evaluate these technologies and enhance their evolution. The present article presents some ideas drawn from the development of a cooperation platform for elementary school children (10–11 years old). On the basis of an obvious ergonomic requirement, we worked on two other dimensions: cultural aspects and the teaching scenario. The goal was to set up observation situations and analyze the conversations produced during those situations, in order to understand what using the platform meant to both the pupils and their teachers.
相似文献
Claude GodartEmail: |