Proceedings of the 2017 International Conference on Smart Digital Environment最新文献

筛选
英文 中文
Discrete swallow swarm optimization algorithm for travelling salesman problem 旅行商问题的离散燕子群优化算法
Proceedings of the 2017 International Conference on Smart Digital Environment Pub Date : 2017-07-21 DOI: 10.1145/3128128.3128141
Safaa Bouzidi, M. E. Riffi
{"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}
引用次数: 18
Generic approach to knowledge management from databases 数据库知识管理的通用方法
Proceedings of the 2017 International Conference on Smart Digital Environment Pub Date : 2017-07-21 DOI: 10.1145/3128128.3128151
Jakjoud Widad, M. Bahaj
{"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}
引用次数: 0
An empirical comparison of the development history of cloudstack and eucalyptus 云栈与桉树发展历史的实证比较
Proceedings of the 2017 International Conference on Smart Digital Environment Pub Date : 2017-07-21 DOI: 10.1145/3128128.3128146
Ahmed Zerouali, T. Mens
{"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}
引用次数: 1
Using BECAMEDA method to specify and verify a smart home system 使用BECAMEDA方法对智能家居系统进行指定和验证
Proceedings of the 2017 International Conference on Smart Digital Environment Pub Date : 2017-07-21 DOI: 10.1145/3128128.3128135
Abdelhay Haqiq, B. Bounabat
{"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}
引用次数: 1
Design and performance measurement of a digital embedded system implementing a I/Q demodulator for AoA range-based localization in underwater environment 水下环境下基于AoA距离定位的I/Q解调数字嵌入式系统的设计与性能测量
Proceedings of the 2017 International Conference on Smart Digital Environment Pub Date : 2017-07-21 DOI: 10.1145/3128128.3128145
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}
引用次数: 1
Multi-path routing protocol in the smart digital environment 智能数字环境中的多路径路由协议
Proceedings of the 2017 International Conference on Smart Digital Environment Pub Date : 2017-07-21 DOI: 10.1145/3128128.3128131
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}
引用次数: 7
Information sharing in UAVs cooperative search based on calculating the minimum time 基于最小时间计算的无人机协同搜索信息共享
Proceedings of the 2017 International Conference on Smart Digital Environment Pub Date : 2017-07-21 DOI: 10.1145/3128128.3128154
H. Saadaoui, Faissal El Bouanani
{"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}
引用次数: 4
Comparison between GA and ACO for emergency coverage problem in a smart healthcare environment 智能医疗环境下遗传算法与蚁群算法在应急覆盖问题中的比较
Proceedings of the 2017 International Conference on Smart Digital Environment Pub Date : 2017-07-21 DOI: 10.1145/3128128.3128136
Meryam Benabdouallah, Chakib Bojji
{"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}
引用次数: 4
An analysis approach for distributed generation placement and sizing in power distribution system 一种配电系统中分布式发电的布局与规模分析方法
Proceedings of the 2017 International Conference on Smart Digital Environment Pub Date : 2017-07-21 DOI: 10.1145/3128128.3128147
Abderrahim Amar Mancour, T. Nasser
{"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}
引用次数: 1
Smart load-balancer for web applications 用于web应用程序的智能负载平衡器
Proceedings of the 2017 International Conference on Smart Digital Environment Pub Date : 2017-07-21 DOI: 10.1145/3128128.3128132
Gandhimathi Velusamy, R. Lent
{"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}
引用次数: 4
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信