• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 72
  • 12
  • Tagged with
  • 84
  • 84
  • 76
  • 39
  • 12
  • 11
  • 11
  • 11
  • 11
  • 10
  • 9
  • 9
  • 9
  • 8
  • 8
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
61

[en] NEURO-FUZZY MODELLING AND CONTROL OF DYNAMIC SISTEMS / [pt] MODELAGEM E CONTROLE NEURO-FUZZY DE SISTEMAS DINÂMICOS

GIOVANE 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 BIM

ERYANE 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ÃO

JOSE 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ÉRIO

BRUNA 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ÓGICA

FERNANDO 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 HORIZONTAL

ROBINSON 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 HUMANO

NELSON 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 FUZZY

JAVIER 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 NATURAL

CECILIA 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ÉTRICOS

ARNOLDO 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