全文获取类型
收费全文 | 2319篇 |
免费 | 130篇 |
国内免费 | 31篇 |
专业分类
电工技术 | 67篇 |
综合类 | 221篇 |
化学工业 | 270篇 |
金属工艺 | 37篇 |
机械仪表 | 35篇 |
建筑科学 | 974篇 |
矿业工程 | 54篇 |
能源动力 | 101篇 |
轻工业 | 78篇 |
水利工程 | 221篇 |
石油天然气 | 77篇 |
武器工业 | 6篇 |
无线电 | 33篇 |
一般工业技术 | 105篇 |
冶金工业 | 118篇 |
原子能技术 | 1篇 |
自动化技术 | 82篇 |
出版年
2024年 | 5篇 |
2023年 | 17篇 |
2022年 | 34篇 |
2021年 | 43篇 |
2020年 | 46篇 |
2019年 | 24篇 |
2018年 | 38篇 |
2017年 | 61篇 |
2016年 | 53篇 |
2015年 | 60篇 |
2014年 | 133篇 |
2013年 | 116篇 |
2012年 | 153篇 |
2011年 | 175篇 |
2010年 | 131篇 |
2009年 | 168篇 |
2008年 | 156篇 |
2007年 | 208篇 |
2006年 | 172篇 |
2005年 | 117篇 |
2004年 | 106篇 |
2003年 | 99篇 |
2002年 | 86篇 |
2001年 | 58篇 |
2000年 | 53篇 |
1999年 | 35篇 |
1998年 | 33篇 |
1997年 | 27篇 |
1996年 | 20篇 |
1995年 | 16篇 |
1994年 | 14篇 |
1993年 | 9篇 |
1992年 | 6篇 |
1991年 | 2篇 |
1990年 | 1篇 |
1989年 | 1篇 |
1987年 | 1篇 |
1986年 | 1篇 |
1984年 | 1篇 |
1978年 | 1篇 |
排序方式: 共有2480条查询结果,搜索用时 15 毫秒
1.
"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠,将形式化方法引入到操作系统内核验证中,提出了一个自动化验证操作系统内核的框架.该验证框架包括:(1)分别对C语言程序和混合语言程序(C语言和汇编语言)进行验证;(2)在混合语言程序验证中,为汇编程序建立抽象模型,并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型;(3)从规范中提取性质,基于该自动验证工具,对性质完成自动验证;(4)该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示:利用该框架在对两个不同的硬件平台上内核验证时,框架的可重复利用率很高,高达到88%,虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中,分别发现了10~12处缺陷.其中,在ARM平台上两处与硬件相关的问题被发现.实验表明,该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性. 相似文献
2.
分析了乐滩灌区工程北干渠溯河隧洞段长约1.06 km穿合山煤矿采空区的地质情况.借鉴高速公路煤矿采空区的成功处理经验,通过科学分析,对采空区变形和区域内覆岩的稳定性做了评价,论述了输水线路穿采空区段采取全充填压力注浆法的工程处理方法. 相似文献
3.
Ⅰ线光致抗蚀剂可以同时实用电子束和光学系统曝光,在50kV加速电压下,其曝光剂量为50-100μC/cm^2,曝光后在0.7%NaOH溶液内显影1分钟。其灵敏度比PMMA快5倍,分辩率为0.5μm。采用两方法制备CaAsPHEMT:一种用Ⅰ线光致抗蚀剂,对源、漏及栅全部都采用电子束曝光,制备了0.5μm栅长的GaAs PHEMT;另一种将源、漏及栅分割成两部分,其中精细部分由电子束曝光,其余部分由光学系统曝光,用这种方法制备了0.25μm栅长的GaAs PHEMT。Ⅰ 相似文献
4.
This paper presents an efficient method which provides the optimal generation mix and the optimal generation construction process. The approximation method in which the dynamic programming technique and gradient method are combined is applied to determine the optimal generation mix with hydropower generation technologies. The successive approximations dynamic programming (SADP) technique, which is very suitable for high-dimensional multistage decision process problems, is used for obtaining the optimal generation construction process. The effectiveness and feasibility of the developed technique are demonstrated on a practical power system model which has five types of generation technologies including a hydropower generation technology. 相似文献
5.
本文针对美孚油回收液与兰炼8#油混合利用进行可行性实验研究,经过重度、粘度、可燃性等方面的实验研究,表明美孚油回收液与兰炼8#油混合可以用在电动轮上并且获得良好的效果。 相似文献
6.
浅谈施工中混凝土配合比的控制 总被引:1,自引:1,他引:0
混凝土工程是公路桥涵的主体,混凝土质量的稳定与优良性是桥涵质量优良的前提,通过祁临高速公路施工实践中对混凝土理论的认识与应用相结合,进行科学合理的配合比设计,精心反复的试验,严格的进料、生产控制,保证了桥涵混凝土施工中产品质量的优良率和成本的降低。 相似文献
7.
利用模拟退火方法探讨了混凝土配合比的优化设计,并用Visual C++语言编制了实用系统,得出了只要数据充分,算法的精度可以得到保证的结论,以推广该设计方法的应用。 相似文献
8.
优化锰铁高炉配矿结构 总被引:2,自引:0,他引:2
介绍了通过优化高炉锰铁烧结矿原料结构,改善了烧结矿性能,使锰铁冶炼取得了增产、节焦、降成本的明显效果。 相似文献
9.
10.