In this paper, we show that the implication fragment of classical propositional logic is finitary for unification with parameters.
本文证明了经典命题逻辑的蕴涵片段对于有参数统一是有限的。
{"title":"Unification with parameters in the implication fragment of classical propositional logic","authors":"P. Balbiani, M. Mojtahedi","doi":"10.1093/JIGPAL/JZAB014","DOIUrl":"https://doi.org/10.1093/JIGPAL/JZAB014","url":null,"abstract":"\u0000 In this paper, we show that the implication fragment of classical propositional logic is finitary for unification with parameters.","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116954312","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}
Agustín San Román Guzmán, Diego Valdeolmillos, Alberto Rivas, Angélica González Arrieta, P. Chamoso
Databases play a fundamental role in today’s world, being used by most companies, especially those that offer services through the Internet. Today there is a wide variety of database models, each adapted for use according to the specific requirements of each application. Traditionally, the relational models with centralized architectures have been used mostly due to their simplicity and general-purpose query language, which made relational systems suitable for almost any application. However, with the growth of the Internet in recent decades, both in the number of users and in the amount of information, those centralized models began to suffer availability and scalability issues. To address those issues, the use of decentralized architectures and alternative database models began to arise, eventually replacing relational databases and centralized architectures when the requirements on availability and scalability are high. Those database models alternative to the traditional relational model are grouped under the name of NoSQL (Not only Structured Query Language). In this article, we present a NoSQL database developed as an end of degree work, with a flexible data model based on documents and a fully decentralized architecture based on the Gossip protocol for node discovery and a distributed hash table, in particular the rendezvous hashing algorithm, used to distribute and replicate the data across all the nodes. The main goals of the system are to achieve high availability (the data should be almost always accessible) and high scalability (the system should be able to scale by increasing the number of nodes to increase its capacity both on data and number of users). High availability is achieved thanks to the replication of the data, while high scalability is achieved by its decentralized architecture, which allows multiple entry points from the requests, and the data distribution, effectively increasing the database capacity by increasing the number of nodes.
数据库在当今世界扮演着重要的角色，被大多数公司所使用，尤其是那些通过Internet提供服务的公司。现在有各种各样的数据库模型，每个模型都根据每个应用程序的特定需求进行了调整。传统上，使用集中式体系结构的关系模型主要是因为它们的简单性和通用查询语言，这使得关系系统几乎适用于任何应用程序。然而，随着近几十年来Internet的发展，无论是用户数量还是信息量，这些集中式模型都开始出现可用性和可伸缩性问题。为了解决这些问题，分散式体系结构和替代数据库模型的使用开始出现，当对可用性和可伸缩性的要求很高时，它们最终取代了关系数据库和集中式体系结构。这些替代传统关系模型的数据库模型统称为NoSQL (Not only Structured Query Language)。在这篇文章中，我们提出了一个NoSQL数据库，它是一个基于文档的灵活的数据模型，一个基于Gossip协议的完全分散的架构，用于节点发现和分布式哈希表，特别是集合哈希算法，用于在所有节点上分发和复制数据。系统的主要目标是实现高可用性(数据应该几乎总是可访问的)和高可伸缩性(系统应该能够通过增加节点的数量来增加其数据和用户数量的容量)。由于数据的复制，实现了高可用性，而其分散的体系结构实现了高可伸缩性，该体系结构允许来自请求和数据分布的多个入口点，通过增加节点数量有效地增加了数据库容量。
{"title":"Design of a New Distributed NoSQL Database with Distributed Hash Tables","authors":"Agustín San Román Guzmán, Diego Valdeolmillos, Alberto Rivas, Angélica González Arrieta, P. Chamoso","doi":"10.1093/JIGPAL/JZAB003","DOIUrl":"https://doi.org/10.1093/JIGPAL/JZAB003","url":null,"abstract":"\u0000 Databases play a fundamental role in today’s world, being used by most companies, especially those that offer services through the Internet. Today there is a wide variety of database models, each adapted for use according to the specific requirements of each application. Traditionally, the relational models with centralized architectures have been used mostly due to their simplicity and general-purpose query language, which made relational systems suitable for almost any application. However, with the growth of the Internet in recent decades, both in the number of users and in the amount of information, those centralized models began to suffer availability and scalability issues. To address those issues, the use of decentralized architectures and alternative database models began to arise, eventually replacing relational databases and centralized architectures when the requirements on availability and scalability are high. Those database models alternative to the traditional relational model are grouped under the name of NoSQL (Not only Structured Query Language). In this article, we present a NoSQL database developed as an end of degree work, with a flexible data model based on documents and a fully decentralized architecture based on the Gossip protocol for node discovery and a distributed hash table, in particular the rendezvous hashing algorithm, used to distribute and replicate the data across all the nodes. The main goals of the system are to achieve high availability (the data should be almost always accessible) and high scalability (the system should be able to scale by increasing the number of nodes to increase its capacity both on data and number of users). High availability is achieved thanks to the replication of the data, while high scalability is achieved by its decentralized architecture, which allows multiple entry points from the requests, and the data distribution, effectively increasing the database capacity by increasing the number of nodes.","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115733164","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}
In this paper, we provide non-clausal tableau calculi for the maximum satisfiability problem and its variants. We discuss both basic calculi to characterize the problem and their modifications to reduce the proof size.
{"title":"New Tableau Characterizations for Non-clausal MaxSAT Problem","authors":"G. Fiorino","doi":"10.1093/JIGPAL/JZAB012","DOIUrl":"https://doi.org/10.1093/JIGPAL/JZAB012","url":null,"abstract":"\u0000 In this paper, we provide non-clausal tableau calculi for the maximum satisfiability problem and its variants. We discuss both basic calculi to characterize the problem and their modifications to reduce the proof size.","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131767463","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}
J. Neves, Nuno Maia, G. Marreiros, Mariana Neves, Ana Fernandes, Jorge Ribeiro, Isabel Araújo, N. Araújo, Liliana Ávidos, Filipa Ferraz, A. Capita, N. Lori, Victor Alves, H. Vicente
System analyses deal with interrelationships between different variables that keep the system in balance. In many analysis of complex thinking, a system is viewed as a complex unit in which the ‘whole’ is not reduced to the ‘sum’ of its parts; the system becomes an ambiguous item because it consists of several entities that interact with unforeseen results or, in other words, it is situated at a transdisciplinary level, it is impossible for an area to have a complete reading of its complexity. It was also mentioned that the concept of the open system best describes complexity by stating that ‘the laws of the organization are not equilibrium, but an imbalance that is restored or compensated for by stabilized dynamics’. This idea originated from the field of thermodynamics and the second law, in which the imbalance that it maintains allows the system for an apparent balance. This fragile steady state has something of a paradox, since the structures remain the same, but their constituents are changeable. The concept of open system undoes the door to a theory of evolution that can only derive from the interactions between a system and its ecosystem. Within this systemic approach, the focus of the analysis takes into account the ambiguity, multidisciplinary and complexity associated with system adjustment, i.e. it is intended to qualify an employee job based on their experience and knowledge as a measure of their impact on the organization performance.
{"title":"Employees balance and stability as key points in organizational performance","authors":"J. Neves, Nuno Maia, G. Marreiros, Mariana Neves, Ana Fernandes, Jorge Ribeiro, Isabel Araújo, N. Araújo, Liliana Ávidos, Filipa Ferraz, A. Capita, N. Lori, Victor Alves, H. Vicente","doi":"10.1093/JIGPAL/JZAB010","DOIUrl":"https://doi.org/10.1093/JIGPAL/JZAB010","url":null,"abstract":"\u0000 System analyses deal with interrelationships between different variables that keep the system in balance. In many analysis of complex thinking, a system is viewed as a complex unit in which the ‘whole’ is not reduced to the ‘sum’ of its parts; the system becomes an ambiguous item because it consists of several entities that interact with unforeseen results or, in other words, it is situated at a transdisciplinary level, it is impossible for an area to have a complete reading of its complexity. It was also mentioned that the concept of the open system best describes complexity by stating that ‘the laws of the organization are not equilibrium, but an imbalance that is restored or compensated for by stabilized dynamics’. This idea originated from the field of thermodynamics and the second law, in which the imbalance that it maintains allows the system for an apparent balance. This fragile steady state has something of a paradox, since the structures remain the same, but their constituents are changeable. The concept of open system undoes the door to a theory of evolution that can only derive from the interactions between a system and its ecosystem. Within this systemic approach, the focus of the analysis takes into account the ambiguity, multidisciplinary and complexity associated with system adjustment, i.e. it is intended to qualify an employee job based on their experience and knowledge as a measure of their impact on the organization performance.","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"110 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122617809","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}
S. Simic, S. Simic, Z. Bankovic, M. Ivkov-Simic, J. Villar, D. Simić
The skin, uniquely positioned at the interface between the human body and the external world, plays a multifaceted immunologic role in human life. In medical practice, early accurate detection of all types of skin tumours is essential to guide appropriate management and improve patients’ survival. The most important issue is to differentiate between malignant skin tumours and benign lesions. The aim of this research is the classification of skin tumours by analysing medical skin tumour dermoscopy images. This paper is focused on a new strategy based on deep convolutional neural networks which have recently shown a state-of-the-art performance to define strategy to automatic classification for skin tumour images. The proposed system is tested on well-known HAM10000 data set. For experimental results, verification is performed and the results are compared with similar researches.
{"title":"Deep Convolutional Neural Networks on Automatic Classification for Skin Tumour Images","authors":"S. Simic, S. Simic, Z. Bankovic, M. Ivkov-Simic, J. Villar, D. Simić","doi":"10.1093/JIGPAL/JZAB009","DOIUrl":"https://doi.org/10.1093/JIGPAL/JZAB009","url":null,"abstract":"\u0000 The skin, uniquely positioned at the interface between the human body and the external world, plays a multifaceted immunologic role in human life. In medical practice, early accurate detection of all types of skin tumours is essential to guide appropriate management and improve patients’ survival. The most important issue is to differentiate between malignant skin tumours and benign lesions. The aim of this research is the classification of skin tumours by analysing medical skin tumour dermoscopy images. This paper is focused on a new strategy based on deep convolutional neural networks which have recently shown a state-of-the-art performance to define strategy to automatic classification for skin tumour images. The proposed system is tested on well-known HAM10000 data set. For experimental results, verification is performed and the results are compared with similar researches.","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124518407","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}
The logic $G3^{<}_{{{}^{scriptsize{-}}}!!textrm{L}}$ was introduced in Robles and Mendéz (2014, Logic Journal of the IGPL, 22, 515–538) as a paraconsistent logic which is based on Gödel’s 3-valued matrix, except that Kleene–Łukasiewicz’s negation is added to the language and is used as the main negation connective. We show that $G3^{<}_{{{}^{scriptsize{-}}}!!textrm{L}}$ is exactly the intersection of $G3^{{1}}_{{{}^{scriptsize{-}}}!!textrm{L}}$ and $G3^{{1,0.5}}_{{{}^{scriptsize{-}}}!!textrm{L}}$, the two truth-preserving 3-valued logics which are based on the same truth tables. (In $G3^{{1}}_{{{}^{scriptsize{-}}}!!textrm{L}}$ the set ${cal D}$ of designated elements is ${1}$, while in $G3^{{1,0.5}}_{{{}^{scriptsize{-}}}!!textrm{L}}$ ${cal D}={1,0.5}$.) We then construct a Hilbert-type system which has (MP) for $to $ as its sole rule of inference, and is strongly sound and complete for $G3^{<}_{{{}^{scriptsize{-}}}!!textrm{L}}$. Then we show how, by adding one axiom (in the case of $G3^{{1}}_{{{}^{scriptsize{-}}}!!textrm{L}}$) or one new rule of inference (in the case of $G3^{{1,0.5}}_{{{}^{scriptsize{-}}}!!textrm{L}}$), we get strongly sound and complete systems for $G3^{{1}}_{{{}^{scriptsize{-}}}!!textrm{L}}$ and $G3^{{1,0.5}}_{{{}^{scriptsize{-}}}!!textrm{L}}$. Finally, we provide quasi-canonical Gentzen-type systems which are sound and complete for those logics and show that they are all analytic, by proving the cut-elimination theorem for them.
{"title":"Proof Systems for 3-valued Logics Based on Gödel's Implication","authors":"A. Avron","doi":"10.1093/JIGPAL/JZAB013","DOIUrl":"https://doi.org/10.1093/JIGPAL/JZAB013","url":null,"abstract":"\u0000 The logic $G3^{<}_{{{}^{scriptsize{-}}}!!textrm{L}}$ was introduced in Robles and Mendéz (2014, Logic Journal of the IGPL, 22, 515–538) as a paraconsistent logic which is based on Gödel’s 3-valued matrix, except that Kleene–Łukasiewicz’s negation is added to the language and is used as the main negation connective. We show that $G3^{<}_{{{}^{scriptsize{-}}}!!textrm{L}}$ is exactly the intersection of $G3^{{1}}_{{{}^{scriptsize{-}}}!!textrm{L}}$ and $G3^{{1,0.5}}_{{{}^{scriptsize{-}}}!!textrm{L}}$, the two truth-preserving 3-valued logics which are based on the same truth tables. (In $G3^{{1}}_{{{}^{scriptsize{-}}}!!textrm{L}}$ the set ${cal D}$ of designated elements is ${1}$, while in $G3^{{1,0.5}}_{{{}^{scriptsize{-}}}!!textrm{L}}$ ${cal D}={1,0.5}$.) We then construct a Hilbert-type system which has (MP) for $to $ as its sole rule of inference, and is strongly sound and complete for $G3^{<}_{{{}^{scriptsize{-}}}!!textrm{L}}$. Then we show how, by adding one axiom (in the case of $G3^{{1}}_{{{}^{scriptsize{-}}}!!textrm{L}}$) or one new rule of inference (in the case of $G3^{{1,0.5}}_{{{}^{scriptsize{-}}}!!textrm{L}}$), we get strongly sound and complete systems for $G3^{{1}}_{{{}^{scriptsize{-}}}!!textrm{L}}$ and $G3^{{1,0.5}}_{{{}^{scriptsize{-}}}!!textrm{L}}$. Finally, we provide quasi-canonical Gentzen-type systems which are sound and complete for those logics and show that they are all analytic, by proving the cut-elimination theorem for them.","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134396383","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}
Of all the different types of public buildings, hospitals are the biggest energy consumers. Cooling systems for air conditioning and healthcare uses are particularly energy intensive. Forecasting hospital thermal-cooling demand is a remarkable and innovative method capable of improving the overall energy efficiency of an entire cooling system. Predictive models allow users to forecast the activity of water-cooled generators and adapt power generation to the real demand expected for the day ahead, while avoiding inefficient subcooling. In addition, the maintenance costs related to unnecessary starts and stops and power-generator breakdowns occurring over the long term can be reduced. This study is based on the operations of a real hospital facility and details the steps taken to develop an optimal and efficient model based on a genetic methodology that searches for low-complexity models through feature selection, parameter tuning and parsimonious model selection. The methodology, called GAparsimony, has been tested with neural networks, support vector machines and gradient boosting techniques. Finally, a weighted combination of the three best models was created. The new operational method employed herein can be replicated in similar buildings with similar water-cooled generators.
{"title":"Parsimonious Modelling for Estimating Hospital Cooling Demand to Improve Energy Efficiency","authors":"Eduardo Dulce-Chamorro, F. J. M. Pisón","doi":"10.1093/JIGPAL/JZAB008","DOIUrl":"https://doi.org/10.1093/JIGPAL/JZAB008","url":null,"abstract":"\u0000 Of all the different types of public buildings, hospitals are the biggest energy consumers. Cooling systems for air conditioning and healthcare uses are particularly energy intensive. Forecasting hospital thermal-cooling demand is a remarkable and innovative method capable of improving the overall energy efficiency of an entire cooling system. Predictive models allow users to forecast the activity of water-cooled generators and adapt power generation to the real demand expected for the day ahead, while avoiding inefficient subcooling. In addition, the maintenance costs related to unnecessary starts and stops and power-generator breakdowns occurring over the long term can be reduced. This study is based on the operations of a real hospital facility and details the steps taken to develop an optimal and efficient model based on a genetic methodology that searches for low-complexity models through feature selection, parameter tuning and parsimonious model selection. The methodology, called GAparsimony, has been tested with neural networks, support vector machines and gradient boosting techniques. Finally, a weighted combination of the three best models was created. The new operational method employed herein can be replicated in similar buildings with similar water-cooled generators.","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127407310","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}
Hilde Pérez García, Lidia Sánchez-González, M. C. Limas, Héctor Quintián-Pardo, E. Corchado
{"title":"Editorial: Special issue HAIS19-IGPL","authors":"Hilde Pérez García, Lidia Sánchez-González, M. C. Limas, Héctor Quintián-Pardo, E. Corchado","doi":"10.1093/JIGPAL/JZAB002","DOIUrl":"https://doi.org/10.1093/JIGPAL/JZAB002","url":null,"abstract":"","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116391158","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}
P. Rosero-Montalvo, V. F. L. Batista, Ricardo P. Arciniega-Rocha, D. H. Peluffo-Ordóñez
Air pollution is a current concern of people and government entities. Therefore, in urban scenarios, its monitoring and subsequent analysis is a remarkable and challenging issue due mainly to the variability of polluting-related factors. For this reason, the present work shows the development of a wireless sensor network that, through machine learning techniques, can be classified into three different types of environments: high pollution levels, medium pollution and no noticeable contamination into the Ibarra City. To achieve this goal, signal smoothing stages, prototype selection, feature analysis and a comparison of classification algorithms are performed. As relevant results, there is a classification performance of 95% with a significant noisy data reduction.
{"title":"Air Pollution Monitoring Using WSN Nodes with Machine Learning Techniques: A Case Study","authors":"P. Rosero-Montalvo, V. F. L. Batista, Ricardo P. Arciniega-Rocha, D. H. Peluffo-Ordóñez","doi":"10.1093/JIGPAL/JZAB005","DOIUrl":"https://doi.org/10.1093/JIGPAL/JZAB005","url":null,"abstract":"\u0000 Air pollution is a current concern of people and government entities. Therefore, in urban scenarios, its monitoring and subsequent analysis is a remarkable and challenging issue due mainly to the variability of polluting-related factors. For this reason, the present work shows the development of a wireless sensor network that, through machine learning techniques, can be classified into three different types of environments: high pollution levels, medium pollution and no noticeable contamination into the Ibarra City. To achieve this goal, signal smoothing stages, prototype selection, feature analysis and a comparison of classification algorithms are performed. As relevant results, there is a classification performance of 95% with a significant noisy data reduction.","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-02-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122111767","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}
Esteban Jove, J. Casteleiro-Roca, Héctor Quintián-Pardo, Francisco Zayas-Gato, G. Vercelli, J. Calvo-Rolle
The use of batteries became essential in our daily life in electronic devices, electric vehicles and energy storage systems in general terms. As they play a key role in many devices, their design and implementation must follow a thorough test process to check their features at different operating points. In this circumstance, the appearance of any kind of deviation from the expected operation must be detected. This research deals with real data registered during the testing phase of a lithium iron phosphate—LiFePO4—battery. The process is divided into four different working points, alternating charging, discharging and resting periods. This work proposes a hybrid classifier, based on one-class techniques, whose aim is to detect anomalous situations during the battery test. The faults are created by modifying the measured cell temperature a slight ratio from their real value. A detailed analysis of each technique performance is presented. The average performance of the chosen classifier presents successful results.
{"title":"A One-class Classifier Based on a Hybrid Topology to Detect Faults in Power Cells","authors":"Esteban Jove, J. Casteleiro-Roca, Héctor Quintián-Pardo, Francisco Zayas-Gato, G. Vercelli, J. Calvo-Rolle","doi":"10.1093/JIGPAL/JZAB011","DOIUrl":"https://doi.org/10.1093/JIGPAL/JZAB011","url":null,"abstract":"\u0000 The use of batteries became essential in our daily life in electronic devices, electric vehicles and energy storage systems in general terms. As they play a key role in many devices, their design and implementation must follow a thorough test process to check their features at different operating points. In this circumstance, the appearance of any kind of deviation from the expected operation must be detected. This research deals with real data registered during the testing phase of a lithium iron phosphate—LiFePO4—battery. The process is divided into four different working points, alternating charging, discharging and resting periods. This work proposes a hybrid classifier, based on one-class techniques, whose aim is to detect anomalous situations during the battery test. The faults are created by modifying the measured cell temperature a slight ratio from their real value. A detailed analysis of each technique performance is presented. The average performance of the chosen classifier presents successful results.","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122075847","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
扫码关注我们
求助内容：
应助结果提醒方式：