2018 15th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT)最新文献

Performance Analysis of Switched Reluctance Motor for 24/7 Working Environment 24/7工作环境下开关磁阻电机性能分析

2018 15th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT) Pub Date : 2018-10-01 DOI: 10.1109/HONET.2018.8551324

Omer Sajid

引用次数: 3

Neuron Simulation; Simulating Neuron through Agent Based Modeling 神经元的模拟;基于Agent建模的神经元仿真

2018 15th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT) Pub Date : 2018-10-01 DOI: 10.1109/HONET.2018.8551338

Sadaf Nadeem, Tuba Riasat, Javaria Abid, R. Osama

{"title":"Neuron Simulation; Simulating Neuron through Agent Based Modeling","authors":"Sadaf Nadeem, Tuba Riasat, Javaria Abid, R. Osama","doi":"10.1109/HONET.2018.8551338","DOIUrl":"https://doi.org/10.1109/HONET.2018.8551338","url":null,"abstract":"In this era of technology, as technology is making progress day by day, Information and Communication Technologies (ICTs) is playing a vital role in improving healthcare by providing new and efficient solutions as people are trying to solve complex problems with simplified and human friendly frameworks. One of the most complex creations of God in which science is always interested is the complex structure and working of brain which is the control unit of the whole body. Scientists have done a lot of work in describing the working and different behaviors of the brain by doing physical experiments but now the directions of their aims are diverting to the third branch of science i.e. simulating the brain. The aim of our research like other neuro-researchers is to model and simulate the brain from a different point of view to understand its behavior. Our work will contribute to give a new dimension to simulate the building blocks of brain system i.e. neurons and their interaction with each other with respect to its constituents to develop more understanding in a natural manner.","PeriodicalId":161800,"journal":{"name":"2018 15th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115840972","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

Surface Water Pollution Detection using Internet of Things 利用物联网技术检测地表水污染

2018 15th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT) Pub Date : 2018-10-01 DOI: 10.1109/HONET.2018.8551341

Uferah Shafi, R. Mumtaz, Hirra Anwar, A. M. Qamar, Hamza Khurshid

{"title":"Surface Water Pollution Detection using Internet of Things","authors":"Uferah Shafi, R. Mumtaz, Hirra Anwar, A. M. Qamar, Hamza Khurshid","doi":"10.1109/HONET.2018.8551341","DOIUrl":"https://doi.org/10.1109/HONET.2018.8551341","url":null,"abstract":"Water is one of the primary requisites and crucial for sustaining the quality of life. In Pakistan its significance is more than ordinary due to the agrarian nature of the economy. Owing to increasing trend in urbanization and industrialization, the quality of water is continuously declining. For this purpose, we propose an Internet of Things (IoT) based water quality system capable of measuring the quality of water in near real time. The proposed solution is based on World Health Organization (WHO) defined water quality metrics. For this purpose, a real time embedded prototype has been developed to record the water quality parameters from the water samples collected from various sources across the study area. The hardware solution sends data to cloud for real time storage and processing. The processed data can be remotely monitored and water flow can be controlled using our developed software solution comprising of mobile app and a dashboard. In addition to water quality monitoring and control system, the predictive analysis of the collected data has been performed. For training purposes a dataset has been obtained from Pakistan Council of Research in Water Resources (PCRWR). Machine learning algorithms have been applied for classification of water quality and the experimental results indicate that deep neural network outperforms all other algorithms with an accuracy of 93%. The preliminary results have shown a high potential of scaling up this concept to an advanced level.","PeriodicalId":161800,"journal":{"name":"2018 15th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT)","volume":"79 10","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132535644","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}

引用次数: 42

Real time and Efficient Unicast Routing Protocols for Vehicular Ad Hoc Network: A Survey and Recommendations for efficiency enhancement 车载自组织网络的实时高效单播路由协议:综述及提高效率的建议

2018 15th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT) Pub Date : 2018-10-01 DOI: 10.1109/HONET.2018.8551330

A. Khan

引用次数: 4

Automatic Formal Verification of Digital Components of IoTs Using CBMC 使用CBMC的物联网数字组件的自动形式化验证

2018 15th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT) Pub Date : 2018-10-01 DOI: 10.1109/HONET.2018.8551480

Qurat-ul-Ain, O. Hasan, K. Saghar

{"title":"Automatic Formal Verification of Digital Components of IoTs Using CBMC","authors":"Qurat-ul-Ain, O. Hasan, K. Saghar","doi":"10.1109/HONET.2018.8551480","DOIUrl":"https://doi.org/10.1109/HONET.2018.8551480","url":null,"abstract":"These days, internet of things (IoT) are being widely used in many safety-critical domains, like healthcare and transportation. Thus, their functional correctness is very important. However, simulation based analysis is based on sampling methods and thus their results are not complete and cannot be termed as accurate. Formal verification has been recently proposed to verify the digital components of IoT devices and thus overcome the incompleteness issues of simulation. However, formal verification process requires manual development of a formal model of the given circuit and its desired properties. Moreover, the verification of the relationship between the formally specified model and its properties sometimes also requires manual interventions. These manual efforts can be quite cumbersome while verifying large systems and thus make formal verification of IoT devices somewhat infeasible for industrial usage. To overcome these limitations, we present a tool chain to automatically formally verify digital components of IoT devices, which are usually expressed in the Verilog language. The proposed methodology primarily leverages upon the strong verification support for the C language. The idea is to convert the given Verilog code and its properties to C language and use bounded model checking to verify the obtained C code. The formally verified C code is then converted back to Verilog to facilitate circuit design steps i.e., synthesis, timing analysis etc., and thus continue with the regular digital system design flow. For illustration, we present the verification of several widely used components of IoT devices, including an ALU and a 64-bit processor, which are fairly complex and to the best of our knowledge have never been formally verified automatically before.","PeriodicalId":161800,"journal":{"name":"2018 15th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132044728","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

Small Cell-based Ambulance Scenario for Medical Video Streaming: A 5G-health use case 基于小蜂窝的医疗视频流救护场景:5g健康用例

2018 15th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT) Pub Date : 2018-10-01 DOI: 10.1109/HONET.2018.8551336

I. Rehman, Moustafa M. Nasralla, Ajaz Ali, N. Philip

{"title":"Small Cell-based Ambulance Scenario for Medical Video Streaming: A 5G-health use case","authors":"I. Rehman, Moustafa M. Nasralla, Ajaz Ali, N. Philip","doi":"10.1109/HONET.2018.8551336","DOIUrl":"https://doi.org/10.1109/HONET.2018.8551336","url":null,"abstract":"It is believed that small cells will play a significant role in future networks (e.g., 5G) to meet the high user requirements in traffic volume, frequency efficiency, and energy and cost reduction. The small cell network is a new paradigm for the successful deployment of mobile healthcare (m-health) applications. It can enhance the medical Quality of Service (m-QoS) and medical Quality of Experience (m-QoE) for indoor, outdoor, and vehicular m-health end-users (e.g., patients and healthcare professionals). The three major contributions of the paper are: 1) the investigation of the impact of small cell heterogeneous networks for medical video streaming as an example of m-health application in the uplink direction. 2) introducing an important m-health use case (i.e., an ambulance scenario) along with its system model and technical requirements, and 3) the provision of a network performance analysis for medical video sequences affected by packet losses and different networks as a benchmark to enable researchers to test their medical video quality evaluation algorithms. The results of our proposed scenario show through simulation that the m-QoS key performance indicators (e.g., packet loss, throughput, and delay) in a mobile small cell-based ambulance scenario outperform the traditional macrocell network scenario. Hence, improving the network performance of the paramedic staff inside the ambulance can facilitate in robust delivery of emergency m-health services, such as real-time remote consultations and diagnosis.","PeriodicalId":161800,"journal":{"name":"2018 15th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131902676","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}

引用次数: 22

Congestion-Aware Routing Algorithm Based on Traffic Priority in Wireless Sensor Networks 基于流量优先级的无线传感器网络感知拥塞路由算法

2018 15th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT) Pub Date : 2018-10-01 DOI: 10.1109/HONET.2018.8551337

Muhammad Uzair Ghazi, Syed Shahbaz Haider Naqvi, Kamran Yamin, Osama Humayun

{"title":"Congestion-Aware Routing Algorithm Based on Traffic Priority in Wireless Sensor Networks","authors":"Muhammad Uzair Ghazi, Syed Shahbaz Haider Naqvi, Kamran Yamin, Osama Humayun","doi":"10.1109/HONET.2018.8551337","DOIUrl":"https://doi.org/10.1109/HONET.2018.8551337","url":null,"abstract":"A Wireless Sensor Network (WSN) is a network that uses sensors to monitor environmental or physical conditions on different distributed devices. In many applications of wireless sensor network, due to the high volume of traffic, probability of congestion and packet loss increases. Congestion in sensor networks has a direct effect on energy efficiency and quality of service applications. Congestion may cause a buffer overflow, longer queuing time and higher packet loss. Packet loss not only reduces the reliability and quality of service application but also wastes energy. In this paper, a scheme for controlling congestion in wireless sensor network is proposed. The aim of the proposed method is to reduce congestion by considering the priority of data. In the proposed algorithm, according to the data priority, the packets will be classified. According to type of packet, traffic is redirected to control congestion in the network. Finally, the proposed algorithm is simulated and the result shows that the proposed algorithm improves the number of packet loss, energy consumption and average buffer size rather than the similar algorithm.","PeriodicalId":161800,"journal":{"name":"2018 15th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128048259","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}

引用次数: 2

Two Dimensional Materials based Heterostructures for Photosensing Applications 基于二维材料的异质结构光敏应用

2018 15th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT) Pub Date : 2018-10-01 DOI: 10.1109/HONET.2018.8551327

M. Iqbal, Sana T Khan

引用次数: 1

Energy Efficient Localization in Wireless Sensor Networks Using Computational Intelligence 基于计算智能的无线传感器网络节能定位

2018 15th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT) Pub Date : 2018-10-01 DOI: 10.1109/HONET.2018.8551332

Junaid Akram, Dr.Zeeshan Najam, Haider Rizwi

引用次数: 9

Review of High Voltage DC/DC Modular Multilevel Converters 高压DC/DC模块多电平变换器综述

2018 15th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT) Pub Date : 2018-10-01 DOI: 10.1109/HONET.2018.8551473

Seema Mir Akbar, Ammar Hasan

{"title":"Review of High Voltage DC/DC Modular Multilevel Converters","authors":"Seema Mir Akbar, Ammar Hasan","doi":"10.1109/HONET.2018.8551473","DOIUrl":"https://doi.org/10.1109/HONET.2018.8551473","url":null,"abstract":"Smart grid has emerged as a solution to provide clean, reliable and efficient energy. Renewable energy resources, AC grid, load centers and distributed storage are the main components of a smart grid. High voltage DC (HVDC) transmission is emerging as an efficient system to connect these components to the smart grids as compared to high voltage AC (HVAC) due to less cost of transmission lines and low losses. High voltage AC/DC, DC/AC and DC/DC converters are the main constituents of the HVDC system to interconnect with the power generating systems, AC grid and load centers. Modular multilevel converter (MMC) possess features such as modular structure, scalability, reliability, fault tolerance and high step up/down ratios, which makes it an important topology for HVDC. Extensive research has been carried out on MMCs which has resulted in innovative circuit configurations of converters, novel modulation techniques and efficient control algorithms. This paper presents a review of different configurations of high voltage DC/DC MMCs, its operation and features. It also discusses the modulation and control techniques designed for DC/DC MMCs.","PeriodicalId":161800,"journal":{"name":"2018 15th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT)","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126345278","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}

引用次数: 6