Log. J. IGPLPub Date : 2020-11-02DOI: 10.1093/jigpal/jzaa056
Ignacio Trojaola, Iker Elorza, Eloy Irigoyen, A. Pujana-Arrese, C. Calleja
{"title":"The Effect of Iterative Learning Control on the Force Control of a Hydraulic Cushion","authors":"Ignacio Trojaola, Iker Elorza, Eloy Irigoyen, A. Pujana-Arrese, C. Calleja","doi":"10.1093/jigpal/jzaa056","DOIUrl":"https://doi.org/10.1093/jigpal/jzaa056","url":null,"abstract":"\u0000 An iterative learning control (ILC) algorithm is presented for the force control circuit of a hydraulic cushion. A control scheme consisting of a PI controller, feed-forward (FF) and feedback-linearization is first derived. The uncertainties and nonlinearities of the proportional valve, the main system actuator, prevent the accurate tracking of the pressure reference signal. Therefore, an extra ILC FF signal is added to counteract the valve model uncertainties. The unknown valve dynamics are attenuated by adding a fourth-order low-pass filter to the iterative learning control design, which is split up into two second-order low-pass filters to carry out forward and backward filtering and obtain zero-phase filtering. The addition of the ILC signal presents significant improvements in terms of settling time and overshoot of the pressure signal in the cylinder.","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116958639","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}
Log. J. IGPLPub Date : 2020-11-02DOI: 10.1093/jigpal/jzaa057
M. Cárdenas-Montes
{"title":"Uncertainty estimation in the forecasting of the 222Rn radiation level time series at the Canfranc Underground Laboratory","authors":"M. Cárdenas-Montes","doi":"10.1093/jigpal/jzaa057","DOIUrl":"https://doi.org/10.1093/jigpal/jzaa057","url":null,"abstract":"Nowadays decision making is strongly supported by the high-confident point estimations produced by deep learning algorithms. In many activities, they are sufficient for the decision-making process. However, in some other cases, confidence intervals are required too for an appropriate decision-making process. In this work, a first attempt to generate point estimations with confidence intervals for the $^{222}$Rn radiation level time series at Canfranc Underground Laboratory is presented. To predict the low-radiation periods allows correctly scheduling the unshielded periods for maintenance operations in the experiments hosted in this facility. This should minimize the deposition of radioactive dust on the exposed surfaces during these unshielded periods. An approach based on deep learning with stochastic regulation is evaluated in the forecasting of point estimations and confidence intervals of the $^{222}$Rn time series and compared with a second approach based on Gaussian processes. As a consequence of this work, an evaluation of the capacity of Gaussian process and deep learning with stochastic regularization for generating point estimations and their confidence intervals for this time series is stated.","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133585183","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}
Log. J. IGPLPub Date : 2020-11-02DOI: 10.1093/jigpal/jzaa063
L. Sánchez, J. Otero, M. G. Vega, D. Anseán, A. Zülke, Inés Couso
{"title":"Distal learning of the incremental capacity curve of a LiFePO4 battery","authors":"L. Sánchez, J. Otero, M. G. Vega, D. Anseán, A. Zülke, Inés Couso","doi":"10.1093/jigpal/jzaa063","DOIUrl":"https://doi.org/10.1093/jigpal/jzaa063","url":null,"abstract":"\u0000 An intelligent model of the incremental capacity (IC) curve of an automotive lithium-ferrophosphate battery is presented. The relative heights of the two major peaks of the IC curve can be acquired from high-current discharges, thus enabling the state of health estimation of the battery while the vehicle is being operated and in certain cases, aging mechanisms can be suggested. Our model has been validated using a large dataset (number of batteries) representing different degradation scenarios, obtained from a recently available open-source database.","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121053278","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}
Log. J. IGPLPub Date : 2020-11-02DOI: 10.1093/jigpal/jzaa062
A. Zbrzezny, Sabina Szymoniak, M. Kurkowski
{"title":"Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories","authors":"A. Zbrzezny, Sabina Szymoniak, M. Kurkowski","doi":"10.1093/jigpal/jzaa062","DOIUrl":"https://doi.org/10.1093/jigpal/jzaa062","url":null,"abstract":"\u0000 The paper presents a novel method for the verification of security protocols’ (SPs)time properties. The new method uses a translation to satisfiability modulo theories (SMT) problem. In our approach, we model protocol users’ behaviours using networks of synchronized timed automata. Suitably specified correctness properties are defined as a reachability property of some chosen states in an automata network. Then, the network of timed automata and the property are translated to an SMT problem and checked using an SMT-solver and a BMC algorithm. We consider the most important time properties of protocol executions using specially constructed time conditions. The new method was also implemented and experimentally evaluated for six well-known SPs. We also compared our new SMT-based technique with the corresponding SAT-based approach.","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130608172","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}
Log. J. IGPLPub Date : 2020-10-30DOI: 10.1093/jigpal/jzaa058
Sarah Wunderlich, Markus Ring, D. Landes, A. Hotho
{"title":"The Impact of Different System Call Representations on Intrusion Detection","authors":"Sarah Wunderlich, Markus Ring, D. Landes, A. Hotho","doi":"10.1093/jigpal/jzaa058","DOIUrl":"https://doi.org/10.1093/jigpal/jzaa058","url":null,"abstract":"\u0000 Over the years, artificial neural networks have been applied successfully in many areas including IT security. Yet, neural networks can only process continuous input data. This is particularly challenging for security-related, non-continuous data like system calls of an operating system. This work focuses on five different options to preprocess sequences of system calls so that they can be processed by neural networks. These input options are based on one-hot encodings and learning word2vec, GloVe or fastText representations of system calls. As an additional option, we analyse if mapping system calls to their respective kernel modules is an adequate generalization step for (i) replacing system calls or (ii) enhancing system call data with additional information regarding their context. When performing such preprocessing steps it is important to ensure that no relevant information is lost during the process. The overall objective of system call analysis in the context of IT security is to categorize a sequence of them as benign or malicious behavior. Therefore, this scenario is used to evaluate different system call representations in a classification task. Results indicate that a broader range of attacks can be detected when enriching system call representations with corresponding kernel module information. Prior learning of embeddings does not achieve significant improvements. This work is an extension of the work by Wunderlich et al. [1] published in Advances in Intelligent Systems and Computing (AISC, volume 951).","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114459697","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}
Log. J. IGPLPub Date : 2020-09-25DOI: 10.1093/JIGPAL/JZY061
H. Antunes
{"title":"Enthymematic classical recapture 1","authors":"H. Antunes","doi":"10.1093/JIGPAL/JZY061","DOIUrl":"https://doi.org/10.1093/JIGPAL/JZY061","url":null,"abstract":"Priest (2006, Ch.8, 2nd edn. Oxford University Press), argues that classical reasoning can be made compatible with his preferred (paraconsistent) logical theory by proposing a methodological maxim authorizing the use of classical logic in consistent situations. Although Priest has abandoned this proposal in favour of the one in G. Priest (1991, Stud. Log., 50, 321–331), I shall argue that due to the fact that the derivability adjustment theorem holds for several logics of formal (in)consistency (cf. W. A. Carnielli and M. E. Coniglio, 2016, Springer), these paraconsistent logics are particularly well suited to accommodate classical reasoning by means of a version of that maxim, yielding thus an enthymematic account of classical recapture.","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"141 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129207727","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}
Log. J. IGPLPub Date : 2020-09-25DOI: 10.1093/JIGPAL/JZY056
Hitoshi Omori
{"title":"From logics of formal inconsistency to logics of formal classicality","authors":"Hitoshi Omori","doi":"10.1093/JIGPAL/JZY056","DOIUrl":"https://doi.org/10.1093/JIGPAL/JZY056","url":null,"abstract":"\u0000 One of the oldest systems of paraconsistent logic is the set of so-called C-systems of Newton da Costa, and this has been generalized into a family of systems now known as logics of formal inconsistencies by Walter Carnielli, Marcelo Coniglio and João Marcos. The characteristic notion in these systems is the so-called consistency operator which, roughly speaking, indicates how gluts are behaving. One natural question then is to ask if we can let not only gluts but also gaps be around and generalize the notion of consistency into classicality. This is already considered by Andréa Loparić and da Costa in the style of C-systems. The aim of this paper is to develop a family of systems that generalizes the system of Loparić and da Costa which may be called logics of formal classicality.","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122105334","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}
Log. J. IGPLPub Date : 2020-09-25DOI: 10.1093/JIGPAL/JZY063
E. Barrio, W. Carnielli
{"title":"Volume II: New advances in Logics of Formal Inconsistency","authors":"E. Barrio, W. Carnielli","doi":"10.1093/JIGPAL/JZY063","DOIUrl":"https://doi.org/10.1093/JIGPAL/JZY063","url":null,"abstract":"","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122693674","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}
Log. J. IGPLPub Date : 2020-09-25DOI: 10.1093/jigpal/jzy053
E. Barrio, W. Carnielli
{"title":"Volume I: Recovery operators in logics of formal inconsistency","authors":"E. Barrio, W. Carnielli","doi":"10.1093/jigpal/jzy053","DOIUrl":"https://doi.org/10.1093/jigpal/jzy053","url":null,"abstract":"","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132696632","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}
Log. J. IGPLPub Date : 2020-09-12DOI: 10.1093/jigpal/jzaa037
M. Harrabi, O. Driss, K. Ghédira
{"title":"A modified biogeography-based optimization algorithm with improved mutation operator for job shop scheduling problem with time lags","authors":"M. Harrabi, O. Driss, K. Ghédira","doi":"10.1093/jigpal/jzaa037","DOIUrl":"https://doi.org/10.1093/jigpal/jzaa037","url":null,"abstract":"\u0000 This paper addresses the job shop scheduling problem including time lag constraints. This is an extension of the job shop scheduling problem with many applications in real production environments, where extra (minimum and maximum) delays can be introduced between successive operations of the same job. It belongs to a category of problems known as NP-hard problem due to large solution space. Biogeography-based optimization is an evolutionary algorithm which is inspired by the migration of species between habitats, recently proposed by Simon in 2008 to optimize hard combinatorial optimization problems. We propose a hybrid biogeography-based optimization (HBBO) algorithm for solving the job shop scheduling problem with additional time lag constraints with minimization of total completion time. In the proposed HBBO, the effective greedy constructive heuristic is adapted to generate the initial population of habitat. Moreover, a local search metaheuristic is investigated in the mutation step in order to ameliorate the solution quality and enhance the diversity of the population. To assess the performance of HBBO, a series of experiments on well-known benchmark instances for job shop scheduling problem with time lag constraints is performed.","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"180 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132741687","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}