浙江省自然科学基金(Y1090980)
- 作品数：2 被引量：3H指数：1
- 相关作者：徐伟强李文书刘良桂舒挺倪知丰更多>>
- 相关机构：浙江理工大学更多>>
- 发文基金：浙江省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 自适应EFSM可执行测试序列生成被引量：3
- 2012年
- 基于扩展有限状态机(EFSM)模型自动生成测试序列可以提高测试效率.由于EFSM模型包含丰富的变量和谓词条件,它们之间的冲突可能导致自动生成的测试序列不可执行.对EFSM变迁及变迁之间的关联关系进行了详细的讨论和分析,定义了一个邻接变迁关联图,提出了一种自适应EFSM可执行测试序列生成算法.新算法首先根据变量和谓词包含情况对变迁进行分类,然后深入挖掘了邻接变迁之间的关联关系,最后,基于自适应预测搜索函数启发式引导可达性分析树扩展生成可执行的测试序列.实验数据表明,与宽度优先可达性分析方法相比,新算法可以有效降低可达性分析过程中产生状态空间爆炸问题的概率,从而提高测试序列自动生成的效率.在最坏的情况下,新算法的计算时空复杂度也等同于宽度优先算法.
- 舒挺刘良桂徐伟强李文书
- 关键词：自适应搜索扩展有限状态机可达性分析
- 基于博弈论的多小区OFDMA系统资源分配
- 2010年
- 立足于限制条件下实现多小区OFDMA系统容量最大或总传输功率最小的优化问题,比较分析了近年来提出的多种基于博弈论的资源分配算法。分析了纳什均衡点存在和唯一的条件,通过引入定价机制或虚拟裁判机制,使得到的解收敛于纳什均衡点。最后,探讨了联合中继节点或MIMO技术的多小区OFDMA系统资源分配算法,该算法能有效提高频谱效率,将成为未来研究的热点。
- 倪知丰
- 关键词：OFDMA资源分配博弈论
