搜索筛选:
搜索耗时0.0269秒,为你在为你在61,042,058篇论文里面共找到 7 篇相符的论文内容
发布年度:
[学位论文] 作者：余兴超,
来源：桂林电子科技大学 年份：2012
活性顺序图(Live Sequence Chart,LSC)是一种基于场景的形式规约语言，可以直观且精确地刻画系统构件间的交互行为，常用于反应式系统开发的需求分析。由于在多个场景描述间容易...
[期刊论文] 作者：王雪红,董荣胜,余兴超,
来源：桂林电子科技大学学报 年份：2011
为了有效地分析实时系统,在原计算模型的基础上,引入了时钟变量,在迁移上增加了时钟约束,扩展了异步扩展层次自动机的语义。运用基于时间扩展的ASEHA,分析了ATM系统,建立了用...
[会议论文] 作者：余兴超, 马争先, 王玉斌, 董荣胜,,
来源： 年份：2010
分析简单支付协议中不同银行间的交易行为和各主体的超时约束,建立消费者、商家、银行和超时计时器的时间自动机模型,并用UPPAAL工具验证其是否满足商品原子性。新模型在原模...
[期刊论文] 作者：余兴超,董荣胜,孙栋栋,邵梅,,
来源：计算机工程 年份：2012
为提高道岔自动控制系统的运行效率,引入时间博弈自动机理论,建立列车、控制器、道岔和故障检测器的时间博弈自动机网络模型,使用TCTL公式描述获胜条件,应用策略综合工具Uppa...
[期刊论文] 作者：邵梅,董荣胜,孙栋栋,余兴超,,
来源：计算机工程 年份：2012
介绍反向共乘的网络编码形式，基于博弈理论提出用于多路径网络编码通信分割的势博弈模型。分析一种8个节点的网络拓扑，以网络传输总成本作为优化目标设计势函数，使用博弈中的BNN......
[期刊论文] 作者：孙栋栋,董荣胜,余兴超,邵梅,,
来源：计算机应用研究 年份：2012
考虑到时隙Aloha网络中的非合作系统行为,并针对该网络中存在的不稳定区域及带宽受限问题,建立基于演化博弈论的时隙Aloha网络接入控制模型,并在该模型的基础上提出ABEGT协议。ABEGT协议在考虑用户有限理性的前提下,既保证了系统稳定性,也提高了网络的吞吐量。......
[期刊论文] 作者：韦小铃,王玉斌,余兴超,董荣胜,,
来源：广西科学院学报 年份：2010
针对无线传感器网络LEACH路由协议簇头分布不均匀、网络拓扑和能量消耗不均衡的问题,提出基于DCHS簇头选择策略的无线传感器网络LEACH路由协议的簇头多跳算法LEACH-MUL。该算...
相关搜索：
