亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        Model Checking nRF24L01—based Internet of Things Systems

        2018-04-26 10:32:48JiaminWangMilinWangKaiZhengXinHuang
        科學(xué)與財富 2018年6期
        關(guān)鍵詞:關(guān)鍵

        Jiamin Wang Milin Wang Kai Zheng Xin Huang

        摘 要:PV energy system is concerned to solve pollution problems all over the world. Therefore, Internet of Things (IoT) is a monitoring network for PV system that based on the PV energy system to improve nRF24L01 system. This paper will analyze and improve the reliability of an nRF24L01 system by PRISM.

        關(guān)鍵詞:Internet of things (IoT); Model checking; Prism; Photovoltaic; nRF24L01; Raspberry Pi

        I. INTRODUCTION AND SYSTEM DESIGN

        Energy consumption problem becomes more concerned in various fields. In this paper, an nRF24L01 PV IoT system model is designed to analyze the reliability of the whole data-transmission system by PRISM.

        In TABLE 1, compared with other two involved papers [1][2], there are four points will be concerned in the experiment which are .improving reliability, and reducing calculation time, failure rate of one receiver, and the operation of sensor nodes and nRF24L01 wireless modules branches.

        The architecture is displayed in Figure 1. Therefore, in the structure, there are five layers, and the main component is sensor node module.

        Sensor node module: for the six different branches which contains different sensor nodes and nRF24L01 wireless module. Moreover, “l(fā)ambda_s” represents the failure rate of sensor nodes There is a sentence to check the reliability of the branches.

        [] s1=1 -> s1*lambda_s : (s1'=0)&(branch1'=0);

        Furthermore, there are two formulas which show the possible failure of system within 24 hours or 30 days.

        “P=? [ !down U<=24*3600 ]”

        “P=? [ !down U<=24*3600*30 ]”

        II.EVALUATION AND IMPLEMENTATION

        The graphs in Figure 2 show the impact of the nRF24L01 wireless models and sensors.

        The curves in Figure 2 demonstrate that the failure probability decreases with the increases of the components.

        III.CONCLUSION AND FUTURE WORK

        In this paper, it is tempting to conclude that the reliability of the system depends on the failure rate of the components, and the duration. In future, the branches which include the sensor nodes and nRF24L01 wireless modules can be independent. Additionally, when data is transmitted, the structure can choose one optimal branch, which will be referred in future module analysis.

        REFERENCES

        [1]S. Wu, K. Zheng, and X. Huang, “Model Checking PV System with Remote Reprogramming Function,” Xian Jiaotong-Liverpool University, China.

        [2]Y. Wang, X. Wu, K. Zheng, and X. Huang, ”Model Checking the Cloud-based IoT System with Reprogramming Function,” Department of Computer Science and Software Engineering Xian Jiaotong-Liverpool University, China.

        猜你喜歡
        關(guān)鍵
        Semiotics and how it applied in the media text of cosmetic advertisement
        青年生活(2020年4期)2020-03-03 12:21:45
        Research and Analysis on the Integration of Power Communication Technology and Information System
        Application and Research of Power Information Communication Technology in Smart Grid
        A Study on How to Enhancing English Learning through Students Musical Intelligence
        China
        The Impact of Economic Globalization on China
        Model Constructing for Analyzing the Energy Profile Evolution
        An authenticated key agreement protocol with unbalanced computing costs for resource—limited devices in IoT
        Analysis of the Impact of ICMP Flood Attack in IoT System
        Research on Depression through Data Mining
        无码福利写真片视频在线播放| 亚洲国产综合精品中文| 免费一级欧美大片久久网| 男女啦啦啦视频在线观看| 亚洲黄色精品在线播放| 亚洲av一区二区三区蜜桃| 日本精品女优一区二区三区| 最近中文字幕国语免费| 久久久精品人妻无码专区不卡| 性一交一乱一伦a片| 国产天堂网站麻豆| 国产精品麻豆A在线播放| 日本一区二区高清视频| 国产自拍精品一区在线观看| 国产精品自在线拍国产手机版| AV永久天堂网| 国产精品黑丝美女av| 无码少妇丰满熟妇一区二区| 欧美色欧美亚洲另类二区| 国产精品99久久免费| 久久人妻AV无码一区二区| 午夜精品人妻中字字幕| 亚洲av成人片色在线观看| 久久成人国产精品免费软件| 亚洲学生妹高清av| 狠狠综合亚洲综合亚色 | av中文字幕在线资源网| 乱伦一区二| 亚洲国产都市一区二区| 亚洲最大一区二区在线观看| 久久99亚洲精品久久久久| 亚洲永久无码7777kkk| 国产97色在线 | 免| 太大太粗太爽免费视频| 亚洲国产成人久久精品一区| 国产播放隔着超薄丝袜进入| 欧美交换配乱吟粗大25p| 久久aⅴ无码一区二区三区| 国产精品久久久久久久y| 国产极品大奶在线视频| 国产亚洲精品成人aa片新蒲金|