{"title":"Discrete swallow swarm optimization algorithm for travelling salesman problem","authors":"Safaa Bouzidi, M. E. Riffi","doi":"10.1145/3128128.3128141","DOIUrl":"https://doi.org/10.1145/3128128.3128141","url":null,"abstract":"Swallow Swarm Optimization is a new metaheuristic of swarm intelligence based algorithm appeared by Neshat in 2013 in the continuous case. This optimization algorithm inspired by the intelligent behaviors of swallows. In This paper, we provide an adaptation of the swallow swarm optimization (SSO) to solve the famous traveling salesman problem (TSP), as one of the known combinatorial optimization problems. In order to test the performance of the algorithm described herein, we resolve a set of benchmark instances from TSPLIB library. The results obtained demonstrate that DSSO is performant than other metaheuristics methods.","PeriodicalId":362403,"journal":{"name":"Proceedings of the 2017 International Conference on Smart Digital Environment","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116818243","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}
{"title":"Generic approach to knowledge management from databases","authors":"Jakjoud Widad, M. Bahaj","doi":"10.1145/3128128.3128151","DOIUrl":"https://doi.org/10.1145/3128128.3128151","url":null,"abstract":"Digital intelligence1 relies, among other things, on the involvement of software agents in the interpretation and reasoning on the information. This requires the immersion of meaning in information storage systems. Software agents can qualitatively treat information only if they can understand it, which is possible due to the cooperation of the ontology as source of knowledge and the data sources as an informational heap. In this paper, we present an automatic approach that allows to create an ontology from a classical data source (Relational, Object Oriented or Semi-Structured), and to interrogate the ontology thus created without resorting to creating instances: To create the ontology, the approach is based basically on meta-model, model and transformation concepts. Indeed, the different stages are translated by the transformation of an input model for the generation of an output model, this generation is directed by meta-models that we proposed. We present also a system of querying ontology without having to populate it with instances from data source. This system provides an intermediate level of abstraction between the ontological model and the data source schemas, this level can generate partially and temporarily the data in XML format. The system also provides a SPARQL-XQUERY mapping which rewrites any SPARQL query at XQUERY query in order to be executed on the generated data.","PeriodicalId":362403,"journal":{"name":"Proceedings of the 2017 International Conference on Smart Digital Environment","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124858065","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}
{"title":"An empirical comparison of the development history of cloudstack and eucalyptus","authors":"Ahmed Zerouali, T. Mens","doi":"10.1145/3128128.3128146","DOIUrl":"https://doi.org/10.1145/3128128.3128146","url":null,"abstract":"Open source cloud computing solutions, such as CloudStack and Eucalyptus, have become increasingly popular in recent years. Despite this popularity, a better understanding of the factors influencing user adoption is still under active research. For example, increased project agility may lead to solutions that remain competitive in a rapidly evolving market, while keeping the software quality under control. Like any software system that is subject to frequent evolution, cloud computing solutions are subject to errors and quality problems, which may affect user experience and require frequent bug fixes. While prior comparisons of cloud platforms have focused most often on their provided services and functionalities, the current paper provides an empirical comparison of CloudStack and Eucalyptus, focusing on quality-related software development aspects. More specifically, we study the change history of the source code and its unit tests, as well as the history of bugs in the Jira issue tracker. We found that CloudStack has a high and more rapidly increasing test coverage than Eucalyptus. CloudStack contributors are more likely to participate in development and testing. We also observed differences between both projects pertaining to the bug life cycle and bug fixing time.","PeriodicalId":362403,"journal":{"name":"Proceedings of the 2017 International Conference on Smart Digital Environment","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122327610","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}
{"title":"Using BECAMEDA method to specify and verify a smart home system","authors":"Abdelhay Haqiq, B. Bounabat","doi":"10.1145/3128128.3128135","DOIUrl":"https://doi.org/10.1145/3128128.3128135","url":null,"abstract":"Designing a correct model for smart systems requires an accurate specification and verification prior to development. This paper proposes the use of BECAMEDA (Behavioral SpEcification and VerifiCAtion of RMAS based on E-MDRA) method, which helps the designer predicting the system behaviour, and verifying the relevant behaviour of the system properties. BECAMEDA method is based on Multi-Agent concept and formal method, and it proposes an iterative process consisted of four phases: identification, definition, modelling and verification, to help understanding the system starting from goals identification that captures the system needs, and ending with a formal verification of the system properties. The proposed method is illustrated with an example of a Smart Home System1.","PeriodicalId":362403,"journal":{"name":"Proceedings of the 2017 International Conference on Smart Digital Environment","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131387420","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}
Redouane Es-sadaoui, J. Khallaayoune, Tamara Brizard
{"title":"Design and performance measurement of a digital embedded system implementing a I/Q demodulator for AoA range-based localization in underwater environment","authors":"Redouane Es-sadaoui, J. Khallaayoune, Tamara Brizard","doi":"10.1145/3128128.3128145","DOIUrl":"https://doi.org/10.1145/3128128.3128145","url":null,"abstract":"Many embedded systems have been developed for terrestrial sensor localization, however, they are not applied directly to underwater sensor localization because of attenuation of GPS and RF signals underwater, making localization underwater particularly challenging. This paper presents the design, implementation and performance measurement of a digital embedded system, able to localize sensors underwater by measuring the angle of arrival of acoustic signals detected by means of a small array antenna that combines three matched hydrophones. A digital In-phase and Quadrature (I/Q) demodulator, implemented in a Digital Signal Processor (DSP) is proposed to measure the angle of arrival of pure tone narrow band acoustic signals sent by acoustic transmitters and received at the hydrophone array of acoustic receivers. Simulations and sea trials have been conducted successfully to evaluate the performances of the realized system.","PeriodicalId":362403,"journal":{"name":"Proceedings of the 2017 International Conference on Smart Digital Environment","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134600141","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}
C. Benjbara, A. Habbani, Fatna El Mahdi, Bilal Essaid
{"title":"Multi-path routing protocol in the smart digital environment","authors":"C. Benjbara, A. Habbani, Fatna El Mahdi, Bilal Essaid","doi":"10.1145/3128128.3128131","DOIUrl":"https://doi.org/10.1145/3128128.3128131","url":null,"abstract":"During the last decade, the smart digital environment has become one of the most scientific challenges that occupy scientists and researchers. This new environment consists basically of smart connected products including three main parts: the physical mechanical/electrical product, the smart part of the product made from embedded software and human machine interface, and finally the connectivity part including antennas and routing protocols insuring the wired/wireless communication with other products, from our side, we are involved in the implementation of the latter part by developing a routing protocol that will meet the increasingly demanding requirements of today's systems (security, bandwidth, network lifetime, ...). Based on the researches carried out in other fields of application such as MANETS, multi-path routing fulfills our expectations. In this article, the MPOLSR protocol was chosen as an example, comparing its standard version and its improvements in order to choose the best solution that can be applied in the smart digital environment.","PeriodicalId":362403,"journal":{"name":"Proceedings of the 2017 International Conference on Smart Digital Environment","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130893048","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}
{"title":"Information sharing in UAVs cooperative search based on calculating the minimum time","authors":"H. Saadaoui, Faissal El Bouanani","doi":"10.1145/3128128.3128154","DOIUrl":"https://doi.org/10.1145/3128128.3128154","url":null,"abstract":"This paper proposes an optimization strategy for sharing and merging information of target's existence in Unmanned Aerial Vehicles (UAVs) cooperative search. That main is to minimize the search time subject to both sensing and communication limitations. We derive limits for the required number of sensor observations considering false alarms and miss detections, to declare the existence or absence of a target. the search environment is partitioned into equal-size cells, where each cell is associated with a probability of target existence and the number of visits by the UAVs, wich constitutes a probability map (search map) and a visit map (certainty map). We present a decentralized control model for cooperative target-searching and we develop a real-time approach for direct cooperation between vehicles, which is based on calculating the minimum time required to reach a cell. Each UAV takes into account the possible actions of other UAVs to increase the overall information about the environment. The simulation results illustrate the effectiveness of the proposed strategy by comparing it with the free moving strategy and show that our proposed algorithm performs out it.","PeriodicalId":362403,"journal":{"name":"Proceedings of the 2017 International Conference on Smart Digital Environment","volume":"194 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124319247","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}
{"title":"Comparison between GA and ACO for emergency coverage problem in a smart healthcare environment","authors":"Meryam Benabdouallah, Chakib Bojji","doi":"10.1145/3128128.3128136","DOIUrl":"https://doi.org/10.1145/3128128.3128136","url":null,"abstract":"Healthcare management is widely used by researchers around the world to strengthen the hospital logistics and improve the patients' service. Adopting smart technologies in healthcare environment helps us to improve the quality of care and minimize the waiting time of patients during emergency interventions. Recently, communication technologies such as Internet Of Things, Cloud Computing and optimization algorithms are emerged. The objective of this paper is to compare solutions of the emergency coverage problem done by two approaches: Genetic Algorithm 'GA' & Ant Colony Optimization 'ACO'. The coverage model aims to minimize the total lateness of ambulances. Implementations using GA and ACO are based on random instances during the two periods of the day: day and night. An instance contains hospitals and fire stations where ambulances are located and the intervention sectors which are patients' locations. The solution has two parts; the minimal lateness (fitness) and the best distribution of the given ambulances in waiting sites (hospitals & fire stations). A comparative analysis between GA & ACO is shown. GA brings best solution.","PeriodicalId":362403,"journal":{"name":"Proceedings of the 2017 International Conference on Smart Digital Environment","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122183515","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}
{"title":"An analysis approach for distributed generation placement and sizing in power distribution system","authors":"Abderrahim Amar Mancour, T. Nasser","doi":"10.1145/3128128.3128147","DOIUrl":"https://doi.org/10.1145/3128128.3128147","url":null,"abstract":"This paper proposes a new analytical approach which investigates the effect of distributed generation (DG) in power distribution system. This approach for DG placement and sizing in power distribution system mainly helps to minimize the power loss of the system, to improve the voltage profile, then to reduce the thermal capacity of the main feeder and to better regulate the voltage. The proposed analytical approach is based on both Newton Raphson load flow and loss sensitivity factor. One type of DG is considered including DG supplying real power only. IEEE 33 bus, 5 bus and 14 bus Test systems are used for achieving results and validating the proposed method under Matlab/Simulink environment. The obtained simulation results show the effectiveness of the proposed methodology.","PeriodicalId":362403,"journal":{"name":"Proceedings of the 2017 International Conference on Smart Digital Environment","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121387845","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}
{"title":"Smart load-balancer for web applications","authors":"Gandhimathi Velusamy, R. Lent","doi":"10.1145/3128128.3128132","DOIUrl":"https://doi.org/10.1145/3128128.3128132","url":null,"abstract":"A resource distribution helps to improve the scalability and fault-tolerance of many types of information systems, and can offer the responsiveness needed by smart environments. When more than one information source is available, a load balancer distributes the user workload among the multiple sources. However, deciding the best server assignment for each user request is a difficult task when the system contains heterogeneous elements and operates in a dynamic environment. We develop an automata-based approach to the load balancing problem that continuously adjusts the selection rate of servers based on observed information retrieval performance. We evaluate different reinforcement methods to identify the most suitable one for this task, including the P-model Reward-Penalty-ε (RP-ε), and S-model Reward-Penalty-epsilon (SRP-ε). We develop a plug-in for Apache Traffic Server and use a testbed to evaluate the performance of these methods compared to common load-balancing approaches: random, round robin, least connection, and greedy selection.","PeriodicalId":362403,"journal":{"name":"Proceedings of the 2017 International Conference on Smart Digital Environment","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131649703","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}