亚洲免费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一区二区三区| 欧美日韩精品福利在线观看| 国产精品综合久久久久久久免费| 中文字幕亚洲精品高清| 亚洲高清在线天堂精品| 欧美成人在线视频| 久久青草伊人精品| 亚洲一区二区三区国产精品视频| 青青草在线免费观看视频| 亚洲色大成网站www永久| 中国少妇内射xxxx狠干| 久久精品人人爽人人爽| 亚洲成人中文| 午夜视频网址| 免费美女黄网站久久久| 亚洲av一二三四五区在线| 人妻丰满熟妇av无码区app| 极品少妇被猛的白浆直喷白浆| 久久免费的精品国产v∧| 在线成人tv天堂中文字幕| 亚洲av无一区二区三区综合| 亚洲av无码一区东京热| 久久无码av中文出轨人妻 | 国产三级av在线播放| 亚洲av精二区三区日韩| 成人欧美一区二区三区的电影| 甲状腺囊实性结节三级| 美国黄色av一区二区| 国产亚av手机在线观看| 国产麻豆精品久久一二三| 99热这里只有精品国产66| 亚洲av男人的天堂在线| 亚洲乱亚洲乱妇无码麻豆| 亚洲av无码成人yellow| 免费无码又爽又刺激又高潮的视频| 亚洲国产最新免费av| 免费a级毛片无码免费视频120软件 |