亚洲免费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在线免费| 国产国语一级免费黄片| 欧美老妇牲交videos| 99久久久精品免费观看国产| 国产精品原创av片国产日韩| 日本免费精品一区二区三区视频| 少妇久久久久久被弄高潮| 国产色a在线观看| 国产精品无码久久久久久蜜臀AV | 97精品久久久久中文字幕| 久久中文字幕av一区二区不卡| 亚洲国产色图在线视频| 国产日产韩国av在线| 又长又大又粗又硬3p免费视频| 亚洲两性视频一三区| 亚洲中文乱码在线视频| 中文字幕在线亚洲精品| 日日摸夜夜添狠狠添欧美| 亚洲国产日韩av一区二区| 漂亮人妻被强了完整版| 亚洲av综合久久九九| 国内精品久久久久久久亚洲| 丰满老熟女性生活视频| 亚洲综合色婷婷七月丁香| 国产久视频国内精品999| 日本视频一区二区三区三州| 国产精品理论片在线观看| 免费无码成人av在线播放不卡| 女人被躁到高潮嗷嗷叫| 手机在线免费av资源网| 精品少妇人妻av一区二区|