全文获取类型
收费全文 | 1332篇 |
免费 | 91篇 |
国内免费 | 63篇 |
专业分类
电工技术 | 47篇 |
综合类 | 76篇 |
化学工业 | 14篇 |
金属工艺 | 2篇 |
机械仪表 | 21篇 |
建筑科学 | 5篇 |
能源动力 | 9篇 |
轻工业 | 13篇 |
水利工程 | 4篇 |
石油天然气 | 4篇 |
武器工业 | 7篇 |
无线电 | 387篇 |
一般工业技术 | 28篇 |
冶金工业 | 17篇 |
原子能技术 | 1篇 |
自动化技术 | 851篇 |
出版年
2024年 | 1篇 |
2023年 | 6篇 |
2022年 | 14篇 |
2021年 | 22篇 |
2020年 | 12篇 |
2019年 | 15篇 |
2018年 | 10篇 |
2017年 | 28篇 |
2016年 | 16篇 |
2015年 | 31篇 |
2014年 | 56篇 |
2013年 | 72篇 |
2012年 | 62篇 |
2011年 | 84篇 |
2010年 | 50篇 |
2009年 | 65篇 |
2008年 | 107篇 |
2007年 | 97篇 |
2006年 | 124篇 |
2005年 | 97篇 |
2004年 | 70篇 |
2003年 | 78篇 |
2002年 | 59篇 |
2001年 | 47篇 |
2000年 | 35篇 |
1999年 | 30篇 |
1998年 | 34篇 |
1997年 | 19篇 |
1996年 | 27篇 |
1995年 | 16篇 |
1994年 | 8篇 |
1993年 | 11篇 |
1992年 | 8篇 |
1991年 | 9篇 |
1990年 | 5篇 |
1989年 | 4篇 |
1988年 | 7篇 |
1987年 | 4篇 |
1986年 | 4篇 |
1985年 | 6篇 |
1984年 | 14篇 |
1983年 | 12篇 |
1982年 | 9篇 |
1964年 | 1篇 |
排序方式: 共有1486条查询结果,搜索用时 15 毫秒
51.
针对微观移动协议现有切换机制存在的问题,提出了基于预测的平滑切换机制,该机制利用移动预测技术,在切换发生前预测移动主机将要切换的下一蜂窝以及切换的时刻,为移动主机预先建立新路径;为了保证基于预测的平滑切换机制的实现,提出了一个易于实现的简单移动预测算法--SMPA算法;通过理论分析和系统仿真的方法对基于预测的平滑切换机制进行了性能评价,结果表明该切换机制以相对较小的代价获得了可观的性能改善. 相似文献
52.
主要论述了在相关音频系统中,利用音频媒体矩阵处理器进行实时备份时有关的编程方式和技巧,同时表述了作者对如何利用该实时备份系统提高系统安全性的一些观点和建议。 相似文献
53.
研究在安全协议仅使用数据完整性算法时,形式化分析方法中形式化攻击者能力描述的计算可靠性,首先假设计算性攻击者的能力超过形式化攻击者的能力,然后构造攻击实验,进而论证攻击实验中计算攻击者的输出与签名算法或密钥杂凑函数的安全定义相矛盾。因此得出计算性攻击者所能生成的消息均属于形式化攻击者所能生成的消息闭集这一结论,基于该结论,可以构建或者改进形式化分析系统,使其具有计算可靠性。 相似文献
54.
55.
无线移动自组织网路由协议综述 总被引:4,自引:0,他引:4
本文首先简单介绍了Adhoc网的概貌,然后全面介绍了Adhoc网的路由协议。包括平面路由协议和分层路由协议,先验式和反应式路由协议以及GPs辅助型路由协议。 相似文献
56.
The paper pursues two main goals. First, an attempt is made to specify and verify protocols in a completely rigorous manner using the formalisms of temporal logic and algebraic specification. Second––and even more important––the protocol specifications are not presented as monolithic pieces of text, but rather are developed in a stepwise process, evolving from simple genotypes into the final complex products. This is illustrated with selected fragments of the TCP/IP protocol. 相似文献
57.
We study the reachability problem for cryptographic protocols represented as processes relying on perfect cryptographic functions. We introduce a symbolic reduction system that can handle hashing functions, symmetric keys, and public keys. Desirable properties such as secrecy or authenticity are specified by inserting logical assertions in the processes.We show that the symbolic reduction system provides a flexible decision procedure for finite processes and a reference for sound implementations. The symbolic reduction system can be regarded as a variant of syntactic unification which is compatible with certain set-membership constraints. For a significant fragment of our formalism, we argue that a dag implementation of the symbolic reduction system leads to an algorithm running in nptime thus matching the lower bound of the problem.In the case of iterated or finite control processes, we show that the problem is undecidable in general and in ptime for a subclass of iterated processes that do not rely on pairing. Our technique is based on rational transductions of regular languages and it applies to a class of processes containing the ping-pong protocols studied in 1982 by Dolev, Even and Karp. 相似文献
58.
59.
60.
为了从实现的角度解决网络协议相似性和多样性的矛盾,以及不同协议不同实现方法对系统资源的消耗和协议管理维护的复杂性问题,文中在分析了基于OSI协议实现的基本问题的基础上,提出用面向对象方法和虚拟概念解决通用性难题,并且提出了基于协议引擎的协议实现方法,分析了它的结构特点和应用时的几点考虑,认为效率是主要评价因素,文中还给出了Java环境上应用协议引擎网络管理模块和网关路由器的实现方案。 相似文献