Diagnóstico automático de eventos e distúrbios em unidades geradoras e usinas utilizando lógica fuzzy

The electric power systems are getting more complex and covering larger areas day by day. This fact has been contribuiting to the development of monitoring techniques that aim to help the analysis, control and planning of power systems. Supervisory Control and Data Acquisition (SCADA) systems, Wide Area Measurement Systems and disturbance record systems. Unlike SCADA and WAMS, disturbance record systems are mainly used for offilne analysis in occurrences where a fault resulted in tripping of and apparatus such as a transimission line, transformer, generator and so on. The device responsible for record the disturbances is called Digital Fault Recorder (DFR) and records, basically, electrical quantities as voltage and currents and also, records digital information from protection system devices. Generally, in power plants, all the DFRs data are centralized in the utility data centre and it results in an excess of data that difficults the task of analysis by the specialist engineers. This dissertation shows a new methodology for automated analysis of disturbances in power plants. A fuzzy reasoning system is proposed to deal with the data from the DFRs. The objective of the system is to help the engineer resposnible for the analysis of the DFRs’s information by means of a pre-classification of data. For that, the fuzzy system is responsible for generating unit operational state diagnosis and fault classification.

Resolução de problemas de dedução lógica na promoção da comunicação matemática na oralidade

Relatório de Estágio apresentado à Escola Superior de Educação do Instituto Politécnico de Castelo Branco para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Educação Pré-Escolar e Ensino do 1º Ciclo do Ensino Básico.

Lógica borrosa para la estimación de estados críticos de una pila de combustible PEM

La determinación en tiempo real de los estados críticos de operación de la pila de combustible de membrana intercambio protónico (siglas en ingles, PEM) es uno de los principales retos para los sistemas de control de pilas de combustible PEM. En este trabajo, se presenta el desarrollo e implementación de un método no invasivo de bajo coste basado en técnicas de decisión borrosa que permite estimar los estados críticos de operación de la pila de combustible PEM. La estimación se realiza mediante perturbaciones al estado de operación de la pila y el análisis posterior de la evolución temporal del voltaje generado por la pila. La implementación de esta técnica de estimulación-percepción de estado de la pila de combustible para la detección de estados críticos constituye una novedad y un paso hacia el control autónomo en óptimas condiciones de la operación de las pilas de combustible PEM.

Desenvolvimento de metodologia de análise de indicadores de sustentabilidade como ferramenta para tomada de decisão utilizando lógica fuzzy

Dissertação (Mestrado em Tecnologia Nuclear)

Arte, teatro pós-traumático e loucura : o processo criativo do chicqueiro e a lógica do pato

Dissertação (mestrado)—Universidade de Brasília, Instituto de Artes, 2016.

Aplicación de la teoría de la actividad a la formalización de enunciados con lógica de predicados: un primer acercamiento

En este trabajo se describe una investigación en curso, en que se aborda una de las problemáticas que se presenta en los cursos de lógica o inteligencia artificial, en el tema de representación del conocimiento. Cuando se pide a los estudiantes formalizar enunciados del lenguaje común (natural) con el lenguaje de la lógica de predicados. Se describen algunos de los errores identificados con alumnos del nivel superior y se aplica la teoría de la actividad para caracterizar la habilidad de traducir enunciados del lenguaje común (natural) a fórmulas bien formadas del lenguaje de la Lógica de predicados. Se propone una base de orientación que se deben usar al resolver los problemas de formalización (traducción) que se plantean en los cursos mencionados.

Entre o silêncio e a paisagem. Lógica e imaginação na construção de um pensamento devir paisagem

Doutoramento em Arquitetura Paisagista - Instituto Superior de Agronomia - UL

Formulación de un plan de seguridad lógica para la red del proyecto del consorcio FONPET

90 p.

Menos volume, mais valor pesquisador defende a lógica de biorrefinarias.

2015

Distintos enfoques hacia una teoría de la formalización en Lógica

Suele decirse que una de las funciones de la lógica formal deductiva es analizar la validez de los argumentos expresados en lenguaje natural. Para ello, se requiere que el argumento en lenguaje natural sea simbolizado en un lenguaje formal correspondiente donde se llevará a cabo el análisis del argumento. Sin embargo, dicho procedimiento de simbolización resulta teóricamente problemático. El presente trabajo intentará exponer los tres enfoques principales presentes en la literatura para una teoría de la formalización en lógica: a) encontrar procedimientos efectivos de formalización; b) proporcionar criterios para una formalización adecuada; c) analizar el concepto de forma lógica

Distintos enfoques hacia una teoría de la formalización en Lógica

Suele decirse que una de las funciones de la lógica formal deductiva es analizar la validez de los argumentos expresados en lenguaje natural. Para ello, se requiere que el argumento en lenguaje natural sea simbolizado en un lenguaje formal correspondiente donde se llevará a cabo el análisis del argumento. Sin embargo, dicho procedimiento de simbolización resulta teóricamente problemático. El presente trabajo intentará exponer los tres enfoques principales presentes en la literatura para una teoría de la formalización en lógica: a) encontrar procedimientos efectivos de formalización; b) proporcionar criterios para una formalización adecuada; c) analizar el concepto de forma lógica

Aplicação do método POLD® na redução da sintomatologia álgica da lombociatalgia

Projeto de Graduação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Licenciado em Fisioterapia

Efeitos do suster-relaxar na cinemática tridimensional, função neuromuscular e sintomatologia álgica de um atleta de crossfit com dor lombar

Projeto de Graduação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Licenciado em Fisioterapia