积分商城

最新搜索： TLE9879 FOC 逆变 EZCAD 24C04中文 IEPE
您现在的位置是：首页 > 技术资料 > 基于时空I_O混成自动机的物联网服务验证
推荐星级：
  • 1
  • 2
  • 3
  • 4
  • 5

基于时空I_O混成自动机的物联网服务验证

更新时间：2019-12-19 05:57:10 大小：1M 上传用户：xiaohei1810查看TA发布的资源 标签：物联网 下载积分：1分 评价赚积分 （如何评价?） 打赏 收藏 评论(0) 举报

资料介绍

物联网服务的建模和验证是物联网研究中的重要问题。文中对混成自动机进行了扩展，提出了具有位置驱动特点的时空I/O混成自动机。文中提出了基于时空I/O混成自动机的物联网服务建模与验证框架。在框架中，首先对物联网服务进行了描述，并使用时空I/O混成自动机对物联网服务进行建模。这些时空I/O混成自动机形成一个网络，刻画完整的物联网服务的通信并行过程。文中采用的形式化验证方法为微分动态逻辑(Differential Dynamic Logic, DL)，其操作模型为HP(Hybrid Program)。利用DL可以将所建模型转换为对应的HP。结合得到的HP对验证的物联网服务性质进行规约，最后使用定理证明器KeYmaera验证物联网服务的正确性。

部分文件列表

文件名 大小
基于时空I_O混成自动机的物联网服务验证.pdf 1M

【关注B站账户领20积分】

相关下载

全部评论(0)

暂无评论
评论赚积分>>

上传资源 上传优质资源有赏金

热门标签

更多>>

最新上传

  • 打赏
  • 30日榜单

  • zhengdai 打赏1000.00元   3天前

    资料：STM32IAP使用说明

  • gsy幸运 打赏955.00元   3天前

    资料：STM32IAP使用说明

  • 小猫做电路 打赏855.00元   3天前

    资料：STM32IAP使用说明

  • 21ic小能手 打赏310.00元   3天前

    用户：zhengdai

  • 21ic小能手 打赏320.00元   3天前

    用户：liqiang9090

  • 21ic小能手 打赏310.00元   3天前

    用户：gsy幸运

  • 21ic小能手 打赏270.00元   3天前

    用户：jh03551

  • 21ic小能手 打赏240.00元   3天前

    用户：小猫做电路

  • 21ic小能手 打赏210.00元   3天前

    用户：w178191520

  • 21ic小能手 打赏90.00元   3天前

    用户：kkfjenui

  • 21ic小能手 打赏60.00元   3天前

    用户：liao6

  • 21ic小能手 打赏60.00元   3天前

    用户：w1966891335

  • 21ic小能手 打赏90.00元   3天前

    用户：jh0355

  • 21ic小能手 打赏30.00元   3天前

    用户：xuzhen1

  • 21ic小能手 打赏30.00元   3天前

    用户：sun2152

  • 21ic小能手 打赏50.00元   3天前

    用户：xzxbybd

  • 21ic小能手 打赏50.00元   3天前

    用户：mulanhk

  • 21ic小能手 打赏20.00元   3天前

    用户：x15580286248

  • 21ic小能手 打赏15.00元   3天前

    用户：w993263495

  • 21ic小能手 打赏30.00元   3天前

    用户：玉落彼岸

  • 21ic小能手 打赏20.00元   3天前

    用户：铁蛋锅

热门下载

资料专题

推荐下载

本站上的所有资源均为源于网上收集或者由用户自行上传，仅供学习和研究使用，无任何商业目的，版权归原作如有侵权，请 来信指出，本站将立即改正。

ICP许可证号：京ICP证070360号     21IC电子网 2000- 版权所有

京ICP备11013301号

京公网安备 11010802024343号