余兴超
- 作品数：9 被引量：6H指数：2
- 供职机构：桂林电子科技大学计算机科学与工程学院更多>>
- 发文基金：广西壮族自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于时间博弈自动机的道岔自动控制系统被引量：1
- 2012年
- 为提高道岔自动控制系统的运行效率,引入时间博弈自动机理论,建立列车、控制器、道岔和故障检测器的时间博弈自动机网络模型,使用TCTL公式描述获胜条件,应用策略综合工具Uppaal-Tiga输出获胜策略并生成控制代码。仿真结果表明,该控制策略可以有效提高列车的行车效率。
- 余兴超董荣胜孙栋栋邵梅
- 关键词：控制策略完全信息博弈软件密集型系统
- 基于势博弈的多路径网络编码研究
- 2012年
- 介绍反向共乘的网络编码形式,基于博弈理论提出用于多路径网络编码通信分割的势博弈模型。分析一种8个节点的网络拓扑,以网络传输总成本作为优化目标设计势函数,使用博弈中的BNN动态作为激励结构调整流在不同路径上的通信分割,使网络系统收敛于Wardrop均衡,即最低成本状态。仿真结果表明,该模型使用BNN动态能够有效调整流的通信分割,从而最小化网络传输总成本。
- 邵梅董荣胜孙栋栋余兴超
- 关键词：网络编码单播纳什均衡
- 基于时间扩展的ASEHA建模与验证
- 2011年
- 为了有效地分析实时系统,在原计算模型的基础上,引入了时钟变量,在迁移上增加了时钟约束,扩展了异步扩展层次自动机的语义。运用基于时间扩展的ASEHA,分析了ATM系统,建立了用户和ATM的模型,并使用模型检测工具UPPAAL对模型进行验证,从无死锁、活性及可达性性质出发,验证了ATM系统的安全性。实验表明,提出的基于时间扩展的ASEHA能够降低系统分析的复杂性,有助于实时系统的建模与验证。
- 王雪红董荣胜余兴超
- 关键词：实时系统UPPAAL
- 基于UPPAAL的简单网络支付协议形式化验证
- 简单网络支付协议是为不信任的双方实现安全支付交易而设计的电子商务协议。本文分析了协议中不同银行间的交易行为和各主体的超时约束,建立了消费者、商家、银行和超时计时器的时间自动机模型,借助模型检测工具UPPAAL验证了该协议...
- 余兴超马争先王玉斌董荣胜
- 关键词：电子商务协议时间自动机UPPAAL原子性
- 文献传递
- 无线传感器网络LEACH路由协议的簇头多跳算法被引量：2
- 2010年
- 针对无线传感器网络LEACH路由协议簇头分布不均匀、网络拓扑和能量消耗不均衡的问题,提出基于DCHS簇头选择策略的无线传感器网络LEACH路由协议的簇头多跳算法LEACH-MUL。该算法在非簇头节点中选择一个节点作为通信簇头节点,其它簇头节点进行融合后的数据发送到该簇头节点并进行数据再次融合,最后通信簇头节点将数据融合后的结果数据发送到基站BS。LEACH-MUL算法能够有效地均衡节点能耗,提高能量利用率,延长网络寿命。
- 韦小铃王玉斌余兴超董荣胜
- 关键词：无线网络传感器路由簇头
- 时隙Aloha网络中基于演化博弈论的接入控制研究被引量：2
- 2012年
- 考虑到时隙Aloha网络中的非合作系统行为,并针对该网络中存在的不稳定区域及带宽受限问题,建立基于演化博弈论的时隙Aloha网络接入控制模型,并在该模型的基础上提出ABEGT协议。ABEGT协议在考虑用户有限理性的前提下,既保证了系统稳定性,也提高了网络的吞吐量。同时证明了时隙Aloha网络的接入控制中存在演化稳定策略。最后使用MATLAB仿真,结果表明ABEGT协议不仅减少了用户的冲突,而且提高了网络资源的利用率和网络整体的稳定性。
- 孙栋栋董荣胜余兴超邵梅
- 关键词：时隙ALOHA演化博弈论演化稳定策略接入控制
- 基于UPPAAL的简单网络支付协议形式化验证
- 本文分析了简单支付协议中不同银行间的交易行为和各主体的超时约束，建立消费者、商家、银行和超时计时器的时间自动机模型，并用UPPAAL工具验证其是否满足商品原子性。新模型在原模型的基础上，增加了超时计时器进程来负责接收来自...
- 余兴超马争先王玉斌董荣胜
- 关键词：时间自动机电子商务协议UPPAAL原子性
- 基于UPPAAL的简单网络支付协议形式化验证被引量：1
- 2010年
- 分析简单支付协议中不同银行间的交易行为和各主体的超时约束,建立消费者、商家、银行和超时计时器的时间自动机模型,并用UPPAAL工具验证其是否满足商品原子性。新模型在原模型的基础上,增加了超时计时器进程来负责接收来自其它进程的超时信息,在各主体的计时器触发超时之后,计时器将发送超时信息,再通过外部的仲裁程序来解决纠纷。新模型能够满足货币原子性和商品原子性,并且比原模型更加符合协议运行的实际环境。
- 余兴超马争先王玉斌董荣胜
- 关键词：时间自动机电子商务协议UPPAAL原子性
- 无线传感器网络LEACH路由协议的簇头多跳算法
- 本文针对无线传感器网络LEACH路由协议簇头分布不均匀、网络拓扑和能量消耗不均衡的问题，提出基于DCHS簇头选择策略的无线传感器网络LEACH路由协议的簇头多跳算法LEACH-MUL。该算法在非簇头节点中选择一个节点作为...
- 韦小铃王玉斌余兴超董荣胜
- 关键词：无线网络传感器路由簇头
