全文获取类型
收费全文 | 2087篇 |
免费 | 95篇 |
国内免费 | 5篇 |
专业分类
电工技术 | 24篇 |
综合类 | 16篇 |
化学工业 | 593篇 |
金属工艺 | 45篇 |
机械仪表 | 33篇 |
建筑科学 | 146篇 |
矿业工程 | 3篇 |
能源动力 | 31篇 |
轻工业 | 171篇 |
水利工程 | 19篇 |
石油天然气 | 3篇 |
无线电 | 139篇 |
一般工业技术 | 402篇 |
冶金工业 | 192篇 |
原子能技术 | 16篇 |
自动化技术 | 354篇 |
出版年
2023年 | 24篇 |
2022年 | 50篇 |
2021年 | 71篇 |
2020年 | 40篇 |
2019年 | 47篇 |
2018年 | 44篇 |
2017年 | 42篇 |
2016年 | 54篇 |
2015年 | 47篇 |
2014年 | 76篇 |
2013年 | 100篇 |
2012年 | 100篇 |
2011年 | 161篇 |
2010年 | 105篇 |
2009年 | 122篇 |
2008年 | 115篇 |
2007年 | 88篇 |
2006年 | 90篇 |
2005年 | 78篇 |
2004年 | 74篇 |
2003年 | 61篇 |
2002年 | 58篇 |
2001年 | 49篇 |
2000年 | 43篇 |
1999年 | 44篇 |
1998年 | 44篇 |
1997年 | 35篇 |
1996年 | 24篇 |
1995年 | 25篇 |
1994年 | 35篇 |
1993年 | 21篇 |
1992年 | 12篇 |
1991年 | 25篇 |
1990年 | 17篇 |
1989年 | 16篇 |
1988年 | 8篇 |
1987年 | 10篇 |
1986年 | 6篇 |
1985年 | 10篇 |
1984年 | 16篇 |
1983年 | 17篇 |
1982年 | 6篇 |
1981年 | 6篇 |
1978年 | 5篇 |
1977年 | 6篇 |
1976年 | 7篇 |
1970年 | 6篇 |
1969年 | 6篇 |
1968年 | 10篇 |
1967年 | 5篇 |
排序方式: 共有2187条查询结果,搜索用时 31 毫秒
51.
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev?CYao) intruders are modeled by Horn theories and security analysis boils down to solving the derivation problem for Horn theories. This approach and the tools based on this approach, including ProVerif, have been very successful in the automatic analysis of cryptographic protocols. However, dealing with the algebraic properties of operators, such as the exclusive OR (XOR), which are frequently used in cryptographic protocols has been problematic. In particular, ProVerif cannot deal with XOR. In this paper, we show how to reduce the derivation problem for Horn theories with XOR to the XOR-free case. Our reduction works for an expressive class of Horn theories. A large class of intruder capabilities and protocols that employ the XOR operator can be modeled by these theories. Our reduction allows us to carry out protocol analysis using tools, such as ProVerif, that cannot deal with XOR, but are very efficient in the XOR-free case. We implemented our reduction and, in combination with ProVerif, used it for the fully automatic analysis of several protocols that employ the XOR operator. Among others, our analysis revealed a new attack on an IBM security module. 相似文献
52.
We describe a Prolog-based approach to the development of language processors (such as preprocessors, frontends, evaluators, tools for software modification and analysis). The design of the corresponding environment Laptob for prological language processing is outlined. Language processor definitions in Laptob are basically Prolog programs. The programs might contain grammars, that is, we consider logic grammars. The programs can be typed, and they can be higher-order. The adaptation and composition of the logic programs themselves is supported by meta-programming. The environment offers tool support for efficient scanning, testing, and application development based on a make-system. We report on recent and ongoing applications of the Prolog-based approach. 相似文献
53.
54.
We construct and analyze multigrid methods for discretized self-adjoint elliptic problems on triangular surfaces in ${\mathbb{R}^3}$ . The methods involve the same weights for restriction and prolongation as in the case of planar triangulations and therefore are easy to implement. We prove logarithmic bounds of the convergence rates with constants solely depending on the ellipticity, the smoothers and on the regularity of the triangles forming the triangular surface. Our theoretical results are illustrated by numerical computations. 相似文献
55.
56.
Ralf Zimmermann Toshihisa Osaki Rüdiger Schweiß Carsten Werner 《Microfluidics and nanofluidics》2006,2(5):367-379
Electrokinetic effects play an important role in microfluidics and nanofluidics. Although the related phenomena are often utilized to control fluid flow and sample transport in lab-on-a-chip devices, their dependency on the surface charges on the channel walls often remain enigmatic. This is mainly due to the lack of adequate experimental methods to analyse the electrical charging of solid/liquid interfaces of interest. To address this need, an experimental set-up—designated as microslit electrokinetic set-up (MES)—has been recently developed and applied for the investigation of charge formation processes at planar solid/liquid interfaces. The device permits to perform streaming potential and streaming current measurements across a rectangular streaming channel formed by two parallel sample carriers (20×10×3 mm3) at variable distance allowing for the determination of the surface conductivity. Utilizing the MES, charge characteristics can be determined for a wide variety of materials prepared as thin films on top of planar glass substrates. Streaming potential and streaming current data permit to investigate the mechanisms of charge formation while surface conductivity data provide information about mobile charge carriers located in different zones at the interface. The applicability of this advanced experimental approach is demonstrated with examples obtained for surfaces with different levels of complexity:
- Preferential ion adsorption onto unpolar fluoropolymer (Teflon® AF) films was characterized in simple electrolyte solutions; the results were quantitatively evaluated with respect to interfacial ion concentrations.
- Interrelation of charge density and conformation of grafted poly(L-glutamic acid layers) were unravelled from the determination of pH-depended variations of surface conductivity and layer thickness.
- The impact of spatial confinements of surface functional groups on their acid–base behaviour was studied with self-assembled monomolecular films of alkanethiols chemisorbed on gold.
- Charging of and ion mobility within poly(acrylic acid) (PAA) brushes prepared by a Langmuir–Blodgett technique were analysed at varied pH and ionic strength.
- Interfacial modes of adsorbed proteins were distinguished at two polymer surfaces with varied hydrophobicity/charge density.
57.
Chen M Botchen RP Hashim RR Weiskopf D Ertl T Thornton IM 《IEEE transactions on visualization and computer graphics》2006,12(5):1093-1100
Video visualization is a computation process that extracts meaningful information from original video data sets and conveys the extracted information to users in appropriate visual representations. This paper presents a broad treatment of the subject, following a typical research pipeline involving concept formulation, system development, a path-finding user study, and a field trial with real application data. In particular, we have conducted a fundamental study on the visualization of motion events in videos. We have, for the first time, deployed flow visualization techniques in video visualization. We have compared the effectiveness of different abstract visual representations of videos. We have conducted a user study to examine whether users are able to learn to recognize visual signatures of motions, and to assist in the evaluation of different visualization techniques. We have applied our understanding and the developed techniques to a set of application video clips. Our study has demonstrated that video visualization is both technically feasible and cost-effective. It has provided the first set of evidence confirming that ordinary users can be accustomed to the visual features depicted in video visualizations, and can learn to recognize visual signatures of a variety of motion events. 相似文献
58.
A series of batch experiments investigating two different pH control strategies, initial pH adjustment and continuous pH control, have been carried out in large laboratory-scale reactors with working volumes of 30 L. In both cases, pH was varied between 5 and 7.5. Sucrose concentrations were also varied starting from 0 up to 30 g/L. Higher hydrogen production yields can be achieved by batch experiments through continuous pH control than by simple initial pH adjustment. In the case of continuous pH control, maximization of hydrogen yield was acquired for slightly acidic pH of 6.5. Continuous pH control in the neutral pH range of 7.0 and in pH lower than 6.5, induced a reduction in the hydrogen production yield. Sucrose can be completely degraded only for a pH higher than 6. Lower pH values seem to inhibit the hydrogen-producing bacteria. Under the conditions of continuous pH adjustment at pH 6.5 and a sucrose concentration of 25 g/L the maximum hydrogen yield of 1.79 mol H(2)/mol hexose was obtained. These conditions could be applied for the batch start-up of large fermentors. 相似文献
59.
Chaoyang Wu Jing M. Chen Ankur R. Desai David Y. Hollinger M. Altaf Arain Hank A. Margolis Christopher M. Gough Ralf M. Staebler 《Remote sensing of environment》2012
Light use efficiency (LUE) is an important variable characterizing plant eco-physiological functions and refers to the efficiency at which absorbed solar radiation is converted into photosynthates. The estimation of LUE at regional to global scales would be a significant advantage for global carbon cycle research. Traditional methods for canopy level LUE determination require meteorological inputs which cannot be easily obtained by remote sensing. Here we propose a new algorithm that incorporates the enhanced vegetation index (EVI) and a modified form of land surface temperature (Tm) for the estimation of monthly forest LUE based on Moderate Resolution Imaging Spectroradiometer (MODIS) imagery. Results demonstrate that a model based on EVI × Tm parameterized from ten forest sites can provide reasonable estimates of monthly LUE for temperate and boreal forest ecosystems in North America with an R2 of 0.51 (p < 0.001) for the overall dataset. The regression coefficients (a, b) of the LUE–EVI × Tm correlation for these ten sites have been found to be closely correlated with the average EVI (EVI_ave, R2 = 0.68, p = 0.003) and the minimum land surface temperature (LST_min, R2 = 0.81, p = 0.009), providing a possible approach for model calibration. The calibrated model shows comparably good estimates of LUE for another ten independent forest ecosystems with an overall root mean square error (RMSE) of 0.055 g C per mol photosynthetically active radiation. These results are especially important for the evergreen species due to their limited variability in canopy greenness. The usefulness of this new LUE algorithm is further validated for the estimation of gross primary production (GPP) at these sites with an RMSE of 37.6 g C m? 2 month? 1 for all observations, which reflects a 28% improvement over the standard MODIS GPP products. These analyses should be helpful in the further development of ecosystem remote sensing methods and improving our understanding of the responses of various ecosystems to climate change. 相似文献
60.
Two operational formats namely mass customization and mass production can be implemented to satisfy customer preference-based demand. The mass customization system consists of two stages: the initial build-to-stock phase and the final customize-to-order phase. The mass production system has a single stage: building products with pre-determined specifications to stock. In each case, the company makes decisions on the number of initial product variants, product specifications, production quantities and product pricing. Under a uniform customer preference distribution, the optimal number of base-product variants resembles the well known economic order quantity solution, and the optimal product specifications are equally spaced. We characterize three possible benefits of mass customization: (i) the gained surplus from offering each customer her ideal product; (ii) extra revenue from price discrimination; and (iii) reduced costs due to risk pooling under stochastic demand. 相似文献