为了在802.11的网络中提供服务质量(QoS)支持,IEEE 802.11 Task Group E提出了EDCF协议.然而EDCF只能提供业务区分服务,并不能提供服务质量(QoS)保证.为了能在重负载下提供QoS保证,在WLAN中加入呼叫接纳控制(CAC)机制是非常必要的.本文...为了在802.11的网络中提供服务质量(QoS)支持,IEEE 802.11 Task Group E提出了EDCF协议.然而EDCF只能提供业务区分服务,并不能提供服务质量(QoS)保证.为了能在重负载下提供QoS保证,在WLAN中加入呼叫接纳控制(CAC)机制是非常必要的.本文首先提出了一个新的3维Markov模型对非饱和状态下EDCF的吞吐量和平均接入时延进行了分析.并在此基础上,提出了一种基于效用函数的CAC策略,它可以使网络的总收益达到最大.最后通过大量仿真验证了所提出的CAC策略的有效性.展开更多
提出一种基于控制流的程序行为扩展模型EMPDA(extended model based on push down automaton).对控制流模型加入不变性约束扩展,该模型能够表达程序正常运行时所应保持的不变性质约束,增强了模型的监控能力;通过以实际应用区分系统调用...提出一种基于控制流的程序行为扩展模型EMPDA(extended model based on push down automaton).对控制流模型加入不变性约束扩展,该模型能够表达程序正常运行时所应保持的不变性质约束,增强了模型的监控能力;通过以实际应用区分系统调用重要性,将模型划分为核心模型和辅助模型,以降低模型整体消耗,提高模型学习效率.实验结果表明,该扩展模型较之原模型有更好的覆盖速度、误报率以及检测能力.展开更多
文摘为了在802.11的网络中提供服务质量(QoS)支持,IEEE 802.11 Task Group E提出了EDCF协议.然而EDCF只能提供业务区分服务,并不能提供服务质量(QoS)保证.为了能在重负载下提供QoS保证,在WLAN中加入呼叫接纳控制(CAC)机制是非常必要的.本文首先提出了一个新的3维Markov模型对非饱和状态下EDCF的吞吐量和平均接入时延进行了分析.并在此基础上,提出了一种基于效用函数的CAC策略,它可以使网络的总收益达到最大.最后通过大量仿真验证了所提出的CAC策略的有效性.
文摘提出一种基于控制流的程序行为扩展模型EMPDA(extended model based on push down automaton).对控制流模型加入不变性约束扩展,该模型能够表达程序正常运行时所应保持的不变性质约束,增强了模型的监控能力;通过以实际应用区分系统调用重要性,将模型划分为核心模型和辅助模型,以降低模型整体消耗,提高模型学习效率.实验结果表明,该扩展模型较之原模型有更好的覆盖速度、误报率以及检测能力.