1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 学术论文
  5. 大学论文

基于概率策略逻辑的VANET信息广播模型定量验证方法研究.pdfVIP

  • 4
  • 0
  • 约3.28万字
  • 约 6页
  • 2016-03-16 发布于湖北
  • 举报

基于概率策略逻辑的VANET信息广播模型定量验证方法研究.pdf

    第 期 电 子 学 报 ８ Ｖｏｌ．４３ Ｎｏ．８ 年 月 ２０１５ ８ ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ａｕｇ． ２０１５ 基于概率策略逻辑的ＶＡＮＥＴ信息 广播模型定量验证方法研究 李树秋，刘淑芬，王晓燕，徐伟峰，陆 闯 （吉林大学计算机科学与技术学院，吉林长春 １３００１２） 摘 要： 网络中信息的发送和接收具有随机性和不确定性， 广播协议无法适应 网 ＶＡＮＥＴ ＩＥＥＥ８０２１１ｐ

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >