Publication
Symbolic Manipulation for Optimization of Boolean Functions for Control of Pneumatic and Electropneumatic Circuits
| dc.contributor.author | Silva, A. Ferreira da | |
| dc.contributor.author | Santos, Adriano A | |
| dc.date.accessioned | 2023-01-30T10:01:43Z | |
| dc.date.embargo | 2035 | |
| dc.date.issued | 2021 | |
| dc.description.abstract | Neste artigo é descrito um programa desenvolvido em PROLOG, que realiza uma manipulação simbólica computacional dos Mapas de Karnaugh (MK), para obter o conjunto de equações lógicas otimizadas que possibilite o controlo de circuitos pneumáticos ou electropneumáticos. A manipulação simbólica de um MK é governada por um conjunto de regras genéricas que permitem obter a minimização/otimização de equações lógicas para controlo do circuito. Essa complexidade advém da explosão combinatória que resulta do aumento do número de cilindros que constituem o ciclo a automatizar. As abordagens de aprendizagem simbólica foram implementadas realizando uma busca no espaço de padrões simbólicos do MK. Esta busca permite com o uso de regras, reduzir o universo de procura no espaço de padrões simbólicos e, obter a solução ideal para controlar o circuito pneumático ou electropneumático desejado | pt_PT |
| dc.description.sponsorship | Agradecemos o apoio financeiro da FCT - Fundação Portuguesa para o Desenvolvimento da Ciência e Tecnologia, Ministério da Ciência, Tecnologia e Ensino Superior, através do INEGI e LAETA, projeto UIDB / 50022/2020. | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.doi | 10.23919/CISTI52073.2021.9476491 | pt_PT |
| dc.identifier.uri | http://hdl.handle.net/10400.22/21978 | |
| dc.language.iso | por | pt_PT |
| dc.peerreviewed | yes | pt_PT |
| dc.publisher | IEEE | pt_PT |
| dc.relation | Associate Laboratory of Energy, Transports and Aeronautics | |
| dc.relation.publisherversion | https://ieeexplore.ieee.org/document/9476491 | pt_PT |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | pt_PT |
| dc.subject | Mapas de Karnaugh | pt_PT |
| dc.subject | Manipulação simbólica | pt_PT |
| dc.subject | PROLOG | pt_PT |
| dc.subject | Automação pneumática | pt_PT |
| dc.subject | Controlo de circuitos pneumáticos e electropneumáticos | pt_PT |
| dc.title | Symbolic Manipulation for Optimization of Boolean Functions for Control of Pneumatic and Electropneumatic Circuits | pt_PT |
| dc.title.alternative | Manipulação Simbólica para Otimização de Funções Booleanas para Controlo de Circuitos Pneumáticos e Electropneumáticos | pt_PT |
| dc.type | conference object | |
| dspace.entity.type | Publication | |
| oaire.awardTitle | Associate Laboratory of Energy, Transports and Aeronautics | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F50022%2F2020/PT | |
| oaire.citation.endPage | 4 | pt_PT |
| oaire.citation.startPage | 1 | pt_PT |
| oaire.citation.title | 16th Iberian Conference on Information Systems and Technologies (CISTI) | pt_PT |
| oaire.fundingStream | 6817 - DCRRNI ID | |
| person.familyName | da Silva | |
| person.familyName | Almeida Santos | |
| person.givenName | A. Ferreira | |
| person.givenName | Adriano Manuel | |
| person.identifier.ciencia-id | C418-BCD9-FCC9 | |
| person.identifier.orcid | 0000-0003-2067-7601 | |
| person.identifier.orcid | 0000-0001-8991-6768 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | conferenceObject | pt_PT |
| relation.isAuthorOfPublication | 069c8d30-01d5-41bd-9c45-695ecbf14e49 | |
| relation.isAuthorOfPublication | d8123b52-52aa-487f-9a36-6cc77ac282d9 | |
| relation.isAuthorOfPublication.latestForDiscovery | d8123b52-52aa-487f-9a36-6cc77ac282d9 | |
| relation.isProjectOfPublication | 80741b9a-280d-4972-b352-8d1375fbfb3b | |
| relation.isProjectOfPublication.latestForDiscovery | 80741b9a-280d-4972-b352-8d1375fbfb3b |