推荐星级:
  • 1
  • 2
  • 3
  • 4
  • 5

基于时间自动机的物联网组合服务建模

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

资料介绍

在时间自动机理论的基础上, 提出一种物联网组合服务建模的方法, 来对系统的部分约定属性进行建模、验证和分析.把物联网原子服务作为研究的对象, 对时间自动机模型进行扩展, 并将其应用于物联网原子服务和组合服务的分层建模中.在分析不同层所对应实体的部分特定属性之后, 通过工具UPPAAL建立模型并对该模型进行验证和分析.利用提出的方法对智能室温自控系统进行建模并验证, 通过实验验证了该方法的可行性.

部分文件列表

文件名 大小
基于时间自动机的物联网组合服务建模.pdf 5M

部分页面预览

(完整内容请下载后查看)
万方数据  
万方数据  
万方数据  

全部评论(0)

暂无评论

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

  • 打赏
  • 30日榜单

推荐下载