首页 > 最新文献

2020 5th International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications (CloudTech)最新文献

英文 中文
Survey of Deep Learning Neural Networks Implementation on FPGAs 基于fpga的深度学习神经网络实现综述
El Hadrami Cheikh Tourad, M. Eleuldj
Deep learning has recently indicated that FPGAs (Field-Programmable Gate Arrays) play a significant role in accelerating DLNNs (Deep Learning Neural Networks). The initial specification of DLNN is usually done using a high-level language such as python, followed by a manual transformation to HDL (Hardware Description Language) for synthesis using a vendor tool. This transformation is tedious and needs HDL expertise, which limits the relevance of FPGAs. This paper presents an updated survey of the existing frameworks for mapping DLNNs onto FPGAs, comparing their characteristics, architectural choices, and achieved performance. Besides, we provide a comprehensive evaluation of different tools and their effectiveness for mapping DLNNs onto FPGAs. Finally, we present the future works.
深度学习最近表明fpga(现场可编程门阵列)在加速DLNNs(深度学习神经网络)方面发挥着重要作用。DLNN的初始规范通常使用高级语言(如python)完成,然后使用供应商工具手动转换为HDL(硬件描述语言)进行合成。这种转换是繁琐的,需要HDL专业知识,这限制了fpga的相关性。本文介绍了将dlnn映射到fpga的现有框架的最新调查,比较了它们的特性,架构选择和实现的性能。此外,我们提供了一个全面的评估不同的工具和它们的有效性映射到fpga。最后,对今后的工作进行了展望。
{"title":"Survey of Deep Learning Neural Networks Implementation on FPGAs","authors":"El Hadrami Cheikh Tourad, M. Eleuldj","doi":"10.1109/CloudTech49835.2020.9365911","DOIUrl":"https://doi.org/10.1109/CloudTech49835.2020.9365911","url":null,"abstract":"Deep learning has recently indicated that FPGAs (Field-Programmable Gate Arrays) play a significant role in accelerating DLNNs (Deep Learning Neural Networks). The initial specification of DLNN is usually done using a high-level language such as python, followed by a manual transformation to HDL (Hardware Description Language) for synthesis using a vendor tool. This transformation is tedious and needs HDL expertise, which limits the relevance of FPGAs. This paper presents an updated survey of the existing frameworks for mapping DLNNs onto FPGAs, comparing their characteristics, architectural choices, and achieved performance. Besides, we provide a comprehensive evaluation of different tools and their effectiveness for mapping DLNNs onto FPGAs. Finally, we present the future works.","PeriodicalId":272860,"journal":{"name":"2020 5th International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications (CloudTech)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116266774","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Formal Modeling and Validation of Micro Smart Grids Based on ReDy Architecture 基于ReDy架构的微智能电网形式化建模与验证
K. Hafdi, Abderahman Kriouile
Several cities in the world are moving from traditional power grid to Smart Grids. In order to set up Smart Grids, we should be able to face many challenges related to reliability, scalability, dynamism, technological solutions, security, etc. In this paper, we propose a case study where we model a micro Smart Grid according to the ReDy architecture, which is intended for IoT applications. The ReDy architecture provides a base to implement a scalable, reliable, and dynamic IoT network ready to meet Smart Grid needs. In order to prove those requirements, we opted for formal modeling and validation approach using model checking techniques. This formal analysis is carried out using the CADP toolbox.
世界上有几个城市正在从传统电网转向智能电网。为了建立智能电网,我们应该能够面对与可靠性、可扩展性、动态性、技术解决方案、安全性等相关的许多挑战。在本文中,我们提出了一个案例研究,我们根据ReDy架构建模一个微型智能电网,该架构旨在用于物联网应用。ReDy架构为实现可扩展、可靠和动态的物联网网络提供了基础,以满足智能电网的需求。为了证明这些需求,我们选择了使用模型检查技术的形式化建模和验证方法。这种形式化分析是使用CADP工具箱进行的。
{"title":"Formal Modeling and Validation of Micro Smart Grids Based on ReDy Architecture","authors":"K. Hafdi, Abderahman Kriouile","doi":"10.1109/CloudTech49835.2020.9365923","DOIUrl":"https://doi.org/10.1109/CloudTech49835.2020.9365923","url":null,"abstract":"Several cities in the world are moving from traditional power grid to Smart Grids. In order to set up Smart Grids, we should be able to face many challenges related to reliability, scalability, dynamism, technological solutions, security, etc. In this paper, we propose a case study where we model a micro Smart Grid according to the ReDy architecture, which is intended for IoT applications. The ReDy architecture provides a base to implement a scalable, reliable, and dynamic IoT network ready to meet Smart Grid needs. In order to prove those requirements, we opted for formal modeling and validation approach using model checking techniques. This formal analysis is carried out using the CADP toolbox.","PeriodicalId":272860,"journal":{"name":"2020 5th International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications (CloudTech)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125082719","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Improvements of Centroid Localization Algorithm for Wireless Sensor Networks 无线传感器网络质心定位算法的改进
Abdelali Hadir, K. Zine-dine, M. Bakhouya
The accurate position of nodes in Wireless Sensor Networks (WSNs) is considered a critical problem in the majority of the Internet of Things (IoT) applications. Recently a large number of contribution in localization have been recommended to determine the location of nodes. However, a number determinated of these techniques have been presented to precisely determine the nodes locations in the IoT. In this work, we discuss the new three localization techniques, named Centroid + 4A, ICentroid, and ICentroid + 4A respectively, based on the Centroid localization technique and a new weighted formula to estimate the target nodes’ positions. The OMNeT++ network simulator was used to figure out and the performance of the discussed solutions in comparison with the Centroid localization technique. The examined results reveal that a significant improvement in the localization precision of the discussed contributions in Wireless Sensor Networks.
在大多数物联网(IoT)应用中,无线传感器网络(WSNs)中节点的准确位置被认为是一个关键问题。最近在定位方面有大量的贡献被推荐来确定节点的位置。然而,已经提出了许多确定的这些技术来精确确定物联网中的节点位置。本文在质心定位技术的基础上,讨论了新的三种定位技术,分别为质心+ 4A、ICentroid和ICentroid + 4A,并提出了新的加权公式来估计目标节点的位置。利用omnet++网络模拟器对所讨论的解决方案进行了计算,并与质心定位技术进行了性能比较。测试结果表明,所讨论的贡献在无线传感器网络中的定位精度显著提高。
{"title":"Improvements of Centroid Localization Algorithm for Wireless Sensor Networks","authors":"Abdelali Hadir, K. Zine-dine, M. Bakhouya","doi":"10.1109/CloudTech49835.2020.9365899","DOIUrl":"https://doi.org/10.1109/CloudTech49835.2020.9365899","url":null,"abstract":"The accurate position of nodes in Wireless Sensor Networks (WSNs) is considered a critical problem in the majority of the Internet of Things (IoT) applications. Recently a large number of contribution in localization have been recommended to determine the location of nodes. However, a number determinated of these techniques have been presented to precisely determine the nodes locations in the IoT. In this work, we discuss the new three localization techniques, named Centroid + 4A, ICentroid, and ICentroid + 4A respectively, based on the Centroid localization technique and a new weighted formula to estimate the target nodes’ positions. The OMNeT++ network simulator was used to figure out and the performance of the discussed solutions in comparison with the Centroid localization technique. The examined results reveal that a significant improvement in the localization precision of the discussed contributions in Wireless Sensor Networks.","PeriodicalId":272860,"journal":{"name":"2020 5th International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications (CloudTech)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126700963","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Machine learning and datamining methods for hybrid IoT intrusion detection 混合物联网入侵检测的机器学习和数据挖掘方法
A. E. Ghazi, Ait Moulay Rachid
By 2025 Internet of things will reach over 75 billion devices which would exceed number of humans about 8.1 billion. These devices need to be secured from many threats by implementing secure and interoperable solutions in order to guarantee a proper functioning of the infrastructures and systems using the IoT. This is why we proposed a hybrid intrusion detection system installed on the cloud powering another online and real time intrusion detection system on the fog to monitor the communication and detect attacks before it spreads over the network as in the case of Mirai botnet. We will provide details of the different algorithms used to implement this distributed system so as to detect attacks against IoT devices.
到2025年,物联网设备将超过750亿台,超过81亿人。这些设备需要通过实施安全和可互操作的解决方案来保护免受许多威胁,以保证使用物联网的基础设施和系统的正常运行。这就是为什么我们提出了一个安装在云上的混合入侵检测系统,为另一个在线实时入侵检测系统提供动力,以监控通信并在攻击通过网络传播之前检测攻击,就像Mirai僵尸网络一样。我们将提供用于实现该分布式系统的不同算法的详细信息,以便检测针对物联网设备的攻击。
{"title":"Machine learning and datamining methods for hybrid IoT intrusion detection","authors":"A. E. Ghazi, Ait Moulay Rachid","doi":"10.1109/CloudTech49835.2020.9365895","DOIUrl":"https://doi.org/10.1109/CloudTech49835.2020.9365895","url":null,"abstract":"By 2025 Internet of things will reach over 75 billion devices which would exceed number of humans about 8.1 billion. These devices need to be secured from many threats by implementing secure and interoperable solutions in order to guarantee a proper functioning of the infrastructures and systems using the IoT. This is why we proposed a hybrid intrusion detection system installed on the cloud powering another online and real time intrusion detection system on the fog to monitor the communication and detect attacks before it spreads over the network as in the case of Mirai botnet. We will provide details of the different algorithms used to implement this distributed system so as to detect attacks against IoT devices.","PeriodicalId":272860,"journal":{"name":"2020 5th International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications (CloudTech)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128442559","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Open Phytotron: A New IoT Device for Home Gardening Open Phytotron:用于家庭园艺的新型物联网设备
Rachida Ait Abdelouahid, Olivier Debauche, S. Mahmoudi, A. Marzak, P. Manneback, F. Lebeau
Phytotrons are culture chambers used by re-searchers in which ambient parameters such as temperature, humidity, irrigation, electrical conductivity of the nutrient solution, pH, lighting and CO2 are finely controlled. In addition, these installations make it possible on the one hand to measure the impact of environmental changes, and on the other hand to optimize the growth of plants in artificial growing conditions. Thanks to the democratization of hardware, cloud computing and the new possibilities offered by the Internet of Things (IoT), it is now possible to build a personal phytotron at an affordable cost. In this article, we propose to use connected objects to develop a personal growth chamber in order to produce fresh vegetables in an urban context.
植物培育室是研究人员使用的培养室,其中的环境参数,如温度、湿度、灌溉、营养液的电导率、pH值、光照和二氧化碳都得到了很好的控制。此外,这些装置一方面可以测量环境变化的影响,另一方面可以在人工生长条件下优化植物的生长。由于硬件的民主化、云计算和物联网(IoT)提供的新可能性,现在可以以负担得起的成本建造个人植物加速器。在这篇文章中,我们建议使用连接的物体来开发一个个人生长室,以便在城市环境中生产新鲜蔬菜。
{"title":"Open Phytotron: A New IoT Device for Home Gardening","authors":"Rachida Ait Abdelouahid, Olivier Debauche, S. Mahmoudi, A. Marzak, P. Manneback, F. Lebeau","doi":"10.1109/CloudTech49835.2020.9365892","DOIUrl":"https://doi.org/10.1109/CloudTech49835.2020.9365892","url":null,"abstract":"Phytotrons are culture chambers used by re-searchers in which ambient parameters such as temperature, humidity, irrigation, electrical conductivity of the nutrient solution, pH, lighting and CO2 are finely controlled. In addition, these installations make it possible on the one hand to measure the impact of environmental changes, and on the other hand to optimize the growth of plants in artificial growing conditions. Thanks to the democratization of hardware, cloud computing and the new possibilities offered by the Internet of Things (IoT), it is now possible to build a personal phytotron at an affordable cost. In this article, we propose to use connected objects to develop a personal growth chamber in order to produce fresh vegetables in an urban context.","PeriodicalId":272860,"journal":{"name":"2020 5th International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications (CloudTech)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121738238","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
期刊
2020 5th International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications (CloudTech)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1