首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   4899409篇
  免费   327800篇
  国内免费   235134篇
电工技术   382696篇
技术理论   275篇
综合类   361249篇
化学工业   561254篇
金属工艺   250187篇
机械仪表   376996篇
建筑科学   485338篇
矿业工程   235927篇
能源动力   109082篇
轻工业   493094篇
水利工程   214818篇
石油天然气   221077篇
武器工业   57844篇
无线电   471857篇
一般工业技术   403215篇
冶金工业   184171篇
原子能技术   51933篇
自动化技术   601330篇
  2024年   44155篇
  2023年   146917篇
  2022年   171926篇
  2021年   166274篇
  2020年   153374篇
  2019年   184257篇
  2018年   181868篇
  2017年   89119篇
  2016年   110473篇
  2015年   144306篇
  2014年   274880篇
  2013年   237987篇
  2012年   299639篇
  2011年   320007篇
  2010年   285443篇
  2009年   283706篇
  2008年   287424篇
  2007年   269214篇
  2006年   248835篇
  2005年   223110篇
  2004年   201785篇
  2003年   177494篇
  2002年   154624篇
  2001年   139716篇
  2000年   105927篇
  1999年   66133篇
  1998年   42860篇
  1997年   36888篇
  1996年   36082篇
  1995年   33732篇
  1994年   31676篇
  1993年   22519篇
  1992年   23827篇
  1991年   22563篇
  1990年   21614篇
  1989年   31275篇
  1988年   26075篇
  1987年   24412篇
  1986年   21191篇
  1985年   20838篇
  1984年   18790篇
  1983年   16519篇
  1982年   14879篇
  1981年   12671篇
  1980年   9461篇
  1979年   5883篇
  1978年   2979篇
  1977年   1238篇
  1965年   1527篇
  1964年   1346篇
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
991.
基于“IPv6+”的智能IP网络方案   总被引:1,自引:1,他引:0       下载免费PDF全文
随着第4次工业革命的到来,人类社会正逐步迈向万物互联的智能时代。智能时代需要更加自动化、智能化的IP网络,基于“IPv6+”的SRv6、BIERv6等技术是使能新一代IP网络的关键基础。全面阐述了“IPv6+”的技术内涵,结合华为在智能 IP 网络解决方案上的创新和思考,介绍了“IPv6+”在极简连接、SLA 保障、专网体验、质量感知和云网一体等多个解决方案场景的关键技术与典型应用,助力5G与云业务发展。  相似文献   
992.
为测试倾斜摄影测量技术路线,并通过实际项目的应用,解决传统古建筑建模过程中存在的时间成本高、难以还原复杂场景等问题。按照倾斜摄影技术的技术路线,进行朱氏宗祠建筑测绘试验,并通过基于altizure软件建立三维模型来展现倾斜摄影测量技术流程。验证无人机倾斜摄影应用于古建筑三维建模的可行性和可操作性。  相似文献   
993.
994.
995.
996.
997.
郭建  丁继政  朱晓冉 《软件学报》2020,31(5):1353-1373
"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠,将形式化方法引入到操作系统内核验证中,提出了一个自动化验证操作系统内核的框架.该验证框架包括:(1)分别对C语言程序和混合语言程序(C语言和汇编语言)进行验证;(2)在混合语言程序验证中,为汇编程序建立抽象模型,并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型;(3)从规范中提取性质,基于该自动验证工具,对性质完成自动验证;(4)该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示:利用该框架在对两个不同的硬件平台上内核验证时,框架的可重复利用率很高,高达到88%,虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中,分别发现了10~12处缺陷.其中,在ARM平台上两处与硬件相关的问题被发现.实验表明,该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.  相似文献   
998.
川西彭州地区三叠系雷口坡组雷四上亚段潮坪相薄储层识别难度极大。围绕如何从复合地震强反射中区分并识别上、下两套储层面临的地球物理难题,采用先“分”后“合”的研究思路,基于实际地层结构及不同储层叠加样式建立正演模型,利用全波场波动方程正演模拟技术,剖析了不同主频条件下薄储层的地震响应特征,通过波形差异化分析,从复合地震响应中“剥离”出了两套储层所引起的地震响应特征及变化规律,明确了两套储层在不同频带下的地震识别标志和识别方法,为该区强反射界面干扰下两套薄互层储层辨识机理分析及精准预测奠定了基础。基于不同频带下薄储层辨识机理的分析结果,定性预测了薄储层平面展布,提出了深层潮坪相薄储层识别和预测难题的解决方案,为该区地震资料品质评价、面向薄储层的地震采集技术设计、地震资料处理及薄储层预测提供了依据和指导。  相似文献   
999.
1000.
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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