全文获取类型
收费全文 | 140295篇 |
免费 | 5866篇 |
国内免费 | 2962篇 |
专业分类
电工技术 | 4355篇 |
技术理论 | 3篇 |
综合类 | 6178篇 |
化学工业 | 20820篇 |
金属工艺 | 8054篇 |
机械仪表 | 6792篇 |
建筑科学 | 6693篇 |
矿业工程 | 2379篇 |
能源动力 | 2764篇 |
轻工业 | 7320篇 |
水利工程 | 2289篇 |
石油天然气 | 4270篇 |
武器工业 | 525篇 |
无线电 | 15355篇 |
一般工业技术 | 22984篇 |
冶金工业 | 5203篇 |
原子能技术 | 830篇 |
自动化技术 | 32309篇 |
出版年
2024年 | 262篇 |
2023年 | 1041篇 |
2022年 | 1772篇 |
2021年 | 2419篇 |
2020年 | 1948篇 |
2019年 | 1576篇 |
2018年 | 15926篇 |
2017年 | 15098篇 |
2016年 | 11481篇 |
2015年 | 2875篇 |
2014年 | 3182篇 |
2013年 | 3485篇 |
2012年 | 6686篇 |
2011年 | 13325篇 |
2010年 | 11671篇 |
2009年 | 8724篇 |
2008年 | 9904篇 |
2007年 | 10682篇 |
2006年 | 3183篇 |
2005年 | 3762篇 |
2004年 | 2955篇 |
2003年 | 2785篇 |
2002年 | 2139篇 |
2001年 | 1484篇 |
2000年 | 1469篇 |
1999年 | 1581篇 |
1998年 | 1339篇 |
1997年 | 1148篇 |
1996年 | 1049篇 |
1995年 | 835篇 |
1994年 | 680篇 |
1993年 | 488篇 |
1992年 | 432篇 |
1991年 | 285篇 |
1990年 | 213篇 |
1989年 | 165篇 |
1988年 | 130篇 |
1987年 | 82篇 |
1986年 | 68篇 |
1985年 | 44篇 |
1984年 | 35篇 |
1968年 | 43篇 |
1966年 | 42篇 |
1965年 | 45篇 |
1959年 | 36篇 |
1958年 | 37篇 |
1957年 | 36篇 |
1956年 | 34篇 |
1955年 | 63篇 |
1954年 | 68篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
101.
102.
Jan van Eijck 《Formal Aspects of Computing》1994,6(1):766-787
Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition. 相似文献
103.
104.
This paper generalizes an algebraic method for the design of a correct compiler to tackle specification and verification of an optimized compiler. The main optimization issues of concern here include the use of existing contents of registers where possible and the identification of common expressions. A register table is introduced in the compiling specification predicates to map each register to an expression whose value is held by it. We define different kinds of predicates to specify compilation of programs, expressions and Boolean tests. A set of theorems relating to these predicates, acting as a correct compiling specification, are presented and an example proof within the refinement algebra of the programming language is given. Based on these theorems, a prototype compiler in Prolog is produced. 相似文献
105.
C Montixi C Langlet AM Bernard J Thimonier C Dubois MA Wurbel JP Chauvin M Pierres HT He 《Canadian Metallurgical Quarterly》1998,17(18):5334-5348
T-cell receptors (TCRs) upon binding to peptide-MHC ligands transduce signals in T lymphocytes. Tyrosine phosphorylations in the cytoplasmic domains of the CD3 (gammadeltaepsilon) and zeta subunits of the TCR complex by Src family kinases initiate the signaling cascades via docking and activation of ZAP-70 kinase and other signaling components. We examined the role of the low-density detergent-insoluble membranes (DIMs) in TCR signaling. Using mouse thymocytes as a model, we characterized the structural organization of DIMs in detail. We then demonstrated that TCR engagement triggered an immediate increase in the amount of TCR/CD3 present in DIMs, which directly involves the engaged receptor complexes. TCR/CD3 recruitment is accompanied by the accumulation of a series of prominent tyrosine-phosphorylated substrates and by an increase of the Lck activity in DIMs. Upon TCR stimulation, the DIM-associated receptor complexes are highly enriched in the hyperphosphorylated p23 zeta chains, contain most of the TCR/CD3-associated, phosphorylation-activated ZAP-70 kinases and seem to integrate into higher order, multiple tyrosine-phosphorylated substrate-containing protein complexes. The TCR/CD3 recruitment was found to depend on the activity of Src family kinases. We thus provide the first demonstration of recuitment of TCR/CD3 to DIMs upon receptor stimulation and propose it as a mechanism whereby TCR engagement is coupled to downstream signaling cascades. 相似文献
106.
107.
108.
本文描述了一个有效探测面积为100×70cm~2的位置灵敏塑料闪烁探测器阵列,它由两条100×5×1cm和6条100×10×1cm的Pilot U型塑料闪烁体组成。用~(252)Cfα放射源测得10cm宽的闪烁体的时间分辨、位置分辨和能量分辨分别为740ps,5.7cm和60%;5cm宽的闪烁体分别为610ps,4.7cm和40%。 相似文献
109.
Delay-dependent state estimation for delayed neural networks 总被引:3,自引:0,他引:3
Yong He Qing-Guo Wang Min Wu Chong Lin 《Neural Networks, IEEE Transactions on》2006,17(4):1077-1081
In this letter, the delay-dependent state estimation problem for neural networks with time-varying delay is investigated. A delay-dependent criterion is established to estimate the neuron states through available output measurements such that the dynamics of the estimation error is globally exponentially stable. The proposed method is based on the free-weighting matrix approach and is applicable to the case that the derivative of a time-varying delay takes any value. An algorithm is presented to compute the state estimator. Finally, a numerical example is given to demonstrate the effectiveness of this approach and the improvement over existing ones. 相似文献
110.
Certain new sulfide-smelting processes and coal-gasification processes generate high-strength sulfur dioxide streams, for
which a new process for converting sulfur dioxide to elemental sulfur needs to be developed because no process exists that
is generally and economically applicable to the treatment of such streams. A thermodynamic and experimental investigation
to develop a new process for converting sulfur dioxide to elemental sulfur by a cyclic process involving calcium sulfide and
calcium sulfate without generating secondary pollutants was carried out. In this process, the starting raw material, calcium
sulfate, is reduced by a suitable reducing agent, such as hydrogen, to produce calcium sulfide, which is used to reduce sulfur
dioxide to elemental sulfur vapor and calcium sulfate. The latter is, in turn, reduced to regenerate calcium sulfide. In this
Part I, detailed experimental results are presented on the kinetics of the reaction between sulfur dioxide and calcium-sulfide
pellets, which produces elemental sulfur and calcium sulfate. The experiments were carried out at temperatures between 1023
and 1088 K and sulfur-dioxide partial pressures between 9 and 60 kPa by the use of a thermogravimetric analysis (TGA) technique.
The rate of this reaction was demonstrated by the conversion of 40 pct calcium-sulfide pellets obtained from the hydrogen
reduction of fresh calcium sulfate in 10 minutes at 1073 K under a sulfur-dioxide partial pressure of 43 kPa. The reactivity
decreased somewhat during the first three cycles but remained largely unchanged thereafter up to the tenth cycle. This characteristic
of the pellets is important because the solids must be reusable for repeated cycles to avoid generating secondary pollutants.
A pore-blocking model was found to fit the reaction rate. The reaction is first order with respect to sulfur-dioxide partial
pressure and has an activation energy of 101 to 134 kJ/mol (24 to 32 kcal/mol) for calcium-sulfide pellets reacted and regenerated
several different times. Sulfur dioxide-containing streams from certain sources, such as the regenerator off-gas from an integrated-gasification,
combined-cycle, desulfurization unit and new sulfide-smelting plants, contain much higher partial pressures of SO2. In these cases, the rate of the first reaction is expected to be proportionally higher than in the test conditions reported
in this article. The reduction kinetics of calcium-sulfate pellets with hydrogen gas is reported in the accompanying Part
II. 相似文献