61 |
[en] NEURO-FUZZY MODELLING AND CONTROL OF DYNAMIC SISTEMS / [pt] MODELAGEM E CONTROLE NEURO-FUZZY DE SISTEMAS DINÂMICOSGIOVANE QUADRELLI 19 June 2002 (has links)
[pt] Este trabalho apresenta procedimentos de modelagem e
controle neuro-fuzzy de sistemas dinâmicos. Neste contexto,
é proposta e avaliada a utilização simultânea da
abordagem neuro-fuzzy em todo o sistema de malha fechada
controlador-planta.Na modelagem da planta, o espaço de
entrada do sistema dinâmico é inicialmente dividido em um
número de regiões de operação fuzzy onde modelos de ordem
reduzida (ARMAX) representam o comportamento do sistema
dinâmico. A saída completa do sistema - modelo global - é
obtida através da conjunção das saídas dos modelos locais
usando uma rede neuro-fuzzy.No controle da planta, é
proposto um novo controlador neuro-fuzzy chamado
Controlador Neuro-fuzzy de Coeficientes Variáveis (CNFCV),
que tem como objetivos melhorar a robustez do sistema de
controle a perturbações e a geração automática da
variável manipulada, que é uma dificuldade normalmente
encontrada em controladores neurais ou neuro-fuzzy. Esse
controlador é originado dos modelos de redes neurais de
Mellem (1997) e Velloso (1999), e utiliza redes neuro-fuzzy
para a geração dos coeficientes variáveis de um modelo ARMA
da variável manipulada. Apesar de juntar modelos de
séries temporais com a abordagem neuro-fuzzy, o CNFCV tem
como função não a previsão, mas sim o controle de uma
planta ou processo.Para avaliar o desempenho do CNFCV são
utilizados, como meios de comparação,controladores neuro-
fuzzy conhecidos - FALCON-H Fuzzy Adaptive Learning Control
Network with Hybrid Learning e NEFCON Neuro-Fuzzy
Controller - e o tradicional controlador PID Proporcional-
Integral-Derivativo.As plantas utilizadas são uma planta
linear Bobinador, uma planta linearizada Pêndulo Invertido
e uma planta não linear %CO2. A escolha de tais plantas
deve-se ao fato de serem utilizadas e modeladas em
aplicações práticas e em trabalhos acadêmicos. Os
resultados obtidos com o CNFCV são analisados e comparados
aos proporcionados pelas outras estruturas.Ao final são
apresentadas conclusões e sugestões para trabalhos futuros. / [en] In this work procedures for neuro-fuzzy modelling and
control of dynamic systems are reviewed and a new structure
is proposed. In this, modelling and closed-loop control are
performed simultaneously by using a neuro-fuzzy approach.
In the modelling stage the input space of a dynamic system
(plant) is initially divided into a number of fuzzy
operating regions within which reduced order models are
able to represent the system. The complete system model
output - the global model - is obtained through the
conjunction of the outputs of the local models.
A new structure, called Neuro-Fuzzy Controller with
Variable Coefficients (NFCVC) is proposed and evaluated.
Its main objectives are to improve the system s robustness
and to provide automatic generation of the manipulated
variable in order to overcome a difficulty of neural and
neuro-fuzzy controllers in general. The NFCVC is originated
from models proposed by Mellem (1997) and Velloso (1999)
and makes use of neuro-fuzzy networks to generate variable
coefficients of an ARMA model. Despite combining times
series models with a neuro-fuzzy approach, the main
function of NFCVC is to perform the control of the
plant.In order to evaluate the performance of NFCVC two
well-known neuro-fuzzy controllers - FALCON-H (Fuzzy
Adaptive Learning Control Network with Hybrid
Learning) and the NEFCON (Neuro-Fuzzy Controller) - as well
as the traditional PID controller are used as means of
comparison.A linear plant (Rotor Winder), a linearized
plant (Inverted Pendulum) and a nonlinear plant (%CO2) are
used in the experiments. These plants are well-known and
generally used in practical applications and/or academic
works. The results for the NFCVC are analyzed and compared
to those obtained with the others structures.
Finally, conclusions and suggestions for future work are
presented.
|
62 |
[en] PRE-PROJECT FOR HOUSING REHABILITATION: AN APPROACH BASED ON FUZZY LOGIC IN A BIM ENVIRONMENT / [pt] PRÉ-PROJETO DE REABILITAÇÃO HABITACIONAL: UMA ABORDAGEM BASEADA NA LÓGICA DIFUSA EM UM AMBIENTE BIMERYANE VIEIRA LIMA 10 June 2021 (has links)
[pt] Os edifícios ociosos, no Brasil, podem contribuir para a diminuição do déficit habitacional ao serem convertidos para habitações de interesse social (HIS), mesmo que o seu uso anterior não seja residencial. A conversão desses edifícios em HIS pode apresentar diferentes níveis de dificuldade. Nesse sentido, faz-se necessária uma metodologia para criar uma ordem de intervenção. Contudo, há diversas variáveis do urbanismo, da arquitetura e da engenharia que precisam ser avaliadas para que um edifício seja escolhido. No início do processo, essas análises são desafiadoras, devido à subjetividade e à escassez de informações nessa fase. Nesse contexto, e considerando as soluções encontradas na Revisão Sistemática da Literatura (RSL), este trabalho propõe uma metodologia baseada no modelo paramétrico, que contribui para antecipação das análises, associada à Lógica Fuzzy, que auxilia no tratamento da subjetividade, e ao método multicritério TOPSIS, para tornar o processo de pré-seleção mais eficiente. Foi desenvolvido um Mapa de Processo que propõe um novo fluxo de trabalho, relacionando estudos de conforto ambiental, localização e custo direto com o estado de conservação. O mapa proposto foi aplicado a três estudos de caso na cidade do Rio de Janeiro. A fim de validar os resultados e os critérios utilizados, realizaram-se onze entrevistas estruturadas com arquitetos experientes em projetos de reabilitação habitacional. Os resultados obtidos nas entrevistas indicam que o método proposto embasa a escolha do edifício, diminuindo a sua subjetividade. Além disso, facilita o entendimento, por profissionais pouco experientes, das diferentes análises que precisam ser efetuadas para uma escolha mais racional. / [en] The vacant buildings in Brazil can contribute to reduce the housing deficit when converted to social housing, even if their previous use is not residential. The conversion of these buildings into social housing can present different levels of difficulty. In this sense, a methodology is necessary to create an order of intervention. However, there are several variables of urbanism, architecture and engineering that need to be evaluated in order to choose a building to be converted. At the beginning of the process, these analyzes are challenging, due to the subjectivity and the scarcity of information at this stage. In this context, and considering the solutions found in the Systematic Literature Review, this reaserch work proposes a methodology based on a parametric model, which contributes to anticipate the analyzes, associated with Fuzzy Logic, which helps in the treatment of subjectivity, and with the multicriteria method TOPSIS, which makes the pre-selection process more efficient. A Process Map that proposes a new workflow was developed, relating studies of environmental comfort, location and direct cost with the state of conservation. The proposed map was applied to three case studies in the city of Rio de Janeiro. In order to validate the results and the criteria used, eleven structured interviews were carried out with architects experienced in housing rehabilitation projects. The results obtained in the interviews indicate that the proposed method supports the choice of the building, reducing its subjectivity. Furthermore, it facilitates the understanding, by inexperienced professionals, of the different analyzes that need to be carried out for a more rational choice.
|
63 |
[en] MEASUREMENT AND EVALUATION OF INNOVATIVE CAPACITY OF MICRO, SMALL AND MEDIUM ENTERPRISES: APPLICATION OF FUZZY MULTI-CRITERIA METHODS FOR DECISION SUPPORT / [pt] MENSURAÇÃO E AVALIAÇÃO DA CAPACIDADE INOVATIVA DE MICRO, PEQUENAS E MÉDIAS EMPRESAS: APLICAÇÃO DE MÉTODOS MULTICRITÉRIO FUZZY DE APOIO À DECISÃOJOSE EDUARDO DE OLIVEIRA TRINDADE 14 March 2017 (has links)
[pt] Na perspectiva de estimular o aprimoramento do processo de gestão da inovação pelas micro, pequenas e médias empresas (MPMEs) brasileiras e contribuir para formulação ou revisão de políticas públicas de Ciência, Tecnologia e Inovação (CTeI) voltadas para esse segmento, a presente dissertação tem como objetivo geral propor um modelo para monitorar e avaliar a capacidade inovativa de MPMEs. A pesquisa pode ser considerada descritiva, metodológica e aplicada. A partir dos resultados da revisão bibliográfica e documental sobre os temas centrais da pesquisa, desenvolveu-se um modelo para mensuração e avaliação da capacidade inovativa de MPMEs, com base na integração de dois métodos multicritério fuzzy de apoio à decisão – Fuzzy Analytical Hierarchy Process (FAHP) e Fuzzy Technique for Order of Preference by Similarity to Ideal Solution (FTOPSIS). Visando demonstrar a aplicabilidade desse modelo no contexto das MPMEs e explicitar seus diferenciais metodológicos em comparação a outros métodos de apoio à decisão, não combinados com a teoria de conjuntos fuzzy, realizou-se um estudo junto a 15 MPMEs participantes do Programa NAGI da PUC-Rio. Destacam-se como principais contribuições da pesquisa um modelo para mensuração e avaliação da capacidade inovativa de MPMEs, que considera a complexidade, subjetividade e incerteza como características inerentes a essa atividade, e um conjunto de indicadores compostos associados às três dimensões de capacidade inovativa contempladas no modelo proposto. / [en] From the perspective of stimulating the improvement of the process of innovation management by micro, small and medium enterprises (MSMEs) and contributing to the formulation or review of public policies concerning the area of Science, Technology and Innovation (CTandI), focusing on this segment, the aim of the dissertation is to propose a model to monitor and evaluate the innovative capacity of MSMEs. This research can be classified as descriptive, methodological and applied. From the bibliographic and documentary review on the central themes of the research, a model was developed to measure and evaluate the innovative capacity of MSMEs based on the integration of two fuzzy multi-criteria methods of decision support - Fuzzy Analytical Hierarchy Process (FAHP) and Fuzzy Technique for Order of Preference by Similarity to Ideal Solution (FTOPSIS). Aiming to demonstrate the applicability of this model in the context of MSMEs and to explicit its methodological differentials in comparison to other methods for measuring the innovative capacity of enterprises, an empirical study with 15 MSMEs participants of the NAGI Program at PUC-Rio was carried out during the applied phase of this research. The main contributions are a model for measuring and evaluating the innovative capacity of MSMEs, which considers the complexity, subjectivity, and uncertainty as characteristics inherent to these activities, and a set of composed indicators associated with the three dimensions of the innovative capacity considered in the proposed model.
|
64 |
[en] DECISION SUPPORT FRAMEWORK FOR ASSET CRITICALITY ASSESSMENT: A FUZZY-MULTICRITERIA APPROACH / [pt] FRAMEWORK DE APOIO À DECISÃO PARA AVALIAÇÃO DE CRITICIDADE DE ATIVOS: UMA ABORDAGEM FUZZY-MULTICRITÉRIOBRUNA CRISTINA SIQUEIRA KAISER 04 June 2024 (has links)
[pt] Cenários de falhas em plataformas offshore constituem riscos ambientais, sociais e
econômicos significativos devido à amplitude dos danos que podem ser provocados.
Portanto, neste contexto, a adoção de boas práticas de gestão de manutenção é
necessária, permitindo a continuidade operacional, através da integridade de ativos. No
entanto, há ainda uma necessidade de estudos com uma abordagem holística para uma
avaliação multinível de ativos, através de abordagens modernas que mitiguem as
limitações da análise de modos e efeitos de falha (FMEA) tradicional. Desse modo,
esta pesquisa propõe um framework para a análise FMEA que considera a
subjetividade e as importâncias relativas dos critérios de risco, através de uma
abordagem integrada que utiliza sistemas hierárquicos de inferência e modelos
multicritério, como o Best-Worst Method (BWM) e o fuzzy VIsekriterijumsko
KOmpromisno Rangiranje (VIKOR) para fornecer uma classificação estruturada de
ativos, orientando o gestor na priorização de manutenção. Esse framework foi validado
por meio de um estudo empírico em uma plataforma do tipo Floating Production
Storage and Offloading (FPSO), que abordou a problemática da corrosão externa para
gestão de manutenção, com base na coleta de dados triangulados. Portanto, a presente
pesquisa traz contribuições teóricas ao preencher lacunas através da propositura e
aplicação de metodologias integradas, e contribuições práticas ao fornecer aos
gestores, responsáveis pela formulação de planos de manutenção, elementos objetivos
para uma tomada de decisão mais eficaz, sob o paradigma da confiabilidade. Esse
framework pode ser aplicado em outros domínios através do ajuste de critérios
avaliativos. / [en] Failure scenarios in offshore platforms pose significant environmental, social, and
economic risks due to the magnitude of potential damages they can cause. Therefore, in
this context, the adoption of good maintenance management practices is necessary,
enabling operational continuity through asset integrity. However, there is still a need for
studies with a holistic approach for a multi-level assessment of assets, using modern
approaches to mitigate the limitations of traditional Failure Mode and Effects Analysis
(FMEA). Thus, this research proposes a framework for FMEA that considers the
subjectivity and relative importance of risk criteria, through an integrated approach
using hierarchical inference systems and multi-criteria models such as the Best-Worst
Method (BWM) and fuzzy VIsekriterijumsko KOmpromisno Rangiranje (VIKOR) to
provide a structured classification of assets, guiding managers in maintenance
prioritization. This framework was validated through an empirical study on a Floating
Production Storage and Offloading (FPSO) platform, addressing the issue of external
corrosion for maintenance management, based on triangulated data collection.
Therefore, this research brings theoretical contributions by filling gaps through the
proposal and application of integrated methodologies, and practical contributions by
providing managers responsible for formulating maintenance plans with objective
elements for more effective decision-making under the reliability paradigm. This
framework can be applied in other domains by adjusting evaluative criteria.
|
65 |
[en] COMPLIANCE REASONING ON LEGAL NORMS: A LOGIC-BASED APPROACH / [pt] RACIOCÍNIO DE COMPLIANCE SOBRE NORMAS LEGAIS: UMA ABORDAGEM BASEADA EM LÓGICAFERNANDO ANTONIO DANTAS GOMES PINTO 02 July 2024 (has links)
[pt] Garantir que uma base de conhecimento com atos da administração
pública contenha apenas fatos em conformidade com sua legislação torna-se
um desafio para qualquer gestor público. Para isso, dado o grande volume
de dados gerados por empresas públicas, faz-se necessário o emprego de
recursos tecnológicos que auxiliem o processo de análise de conformidade
destes atos. Este trabalho apresenta uma arquitetura computacional capaz de
extrair informações publicados dos diários oficiais e então serializá-los em duas
bases de conhecimento: triplas RDF/XML de fatos e triplas de RDF/XML de
regras formalizadas em lógica iALC, uma lógica de descrição intuicionista.
Para garantir a consistência desta base de conhecimento, foi desenvolvido
um SAT Solver para iALC em forma de tableau semântico intuicionista.
Uma extensão do tableau intuicionista de primeira ordem apresentado por
Fitting (1969). Este SAT Solver faz parte de um módulo que além de gerar
modelos e contra-exemplos para as regras formalizadas em iALC, também
gera um código preliminar de consultas em SPARQL. Esta abordagem permite
inferir e certificar a qualidade dos dados disponíveis na base de conhecimento
RDF/XML de fatos. Para garantir a qualidade do nosso SAT Solver, fizemos
a prova de soundness das suas regras. Para garantir a qualidade da nossa
abordagem lógica, construímos um conjunto de 21 Questões de Competência e
aplicamos à nossa ferramenta. Os resultados deste estudo de caso mostraram
a eficácia e eficiência da nossa abordagem. / [en] Ensuring that a knowledge base with public administration acts contains
only facts in accordance with its legislation becomes a challenge for any
public manager. To achieve this, given the large volume of data generated by
public companies, it is necessary to apply technological resources that assist
in the process of analyzing the compliance of these acts. This work presents
a computational architecture capable of extracting information published in
official gazettes and then serializing it into two knowledge bases, RDF/XML
triples of facts and RDF/XML triples of rules formalized in iALC logic, an
intuitionistic description logic. To ensure the consistency of this knowledge
base, a SAT Solver for iALC was developed in the form of an intuitionistic
semantic tableau. An extension of the first-order intuitionist tableau presented
by Fitting (1960). This SAT Solver is part of a module that generates models
and counter-examples for rules formalized in iALC and generates a preliminary
query code in SPARQL. This approach allows infer and certify the quality of
the data available in the RDF/XML knowledge base of facts. To guarantee the
quality of our SAT Solver, we carry out the soundness proof of its rules. To
ensure the quality of our logical approach, we built a set of 21 Competency
Questions and applied our tool. The results of this case study showed our
approach s effectiveness and efficiency.
|
66 |
[en] ARGUING NP = PSPACE: ON THE COVERAGE AND SOUNDNESS OF THE HORIZONTAL COMPRESSION ALGORITHM / [pt] ARGUMENTANDO NP = PSPACE: SOBRE A COBERTURA E CORRETUDE DO ALGORITMO DE COMPRESSÃO HORIZONTALROBINSON CALLOU DE M BRASIL FILHO 12 September 2024 (has links)
[pt] Este trabalho é uma elaboração, com exemplos, e evolução do Algoritmo de Compressão Horizontal (HC) apresentado e seu Conjunto de Regras de Compressão. Este trabalho apresenta uma prova, feita no Provador Interativo de Teoremas Lean, de que o algoritmo HC pode obter uma Derivação Comprimida, representada por um Grafo Acíclico Dirigido, a partir de qualquer Derivação Tipo-Árvore em Dedução Natural para a Lógica Minimal Puramente Implicacional. Finalmente, a partir da Cobertura e Corretude do algoritmo HC, pode-se argumentar que NP = PSPACE. / [en] This work is an elaboration, with examples, and evolution of the presented Horizontal Compression Algorithm (HC) and its set of Compression Rules.
This work argues a proof, done in the Lean Interactive Theorem Prover, that
the HC algorithm can obtain a Compressed Derivation, represented by a Directed Acyclic Graph, from any Tree-Like Natural Deduction Derivation in Minimal Purely Implicational Logic. Finally, from the Coverage and Soundness of
the HC algorithm, one can argue that NP = PSPACE.
|
67 |
[en] VALUATION OF INTANGIBLE ASSETS USING COMPUTATIONAL INTELLIGENCE: APPLICATION AT HUMAN CAPITAL. / [pt] VALORAÇÃODE DE ATIVOS INTANGÍVEIS COM USO DE INTELIGÊNCIA COMPUTACIONAL: APLICAÇÃO EM CAPITAL HUMANONELSON RODRIGUES DE ALBUQUERQUE 13 May 2013 (has links)
[pt] Esta tese apresenta uma nova metodologia para valoração dinâmica do Capital
Intelectual, aplicada ao Capital Humano. Trata-se de oferecer, ao tomador de decisão,
uma ferramenta capaz de calcular e comparar o retorno do investimento
em ativos intangíveis, como ocorre com outros ativos tangíveis. Através da metodologia
proposta, denominada KVA-ACHE, é possível estimar a quantidade
potencial de conhecimento humano, utilizado na geração do resultado financeiro
da empresa. Essa metodologia também permite medir variações de desempenho
nos processos-chave que compõem a cadeia de valor da empresa e o impacto do
investimento em educação em um determinado processo. O método KVA-ACHE
é composto de cinco módulos, que são executados em três fases. Na primeira
fase se avalia a empresa de forma agregada, segundo seu modelo estratégico e,
na segunda fase, avalia-se a quantidade de conhecimento potencial e disponível,
associado a cada processo-chave. A terceira fase é aplicado o método KVA e
obtido o indicador de desempenho ROI. Ao final da sua aplicação, essa metodologia
permite: identificar os processos que estão drenando resultado da empresa,
através da observação de indicador financeiro adaptado, como o ROIK (Return
on Investment on Knowledg), identificar a necessidade individualizada de treinamento
para se atingir o máximo de desempenho em um determinado processochave;
analisar o impacto percebido em termos percentuais do investimento em
educação, realizado em determinado processo-chave; e, finalmente, dar uma visão
sobre os recursos de conhecimentos e habilidades disponíveis na equipe de
colaboradores, os quais poderão ser aproveitados na avaliação de novos negócios
e desafios para empresa. A principal inovação dessa metodologia está no fato de
se utilizar a Teoria dos Conjuntos Fuzzy e de Sistemas de Inferência Fuzzy - SIF
para transformar conceitos relacionados à disponibilidade e ao uso de conhecimento
humano em valores que, dessa forma, permitem a comparação de ativos
intangíveis com ativos tangíveis. / [en] This thesis presents a new methodology for dynamic valuation of Intellectual
Capital, applied to the Human Capital. It offers, to the decision-maker, a computational
tool able to quote and compare the return on investment in intangible
assets, as with tangible assets. Through the proposed methodology, called KVAACHE,
it is possible to estimate the potential amount of human knowledge, used
in generating the company’s financial results. This approach also allows the measurement
of variations in performance in the key processes that make up the
value chain of the company and the impact of investment in education in a given
process. The method KVA-ACHE is composed of five modules, which are executed
in three phases. The first phase evaluates the company on an aggregate basis,
according to its strategic model, and, in the second phase, the amount of potential
and available knowledge, associated with each key process, is evaluated. The
third phase applies KVA method. This methodology allows: the identification of
the processes that are draining the company’s income by looking at the adapted
financial indicators, such as ROIK (Return on Investment on Knowledge);
the individualized need for training to achieve maximum performance in a particular
key process; the analysis of the impact noticed in terms of percentage of
the investment in education, held in a certain key process; and finally, an insight
into the resources of knowledge and skills available in the team of collaborators,
which may be used in the assessment of new challenges and business to the enterprise.
The main innovation of this methodology lies in the use of Fuzzy Set Theory and Fuzzy Inference Systems - FIS to transform concepts related to the
availability and use of human knowledge into values, and thus allow the comparison
of intangible assets with tangible assets.
|
68 |
[en] MULTIPLE SENSORS MONITORING SYSTEM BY AUTOASSOCIATIVE NEURAL NETWORKS AND FUZZY LOGIC / [pt] SISTEMA DE MONITORAMENTO DE MÚLTIPLOS SENSORES POR REDES NEURAIS AUTO-ASSOCIATIVAS E LÓGICA FUZZYJAVIER EDUARDO REYES SANCHEZ 27 August 2019 (has links)
[pt] Calibrações manuais periódicas asseguram o funcionamento correto de um instrumento durante certo período de tempo, mas não garantem que sensores defeituosos permaneçam calibrados por outros períodos, além de eventualmente serem desnecessárias. Em plantas industriais, a análise dos sinais fornecidos pelos sensores que monitoram os processos de produção é uma tarefa difícil em virtude da grande dimensão dos dados. Portanto, uma estratégia de monitoramento e correção online para múltiplos sensores se faz necessária. Este trabalho propõe a utilização de dois modelos: um que emprega Redes Neurais Auto-Associativas com Treinamento Robusto Modificado (RNAAM), e outro que emprega o Teste Seqüencial da Razão de Probabilidade (SPRT) e Lógica Fuzzy. Esses modelos são aplicados em um sistema de monitoramento para auto-correção online e auto-validação das medições realizadas por um grande número de sensores. Diferentemente dos modelos existentes, o sistema proposto faz uso de apenas uma RNAAM para reconstruir os sinais dos sensores com falha. Além disso, os estados do sensor e do modelo de auto-correção são validados por meio dos módulos de confiabilidade e de classificação, respectivamente.
Para avaliação do modelo, faz-se uso de uma base de dados com medidas de sensores industriais que controlam e realizam o monitoramento de um motor de combustão interna, instalado em um caminhão de mineração. Os resultados obtidos mostram a capacidade do modelo proposto de mapear e corrigir, com um baixo nível de erro, os sinais dos sensores que apresentam falhas, além de fornecer ao especialista uma ferramenta para a realização de cronogramas de revisão de sensores. / [en] Periodical manual calibrations assure the correct operation of an instrument for a certain period of time, but do not guarantee that faulty sensors remain calibrated for other periods, besides being occasionally unnecessary. In industrial plants the analysis of signals from sensors that monitor a plant is a difficult task due to the high-dimensionality of data. Therefore an online strategy for monitoring and correcting multiple sensors is required. This work proposes the use of two models: one that employs Auto Associative Neural Networks with a Modified Robust Training, and another that employs the Sequential Probability Ratio Test (SPRT) and Fuzzy Logic. These models are applied to an online monitoring system for self-correction and selfvalidation of measurements generated by a large number of sensors. Unlike existing models, the proposed system makes use of only one AANN to reconstruct signals from faulty sensors. Moreover, the states of the sensor and of the self correction model are validated through the reliability and classification modules, respectively. The model is evaluated with a database containing measurements of industrial sensors that control and carry out the monitoring of an internal combustion engine installed in a mining truck. Experimental results show the ability of the proposed model to map and correct signals from faulty sensors with a low error, and to provide a tool for sensor review scheduling.
|
69 |
[en] ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS / [pt] ALGUMAS RELAÇÕES ENTRE CÁLCULO DE SEQUENTES E DEDUÇÃO NATURALCECILIA REIS ENGLANDER LUSTOSA 19 March 2015 (has links)
[pt] Segerberg apresentou uma prova geral da completude para lógicas
proposicionais. Para tal, um sistema de dedução foi definido de forma que suas
regras sejam regras para um operador booleano arbitrário para uma dada lógica
proposicional. Cada regra desse sistema corresponde a uma linha na tabela de
verdade desse operador. Na primeira parte desse trabalho, mostramos uma
extensão da ideia de Segerberg para lógicas proposicionais finito-valoradas e
para lógicas não-determinísticas. Mantemos a ideia de definir um sistema de
dedução cujas regras correspondam a linhas de tabelas verdade, mas ao invés de
termos um tipo de regra para cada valor de verdade da lógica correspondente,
usamos uma representação bivalente que usa a técnica de fórmulas separadoras
definidas por Carlos Caleiro e João Marcos. O sistema definido possui tantas
regras que pode ser difícil trabalhar com elas. Acreditamos que um sistema
de cálculo de sequentes definido de forma análoga poderia ser mais intuitivo.
Motivados por essa observação, a segunda parte dessa tese é dedicada à
definição de uma tradução entre cálculo de sequentes e dedução natural, onde
procuramos definir uma bijeção melhor do que as já existentes. / [en] Segerberg presented a general completeness proof for propositional logics.
For this purpose, a Natural Deduction system was defined in a way that its rules
were rules for an arbitrary boolean operator in a given propositional logic. Each
of those rules corresponds to a row on the operator s truth-table. In the first
part of this thesis we extend Segerbergs idea to finite-valued propositional logic
and to non-deterministic logic. We maintain the idea of defining a deductive
system whose rules correspond to rows of truth-tables, but instead of having
n types of rules (one for each truth-value), we use a bivalent representation
that makes use of the technique of separating formulas as defined by Carlos
Caleiro and João Marcos. The system defined has so many rules it might be
laborious to work with it. We believe that a sequent calculus system defined in
a similar way would be more intuitive. Motivated by this observation, in the
second part of this thesis we work out translations between Sequent Calculus
and Natural Deduction, searching for a better bijective relationship than those
already existing.
|
70 |
[en] MEASUREMENT AND EVALUATION OF INTANGIBLE ASSETS AND VALUE CREATION OF DIAGNOSIS AND TESTING LABORATORIES FOR ELECTRICAL EQUIPMENTS / [pt] MENSURAÇÃO E AVALIAÇÃO DOS ATIVOS INTANGÍVEIS E CRIAÇÃO DE VALOR DAS ATIVIDADES DE LABORATÓRIOS DE DIAGNÓSTICO E ENSAIOS DE EQUIPAMENTOS ELÉTRICOSARNOLDO FURTADO DE SA 20 February 2019 (has links)
[pt] Dentre os objetivos do Plano Estratégico do Sistema Eletrobras, destacam-se a intensificação da atuação integrada em pesquisa, desenvolvimento e inovação (PD e I) e a mensuração dos ativos tangíveis e intangíveis para geração de valor para o Sistema Eletrobras. Nesse contexto, esta pesquisa buscou contribuir para o aprimoramento da gestão de ativos intangíveis no âmbito da Rede de Laboratórios das Empresas Eletrobras (Relase), ao tornar disponível um modelo de mensuração e avaliação de ativos intangíveis desenvolvido para laboratórios de diagnóstico e ensaios de equipamentos elétricos. A pesquisa pode ser considerada descritiva, metodológica e aplicada. A partir dos resultados da revisão bibliográfica e
documental sobre os temas centrais da pesquisa, adaptou-se, para fins de aplicação em laboratórios de diagnóstico e ensaios de equipamentos elétricos, um modelo conceitual que já vem sendo adotado por instituições de Ciência e Tecnologia europeias para elaboração de seus relatórios de capital intelectual. Para a proposição e seleção dos indicadores e métricas que integram o modelo, empregaram-se métodos multicritério de apoio à decisão combinados com lógica fuzzy. A aplicabilidade do modelo pôde ser demonstrada mediante um estudo empírico no Laboratório de Diagnóstico em Equipamentos e Instalações Elétricas (Labdig) do Centro de Pesquisas de Energia Elétrica (Cepel). Considera-se que o ferramental desenvolvido por esta pesquisa possa ser replicado no âmbito da Relase, que abrange hoje um total de 98 laboratórios, sendo 16 destes acreditados para serviços de calibração. / [en] Among the objectives of the Eletrobras System Strategic Plan, two of them are highlighted – the intensification of the integrated practice in research, development and innovation (RD and I); and the measurement of tangible and intangible assets to generate value for the Eletrobras System. In this context, this dissertation aims at contributing to the improvement of the management of intangible assets within the Eletrobras Companies Laboratories Network (Relase – Rede de Laboratórios das Empresas Eletrobras), by providing an intangible asset measurement and assessment model developed for electrical equipment diagnosis and testing laboratories. The research can be considered descriptive, methodological and applied. Based on the results of the bibliographic review and documentary analysis on the central themes of the research, a conceptual model was adapted for the context of diagnosis and testing laboratories, which has already been adopted by European Science and Technology institutions concerning elaboration of their intellectual capital reports. In this research, for the proposal and selection of indicators and metrics, multicriteria decision support methods were incorporated into the model, combined with fuzzy logic. The applicability of the model has been demonstrated through an empirical study in the Laboratório de Diagnóstico em Equipamentos e Instalações Elétricas (Labdig) do Centro de Pesquisas de Energia Elétrica (Cepel). The results of this research can be replicated within Relase, which covers today a total of 98 laboratories, of which 16 are accredited for calibration services.
|
Page generated in 0.0496 seconds