教育部重点实验室开放基金(2011-02)
- 作品数:2 被引量:1H指数:1
- 相关作者:陈波欧阳浩黄镇谨李春贵刘智琦更多>>
- 相关机构:广西科技大学更多>>
- 发文基金:教育部重点实验室开放基金广西高校科学技术研究项目广西壮族自治区自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 负载流量碰撞检测算法在动态交通调度中的应用
- 2012年
- 随着复杂的环状路段,交叉路段、立交路段拥堵情况的不断增加,传统的交通拥堵调控策略为静态控制策略,调节的效率不高,容易出现调度冲突的问题;为了提高交通运行效率,提出一种用于解决动态交通调度的三级碰撞概率检测算法;根据交通流量的动态变化情况,通过计算流量时域内的动态流量偏差,计算三级路径之间可能存在的流量冲突概率;根据计算不同级之间的冲突概率反映动态交通拥堵的可能,确定控制的方案;实验表明,三级流量碰撞概率算法有效地降低了车辆平均延误时间,该算法有效。
- 刘智琦李春贵陈波
- 关键词:动态调度
- 基于时间策略的连续时间Markov过程验证被引量:1
- 2014年
- 对系统模型进行验证是保证系统安全的一个关键.连续时间Markov过程可以刻画复杂并发系统的随机、概率、不确定性特征.提出时间依赖策略下连续时间Markov过程验证方法,将连续时间Markov过程转换成为交互式马尔科夫链,给出模型的转换方法及不确定性选择策略的转换方法,最终通过求解交互式马尔科夫链的时间可达概率最值实现对连续时间Markov过程模型的验证.理论分析表明,提出的方法具有可行性.
- 黄镇谨陈波欧阳浩