全文获取类型
收费全文 | 1797篇 |
免费 | 85篇 |
国内免费 | 3篇 |
专业分类
电工技术 | 17篇 |
综合类 | 1篇 |
化学工业 | 442篇 |
金属工艺 | 39篇 |
机械仪表 | 48篇 |
建筑科学 | 68篇 |
矿业工程 | 4篇 |
能源动力 | 75篇 |
轻工业 | 214篇 |
水利工程 | 15篇 |
石油天然气 | 6篇 |
武器工业 | 1篇 |
无线电 | 168篇 |
一般工业技术 | 324篇 |
冶金工业 | 75篇 |
原子能技术 | 12篇 |
自动化技术 | 376篇 |
出版年
2024年 | 2篇 |
2023年 | 28篇 |
2022年 | 63篇 |
2021年 | 79篇 |
2020年 | 61篇 |
2019年 | 67篇 |
2018年 | 63篇 |
2017年 | 59篇 |
2016年 | 55篇 |
2015年 | 62篇 |
2014年 | 74篇 |
2013年 | 148篇 |
2012年 | 115篇 |
2011年 | 157篇 |
2010年 | 103篇 |
2009年 | 88篇 |
2008年 | 117篇 |
2007年 | 77篇 |
2006年 | 68篇 |
2005年 | 49篇 |
2004年 | 48篇 |
2003年 | 51篇 |
2002年 | 36篇 |
2001年 | 22篇 |
2000年 | 11篇 |
1999年 | 8篇 |
1998年 | 17篇 |
1997年 | 15篇 |
1996年 | 23篇 |
1995年 | 15篇 |
1994年 | 15篇 |
1993年 | 14篇 |
1992年 | 4篇 |
1991年 | 7篇 |
1990年 | 6篇 |
1989年 | 2篇 |
1988年 | 8篇 |
1987年 | 6篇 |
1985年 | 11篇 |
1984年 | 3篇 |
1983年 | 3篇 |
1979年 | 3篇 |
1977年 | 2篇 |
1976年 | 4篇 |
1975年 | 3篇 |
1972年 | 1篇 |
1971年 | 1篇 |
1970年 | 2篇 |
1969年 | 1篇 |
1911年 | 2篇 |
排序方式: 共有1885条查询结果,搜索用时 15 毫秒
11.
Ugo Andreaus Michele Colloca Daniela Iacoviello Marcello Pignataro 《Structural and Multidisciplinary Optimization》2011,43(1):43-59
The objective of this paper was solving the optimization problem of lightweight stiffened structures modelled as a two-dimensional
domain in an efficient computational way. The underlying premise was that mass should be distributed in an efficient way,
so as to use a minimum amount of material to accomplish the mechanical function. This premise was expressed as a global, multi-objective
optimization problem in which stiffness and mass were conflicting objectives. Alternative local evolution rules were implemented
to update mass density or Young’s modulus at each step of the iterative procedure. The solution of the structural optimization
problem was accomplished by a novel automatic procedure consisting of two consecutive stages of control and optimization.
In the first stage of Proportional Integral Derivative (PID) control gains were manually selected whereas in the second stage
the finding of optimal values of control gains, target, and cost indices was allowed. In this study a bone-like material was
adopted and a thin slab was analysed as a sample problem. 相似文献
12.
Emmanuel Bruno Nicolas Faessel Herv�� Glotin Jacques Le Maitre Michel Scholl 《World Wide Web》2011,14(5-6):623-649
We present in this paper a model for indexing and querying web pages, based on the hierarchical decomposition of pages into blocks. Splitting up a page into blocks has several advantages in terms of page design, indexing and querying such as (i) blocks of a page most similar to a query may be returned instead of the page as a whole (ii) the importance of a block can be taken into account, as well as (iii) the permeability of the blocks to neighbor blocks: a block b is said to be permeable to a block b?? in the same page if b?? content (text, image, etc.) can be (partially) inherited by b upon indexing. An engine implementing this model is described including: the transformation of web pages into blocks hierarchies, the definition of a dedicated language to express indexing rules and the storage of indexed blocks into an XML repository. The model is assessed on a dataset of electronic news, and a dataset drawn from web pages of the ImagEval campaign where it improves by 16% the mean average precision of the baseline. 相似文献
13.
The challenge of segmenting the moving object is harder when the background is dynamic and the camera used can change its zoom dynamically. Here, in this paper, we propose a method to detect and segment moving object from a dynamic background, which contains moving multiple-leaf doors. In addition, the proposed algorithm also takes care of dynamic zoom changes that can occur while shooting a scene. The proposed method uses background-rebuilding with discrete door’s position to tackle moving multiple-leaf door backgrounds and image feature comparison to tackle changes in zoom. The experiment results show satisfying segmentation results with high processing speed. 相似文献
14.
Kuk-Jin Yoon Emmanuel Prados Peter Sturm 《International Journal of Computer Vision》2010,86(2-3):192-210
We propose a generative model based method for recovering both the shape and the reflectance of the surface(s) of a scene from multiple images, assuming that illumination conditions and cameras calibration are known in advance. Based on a variational framework and via gradient descents, the algorithm minimizes simultaneously and consistently a global cost functional with respect to both shape and reflectance. The motivations for our approach are threefold. (1) Contrary to previous works which mainly consider specific individual scenarios, our method applies indiscriminately to a number of classical scenarios; in particular it works for classical stereovision, multiview photometric stereo and multiview shape from shading. It works with changing as well as static illumination. (2) Our approach naturally combines stereo, silhouette and shading cues in a single framework. (3) Moreover, unlike most previous methods dealing with only Lambertian surfaces, the proposed method considers general dichromatic surfaces. We verify the method using various synthetic and real data sets. 相似文献
15.
We define realizability semantics for Light Affine Logic (
LAL\mathsf{LAL}
) which has the property that denotations of functions are polynomial time computable by construction of the model. This gives
a new proof of polytime-soundness of
LAL\mathsf{LAL}
which is considerably simpler than the standard proof based on proof nets and is entirely semantical in nature. The model
construction uses a new instance of a resource monoid; a general method for interpreting systems based on Linear Logic introduced
earlier by the authors. 相似文献
16.
The automatic compilation of bilingual lists of terms from specialized comparable corpora using lexical alignment has been successful for single-word terms (SWTs), but remains disappointing for multi-word terms (MWTs). The low frequency and the variability of the syntactic structures of MWTs in the source and the target languages are the main reported problems. This paper defines a general framework dedicated to the lexical alignment of MWTs from comparable corpora that includes a compositional translation process and the standard lexical context analysis. The compositional method which is based on the translation of lexical items being restrictive, we introduce an extended compositional method that bridges the gap between MWTs of different syntactic structures through morphological links. We experimented with the two compositional methods for the French–Japanese alignment task. The results show a significant improvement for the translation of MWTs and advocate further morphological analysis in lexical alignment. 相似文献
17.
Sergio F. León-LuisAuthor VitaeUlises R. Rodríguez-MendozaAuthor Vitae Emmanuel LallaAuthor VitaeVíctor LavínAuthor Vitae 《Sensors and actuators. B, Chemical》2011,158(1):208-213
The temperature dependence of the green upconverted emission from the two thermally coupled 2H11/2 and 4S3/2 levels of the Er3+ ion in a fluorotellurite glass has been analyzed as a function of the optically active ion concentration in order to check its availability as a temperature sensor. The infrared-to-green upconverted emission have been observed by the naked eyes after a cw laser diode excitation at 800 nm. The fluorescence intensity ratio between the thermally coupled emitting levels as well as the temperature sensitivity has been experimentally obtained up to 540 K. A better behaviour as a temperature sensor has been obtained for the less Er3+ concentrated glass with a maximum sensitivity of 54 × 10−4 K−1 at 540 K, one of the highest found in rare-earth doped transparent materials. 相似文献
18.
Emmanuel?FiliotEmail author Naiyong?Jin Jean-Fran?ois?Raskin 《Formal Methods in System Design》2011,39(3):261-296
In this paper, we present new monolithic and compositional algorithms to solve the LTL realizability problem. Those new algorithms are based on a reduction of the LTL realizability problem to a game whose winning condition is defined by a universal automaton on infinite words with a k-co-Büchi acceptance condition. This acceptance condition asks that runs visit at most k accepting states, so it implicitly defines a safety game. To obtain efficient algorithms from this construction, we need several additional ingredients. First, we study the structure
of the underlying automata constructions, and we show that there exists a partial order that structures the state space of
the underlying safety game. This partial order can be used to define an efficient antichain algorithm. Second, we show that the algorithm can be implemented in an incremental way by considering increasing values of k in the acceptance condition. Finally, we show that for large LTL formulas that are written as conjunctions of smaller formulas, we can solve the problem compositionally by first computing winning strategies for each conjunct that appears in the large formula. We report on the behavior of those
algorithms on several benchmarks. We show that the compositional algorithms are able to handle LTL formulas that are several pages long. 相似文献
19.
Emmanuel John M. Carranza 《Computers & Geosciences》2009,35(10):2032-2046
In GIS-based data-driven modeling of mineral prospectivity, a suitably fine unit cell size is used for spatial representation of known occurrences of mineral deposits of the type sought (D) in a study area (T). However, until now, the unit cell size is chosen subjectively. In this paper, a methodology is proposed for objective selection of the most suitable unit cell size for data-driven modeling of mineral prospectivity using a raster-based GIS. A set of choices of suitable unit cell sizes is first derived via point pattern analysis of a set of known occurrences of mineral deposits of the type sought. Then, (a) the lower limit of a set of choices of suitable unit cell sizes is considered and defined according to the map scales from which spatial data for mineral prospectivity mapping were derived, and (b) the upper limit of the same set of choices of suitable unit cell sizes is considered (and revised as necessary) based on knowledge of spatial extents of mineral deposits of the type sought or via analysis of reflexive nearest neighbour points. Finally, it is shown that fractal analysis of spatial contrast between unit cells containing D and unit cells not containing D in T provides for objective selection of the most suitable unit cell size. In a case study application of the weight-of-evidence method to mineral prospectivity mapping, using the most suitable unit cell size, found via the proposed methodology, results in spatial evidence weights and weight uncertainties that are nearly identical to those derived by using the finest (i.e., lower limit) unit cell size. In contrast to using the most suitable unit cell size, using coarser unit cell sizes result in higher positive weights, lower negative weights and higher weight uncertainties of spatial evidence of mineral prospectivity. The proposed methodology for objective selection of the most suitable unit cell size in data-driven modeling of mineral prospectivity using a raster-based GIS is robust and can easily be implemented. 相似文献
20.
Automated Tape Laying and Fiber Placement of composite materials are the two principal automated processes used for fabrication of large composite structures in aeronautical industry. The aluminum parts produced by High Speed Machining tend to be replaced by carbon fiber composite parts realized with these processes. However, structural parts present reinforcement zones which disturb the tool path follow-up and generate an increase of the manufacturing time. Thus, this paper deals with the optimization of tool paths of a 7-axis machine tool of Fiber Placement with the objective of reducing the manufacturing time while ensuring the requested quality of the final part. In this paper, two complementary methods are detailed. The first method takes advantage of the degree of redundancy of the machine tool to decrease the kinematic loads of the control joints. The second method aims to smooth the orientation of the machine head along the tool path while ensuring quality constraints. These two methods are then applied on a test tool path and bring to a significant decrease of the manufacturing time (32.9%). 相似文献