全文获取类型
收费全文 | 31420篇 |
免费 | 2620篇 |
国内免费 | 2044篇 |
专业分类
电工技术 | 3978篇 |
技术理论 | 2篇 |
综合类 | 2665篇 |
化学工业 | 4461篇 |
金属工艺 | 2502篇 |
机械仪表 | 1368篇 |
建筑科学 | 1513篇 |
矿业工程 | 1009篇 |
能源动力 | 4417篇 |
轻工业 | 1049篇 |
水利工程 | 390篇 |
石油天然气 | 2252篇 |
武器工业 | 182篇 |
无线电 | 1810篇 |
一般工业技术 | 2439篇 |
冶金工业 | 1714篇 |
原子能技术 | 526篇 |
自动化技术 | 3807篇 |
出版年
2024年 | 80篇 |
2023年 | 429篇 |
2022年 | 772篇 |
2021年 | 1000篇 |
2020年 | 1019篇 |
2019年 | 845篇 |
2018年 | 728篇 |
2017年 | 861篇 |
2016年 | 861篇 |
2015年 | 1000篇 |
2014年 | 2112篇 |
2013年 | 1924篇 |
2012年 | 2328篇 |
2011年 | 2452篇 |
2010年 | 1875篇 |
2009年 | 1841篇 |
2008年 | 1614篇 |
2007年 | 2157篇 |
2006年 | 1918篇 |
2005年 | 1610篇 |
2004年 | 1342篇 |
2003年 | 1223篇 |
2002年 | 1023篇 |
2001年 | 829篇 |
2000年 | 815篇 |
1999年 | 606篇 |
1998年 | 470篇 |
1997年 | 436篇 |
1996年 | 371篇 |
1995年 | 304篇 |
1994年 | 293篇 |
1993年 | 167篇 |
1992年 | 164篇 |
1991年 | 142篇 |
1990年 | 123篇 |
1989年 | 114篇 |
1988年 | 72篇 |
1987年 | 35篇 |
1986年 | 16篇 |
1985年 | 24篇 |
1984年 | 16篇 |
1983年 | 10篇 |
1982年 | 17篇 |
1981年 | 11篇 |
1980年 | 14篇 |
1979年 | 4篇 |
1978年 | 3篇 |
1976年 | 2篇 |
1959年 | 6篇 |
1951年 | 4篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
91.
J. Dingel 《Formal Aspects of Computing》2002,14(2):123-197
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to
the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists.
Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these
problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus
allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The
calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction
of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are
independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated.
Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification
notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus
rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement
relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality.
The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing
program and vice versa.
Received July 2001 / Accepted in revised form May 2002 相似文献
92.
本文应用配极变换的几何性质来确定锥面截交线的中心及其主要轴线,这对于准确地绘制或使用数控绘图机来绘制二次曲线.是很有意义的. 相似文献
93.
In this paper,a new method is presented for 3D motion estimation by image region correspondences using stereo cameras.Under the weak perspectivity assumption.we first employ the moment tensor theory (Cyganski and Orr^[11]) to compute the monocular affine transformations relating images taken by the same camera at different time instants and the binocular affine transformations relating images taken by different cameras at the same time instant.We then show that 3D motion can be recovered from these 2D transformations.A space-time fusion strategy is proposed to aim at robust results.No knowledge of point correspondences if requred in the above processes and the computations involved are linear.To find corresponding image regions,new affine invariants,which show stronger invariance,are derived in term of tensor contraction theory.Experiments on real motion images are conducted to verify the proposed method. 相似文献
94.
95.
从分析石油焦原料着手,考察了其热解特性、孔隙率和石墨化程度。由于石油焦结构致密,属易石墨化碳,因此用水蒸气法直接活化得到的炭质材料吸附性能差,其碘吸附值小于350mg/g。不同来源的石油焦由于组成不同,其活化性能也有差异。通过成型法,以金山石油焦为原料轻预炭化、预氧化和炭化,得到炭化料,再用水蒸气活化得到的活性炭的碘吸附值达800.40mg/g、亚甲蓝值达120.40mg/g。以独山子石油焦为主要原料制得的活性炭的碘吸附值与亚甲蓝值分别达871.58mg/g、100..67mg/g。 相似文献
96.
介绍燕山石化公司为扩大1Mt/a中压加氢改质装置的原料来源,改用大庆减二线油和重油催化裂化柴油组成的混合料开工投产的经验以及装置初期的运行条件。中压加氢改质技术可以生产优质柴油和蒸汽裂解制乙烯的原料,还可增产喷气燃料。 相似文献
97.
立式平管板U形管束的压水堆核电站蒸汽发生器安装至瞬变工况期间,管板上表面的铁基金属残余物的堆积和外来物的存在,以及商业运行后管板、传热管、管子支撑板等的低流速区域里沉积物的堆积要求进行蒸汽发生器的清洁度检查。介绍了蒸汽发生器二次侧清洁度的视频检查技术。该技术适用于蒸汽发生器安装至瞬变工况和投入商业运行后可能发生污染的各阶段的清洁度检查。 相似文献
98.
99.
Sandra A. Yost Peter H. Bauer Kasyapa Balemarthy 《Multidimensional Systems and Signal Processing》1996,7(2):211-220
This paper addresses the BIBO (bounded-input bounded-output) stability of a class of discrete 2-D quarter-plane filters in the presence of nonessential singularities of the second kind (NSSK's) on the unit bidisk. Conditions under which the double bilinear transformation (DBT) preserves stability are derived. The results presented here also extend the class of systems whose stability can be predicted. Use of the inverse DBT to produce a continuous equivalent of the discrete 2-D transfer function allows easy application of a continuous-domain equivalent of a criterion developed by Dautov. The necessary and sufficient condition for stability derived in this work provides a simple check for the class of systems under consideration. From this class of systems, it is also possible to construct stable pairs of mutually inverse transfer functions. 相似文献
100.