Log. J. IGPL最新文献_第2页

Unification with parameters in the implication fragment of classical propositional logic 经典命题逻辑蕴涵片段中参数的统一

Log. J. IGPL Pub Date : 2021-04-07 DOI: 10.1093/JIGPAL/JZAB014

P. Balbiani, M. Mojtahedi

引用次数: 0

Design of a New Distributed NoSQL Database with Distributed Hash Tables 基于分布式哈希表的新型分布式NoSQL数据库设计

Log. J. IGPL Pub Date : 2021-03-17 DOI: 10.1093/JIGPAL/JZAB003

Agustín San Román Guzmán, Diego Valdeolmillos, Alberto Rivas, Angélica González Arrieta, P. Chamoso

{"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}

引用次数: 1

New Tableau Characterizations for Non-clausal MaxSAT Problem 非条款式MaxSAT问题的新表格表征

Log. J. IGPL Pub Date : 2021-03-08 DOI: 10.1093/JIGPAL/JZAB012

G. Fiorino

引用次数: 5

Employees balance and stability as key points in organizational performance 员工的平衡和稳定是组织绩效的关键点

Log. J. IGPL Pub Date : 2021-03-05 DOI: 10.1093/JIGPAL/JZAB010

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

{"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}

引用次数: 3

Deep Convolutional Neural Networks on Automatic Classification for Skin Tumour Images 深度卷积神经网络在皮肤肿瘤图像自动分类中的应用

Log. J. IGPL Pub Date : 2021-03-04 DOI: 10.1093/JIGPAL/JZAB009

S. Simic, S. Simic, Z. Bankovic, M. Ivkov-Simic, J. Villar, D. Simić

引用次数: 2

Proof Systems for 3-valued Logics Based on Gödel's Implication 基于Gödel蕴涵的3值逻辑证明系统

Log. J. IGPL Pub Date : 2021-02-22 DOI: 10.1093/JIGPAL/JZAB013

A. Avron

{"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}

引用次数: 2

Parsimonious Modelling for Estimating Hospital Cooling Demand to Improve Energy Efficiency 医院制冷需求估算的简约模型以提高能源效率

Log. J. IGPL Pub Date : 2021-02-17 DOI: 10.1093/JIGPAL/JZAB008

Eduardo Dulce-Chamorro, F. J. M. Pisón

{"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}

引用次数: 2

Editorial: Special issue HAIS19-IGPL 社论:特刊HAIS19-IGPL

Log. J. IGPL Pub Date : 2021-02-17 DOI: 10.1093/JIGPAL/JZAB002

Hilde Pérez García, Lidia Sánchez-González, M. C. Limas, Héctor Quintián-Pardo, E. Corchado

引用次数: 0

Air Pollution Monitoring Using WSN Nodes with Machine Learning Techniques: A Case Study 基于机器学习技术的WSN节点空气污染监测:一个案例研究

Log. J. IGPL Pub Date : 2021-02-13 DOI: 10.1093/JIGPAL/JZAB005

P. Rosero-Montalvo, V. F. L. Batista, Ricardo P. Arciniega-Rocha, D. H. Peluffo-Ordóñez

引用次数: 3

A One-class Classifier Based on a Hybrid Topology to Detect Faults in Power Cells 基于混合拓扑的单类分类器在电池故障检测中的应用

Log. J. IGPL Pub Date : 2021-02-12 DOI: 10.1093/JIGPAL/JZAB011

Esteban Jove, J. Casteleiro-Roca, Héctor Quintián-Pardo, Francisco Zayas-Gato, G. Vercelli, J. Calvo-Rolle

引用次数: 4