广西壮族自治区自然科学基金(0991242)
- 作品数：16 被引量：17H指数：2
- 相关作者：董荣胜余兴超王玉斌马争先邵梅更多>>
- 相关机构：桂林电子科技大学钦州学院更多>>
- 发文基金：广西壮族自治区自然科学基金国家自然科学基金广西研究生教育创新计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于时间扩展的ASEHA建模与验证
- 2011年
- 为了有效地分析实时系统,在原计算模型的基础上,引入了时钟变量,在迁移上增加了时钟约束,扩展了异步扩展层次自动机的语义。运用基于时间扩展的ASEHA,分析了ATM系统,建立了用户和ATM的模型,并使用模型检测工具UPPAAL对模型进行验证,从无死锁、活性及可达性性质出发,验证了ATM系统的安全性。实验表明,提出的基于时间扩展的ASEHA能够降低系统分析的复杂性,有助于实时系统的建模与验证。
- 王雪红董荣胜余兴超
- 关键词：实时系统UPPAAL
- 无线自组网中节点协作的纳什均衡研究被引量：4
- 2010年
- 根据自私节点的特性,提出节点协作的博弈模型。针对单阶段博弈及采取礼尚往来策略、冷酷策略、单步触发策略的重复博弈,分析并比较实现节点协作的纳什均衡条件。结果表明,单阶段博弈中自私节点的纳什均衡类似于囚徒困境,重复博弈采用礼尚往来策略时,实现最佳纳什均衡的临界值最小,相比其他策略更易实现协作。
- 徐许亮董荣胜刘亮龙
- 关键词：无线自组网博弈论纳什均衡
- 无线传感器网络LEACH路由协议的簇头多跳算法被引量：2
- 2010年
- 针对无线传感器网络LEACH路由协议簇头分布不均匀、网络拓扑和能量消耗不均衡的问题,提出基于DCHS簇头选择策略的无线传感器网络LEACH路由协议的簇头多跳算法LEACH-MUL。该算法在非簇头节点中选择一个节点作为通信簇头节点,其它簇头节点进行融合后的数据发送到该簇头节点并进行数据再次融合,最后通信簇头节点将数据融合后的结果数据发送到基站BS。LEACH-MUL算法能够有效地均衡节点能耗,提高能量利用率,延长网络寿命。
- 韦小铃王玉斌余兴超董荣胜
- 关键词：无线网络传感器路由簇头
- 基于NS2软件验证随机早期检测算法RED的优越性被引量：1
- 2010年
- 在构造RED算法的网络拓扑模型和建立该模型的有限状态机的基础上,用目前主流的网络模拟软件NS2进行仿真,得到当前队列大小、平均队列大小和TCP数据源窗口大小的仿真图形,通过对仿真图形的比较和分析,说明RED算法的高效性和优越性。
- 孙栋栋王玉斌马争先张净
- 关键词：队列管理RED有限状态机NS2
- 基于OBDD分析随机加权网络的可靠性
- 2012年
- 为了获得满足用户需求的网络可靠性,需考虑网络组件的权值及用户的具体需求,因此,针对随机加权网络的可靠性进行了研究。结合随机加权网络的定义,构建了相应的形式化模型,并在该模型的基础上给出基于EED构建随机加权网络的OBDD结构算法,同时还给出基于OBDD计算网络可靠性的算法并对其复杂性进行了分析。实例计算与分析表明,提出的算法计算高效、精确性高,具备满足用户需求的网络可靠性。
- 刘会会董荣胜
- 关键词：网络可靠性有序二叉决策图
- 基于势博弈的多路径网络编码研究
- 2012年
- 介绍反向共乘的网络编码形式,基于博弈理论提出用于多路径网络编码通信分割的势博弈模型。分析一种8个节点的网络拓扑,以网络传输总成本作为优化目标设计势函数,使用博弈中的BNN动态作为激励结构调整流在不同路径上的通信分割,使网络系统收敛于Wardrop均衡,即最低成本状态。仿真结果表明,该模型使用BNN动态能够有效调整流的通信分割,从而最小化网络传输总成本。
- 邵梅董荣胜孙栋栋余兴超
- 关键词：网络编码单播纳什均衡
- 无线自组网中基于定价机制的节点协作性研究被引量：1
- 2009年
- 无线自组网中多跳路由的建立及分组的转发都要求节点相互协作。但自私节点为了节约资源会拒绝提供转发服务,这将会影响网络性能及网络服务的可靠性。基于源节点的通信需求和转发节点的转发成本提出了非合作博弈模型,模型引入定价机制激励节点协作,减少自私行为。与"Sprite"模型相比,非合作博弈模型弥补了节点剩余资金对其位置过于依赖的缺陷。仿真结果表明,模型能够有效激励节点协作,避免了网络边缘节点出现资金短缺,实现了网络的公平性。
- 徐许亮董荣胜刘亮龙刘建明
- 关键词：无线自组网非合作博弈
- 基于时间博弈自动机的道岔自动控制系统被引量：1
- 2012年
- 为提高道岔自动控制系统的运行效率,引入时间博弈自动机理论,建立列车、控制器、道岔和故障检测器的时间博弈自动机网络模型,使用TCTL公式描述获胜条件,应用策略综合工具Uppaal-Tiga输出获胜策略并生成控制代码。仿真结果表明,该控制策略可以有效提高列车的行车效率。
- 余兴超董荣胜孙栋栋邵梅
- 关键词：控制策略完全信息博弈软件密集型系统
- 基于UPPAAL的简单网络支付协议形式化验证
- 简单网络支付协议是为不信任的双方实现安全支付交易而设计的电子商务协议。本文分析了协议中不同银行间的交易行为和各主体的超时约束,建立了消费者、商家、银行和超时计时器的时间自动机模型,借助模型检测工具UPPAAL验证了该协议...
- 余兴超马争先王玉斌董荣胜
- 关键词：电子商务协议时间自动机UPPAAL原子性
- 文献传递
- 无线传感器网络LEACH路由协议的研究与改进
- 针对LEACH协议簇头分布不均匀、网络拓扑和能量消耗不均衡的问题,本文首先给出了LEACH协议的形式化定义以及LEACH协议的有限状态系统模型,并在分析LEACH的基础上提出了基于DCHS簇头选择策略的簇头多跳算法LEA...
- 韦小铃王玉斌余兴超董荣胜
- 关键词：无线传感器网络LEACH簇头NS2
- 文献传递
