- 1
- 2
- 3
- 4
- 5
基于时间自动机的物联网组合服务建模
资料介绍
在时间自动机理论的基础上, 提出一种物联网组合服务建模的方法, 来对系统的部分约定属性进行建模、验证和分析.把物联网原子服务作为研究的对象, 对时间自动机模型进行扩展, 并将其应用于物联网原子服务和组合服务的分层建模中.在分析不同层所对应实体的部分特定属性之后, 通过工具UPPAAL建立模型并对该模型进行验证和分析.利用提出的方法对智能室温自控系统进行建模并验证, 通过实验验证了该方法的可行性.
部分文件列表
| 文件名 | 大小 |
| 基于时间自动机的物联网组合服务建模.pdf | 5M |
相关下载
- 用于FC机器扩展内存的JED烧录文件
- BQ28Z610技术手册
- GBT 38331-2019 锂离子电池生产设备通用技术...
- GBT 19867.4-2008 激光焊接工艺规程
- 电子工程师基础入门 电子基础知识 硬件入门基...
- 基于STM32单片机的ThreadX GUIX教程_GUIX Stu...
- 基于STM32单片机的ThreadX GUIX教程_GUIX Stu...
- 基于STM32单片机的ThreadX GUIX教程_GUIX Stu...
- 基于STM32单片机的ThreadX GUIX教程_GUIX Stu...
- 基于STM32单片机的ThreadX GUIX教程__GUIX炫...
最新上传
- 打赏
- 30日榜单
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic下载 打赏310.00元 3天前
用户：w178191520
-
21ic下载 打赏310.00元 3天前
用户：小猫做电路
-
21ic下载 打赏310.00元 3天前
用户：gsy幸运
-
21ic下载 打赏210.00元 3天前
用户：zhengdai
-
21ic下载 打赏210.00元 3天前
用户：jh0355
-
21ic下载 打赏210.00元 3天前
用户：jh03551
-
21ic下载 打赏210.00元 3天前
用户：xzxbybd
-
21ic下载 打赏70.00元 3天前
用户：铁蛋锅
-
21ic下载 打赏60.00元 3天前
用户：sun2152
-
21ic下载 打赏60.00元 3天前
用户：xuzhen1
-
21ic下载 打赏60.00元 3天前
用户：liqiang9090
-
21ic下载 打赏20.00元 3天前
用户：w1966891335
-
21ic下载 打赏30.00元 3天前
用户：玉落彼岸
-
21ic下载 打赏15.00元 3天前
用户：x15580286248
-
21ic下载 打赏15.00元 3天前
用户：kk1957135547
-
21ic下载 打赏15.00元 3天前
用户：w993263495
-
21ic下载 打赏30.00元 3天前
用户：SkyEagle88
-
21ic下载 打赏25.00元 3天前
用户：hp860629
-
21ic下载 打赏5.00元 3天前
用户：dong2223333
-
21ic下载 打赏10.00元 3天前
用户：dxb3320
-
21ic下载 打赏10.00元 3天前
用户：DXB193394
-
21ic下载 打赏10.00元 3天前
用户：westup
-
21ic小能手 打赏15.00元 3天前
-
21ic小能手 打赏20.00元 3天前
-
21ic小能手 打赏8.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
资料：高频功率放大器设计
-
21ic小能手 打赏5.00元 3天前
资料：基于PID的双轮平衡车
-
21ic小能手 打赏10.00元 3天前
-
21ic下载 打赏310.00元 3天前
用户：w178191520
-
21ic下载 打赏310.00元 3天前
用户：小猫做电路
-
21ic下载 打赏310.00元 3天前
用户：zhengdai
-
21ic下载 打赏220.00元 3天前
用户：gsy幸运
-
21ic下载 打赏220.00元 3天前
用户：jh0355
全部评论(0)