首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   140268篇
  免费   8155篇
  国内免费   5820篇
电工技术   11496篇
技术理论   2篇
综合类   8196篇
化学工业   19497篇
金属工艺   12582篇
机械仪表   12354篇
建筑科学   10558篇
矿业工程   6265篇
能源动力   7084篇
轻工业   9779篇
水利工程   3791篇
石油天然气   7879篇
武器工业   2283篇
无线电   12522篇
一般工业技术   11969篇
冶金工业   8070篇
原子能技术   1689篇
自动化技术   8227篇
  2024年   1092篇
  2023年   3748篇
  2022年   4575篇
  2021年   5219篇
  2020年   4332篇
  2019年   4021篇
  2018年   1870篇
  2017年   3044篇
  2016年   3570篇
  2015年   4424篇
  2014年   8378篇
  2013年   6552篇
  2012年   7766篇
  2011年   7665篇
  2010年   6605篇
  2009年   7049篇
  2008年   7490篇
  2007年   6479篇
  2006年   6117篇
  2005年   6038篇
  2004年   6082篇
  2003年   5334篇
  2002年   4508篇
  2001年   4142篇
  2000年   3572篇
  1999年   3076篇
  1998年   2832篇
  1997年   2763篇
  1996年   2426篇
  1995年   2349篇
  1994年   2007篇
  1993年   1811篇
  1992年   1799篇
  1991年   1674篇
  1990年   1570篇
  1989年   1614篇
  1988年   222篇
  1987年   104篇
  1986年   65篇
  1985年   51篇
  1984年   52篇
  1983年   44篇
  1982年   41篇
  1981年   29篇
  1980年   26篇
  1965年   4篇
  1963年   1篇
  1959年   5篇
  1958年   1篇
  1951年   2篇
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
21.
22.
23.
郭建  丁继政  朱晓冉 《软件学报》2020,31(5):1353-1373
"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠,将形式化方法引入到操作系统内核验证中,提出了一个自动化验证操作系统内核的框架.该验证框架包括:(1)分别对C语言程序和混合语言程序(C语言和汇编语言)进行验证;(2)在混合语言程序验证中,为汇编程序建立抽象模型,并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型;(3)从规范中提取性质,基于该自动验证工具,对性质完成自动验证;(4)该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示:利用该框架在对两个不同的硬件平台上内核验证时,框架的可重复利用率很高,高达到88%,虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中,分别发现了10~12处缺陷.其中,在ARM平台上两处与硬件相关的问题被发现.实验表明,该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.  相似文献   
24.
为获得性能优良、满足科研生产需求的电解质粘合剂MgO材料,采用扫描电镜(SEM)、比表面积(BET)等测试手段对国内九种MgO材料进行了微观形貌和比表面积、孔径分布特征的观察分析;并通过测试电解质泄露量,评价不同MgO作为吸附剂时的吸附作用效果和不同种类MgO作为粘合剂时的抑制流动情况;同时将不同种类的MgO材料作为粘合剂制备成单体电池,进行了电性能的测试。结果表明:1~#~9~#样品形貌差异非常明显,由粒径约为几十纳米~几百纳米的颗粒聚集体或片状聚集体组成;与现有生产使用的1~#MgO材料平均孔径和总孔体积性能参数相近的有3~#、5~#和9~#MgO;与其他几种MgO材料相比,3~#MgO具有更强的吸附能力,并且对电解质E有更强的流动抑制作用;与现有生产使用的1~#MgO材料相比,以3~#MgO为抑制剂制成的单体电池具有最高的放电比容量和更高的放电电压。  相似文献   
25.
26.
《Planning》2015,(29)
在设计长期加电工程项目的测试系统时,采用远程自动测控系统完成测试工作,远端无人值守。在测试过程中执行指令控制并对重要参数进行实时监测,为监测人员提供参考信息及故障预报。自动测控组合是远程自动化测控系统设计的核心设备,可接收、执行和记录来自综合控制台的控制指令,实现对测试数据的采集、发送和存储。基于VxWorks操作系统的自动测控组合应用1553B总线通信模式,采用双机热备冗余的系统架构,在系统长期连续加电的情况下,支持热插拔更换整机的方式,单机设备发生故障可自动检测并切换,保证系统功能不失效。采用龙芯2J芯片的主控制板、基于龙芯的MIPS架构的VxWorks实时操作系统。VxWorks操作系统可靠性高、实时性强、可裁剪,占用很小的存储空间,保证了系统在长期加电过程中的高稳定性和可靠性。  相似文献   
27.
为了降低井下工作面粉尘的浓度,提出了一种以井下压风管道提供高压空气为动力的节能式高倍数泡沫降尘器,相比于其他泡沫降尘器,它可使气-液充分混合并产生大量泡沫,且节能节水。同时依据协同特性原理,通过采用复配和正交试验配制出了一种环保型泡沫试剂,它具有稳定性高,捕尘能力强,对工作人员无伤害等优点。通过现场测得,该降尘系统对全尘的降尘率是93%,对呼吸性粉尘的降尘效率是79%。  相似文献   
28.
为了提高余热发电出力能力,基于废热循环再利用技术,在窑头排风机出口装设调节插板阀并架设主引风管道,使其与AQC锅炉取风口对应的篦冷机冷却风机进风口相连。改造后,入窑二次风、入炉三次风温略微有些升高,但变化不明显。熟料28 d强度环比提升0.3 MPa,熟料f Ca O合格率提高5%以上。篦冷机二~五室篦板和冷却风机叶轮无明显磨损或损坏,主引风管道无积灰。单位熟料发电量提高2.59 k Wh/t以上,熟料综合电耗下降约1 k Wh/t。  相似文献   
29.
通过对普查区喜山期玄武岩喷发分布范围、形态的分析,对燕山晚期闪长玢岩分布范围、与构造关系、对煤层的影响等方面的分析,阐述了太平普查区岩浆活动特征。  相似文献   
30.
在应用临床药品的过程中,患者可能会发生各种各样的不良反应,作为较为严重的一种不良反应,热原的产生和许多因素有关,为了使药品质量得到有效控制,必须要全面把控药品生产的每个环节,对热原加强控制。如果热原没有控制好,会严重影响药品的质量,所以控制热原质量成为当前重点研究的问题。通过加强药品生产过程中热原管理,制定改善措施,可以有效控制药品中的热原水平,让药品更安全、更具有市场竞争力。首先对药品生产热原的研究现状及性质进行了分析,讨论了热原的检测方法以及热原管理的要点,最后提出了药品生产热原的改善措施。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号