Pub Date : 2020-06-18DOI: 10.22456/2175-2745.100968
A. R. D. Bois, R. Ribeiro, Maycon Amaro
Unification is the core of type inference algorithms for modern functional programming languages, like Haskell and SML. As a first step towards a formalization of a type inference algorithm for such programming languages, we present a formalization in Coq of a type unification algorithm that follows classic algorithms presented in programming language textbooks. We also report on the use of such formalization to build a correct type inference algorithm for the simply typed λ-calculus.
{"title":"A Mechanized Proof of a Textbook Type Unification Algorithm","authors":"A. R. D. Bois, R. Ribeiro, Maycon Amaro","doi":"10.22456/2175-2745.100968","DOIUrl":"https://doi.org/10.22456/2175-2745.100968","url":null,"abstract":"Unification is the core of type inference algorithms for modern functional programming languages, like Haskell and SML. As a first step towards a formalization of a type inference algorithm for such programming languages, we present a formalization in Coq of a type unification algorithm that follows classic algorithms presented in programming language textbooks. We also report on the use of such formalization to build a correct type inference algorithm for the simply typed λ-calculus.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78589607","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}
Pub Date : 2020-06-18DOI: 10.22456/2175-2745.98362
G. Schneider, Bruno M. P. Moura, A. Yamin, R. Reiser
Dynamic consolidation of virtual machines (VMs) is an effective way to improve resource utilization and power efficiency in cloud computing, directly affecting Quality of Service aspects. This paper presents Int-FLBCC, a new proposal with exploring a Type-2 Fuzzy Logic approach to address the uncertainties and inaccuracies in determining resource usage, aiming at energy savings with minimal performance degradation. Validation results in a simulated cloud computing environment showed improvements in energy efficiency of 8.83% with IQR_XY and 22.43% with MAD_XY. For fulfillment of Service Level Agreements (SLA), the best values achieved were 9.06% with MAD_XY and 25% of THR_Lex1.
{"title":"Int-FLBCC: Model for Load Balancing in Cloud Computing using Fuzzy Logic Type-2 and Admissible Orders","authors":"G. Schneider, Bruno M. P. Moura, A. Yamin, R. Reiser","doi":"10.22456/2175-2745.98362","DOIUrl":"https://doi.org/10.22456/2175-2745.98362","url":null,"abstract":"Dynamic consolidation of virtual machines (VMs) is an effective way to improve resource utilization and power efficiency in cloud computing, directly affecting Quality of Service aspects. This paper presents Int-FLBCC, a new proposal with exploring a Type-2 Fuzzy Logic approach to address the uncertainties and inaccuracies in determining resource usage, aiming at energy savings with minimal performance degradation. Validation results in a simulated cloud computing environment showed improvements in energy efficiency of 8.83% with IQR_XY and 22.43% with MAD_XY. For fulfillment of Service Level Agreements (SLA), the best values achieved were 9.06% with MAD_XY and 25% of THR_Lex1.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81517869","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}
Pub Date : 2020-06-18DOI: 10.22456/2175-2745.98904
D. Alves, O. A. Ferreira, L. Duarte, Davi Silva, P. Maia
Although energy has become an important aspect in software development, little support exists for creating energy-efficient programs. One reason for that is the lack of abstractions and tools to enable the analysis of relevant properties involving energy consumption. This paper presents the results of some experiments involving the gathering, modelling, and analysis of energy-related information, in particular, the costs of executing certain parts of a software. We combine some existing free and open-source tools to carry out the experiments, extending one of them to handle energy information. Our experiments consider a comparison of energy consumption of Java implementations of the Bubble Sort, Insertion Sort and Selection Sort algorithms using different data structures. We show how to combine an energy measurement tool and a model analysis tool to carry such a comparison. Based on this support and on our experiments, we believe this is a first step to allow developers to start creating more energy-efficient software.
{"title":"Experiments on Model-Based Software Energy Consumption Analysis Involving Sorting Algorithms","authors":"D. Alves, O. A. Ferreira, L. Duarte, Davi Silva, P. Maia","doi":"10.22456/2175-2745.98904","DOIUrl":"https://doi.org/10.22456/2175-2745.98904","url":null,"abstract":"Although energy has become an important aspect in software development, little support exists for creating energy-efficient programs. One reason for that is the lack of abstractions and tools to enable the analysis of relevant properties involving energy consumption. This paper presents the results of some experiments involving the gathering, modelling, and analysis of energy-related information, in particular, the costs of executing certain parts of a software. We combine some existing free and open-source tools to carry out the experiments, extending one of them to handle energy information. Our experiments consider a comparison of energy consumption of Java implementations of the Bubble Sort, Insertion Sort and Selection Sort algorithms using different data structures. We show how to combine an energy measurement tool and a model analysis tool to carry such a comparison. Based on this support and on our experiments, we believe this is a first step to allow developers to start creating more energy-efficient software.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87392047","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}
Pub Date : 2020-06-18DOI: 10.22456/2175-2745.99849
Joan D. S. Silva, Jâina Carolina Meneses Calçada, S. O. Rezende, D. Calçada
Dengue is an endemic disease in Brazil since the 1980s and since 1996 in Piau ́ı. The number of cases increases each year, with the incidence of more severe symptoms. This research aimed to evaluate the use of an automatic knowledge identification technique in factors related to the number of dengue occurrences. We built a dataset formed by data available in the Information System for Notifiable Diseases (SINAN) and meteorological data of the municipalities of the coastal plain of Piau ́ı. The technique used was that of Filtered Association Rules Networks, which allows visual analysis of knowledge through the use of network structures and rules filtering. As a main result, we confirmed the understanding that the most significant number of cases occurs in May, as it is the moment when the rainfall indexes are decreasing, besides that socio-cultural and race factors do not interfere in the identification of the population of higher risk. This research presents the innovation of the use of a computational technique of automatic knowledge discovery that can assist in the elaboration of prevention actions by epidemiological surveillance.
{"title":"Automatic identification of knowledge related to dengue cases in the state of Piauí in public databases using Filtered-Association Rules Networks","authors":"Joan D. S. Silva, Jâina Carolina Meneses Calçada, S. O. Rezende, D. Calçada","doi":"10.22456/2175-2745.99849","DOIUrl":"https://doi.org/10.22456/2175-2745.99849","url":null,"abstract":"Dengue is an endemic disease in Brazil since the 1980s and since 1996 in Piau ́ı. The number of cases increases each year, with the incidence of more severe symptoms. This research aimed to evaluate the use of an automatic knowledge identification technique in factors related to the number of dengue occurrences. We built a dataset formed by data available in the Information System for Notifiable Diseases (SINAN) and meteorological data of the municipalities of the coastal plain of Piau ́ı. The technique used was that of Filtered Association Rules Networks, which allows visual analysis of knowledge through the use of network structures and rules filtering. As a main result, we confirmed the understanding that the most significant number of cases occurs in May, as it is the moment when the rainfall indexes are decreasing, besides that socio-cultural and race factors do not interfere in the identification of the population of higher risk. This research presents the innovation of the use of a computational technique of automatic knowledge discovery that can assist in the elaboration of prevention actions by epidemiological surveillance.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84785824","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}
Pub Date : 2020-04-27DOI: 10.22456/2175-2745.97411
S. P. Zambiasi, R. Rabelo
The use of virtual assistants has become popularized by their adhesion by large companies. This is because they have brought benefits to a certain extent in people’s daily activities or in their tasks in organizations, with reminders, automation of repetitive tasks, proposing solutions for various situations, etc.. To meet this demand, several tools have been developed to create this type of agent. Following the same trends, this paper presents the Arisa Nest platform, under the Platform as a Service model, as a tool to create virtual assistants with resources to manage information about users, create algorithms to give more effective answers, consume web services to the interoperability with other systems and with proactivity behaviors. Finally, some cases are presented using the platform in real scenarios and tests.
{"title":"Arisa Nest - A Cloud-Based Platform for Development of Virtual Assistant","authors":"S. P. Zambiasi, R. Rabelo","doi":"10.22456/2175-2745.97411","DOIUrl":"https://doi.org/10.22456/2175-2745.97411","url":null,"abstract":"The use of virtual assistants has become popularized by their adhesion by large companies. This is because they have brought benefits to a certain extent in people’s daily activities or in their tasks in organizations, with reminders, automation of repetitive tasks, proposing solutions for various situations, etc.. To meet this demand, several tools have been developed to create this type of agent. Following the same trends, this paper presents the Arisa Nest platform, under the Platform as a Service model, as a tool to create virtual assistants with resources to manage information about users, create algorithms to give more effective answers, consume web services to the interoperability with other systems and with proactivity behaviors. Finally, some cases are presented using the platform in real scenarios and tests.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90109756","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}
Pub Date : 2020-04-27DOI: 10.22456/2175-2745.97479
I. Campos, F. Saraiva
This paper presents a decentralized algorithm for application in the smart grids self-healing problem, at the distribution level. The algorithm implementation is made using a reactive multi-agent system, which models the electrical grid in terms of autonomous agents which perform the algorithm operations in a distributed and parallel way. To validate this algorithm, two distribution network test models are used: a 15 bus model and a 33 bus model — standardized by IEEE. The results are obtained by means of computational simulation and shown in this paper, to each one of the network models. The results show that the proposed approach is able to recover all the nodes of the grid, within the simulation conditions. Moreover, it is seen that the multi-agent system directs the work load exactly to the failure point, preventing the involvement of the entire grid to the self-healing process.
{"title":"Reactive multi-agent system applied to self-healing in Smart Grids","authors":"I. Campos, F. Saraiva","doi":"10.22456/2175-2745.97479","DOIUrl":"https://doi.org/10.22456/2175-2745.97479","url":null,"abstract":"This paper presents a decentralized algorithm for application in the smart grids self-healing problem, at the distribution level. The algorithm implementation is made using a reactive multi-agent system, which models the electrical grid in terms of autonomous agents which perform the algorithm operations in a distributed and parallel way. To validate this algorithm, two distribution network test models are used: a 15 bus model and a 33 bus model — standardized by IEEE. The results are obtained by means of computational simulation and shown in this paper, to each one of the network models. The results show that the proposed approach is able to recover all the nodes of the grid, within the simulation conditions. Moreover, it is seen that the multi-agent system directs the work load exactly to the failure point, preventing the involvement of the entire grid to the self-healing process.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84449607","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}
Pub Date : 2020-04-27DOI: 10.22456/2175-2745.95095
L. S. Melo, F. Saraiva, R. Leão, R. F. Sampaio, G. Barroso
This paper describes the integration process between two tools in order to perform co-simulation for representation and analysis of dynamic environments in the context of smart grids. The integrated tools are Mosaik, a software to co-simulation management, and PADE, a software to multi-agent systems development. As a study case for demonstrate the integration, a scenary was utilized composed of a low voltage electricity distribution grid with 37 load bus, 20 photo-voltaic distributed generations, randomly connected to load bus, as well as, 20 PADE agents associated to distributed generation, modeling the behavior of electricity storage systems. The simulation results show the integration happening and demonstrate how useful is to model the dynamics of distributed electric resources with multi-agent systems.
{"title":"Mosaik and PADE: Multiagents and Co-simulation for smart grids modeling","authors":"L. S. Melo, F. Saraiva, R. Leão, R. F. Sampaio, G. Barroso","doi":"10.22456/2175-2745.95095","DOIUrl":"https://doi.org/10.22456/2175-2745.95095","url":null,"abstract":"This paper describes the integration process between two tools in order to perform co-simulation for representation and analysis of dynamic environments in the context of smart grids. The integrated tools are Mosaik, a software to co-simulation management, and PADE, a software to multi-agent systems development. As a study case for demonstrate the integration, a scenary was utilized composed of a low voltage electricity distribution grid with 37 load bus, 20 photo-voltaic distributed generations, randomly connected to load bus, as well as, 20 PADE agents associated to distributed generation, modeling the behavior of electricity storage systems. The simulation results show the integration happening and demonstrate how useful is to model the dynamics of distributed electric resources with multi-agent systems.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90735645","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}
Pub Date : 2020-04-27DOI: 10.22456/2175-2745.94319
G. Farias, B. Leitzke, Míriam Born, M. Aguiar, D. Adamatti
The paper aims to present a river basin modeling using GAMA platform for water resources analysis. Currently, several models based on multi-agent systems are used for natural resources management and they present satisfactory results for this type of scenario. GAMA is agents based and widely used in this context with several studies already published. In this study, the Sa o Gonc alo and Lagoa Mirim basins were considered from georeferenced data. In the modeling, regions, and rivers are agents on the system where rivers water can flow among neighbors regions.
本文旨在提出一种基于GAMA平台的流域建模方法，用于水资源分析。目前，基于多智能体系统的几种模型被用于自然资源管理，并对这类场景给出了满意的结果。GAMA是一种基于药物的药物，在这种情况下广泛使用，已经发表了几项研究。本研究从地质参考资料中考虑了Sa o Gonc alo和Lagoa Mirim盆地。在建模中，区域和河流是系统上的代理，河水可以在相邻区域之间流动。
{"title":"Water Resources Analysis: An Approach based on Agent-Based Modeling","authors":"G. Farias, B. Leitzke, Míriam Born, M. Aguiar, D. Adamatti","doi":"10.22456/2175-2745.94319","DOIUrl":"https://doi.org/10.22456/2175-2745.94319","url":null,"abstract":"The paper aims to present a river basin modeling using GAMA platform for water resources analysis. Currently, several models based on multi-agent systems are used for natural resources management and they present satisfactory results for this type of scenario. GAMA is agents based and widely used in this context with several studies already published. In this study, the Sa o Gonc alo and Lagoa Mirim basins were considered from georeferenced data. In the modeling, regions, and rivers are agents on the system where rivers water can flow among neighbors regions.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88413799","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}
Pub Date : 2020-04-27DOI: 10.22456/2175-2745.88911
Wilson Castello Branco Neto, A. Salvi, William Passig de Souza
The stock market is a stochastic, dynamic environment and is in constant evolution, and its prediction represents a big challenge. Many studies presented in the state of the art are facing this challenge, by making use of Artificial Neural Networks (ANN) as a tool to make such prediction. In this paper a comparative study is made with different methods in order to predict the Brazilian stock market through the Bovespa Index. An ANN was developed and its performance was compared against a hybrid model, in which a Genetic Algorithm (GA) is proposed as an alternative to improve the performance of this ANN. The results obtained were an average accuracy of 55.04% and 55.73% respectively, demonstrating that algorithms such as a GA have the capability of improving the performance of ANN for the stock market prediciton.
{"title":"Hybrid Neural Networks Applied to Brazilian Stock Market","authors":"Wilson Castello Branco Neto, A. Salvi, William Passig de Souza","doi":"10.22456/2175-2745.88911","DOIUrl":"https://doi.org/10.22456/2175-2745.88911","url":null,"abstract":"The stock market is a stochastic, dynamic environment and is in constant evolution, and its prediction represents a big challenge. Many studies presented in the state of the art are facing this challenge, by making use of Artificial Neural Networks (ANN) as a tool to make such prediction. In this paper a comparative study is made with different methods in order to predict the Brazilian stock market through the Bovespa Index. An ANN was developed and its performance was compared against a hybrid model, in which a Genetic Algorithm (GA) is proposed as an alternative to improve the performance of this ANN. The results obtained were an average accuracy of 55.04% and 55.73% respectively, demonstrating that algorithms such as a GA have the capability of improving the performance of ANN for the stock market prediciton.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76670847","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}
Pub Date : 2020-04-27DOI: 10.22456/2175-2745.98367
A. Bazzan
Networktheoryhasbeenusedtoanalyzestructuresofnarrativesinworksoffiction.Indeed,previous works have shed light on issues related to role detection, for instance. However, few comparative works exist that deal with TV shows. Since these shows are very popular, there are several Internet forums that suggest how similar some of them are, mostly by comparing roles or importance of core characters. Is this popular intuition backed by an objective, numerical analysis using tools from network theory? The goal of this paper is to compare four situation comedies ( Seinfeld , Friends , How I Met Your Mother , and The Big Bang Theory ) that share a lot in common since their characters are friends living in similar, urban, environments, struggling with their daily lives, careers, and so on. Using tools for analyzing social networks, these shows were compared, showing that their structures and the roles of the core characters are fundamentally different. The only measure that proved to be similar among the four shows is entropy of their graphs, especially when computed over the degree distribution.
{"title":"Similar Yet Different: the Structure of Social Networks of Characters in Seinfeld, Friends, How I met Your Mother, and The Big Bang Theory","authors":"A. Bazzan","doi":"10.22456/2175-2745.98367","DOIUrl":"https://doi.org/10.22456/2175-2745.98367","url":null,"abstract":"Networktheoryhasbeenusedtoanalyzestructuresofnarrativesinworksoffiction.Indeed,previous works have shed light on issues related to role detection, for instance. However, few comparative works exist that deal with TV shows. Since these shows are very popular, there are several Internet forums that suggest how similar some of them are, mostly by comparing roles or importance of core characters. Is this popular intuition backed by an objective, numerical analysis using tools from network theory? The goal of this paper is to compare four situation comedies ( Seinfeld , Friends , How I Met Your Mother , and The Big Bang Theory ) that share a lot in common since their characters are friends living in similar, urban, environments, struggling with their daily lives, careers, and so on. Using tools for analyzing social networks, these shows were compared, showing that their structures and the roles of the core characters are fundamentally different. The only measure that proved to be similar among the four shows is entropy of their graphs, especially when computed over the degree distribution.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80572041","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：