全文获取类型
收费全文 | 10488篇 |
免费 | 689篇 |
国内免费 | 429篇 |
学科分类
工业技术 | 11606篇 |
出版年
2024年 | 81篇 |
2023年 | 324篇 |
2022年 | 266篇 |
2021年 | 241篇 |
2020年 | 359篇 |
2019年 | 351篇 |
2018年 | 341篇 |
2017年 | 178篇 |
2016年 | 187篇 |
2015年 | 288篇 |
2014年 | 608篇 |
2013年 | 474篇 |
2012年 | 513篇 |
2011年 | 553篇 |
2010年 | 534篇 |
2009年 | 504篇 |
2008年 | 507篇 |
2007年 | 534篇 |
2006年 | 533篇 |
2005年 | 525篇 |
2004年 | 474篇 |
2003年 | 386篇 |
2002年 | 263篇 |
2001年 | 294篇 |
2000年 | 266篇 |
1999年 | 237篇 |
1998年 | 215篇 |
1997年 | 201篇 |
1996年 | 176篇 |
1995年 | 143篇 |
1994年 | 154篇 |
1993年 | 108篇 |
1992年 | 102篇 |
1991年 | 90篇 |
1990年 | 91篇 |
1989年 | 83篇 |
1988年 | 62篇 |
1987年 | 57篇 |
1986年 | 49篇 |
1985年 | 51篇 |
1984年 | 28篇 |
1983年 | 43篇 |
1982年 | 19篇 |
1981年 | 35篇 |
1980年 | 24篇 |
1979年 | 15篇 |
1978年 | 14篇 |
1965年 | 7篇 |
1964年 | 3篇 |
1958年 | 4篇 |
排序方式: 共有10000条查询结果,搜索用时 31 毫秒
141.
142.
143.
144.
为了增强通讯网络安全性,研究者致力于通讯协议的形式化分析与验证。 Abdelmajid 在 Kerberos 协议中添加用户物理位置作为新的认证因素得到改进协议,并用改进 BAN 逻辑说明改进协议的安全性。针对添加用户物理位置这一因素进一步完善后的协议 Kerberos *,结合可识别性和管辖性构造一种新的管辖规则,运用改进 GNY 逻辑对协议 Ker-beros *进行安全性分析。分析结果表明,协议 Kerberos *是安全的,运用改进 GNY 逻辑证明过程比改进 BAN 逻辑更详细、更严谨,此方法可运用于其它类似协议形式化分析。 相似文献
145.
形式化方法是分析验证安全协议的重要技术之一。模型检测是用在形式化方法中实现形式化自动验证的重要手段。基于 Promela 语言,将 P .Maggi 和 R .Sisto 提出的建模方法扩展到建立包含三个合法主体和一个攻击者的复杂模型,枚举法和打表法同时被运用在求解攻击者模型需要表示的知识项过程中,提高了协议建模效率,保证了建模准确性。以Woo-Lam 协议为例,运用 Spin 工具成功发现一个已知著名攻击。此通用方法适用于类似复杂协议形式化分析与验证。 相似文献
146.
十八大报告部署提出了2020年要大幅提升信息化、工业化,这是我国第一次将信息化列入到国家发展目标,充分体现了国家对信息化工作的高度重视。信息化将成为我国转变经济增长方式、提升国家竞争力的重要手段。随着城镇化和工业化的快速发展,电力市场也呈现出了高速发展状态。电力企业规模、管理级别不断扩展和提升,计算机信息化程度在电力企业中的应用越来越受到重视。该文首先介绍了传统电力企业信息化存在的问题,其次针对电力企业信息化的实际需要,介绍了各项信息化管理的应用,通过信息化系统管理各项工作流程,产生的各项待处理事务,通过短信及时将待处理业务信息发送给待办人员,将日常管理与现代计算机技术有机结合,提升了电力企业管理效率和整体集成管理控制水平。 相似文献
147.
148.
按随机引物法以地高辛标记HBV DNA探针,与按缺口翻译法以~(32)P标记的探针进行了比较。这两种探针与乙肝血源疫苗及患者血清标本中HBV DNA进行杂交,结果两种探针均可要出1pg同源序列DNA,而地高辛标记的探针,在0.1Pg水平仍可呈现弱着色反应。该探针在一20℃储存6个月,其敏感性不减弱。这种探针在常规诊断实验室更易推广使用。 相似文献
149.
150.