排序方式: 共有3条查询结果,搜索用时 46 毫秒
1
1.
对IEEE802.11分布式协调功能(Distributed coordination function,DCF)的公平性进行了分析,指出了采用DCF方式进行接入控制时,因二进制指数退避算法的不合理而导致信道分配不公的问题.在结合二维马尔科夫链模型对系统进行分析的基础上,提出了一种基于检测网络负载的自适应退避算法LDBSB(Load detection based self-adapt backoff).理论分析及仿真实验表明,所提算法在网络吞吐量、时延和公平性等方面较二进制指数退避算法有明显的改善. 相似文献
2.
二维物体相交检验的线性四叉树方法 总被引:1,自引:0,他引:1
陈春玲 《南京航空航天大学学报》1997,29(3):342-346
在物体的平面布局问题中,判别两个物体是否相交是一个难点,以往的方法数据结构不统一,计算量大,算法复杂,本文首先讨论了二值图象的线性四叉树的表示及其有关术语和性质,然后在此基础上首次提出了二维物体相交检验的线性四叉树方法及其实现的算法,最后进行了算法的时空分析,与以往的方法相经,本文所提方法具有数据结构统一,算法简单,时空效率高等优点。 相似文献
3.
总结了利用模型检测工具SPIN对安全协议进行建模的方法.以Helsinki协议和Helsinki改进协议作为分析实例,用Promela语言建模并使用SPIN对模型进行行为模拟和属性校验.发现了Helsinki存在的Horng-Hsu攻击漏洞以及Helsinki改进协议存在的DoS攻击隐患.该方法具有较好的通用性,容易推广到有多个主体参与的安全协议的分析. 相似文献
1