全文获取类型
收费全文 | 6363篇 |
免费 | 945篇 |
国内免费 | 691篇 |
专业分类
电工技术 | 541篇 |
综合类 | 482篇 |
化学工业 | 300篇 |
金属工艺 | 160篇 |
机械仪表 | 452篇 |
建筑科学 | 594篇 |
矿业工程 | 137篇 |
能源动力 | 107篇 |
轻工业 | 157篇 |
水利工程 | 203篇 |
石油天然气 | 163篇 |
武器工业 | 67篇 |
无线电 | 787篇 |
一般工业技术 | 524篇 |
冶金工业 | 141篇 |
原子能技术 | 112篇 |
自动化技术 | 3072篇 |
出版年
2024年 | 52篇 |
2023年 | 108篇 |
2022年 | 239篇 |
2021年 | 235篇 |
2020年 | 275篇 |
2019年 | 198篇 |
2018年 | 200篇 |
2017年 | 228篇 |
2016年 | 267篇 |
2015年 | 293篇 |
2014年 | 456篇 |
2013年 | 414篇 |
2012年 | 492篇 |
2011年 | 488篇 |
2010年 | 429篇 |
2009年 | 381篇 |
2008年 | 421篇 |
2007年 | 449篇 |
2006年 | 407篇 |
2005年 | 362篇 |
2004年 | 258篇 |
2003年 | 257篇 |
2002年 | 207篇 |
2001年 | 150篇 |
2000年 | 131篇 |
1999年 | 115篇 |
1998年 | 81篇 |
1997年 | 66篇 |
1996年 | 47篇 |
1995年 | 55篇 |
1994年 | 43篇 |
1993年 | 38篇 |
1992年 | 33篇 |
1991年 | 23篇 |
1990年 | 15篇 |
1989年 | 24篇 |
1988年 | 13篇 |
1986年 | 3篇 |
1985年 | 11篇 |
1984年 | 5篇 |
1983年 | 5篇 |
1982年 | 4篇 |
1980年 | 5篇 |
1979年 | 5篇 |
1975年 | 2篇 |
1965年 | 2篇 |
1963年 | 1篇 |
1961年 | 1篇 |
1959年 | 2篇 |
1951年 | 1篇 |
排序方式: 共有7999条查询结果,搜索用时 15 毫秒
991.
针对类Java的面向对象语言mJava到类Dalvik的寄存器架构虚拟机Micro-Dalvik的编译验证,给出了mJava语言和Micro-Dalvik的操作语义.从mJava语言程序到Micro-Dalvik虚拟机指令的编译分为两步,首先将mJava语言程序中的本地变量名转换为相应的序号,得到一个中间语言程序,再将该中间语言程序翻译成Micro-Dalvik虚拟机指令程序.在给出中间语言的操作语义后,构造了mJava语言程序与编译后的中间语言程序的语义保持定理并证明,以及构造了中间语言程序的语义与编译后的Micro-Dalvik虚拟机程序的语义保持定理并证明.整个形式化编译验证在定理证明助手Isabelle/HOL中进行了机器检测.mJava语言和Micro-Dalvik虚拟机分别对Java语言和Dalvik虚拟机进行了抽象,是我们兼顾语言的真实性和形式化的清晰性的结果.但是,所有形式化的语义严格遵从语言规范中的定义,并与Dalvik VM的实现保持一致,从这种意义上讲,该编译器并不是一个实验性质的假想编译器,而是有其实用意义的. 相似文献
992.
Efficient dynamic authentication for mobile satellite communication systems without verification table
下载免费PDF全文
![点击此处可从《International Journal of Satellite Communications and Networking》网站下载免费的PDF全文](/ch/ext_images/free.gif)
The mobile satellite system is an important wireless communication system widely used nowadays. The issue of protecting the transmission security in low‐earth‐orbit satellite networks thus becomes more and more critical. It is known that several authentication schemes for satellite communication systems have been proposed to deal with the issue. However, previous protocols either employ complicated public key computation or have to maintain a verification table. In this paper, the author will introduce a new dynamic authentication protocol for mobile satellite communication systems without using a verification table. The comparison results will also show that the proposed scheme has lower computational costs. Copyright © 2014 John Wiley & Sons, Ltd. 相似文献
993.
配电网主站网络模型校核方法设计与实现 总被引:1,自引:0,他引:1
在配电网主站系统建设过程中,配电网网络模型的完整性和正确性是各个配电网分析应用模块赖以实用化的前提和基础。当前在建设配电网主站时,其基础性的配电网模型主要从地理信息系统(GIS)或生产管理系统(PMS)导入。在模型导入过程中缺乏有效的全局校核手段,难以从整体上检查系统网络模型的完整性和正确性。文中基于配电网主站系统,利用统计服务及拓扑服务,针对全局性网络模型设计实现一种模型完整性、正确性的校核方法,能够从整体上把控系统网络模型的变化及质量情况。通过具体工程应用,验证了该方法的可行性及有效性。 相似文献
994.
995.
996.
997.
传统的中压配电系统主要采取"一刀切"的方式粗放地计算线路N-1校验结果,且在主变N-1校验过程中通常只能逐个校验,为此本文提出一种基于线路分段负荷转移的中压配电系统整体描述与N-1校验方法。首先,建立线路联络矩阵和网络转供能力矩阵来描述中压配电系统的联络关系和负荷转供能力,并通过分段负荷向量进一步细化上述描述;其次,研究基于线路分段负荷转移的中压线路N-1校验方法,在此基础上,结合变电站的网络转供能力分析,研究主变N-1校验方法;再次,当线路或主变N-1校验不通过时,依据贪心原则,提出基于分段负荷切除失负荷量计算方法;最后,通过算例分析,验证了本方法的实用性和准确性。 相似文献
998.
999.
1000.
随着我国社会经济与科技的快速发展,电能越来越成为我国公民进行正常活动的重要因素,而电能表是作为电能计量的唯一设备,因此我国对电能表的需求数量也在不断增加.为了满足如今电力行业中对电能表准确性以及功能性的要求,我国电能表市场出现了多种多样电能表,这些电能表无论是在结构、准确度还是在功能上较之以前的都有了很大的进步,提升了我国电能计量的准确性以及功能性. 相似文献