全文获取类型
收费全文 | 141871篇 |
免费 | 15973篇 |
国内免费 | 10540篇 |
专业分类
电工技术 | 11431篇 |
技术理论 | 2篇 |
综合类 | 13315篇 |
化学工业 | 19152篇 |
金属工艺 | 9548篇 |
机械仪表 | 10328篇 |
建筑科学 | 11237篇 |
矿业工程 | 5124篇 |
能源动力 | 3883篇 |
轻工业 | 13573篇 |
水利工程 | 3983篇 |
石油天然气 | 5419篇 |
武器工业 | 1750篇 |
无线电 | 16256篇 |
一般工业技术 | 14251篇 |
冶金工业 | 5994篇 |
原子能技术 | 2330篇 |
自动化技术 | 20808篇 |
出版年
2024年 | 757篇 |
2023年 | 2295篇 |
2022年 | 5236篇 |
2021年 | 7103篇 |
2020年 | 5042篇 |
2019年 | 3880篇 |
2018年 | 4107篇 |
2017年 | 4440篇 |
2016年 | 4011篇 |
2015年 | 6175篇 |
2014年 | 7660篇 |
2013年 | 9356篇 |
2012年 | 11110篇 |
2011年 | 11390篇 |
2010年 | 10594篇 |
2009年 | 10296篇 |
2008年 | 10743篇 |
2007年 | 10511篇 |
2006年 | 9437篇 |
2005年 | 7829篇 |
2004年 | 5564篇 |
2003年 | 3869篇 |
2002年 | 3625篇 |
2001年 | 3213篇 |
2000年 | 2700篇 |
1999年 | 1625篇 |
1998年 | 994篇 |
1997年 | 861篇 |
1996年 | 726篇 |
1995年 | 606篇 |
1994年 | 471篇 |
1993年 | 337篇 |
1992年 | 302篇 |
1991年 | 247篇 |
1990年 | 236篇 |
1989年 | 220篇 |
1988年 | 132篇 |
1987年 | 135篇 |
1986年 | 85篇 |
1985年 | 64篇 |
1984年 | 51篇 |
1983年 | 58篇 |
1982年 | 32篇 |
1981年 | 42篇 |
1980年 | 50篇 |
1979年 | 34篇 |
1978年 | 15篇 |
1976年 | 18篇 |
1959年 | 22篇 |
1951年 | 19篇 |
排序方式: 共有10000条查询结果,搜索用时 46 毫秒
101.
Safety-critical software systems such as certain nuclear instrumentation and control (NI&C) systems should be developed with thorough verification. This study presents a method of software requirement verification with a case study for a nuclear power plant (NPP) protection system. The verification introduces colored petri net (CPN) for system modeling and prototype verification system (PVS) for mathematical verification. In order to aid flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this paper. In order to convert the extracted information to the PVS specification language, a translator has also been developed. This combined method has been applied to the functional requirements of the Wolsong NPP Shut Down System #2 (SDS2); logical properties of the requirements were verified. Through this research, guidelines and a tool support for the use of formal methods have been developed for application to NI&C software verification. 相似文献
102.
Young-Geun Han Sang Hyuck Kim Sang Bae Lee Un-Chul Paek Youngjoo Chung 《Electronics letters》2003,39(15):1107-1108
A novel fabrication method of the core mode blocker by exposing H/sub 2/-loaded Ge-B codoped fibres to local electric arc discharge for application to the LPFGs-based tunable all-fibre bandpass filter with 6.5 nm bandwidth and 40 nm tuning range is presented. 相似文献
103.
吐哈油田小井眼开窗侧钻井主要采用混原油钻井液,不利于环境保护。从研究MEG单体的作用机理入手,以钻井液润滑性、抑制防塌性为主要评价指标,对MEG钻井液配方进行了优选,并对优选配方钻井液性能进行了评价。该钻井液在4口小井眼开窗侧钻井进行了试验应用。结果表明:应用井无阻、卡现象,平均钻井周期缩短了7.2d;在未混原油的情况下钻井液润滑系数比乳化原油(15%~20%)钻井液降低了34.6%;油层保护效果好,其中温5-41C井日产油14.4t,同比温五区块平均产量提高了128.4%,神218C井是神229区块目前唯一的自喷井。表明优选出的MEG钻井液具有优良的润滑性、抑制防塌性及良好的储层保护效果,特别适合强水敏地层及大斜度井和水平井等特殊复杂工艺井的钻进。 相似文献
104.
改性乳化沥青的发展和应用概况 总被引:1,自引:0,他引:1
综述了改性乳化沥青的发展及应用概况,重点讨论了改性乳化沥青的生产、制备工艺、稳定性影响因素,并对国内外改性乳化沥青的应用情况加以概述。 相似文献
105.
由于猪腿原材料或者加工技术的问题,而造成干腌火腿产品质量的多种缺陷。综述了干腌火腿中常见的各种质量缺陷以及防止这些质量缺陷的措施。 相似文献
106.
基于粗糙集信息观的决策表属性约简方法 总被引:2,自引:0,他引:2
粗糙集理论是近年来发展起来的一种有效的处理不精确、不确定、含糊信息的数学理论方法,它被广泛应用于相容和不相容决策表的属性约简和核属性计算。利用反例指出目前基于粗糙集信息观[2、6]的决策表属性约简和核属性计算方法的局限性。对决策表的性质作了深入的研究,研究发现文献[2、6]方法的不足原因是:它们没有考虑U/ind(C)中等价类的相客性。给出了基于U/ind(C)中等价类相客性的属性约简定义和核属性定义,并给出了一种新的基于粗糙集信息观的决策表属性约简和核属性计算方法。讨论了该方法同文献[2、6]方法的区别。最后用相同实例验证了该方法的有效性。 相似文献
107.
测向定位技术是无线电管理的一个重要课题。测向定位过程中的误差的种类和产生的原因很多。选择适当的方法对误差进行校正,可以有效的减小测向误差带来的损失,提高无线电管理的效率。 相似文献
108.
介绍如何利用AutoCAD开发适合电气专业使用的CAD系统,通过编制电气CAD的功能菜单,构造电气元件库,增强CAD的专业性能。编制电气CAD可以有效地统一本单位电气制图标准,方便电气工程师使用CAD进行专业设计。 相似文献
109.
110.