Buscar
Mostrando ítems 1-10 de 133
Kripke Style Semantic for the Logic of Two Valued-States
(Springer/Plenum Publishers, 2017-05)
In this paper we develope a Kripke style semantic for the logic of two-valued states on orthomodular lattices. Kripke models are built from Baer ∗ semigroups enriched with an unary operation. A completeness theorem with ...
Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
(Elsevier Science Inc, 2008-08)
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the ...
Int-FLBCC: Model for Load Balancing in Cloud Computing using Fuzzy Logic Type-2 and Admissible Orders.
(Instituto de Informática - Universidade Federal do Rio Grande do Sul, 2020)
Computer-Aided Support for the Rapid Creation of Parametric Models of Milling Units for Longwall Shearers
(Sciendo, 2018-12-01)
The cutting drums are the basic working components of many mining machines. The article focuses on differences in the design of cutting drums depending on the expected working conditions. Then, the unique calculation ...
Optimal design of ethylene and propylene coproduction plants with generalized disjunctive programming and state equipment network models
(Pergamon-Elsevier Science Ltd, 2021-06)
In this work, we propose a superstructure optimization approach for the optimal design of an ethylene and propylene coproduction plant. We formulate a superstructure that embeds ethane and propane steam cracking technologies, ...
Water treatment plant prototype with ph control modeled on fuzzy logic for removing arsenic using fe(VI) and fe(III)
(Multidisciplinary Digital Publishing InstituteCH, 2020)
This study proposes a fuzzy control strategy embedded in a Siemens IoT2040 gateway developed for removing inorganic arsenic from synthetic underground water in a treatment plant prototype. The prototype is used to dose a ...
Truth without standard models: some conceptual problems reloaded
(Taylor & Francis, 2018-01)
A theory of truth is usually demanded to be consistent, but w -consistency is less frequently requested. Recently, Yatabe has argued in favour of w-inconsistent first-order theories of truth, minimising their odd consequences. ...
Control of a grid assisted PV-H2 production system: A comparative study between optimal control and hybrid MPC
(Elsevier, 2020-08)
Hydrogen production systems supplied by photovoltaic solar energy have nonlinear dynamics and discontinuities which must be taken into account when a control system is applied. The main purpose of the control system is to ...