全文获取类型
收费全文 | 95篇 |
免费 | 8篇 |
国内免费 | 3篇 |
专业分类
综合类 | 25篇 |
无线电 | 3篇 |
自动化技术 | 78篇 |
出版年
2024年 | 1篇 |
2023年 | 2篇 |
2022年 | 4篇 |
2020年 | 1篇 |
2019年 | 1篇 |
2018年 | 2篇 |
2016年 | 4篇 |
2015年 | 3篇 |
2014年 | 3篇 |
2013年 | 5篇 |
2012年 | 5篇 |
2011年 | 8篇 |
2010年 | 4篇 |
2009年 | 5篇 |
2008年 | 8篇 |
2007年 | 9篇 |
2006年 | 5篇 |
2005年 | 12篇 |
2004年 | 5篇 |
2003年 | 5篇 |
2002年 | 4篇 |
2001年 | 4篇 |
2000年 | 2篇 |
1999年 | 1篇 |
1998年 | 1篇 |
1997年 | 1篇 |
1995年 | 1篇 |
排序方式: 共有106条查询结果,搜索用时 15 毫秒
1.
在Ad Hoc网络中,广播有着相当广泛的应用,其算法的效率极大地影响着网络的性能.本文基于DP算法提出了BN-DP算法,考虑了节点分布、计数器值以及收发节点间距离对广播算法的影响,赋予处于接收边缘的节点更高的转发概率.然后使用概率模型检测工具PRISM,分析了计数器值和节点分布对BN-DP算法性能的影响.结果表明:在相同可达率的情况下,所提出的BN-DP算法与FP、DP算法相比,减少了转发分组的数量,提高了广播效率. 相似文献
2.
开端协议(Open-ended Protocol)的分析是安全协议领域中一个待解决的重要问题,而IKE则是一个有代表性的具有"开端"结构的安全协议.本文基于串空间的Athena方法,针对IKEv2协议中的"开端"结构涉及的DH(Diffie-Hellman)问题,增加了群、散列函数等原语,给出并证明了一个新的消减规则;针对"开端"结构,引入了集合的数学概念,建立了新的消息类型,重新定义了串空间中的消息项、替换、入侵者模型,以及Athena相应的内在项、目标和目标绑定,给出了一个新的替代关系.应用扩展后的方法,分析了协议,发现一个新的认证性缺陷,给出了解决该缺陷的方法. 相似文献
3.
时序图是顶点之间的连通性随时间变化的图,大规模时序图的紧凑表示和高效操作是分析和处理时序图数据的基础.提出了一种基于决策图的时序图数据紧凑表示方法——kd-MDD.kd-MDD是对kd-tree的改进,该方法对时序图的邻接矩阵进行kd划分,通过引入多值决策图来合并相同子矩阵,即kd-tree图数据表示中存在的同构子树,存储结构更加紧凑.在kd-MDD紧凑表示基础上,提供了基于kd-MDD的时序图的基本操作(如顶点正向/反向邻居的检索、边是否处于活动状态的检查、边的添加和删除等).在真实的时序图数据集上(Flickr-growth, YouTube-growth, Wikipedia等)的实验结果表明,kd-MDD表示中的节点数仅为kd-tree表示中节点数的1.58%~4.65%,与ckd-tree和bckd-tree相比,其节点数为ck... 相似文献
4.
5.
6.
7.
概率合同签订协议的公平性具有典型的概率性质。概率模型检测是一种验证存在随机行为系统的分析技术。基于概率模型检测技术,在原协议的基础上建立了离散马尔可夫链和有限状态机模型,用概率模型检测工具——PRISM验证了它的公平性,发现其公平性不满足时,在此基础上对原协议从双方交换信息的策略上进行了扩充改进,使协议更为公平,满足了合同签订的基本要求。 相似文献
8.
Petri网作为一种可视化的规格语言,越来越多地用于实时系统的评估和分析。该文提出了一种基于Petri网的分布式实时系统模型,并对该模型中的局部调度器和消息调度器进行了描述。根据该模型可以开发相应的分布式实时调度模拟器,这样就可以在系统的开发初期,利用模拟器来验证在给定的局部调度策略和消息调度策略下,系统任务的时间约束是否能够得到有效的保障。同时该模型还可以很容易地转化为系统的快速原型。 相似文献
9.
以《中国计算机学科教学计划》为指导,结合《数据库系统概论》的教学实际,的数据库CAI系统,根据了《数据库系统概论》课程的基本内容和习题;提出了“数据库抽象,理论和设计相关模型”,介绍了《93教程》的有关内容,使用了基于SQL的大型数据库实验系统,提供了试题库管理软件,实现了《93教程》的基本要求。 相似文献
10.