全文获取类型
收费全文 | 29164篇 |
免费 | 3508篇 |
国内免费 | 2660篇 |
专业分类
电工技术 | 3040篇 |
综合类 | 3127篇 |
化学工业 | 3617篇 |
金属工艺 | 2097篇 |
机械仪表 | 2139篇 |
建筑科学 | 2281篇 |
矿业工程 | 1150篇 |
能源动力 | 914篇 |
轻工业 | 3181篇 |
水利工程 | 1055篇 |
石油天然气 | 968篇 |
武器工业 | 369篇 |
无线电 | 3145篇 |
一般工业技术 | 2158篇 |
冶金工业 | 1110篇 |
原子能技术 | 839篇 |
自动化技术 | 4142篇 |
出版年
2024年 | 157篇 |
2023年 | 455篇 |
2022年 | 1156篇 |
2021年 | 1518篇 |
2020年 | 1044篇 |
2019年 | 727篇 |
2018年 | 810篇 |
2017年 | 848篇 |
2016年 | 746篇 |
2015年 | 1350篇 |
2014年 | 1725篇 |
2013年 | 1908篇 |
2012年 | 2508篇 |
2011年 | 2672篇 |
2010年 | 2525篇 |
2009年 | 2389篇 |
2008年 | 2356篇 |
2007年 | 2357篇 |
2006年 | 2111篇 |
2005年 | 1616篇 |
2004年 | 1149篇 |
2003年 | 750篇 |
2002年 | 701篇 |
2001年 | 663篇 |
2000年 | 490篇 |
1999年 | 189篇 |
1998年 | 75篇 |
1997年 | 39篇 |
1996年 | 32篇 |
1995年 | 36篇 |
1994年 | 17篇 |
1993年 | 23篇 |
1992年 | 15篇 |
1991年 | 16篇 |
1990年 | 19篇 |
1989年 | 14篇 |
1988年 | 13篇 |
1987年 | 10篇 |
1986年 | 12篇 |
1985年 | 4篇 |
1984年 | 11篇 |
1983年 | 5篇 |
1982年 | 3篇 |
1981年 | 16篇 |
1980年 | 8篇 |
1979年 | 9篇 |
1976年 | 4篇 |
1962年 | 2篇 |
1959年 | 18篇 |
1951年 | 6篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
991.
992.
993.
994.
995.
虚拟维修通用仿真软件系统的设计 总被引:1,自引:0,他引:1
针对目前装备维修保障的现状,基于高层三维图形开发环境,开发设计一套虚拟维修仿真系统,适用于各种装备的虚拟维修训练仿真。通过MultiGen Creator建立三维的装备实体模型,利用C++编程,调用Vega API函数,开发仿真程序。从系统开发软件入手,给出了虚拟维修系统框架结构,并通过模型建立、虚拟人控制、程序控制实现和视景驱动控制进行虚拟维修系统的开发。通过对诸多方面进行逐步分析与设计,给出了进行虚拟维修训练开发关键技术解决方案,并将该方法成功应用于某型导弹的虚拟实验室。 相似文献
996.
一种Ad Hoc网络中安全的网格路由协议 总被引:1,自引:0,他引:1
在大而密集的移动Ad Hoc网络环境下,基于位置的路由协议使用位置信息进行报文的转发,在性能方面明显优于基于拓扑图的路由协议.现在虽然研究Ad Hoc中安全路由协议的文章很多,但是却很少有人考虑到基于位置的路由协议的安全性.该文在网格定位服务(Grid Location Service,GLS)的基础上,提出了安全的网格路由协议(Secure Grid Routing Protocol,SGRP).SGRP补充了TESLA方案,添加了新节点加入网络的认证过程,以适应Ad Hoc网络高移动性和高灵活性的特点,从而可以有效地抵御外部节点的攻击.为了清晰表述SGRP处理报文的流程,文章使用形式语言自动机进行描述,并对其中关键的认证过程做了形式化分析.SGRP还提出了一种信誉系统,使得节点可以通过综合的信誉信息,限制内部背叛节点的恶意行为.最后的仿真结果显示,当有中断攻击节点存在的情况下,SGRP有效地孤立了攻击节点,性能上优于GLS. 相似文献
997.
实例化空间:一种新的安全协议验证逻辑的语义模型 总被引:1,自引:0,他引:1
给出了一个称为“实例化空间(instantiation space)”的安全协议验证逻辑的语义模型.该语义模型是建立在一种自然的加密信息交换(cryptographical message exchange)模型上的.在此语义模型基础上,文章提出了一系列与安全属性相关的验证公理,由此可以证明它们在此语义模型下的正确性.更重要的是,在此语义下的公理集在算法上是完全可以实现的,其对应的工具SPV(Security Protocol Verifier)已经开发成功,并且可以验证复杂的协议.在这套安全协议验证模型理论下,可以很方便地处理包括公钥、私钥、共享密钥和Hash函数组成的复杂信息格式.而且,在此语义基础上的公理集是纯命题逻辑的,因此所需要的验证目标可以很方便地转化成可满足性问题(SAT),从而可以利用工业上快速高效的SAT求解器实现. 相似文献
998.
在分析以往等高线树在表达地形图等高线拓扑空间关系时既没有考虑局部地形特征(鞍部、山头、洼地等)又不能很好表达等高线与所围区域之间的关系等缺陷的基础上,提出了增加地形特征等高线构建增量等高线树,以同时表达等高线之间、等高线与所围区域之间两种拓扑空间关系.通过建立等高线约束Delaunay三角网,给出了增量等高线树的动态提取算法.研究表明,增量等高线树在地形识别、基于等高线建立数字高程模型、等高线高程自动赋值、等值线充填等方面的表现都优于以往等高线树,具有较大的应用潜力. 相似文献
999.
对传统的MUSIC方法进行修正估计洋流方位,即在应用MUSIC方法之前,将阵列的协方差矩阵Toeplitz化,理论分析和仿真表明这样可有效地减小信号之闻相关性的影响,从而大大提高谱估计的质量.通过对实测数据的处理表明修正的MUSIC方法可较好地进行洋流方位探测. 相似文献
1000.