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.

Introducción al análisis modal operacional

Es frecuente que las estructuras, una vez realizadas, muestren diferencias, respecto de su concepción original que, en ocasiones, pueden hacer necesaria una intervención posterior con el objetivo de corregir su comportamiento estructural. En otras ocasiones estas actuaciones se hacen necesarias como consecuencias de deterioros sufridos durante la vida útil de la estructura (daño estructural) o como consecuencia de cambios en el propio uso de la estructura. En cualquier caso, tanto en las situaciones descritas, como en muchas otras, la estructura ha de someterse a un proceso de monitorización que nos permita obtener información experimental de ciertos parámetros estructurales con los que afinar los modelos numéricos que de ellas se realizan. Esta jornada se ha estructurado en cuatro conferencias en las que investigadores de las universidades de Sevilla y Córdoba nos darán una visión divulgativa del problema, nos acercarán a alguna de sus técnicas y nos mostrarán algún caso práctico de gran interés. En la segunda conferencia, el profesor de la Universidad de Córdoba Dr. D. Rafael Castro Triguero, Ingeniero de Caminos, Canales y Puertos y con una amplia experiencia en monitorización de estructuras, mostrará las bases de alguna de estas técnicas y cómo, de la información obtenida, pueden inferirse parámetros estructurales para mejorar los modelos y/o detectar daños estructurales.

Identificación de daño en estructuras históricas mediante análisis modal operacional (OMA)

Es frecuente que las estructuras, una vez realizadas, muestren diferencias, respecto de su concepción original que, en ocasiones, pueden hacer necesaria una intervención posterior con el objetivo de corregir su comportamiento estructural. En otras ocasiones estas actuaciones se hacen necesarias como consecuencias de deterioros sufridos durante la vida útil de la estructura (daño estructural) o como consecuencia de cambios en el propio uso de la estructura. En cualquier caso, tanto en las situaciones descritas, como en muchas otras, la estructura ha de someterse a un proceso de monitorización que nos permita obtener información experimental de ciertos parámetros estructurales con los que afinar los modelos numéricos que de ellas se realizan. Esta jornada se ha estructurado en cuatro conferencias en las que investigadores de las universidades de Sevilla y Córdoba nos darán una visión divulgativa del problema, nos acercarán a alguna de sus técnicas y nos mostrarán algún caso práctico de gran interés. En la tercera conferencia, el profesor de la Universidad de Sevilla Dr. D. Víctor Jesús Compán Cardiel, Arquitecto, mostró cómo la técnica de monitorización conocida pos sus siglas en inglés OMA puede ser aplicada a estructuras antiguas, que forman parte del patrimonio, para aprender de estas estructuras y, llegado el caso, detectar daño en las mismas y poder tomar las medidas necesarias para mejorar su capacidad portante y, con ello, incrementar el tiempo por el que podremos disfrutar de estos singulares edificios.

Multi-modal ultrasound imaging for breast cancer detection

This work describes preliminary results of a two-modality imaging system aimed at the early detection of breast cancer. The first technique is based on compounding conventional echographic images taken at regular angular intervals around the imaged breast. The other modality obtains tomographic images of propagation velocity using the same circular geometry. For this study, a low-cost prototype has been built. It is based on a pair of opposed 128-element, 3.2 MHz array transducers that are mechanically moved around tissue mimicking phantoms. Compounded images around 360 degrees provide improved resolution, clutter reduction, artifact suppression and reinforce the visualization of internal structures. However, refraction at the skin interface must be corrected for an accurate image compounding process. This is achieved by estimation of the interface geometry followed by computing the internal ray paths. On the other hand, sound velocity tomographic images from time of flight projections have been also obtained. Two reconstruction methods, Filtered Back Projection (FBP) and 2D Ordered Subset Expectation Maximization (2D OSEM), were used as a first attempt towards tomographic reconstruction. These methods yield useable images in short computational times that can be considered as initial estimates in subsequent more complex methods of ultrasound image reconstruction. These images may be effective to differentiate malignant and benign masses and are very promising for breast cancer screening. (C) 2015 The Authors. Published by Elsevier B.V.

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)

Procedimento para estudo da escolha modal em viagens realizadas por estudantes de instituições de ensino médio, mediado pela psicologia social

Tese (doutorado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Civil e Ambiental, 2016.

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