全文获取类型
收费全文 | 3256篇 |
免费 | 249篇 |
国内免费 | 11篇 |
专业分类
电工技术 | 37篇 |
综合类 | 2篇 |
化学工业 | 790篇 |
金属工艺 | 179篇 |
机械仪表 | 197篇 |
建筑科学 | 49篇 |
矿业工程 | 3篇 |
能源动力 | 170篇 |
轻工业 | 309篇 |
水利工程 | 5篇 |
石油天然气 | 10篇 |
无线电 | 525篇 |
一般工业技术 | 720篇 |
冶金工业 | 133篇 |
原子能技术 | 38篇 |
自动化技术 | 349篇 |
出版年
2023年 | 57篇 |
2022年 | 74篇 |
2021年 | 122篇 |
2020年 | 92篇 |
2019年 | 88篇 |
2018年 | 125篇 |
2017年 | 115篇 |
2016年 | 129篇 |
2015年 | 87篇 |
2014年 | 142篇 |
2013年 | 189篇 |
2012年 | 257篇 |
2011年 | 308篇 |
2010年 | 196篇 |
2009年 | 183篇 |
2008年 | 164篇 |
2007年 | 136篇 |
2006年 | 123篇 |
2005年 | 97篇 |
2004年 | 96篇 |
2003年 | 92篇 |
2002年 | 91篇 |
2001年 | 69篇 |
2000年 | 64篇 |
1999年 | 59篇 |
1998年 | 53篇 |
1997年 | 40篇 |
1996年 | 45篇 |
1995年 | 33篇 |
1994年 | 16篇 |
1993年 | 26篇 |
1992年 | 15篇 |
1991年 | 9篇 |
1990年 | 6篇 |
1989年 | 9篇 |
1988年 | 12篇 |
1987年 | 12篇 |
1986年 | 11篇 |
1985年 | 12篇 |
1984年 | 12篇 |
1983年 | 3篇 |
1982年 | 5篇 |
1981年 | 6篇 |
1980年 | 7篇 |
1979年 | 4篇 |
1978年 | 2篇 |
1977年 | 5篇 |
1976年 | 8篇 |
1975年 | 2篇 |
1967年 | 2篇 |
排序方式: 共有3516条查询结果,搜索用时 328 毫秒
991.
Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into
subproblems. The simplification is typically based on assume-guarantee reasoning principles, and requires user guidance to
identify appropriate assumptions for components. In this paper, we propose a fully automated approach to compositional reasoning
that consists of automated decomposition using a hypergraph partitioning algorithm for balanced clustering of variables, and
discovering assumptions using the L
* algorithm for active learning of regular languages. We present a symbolic implementation of the learning algorithm, and incorporate
it in the model checker NuSmv. In some cases, our experiments demonstrate significant savings in the computational requirements of symbolic model checking.
This research was partially supported by ARO grant DAAD19-01-1-0473, and NSF grants ITR/SY 0121431 and CCR0306382. 相似文献
992.
The state-of-the-art H.264/AVC was designed for lossy video coding in the beginning. Recently, the H.264/AVC FRExt was developed
by removing transformation and quantization for lossless coding. In this paper, we propose an efficient intra lossless coding
method based on a pixel-wise prediction. The proposed algorithm introduces an additional intra prediction mode that employs
the LOCO-I predictor of JPEG LS. We found that the proposed lossless coding algorithm achieved approximately 22.0, 2.6, and
10.7% bit saving in terms of compression ratio, compared to the H.264/AVC FRExt, lossless intra 4:4:4, and Takamura’s lossless
coding methods, respectively. 相似文献
993.
Kwang‐Il Choi Dong‐Ho Nam Jeong‐Gyu Park Sung‐Su Park Won‐Ho Choi In‐Shik Han Jae‐Kyeong Jeong Hi‐Deok Lee Ga‐Won Lee 《Journal of the Society for Information Display》2010,18(1):108-112
Abstract— The effects of gate‐bias stress, drain‐bias stress, and temperature on the electrical parameters of amorphous‐indium gallium zinc oxide (a‐IGZO) thin‐film transistors have been investigated. Results demonstrate that the devices suffer from threshold‐voltage instabilities that are recovered at room temperature without any treatments. It is suggested that these instabilities result from the bias field and temperature‐assisted charging and discharging phenomenon of preexisting traps at the near‐interface and the a‐IGZO channel region. The experimental results show that applying a drain‐bias stress obviously impacts the instability of a‐IGZO TFTs; however, the instability caused by drain bias is not caused by hot‐electron generation as in conventional MOSFETs. And the degradation trend is affected by thermally activated carriers at high temperature. 相似文献
994.
Jalal Akbari Nam H. Kim M. T. Ahmadi 《Structural and Multidisciplinary Optimization》2010,40(1-6):353-364
The purpose of this paper is twofold: (1) showing equivalence between continuum and discrete formulations in sensitivity analysis when a linear velocity field is used and (2) presenting shape sensitivity formulations for design-dependent loadings. The equations for structural analysis are often composed of the stiffness part and the applied loading part. The shape sensitivity formulations for the stiffness part were well-developed in the literature, but not for the loading part, especially for body forces and surface tractions. The applied loads are often assumed to be conservative or design-independent. In shape design problems, however, the applied loads are often functions of design variables. In this paper, shape sensitivity formulations are presented when the body forces and surface tractions depend on shape design variables. Especially, the continuum–discrete (C–D) and discrete–discrete (D–D) approaches are compared in detail. It is shown that the two methods are theoretically and numerically equivalent when the same discretization, numerical integration, and linear design velocity fields are used. The accuracy of sensitivity calculation is demonstrated using a cantilevered beam under uniform pressure and an arch dam crown cantilever under gravity and hydrostatic loading at the upstream face of the structure. It is shown that the sensitivity results are consistent with finite difference results, but different from the analytical sensitivity due to discretization and approximation errors of numerical analysis. 相似文献
995.
Dinh Nam Tran Seon Myeong Go Seon-Mi Park Eui-Man Jung Eui-Bae Jeung 《International journal of molecular sciences》2021,22(5)
Inflammatory bowel diseases (IBDs) comprises a range of chronic inflammatory conditions of the intestinal tract. The incidence and prevalence of IBDs are increasing worldwide, but the precise etiology of these diseases is not completely understood. Calcium signaling plays a regulatory role in cellular proliferation. Nckx3, a potassium-dependent Na+/Ca2+ exchanger, is not only expressed in the brain but also in the aortic, uterine, and intestinal tissues, which contain abundant smooth muscle cells. This study investigated the role of Nckx3 in intestinal inflammation. Microarray analyses revealed the upregulation of the innate immune response-associated genes in the duodenum of Nckx3 knockout (KO) mice. The Nckx3 KO mice also showed an increase in IBD- and tumorigenesis-related genes. Using dextran sodium sulfate (DSS)-induced experimental colitis mice models, the Nckx3 KO mice showed severe colitis. Furthermore, the pathways involving p53 and NF-κB signaling were significantly upregulated by the absence of Nckx3. Overall, Nckx3 plays a critical role in the innate immune and immune response and may be central to the pathogenesis of IBD. 相似文献
996.
A modified double-compartment apparatus (MDCA) is used to estimate mass transport parameters of organic compounds through high density polyethylene (HDPE) geomembranes and to investigate the effects of aging and external tension of HDPE geomembranes on the mass transport of organic compounds. A developed one-dimensional partition–diffusion mass transport model successfully explains the mass transport of the organic compounds through the HDPE geomembranes in a dilute aqueous solution–geomembrane system. Similar to batch immersion tests, the HDPE–water partition coefficient (KHDPE–W) values of organic compounds are found to have close relationships with the octanol–water partition coefficient and the aqueous solubility; furthermore, the diffusion coefficient (D) values decrease with the increase of their molecular diameter. For HDPE geomembranes served in the landfill liner for 5 years and stretched by 8% of their initial length, KHDPE–W values for organic compounds increase by 5–58%, D values for organic compounds increase by 10–86%, and breakthrough times are faster, indicating more amounts of organic compounds may break through the HDPE geomembrane in fields than expected. The mass transport parameters from MDCA tests could be used with those from batch immersion tests interchangeably after mass loss and immobilization of organic compounds in MDCA tests are considered. 相似文献
997.
Gee S.-H. Hong Y.-K. Jeffers F.J. Park M.-H. Sur J.C. Weatherspoon C. Nam I.T. 《IEEE transactions on magnetics》2005,41(11):4353-4355
Magnetic recording media requires good particle dispersion, a smooth surface, and small interparticle interaction to make an adequate signal-to-noise ratio (SNR). Well dispersed 50-60 nm sized spherical barium-strontium ferrite (S-Ba/Sr-Fe) nanoparticles were successfully prepared with 40 nm sized hematite precursor particles and BaCO/sub 3//SrCO/sub 3/ colloid. The coercivity and saturation magnetizations of S-Ba/Sr-Fe nano-particles were 1568 Oe and 48.6 emu/g, respectively. In order to evaluate magnetic interaction, magnetic tape was prepared using an Eiger mill with binder and organic solvent. /spl Delta/M measurement showed the S-Ba/Sr-Fe nanoparticles in the tape had negative magnetic particle-to-particle interaction. 相似文献
998.
Manseok Uhm Sangho Nam Jeongphill Kim 《Microwave Theory and Techniques》2007,55(10):2157-2167
This paper presents a new synthesis method for resonator filters of arbitrary topology using an evolutionary hybrid method. This method consists of a Levenberg-Marquardt algorithm for a local optimizer and genetic algorithm for a global optimizer, respectively. Unlike the conventional hybrid method in which the local optimization is performed after finding appropriate initial values from global optimization, the local optimizer in the proposed method is used as a genetic-algorithm operator to prevent trapping in local minima of the cost function. This method can provide fast convergence and good accuracy to find the final solution from initial population generated by a random number and the known value for the filters with stringent requirements. In addition, multiple coupling matrices to meet the given requirement can be obtained from the initial population based on a random number. Resonator filters with asymmetric eight-pole configurations for single and dual passbands are synthesized using the current method for validation. Excellent agreement between the response computed from characteristic polynomials and the response computed from couplings is obtained from the proposed method. 相似文献
999.
The Doherty Power Amplifier With On-Chip Dynamic Bias Control Circuit for Handset Application 总被引:1,自引:0,他引:1
Joongjin Nam Bumman Kim 《Microwave Theory and Techniques》2007,55(4):633-642
A monolithic-microwave integrated-circuit Doherty power amplifier (PA) with an on-chip dynamic bias control circuit for cellular handset application has been designed and implemented. To improve the linearity and efficiency in the operation power ranges, the base and collector biases of the amplifiers, except the drive amplifier of the main path, are controlled according to the average output power. The base biases are controlled using the on-chip circuit and collector biases by the dc/dc chip to reduce the average dc consumption power. The power-added efficiency (PAE) is improved approximately 6% by the base dynamic bias control, and approximately 14% by the collector/base dynamic control from the class AB at Pout=16 dBm, respectively. If the dc/dc converter efficiency is 100%, the PAE could be improved approximately 17.5% from class AB, reaching to 29.2% at Pout=16 dBm. In the intermediate power level from 22 to 28 dBm, the PAE is over 34.3%. The average current consumption of the PA with the dynamic bias control is 22.5 mA in urban and 37.3 mA in suburban code-division multiple-access environments, which are reduced by 36%-46.7%, compared to the normal operation. The adjacent channel power ratio is below 47.5 dBc, and the PAE at the maximum power is approximately 43.3% in the dynamic bias operations 相似文献
1000.
The proposed RF front-end circuits consist of a low noise amplifier using an on-chip transformer and a downconversion mixer using a parasitic vertical bipolar junction transistor and have been implemented in 0.18 mum deep n-well CMOS process. A gain of 33 dB, an IIP3 of -12 dBm, and a DSB noise figure of 4.5 dB have been achieved while consuming 5 mW from a 1.8 V supply 相似文献