全文获取类型
收费全文 | 4042篇 |
免费 | 275篇 |
国内免费 | 9篇 |
专业分类
电工技术 | 43篇 |
综合类 | 8篇 |
化学工业 | 931篇 |
金属工艺 | 102篇 |
机械仪表 | 81篇 |
建筑科学 | 108篇 |
矿业工程 | 10篇 |
能源动力 | 215篇 |
轻工业 | 574篇 |
水利工程 | 37篇 |
石油天然气 | 14篇 |
无线电 | 397篇 |
一般工业技术 | 765篇 |
冶金工业 | 371篇 |
原子能技术 | 28篇 |
自动化技术 | 642篇 |
出版年
2024年 | 9篇 |
2023年 | 57篇 |
2022年 | 86篇 |
2021年 | 145篇 |
2020年 | 103篇 |
2019年 | 122篇 |
2018年 | 193篇 |
2017年 | 183篇 |
2016年 | 186篇 |
2015年 | 126篇 |
2014年 | 183篇 |
2013年 | 344篇 |
2012年 | 249篇 |
2011年 | 299篇 |
2010年 | 197篇 |
2009年 | 199篇 |
2008年 | 178篇 |
2007年 | 132篇 |
2006年 | 127篇 |
2005年 | 98篇 |
2004年 | 101篇 |
2003年 | 88篇 |
2002年 | 55篇 |
2001年 | 40篇 |
2000年 | 37篇 |
1999年 | 52篇 |
1998年 | 98篇 |
1997年 | 82篇 |
1996年 | 60篇 |
1995年 | 52篇 |
1994年 | 41篇 |
1993年 | 42篇 |
1992年 | 39篇 |
1991年 | 33篇 |
1990年 | 24篇 |
1989年 | 16篇 |
1988年 | 18篇 |
1987年 | 24篇 |
1986年 | 11篇 |
1985年 | 21篇 |
1984年 | 17篇 |
1983年 | 22篇 |
1982年 | 15篇 |
1981年 | 17篇 |
1980年 | 13篇 |
1978年 | 14篇 |
1977年 | 13篇 |
1976年 | 12篇 |
1974年 | 10篇 |
1973年 | 9篇 |
排序方式: 共有4326条查询结果,搜索用时 0 毫秒
61.
José Ramón González de Mendívil José Enrique Armendáriz-Iñigo José Ramón Garitagoitia Francesc D. Muñoz-Escoí 《The Journal of supercomputing》2009,50(2):121-161
This paper provides a formal specification and proof of correctness of a basic Generalized Snapshot Isolation certification-based data replication protocol for database middleware architectures. It has been modeled using a state transition
system, as well as the main system components, allowing a perfect match with the usual deployment in a middleware system.
The proof encompasses both safety and liveness properties, as it is commonly done for a distributed algorithm. Furthermore,
a crash failure model has been assumed for the correctness proof, although recovery analysis is not the aim of this paper.
This allows an easy extension toward a crash-recovery model support in future works. The liveness proof focuses in the uniform
commit: if a site has committed a transaction, the rest of sites will either commit it or it would have crashed. 相似文献
62.
ABSTRACTIn this work, we present a discontinuous algorithm capable of estimating time-varying parameters in finite time. The measured output is assumed to be linear in the parameters, i.e. it corresponds to a linear parametric model. It is further assumed that the parameter variation is uniformly bounded, and that the regressor is sufficiently exciting as to make the parameters identifiable. 相似文献
63.
Using new scheduling heuristics based on resource consumption information for increasing throughput on rule‐based spam filtering systems
下载免费PDF全文
![点击此处可从《Software》网站下载免费的PDF全文](/ch/ext_images/free.gif)
David Ruano‐Ordás Jorge Fdez‐Glez Florentino Fdez‐Riverola José Ramón Méndez 《Software》2016,46(8):1035-1051
The large increase of spam deliveries since the first half of 2013 entailed hard to solve troubles in spam filters. In order to adequately fight spam, the throughput of spam filtering platforms should be necessarily increased. In this context, and taking into consideration the widespread utilization of rule‐based filtering frameworks in the spam filtering domain, this work proposes three novel scheduling strategies for optimizing the time needed to classify new incoming e‐mails through an intelligent management of computational resources depending on the Central Processing Unit (CPU) usage and Input/Output (I/O) delays. In order to demonstrate the suitability of our approaches, we include in our experiments a comparative study in contrast to other successful heuristics previously published in the scientific literature. Results achieved demonstrated that one of our alternative heuristics allows time savings of up to 10% in message filtering, while keeping the same classification accuracy. Copyright © 2015 John Wiley & Sons, Ltd. 相似文献
64.
Ram C. Sharma Ryutaro Tateishi Keitarou Hara 《International journal of remote sensing》2016,37(11):2706-2723
An up-to-date spatio-temporal change analysis of global snow cover is essential for better understanding of climate–hydrological interactions. The normalized difference snow index (NDSI) is a widely used algorithm for the detection and estimation of snow cover. However, NDSI cannot discriminate between snow cover and water bodies without use of an external water mask. A stand-alone methodology for robust detection and mapping of global snow cover is presented by avoiding external dependency on the water mask. A new spectral index called water-resistant snow index (WSI) with the capability of exhibiting significant contrast between snow cover and other cover types, including water bodies, was developed. WSI uses the normalized difference between the value and hue obtained by transforming red, green, and blue, (RGB) colour composite images comprising red, green, and near-infrared bands into a hue, saturation, and value (HSV) colour model. The superiority of WSI over NDSI is confirmed by case studies conducted in major snow regions globally. Snow cover was mapped by considering monthly variation in snow cover and availability of satellite data at the global scale. A snow cover map for the year 2013 was produced at the global scale by applying the random walker algorithm in the WSI image supported by the reference data collected from permanent snow-covered and non-snow-covered areas. The resultant snow-cover map was compared to snow cover estimated by existing maps: MODIS Land Cover Type Product (MCD12Q1 v5.1, 2012), Global Land Cover by National Mapping Organizations (GLCNMO v2.0, 2008), and European Space Agency’s GlobCover 2009. A significant variation in snow cover as estimated by different maps was noted, and was was attributed to methodological differences rather than annual variation in snow cover. The resultant map was also validated with reference data, with 89.46% overall accuracy obtained. The WSI proposed in the research is expected to be suitable for seasonal and annual change analysis of global snow cover. 相似文献
65.
66.
Ram Kumar Anandini Devi Abahan Sarkar F. A. Talukdar 《Microsystem Technologies》2016,22(11):2681-2690
A highly linear 5.5 GHz low noise amplifier (LNA) has been designed exploiting source inductive degeneration topology by using post distortion linearization techniques in 0.18 m CMOS technology. This technique improves the input third order intercept point \((IIP_{3})\) of a low noise amplifier. For enhancing the linearity, this technique used a diode connected MOSFET as IMD sinker and forward body biased which is done in cadence tool. The proposed low noise amplifier achieves high \(IIP_{3}\) by using two transistors, main and auxiliary transistors. Also source inductive degeneration topology is employed in the proposed LNA to optimize the noise figure (NF) and \(S_{11}\) at high frequency. In order to reduce power consumption and threshold voltage, Forward Body Biased technique was implemented. In this paper, the first section discusses the most widely used eight linearization techniques and in the second section, the proposed circuit is represented along with its employed topology, techniques and the simulated results. The proposed LNA achieves a simulated third order input intercept \((IIP_{3})\) of 9.20 dBm while consuming 10.8 mW from a power supply of 1.8 V. it also exhibits a measured gain of 11.34 dB and NF, NF of 2.33 dB. 相似文献
67.
68.
Fractional advection–dispersion equation (FADE) is a generalization of the classical ADE in which the first order time derivative and first and second order space derivatives are replaced by Caputo derivatives of orders 0<α?1, 0<β?1 and 1<γ?2, respectively. We use Caputo definition to avoid (i) mass balance error, (ii) hyper-singular improper integral, (iii) non-zero derivative of constant, and (iv) fractional derivative involved in the initial condition which is often ill-defined. We present an analytic algorithm to solve FADE based on homotopy analysis method (HAM) which has the advantage of controlling the region and rate of convergence of the solution series via the auxiliary parameter ? over the variational iteration method (VIM) and homotopy perturbation method (HPM). We find that the proposed method converges to the numerical/exact solution of the ADE as the fractional orders α, β, γ tend to their integral values. Numerical examples are given to illustrate the proposed algorithm. Example 5 describes the intermediate process between advection and dispersion via Caputo fractional derivative. 相似文献
69.
Motivated by reliability considerations in data deduplication for storage systems, we introduce the problem of flexible coloring. Given a hypergraph H and the number of allowable colors k, a flexible coloring of H is an assignment of one or more colors to each vertex such that, for each hyperedge, it is possible to choose a color from each vertex?s color list so that this hyperedge is strongly colored (i.e., each vertex has a different color). Different colors for the same vertex can be chosen for different incident hyperedges (hence the term flexible). The goal is to minimize color consumption, namely, the total number of colors assigned, counting multiplicities. Flexible coloring is NP-hard and trivially approximable, where s is the size of the largest hyperedge, and n is the number of vertices. Using a recent result by Bansal and Khot, we show that if k is constant, then it is UGC-hard to approximate to within a factor of s−ε, for arbitrarily small constant ε>0. Lastly, we present an algorithm with an approximation ratio, where k′ is number of colors used by a strong coloring algorithm for H. 相似文献
70.
Muhammad Adeel ZaffarAuthor Vitae Ram L. KumarAuthor Vitae 《Decision Support Systems》2011,51(3):597-608
The rising popularity of open source software (OSS) calls for a better understanding of the drivers of its adoption and diffusion. In this research, we propose an integrated framework that simultaneously investigates a broad range of social and economic factors on the diffusion dynamics of OSS using an Agent Based Computational Economics (ACE) approach. We find that interoperability costs, variability of OSS support costs, and duration of PS upgrade cycle are major determinants of OSS diffusion. Furthermore, there are interaction effects between network topology, network density and interoperability costs, which strongly influence the diffusion dynamics of OSS. The proposed model can be used as a building block to further investigate complex competitive dynamics in software markets. 相似文献