Entornos de programación para sistemas distribuidos tolerantes de fallos

[ES] En este artículo se presenta el diseño de una herramienta de configuración para aplicaciones distribuidas cooperativas y tolerantes a fallos escritas en el lenguaje de programación Drago.

Estrategia óptima de reemplazamiento de un sistema de fallos reparables y tasa de producción variable

[ES]Se considera un sistema formado por una estructura principal y otra secundaria productora de ítems. Un fallo en la estructura principal puede producir una disminución de la producción en el subsistema productor de ítems. Los fallos en la estructura principal son los únicos que pueden ser reparados mínimamente. Para una estructura fija de beneficios, se determina la estrategia óptima de reemplazamiento del sistema y se muestra un estudio de simulación de un ejemplo.

Justicia, discurso y mundos posibles : Estudio exploratorio sobre las construcciones condicionales contrafactuales en fallos de la Corte Suprema de Justicia de la Nación argentina

Tradicionalmente, las gramáticas han destacado la sutileza, diversidad y complejidad de los significados comunicados a través de las construcciones condicionales y, en particular, de los enunciados condicionales contrafactuales. Más recientemente, además, han enfatizado que tales significados exceden los alcances de la semántica veritativa y la gramática "normativa", proponiendo un abordaje pragmático y cognitivo de las emisiones condicionales contrafácticas para dar cuenta de dicha complejidad. En efecto, uno de los programas de investigación que ha aportado un marco teórico y metodológico más desarrollado para el estudio de estas construcciones, en el ámbito de la lingüística cognitiva, es el que iniciaran Turner y Fauconnier a mediados de los ochenta en torno al concepto de "fusión o integración conceptual". El presente trabajo consiste en una exploración de las emisiones condicionales contrafácticas en textos de especialidad propios del derecho -ámbito discursivo considerado por numerosos autores como una variedad profesional del lenguaje- adoptando dicha perspectiva teórica. En la construcción del corpus, hemos tenido en cuenta que los fallos de la Corte Suprema de Justicia de la Nación Argentina representan "la última palabra" en los procesos judiciales iniciados en el territorio nacional, y que, por lo tanto, se caracterizan por un proceso de revisión, negociación y reelaboración -hasta su versión definitiva- que deja un margen sumamente estrecho para el "discurso no planificado". Siguiendo la perspectiva cognitiva que encuentra en los enunciados contrafácticos determinados "mundos posibles" que se construyen a través del discurso, proponemos un análisis en torno a (1) los actores del proceso judicial, (2) las acciones, (3) las relaciones de implicación y (4) los "espacios mentales" que los enunciadores de los fallos proyectan en dichos mundos alternativos. En la medida que este trabajo constituye el primer avance de nuestro proyecto de tesis doctoral, nos posicionamos en un nivel de investigación exploratorio descriptivo y, en consecuencia, adoptamos una estrategia metodológica de tipo cualitativo

Justicia, discurso y mundos posibles : Estudio exploratorio sobre las construcciones condicionales contrafactuales en fallos de la Corte Suprema de Justicia de la Nación argentina

Tradicionalmente, las gramáticas han destacado la sutileza, diversidad y complejidad de los significados comunicados a través de las construcciones condicionales y, en particular, de los enunciados condicionales contrafactuales. Más recientemente, además, han enfatizado que tales significados exceden los alcances de la semántica veritativa y la gramática "normativa", proponiendo un abordaje pragmático y cognitivo de las emisiones condicionales contrafácticas para dar cuenta de dicha complejidad. En efecto, uno de los programas de investigación que ha aportado un marco teórico y metodológico más desarrollado para el estudio de estas construcciones, en el ámbito de la lingüística cognitiva, es el que iniciaran Turner y Fauconnier a mediados de los ochenta en torno al concepto de "fusión o integración conceptual". El presente trabajo consiste en una exploración de las emisiones condicionales contrafácticas en textos de especialidad propios del derecho -ámbito discursivo considerado por numerosos autores como una variedad profesional del lenguaje- adoptando dicha perspectiva teórica. En la construcción del corpus, hemos tenido en cuenta que los fallos de la Corte Suprema de Justicia de la Nación Argentina representan "la última palabra" en los procesos judiciales iniciados en el territorio nacional, y que, por lo tanto, se caracterizan por un proceso de revisión, negociación y reelaboración -hasta su versión definitiva- que deja un margen sumamente estrecho para el "discurso no planificado". Siguiendo la perspectiva cognitiva que encuentra en los enunciados contrafácticos determinados "mundos posibles" que se construyen a través del discurso, proponemos un análisis en torno a (1) los actores del proceso judicial, (2) las acciones, (3) las relaciones de implicación y (4) los "espacios mentales" que los enunciadores de los fallos proyectan en dichos mundos alternativos. En la medida que este trabajo constituye el primer avance de nuestro proyecto de tesis doctoral, nos posicionamos en un nivel de investigación exploratorio descriptivo y, en consecuencia, adoptamos una estrategia metodológica de tipo cualitativo

Justicia, discurso y mundos posibles : Estudio exploratorio sobre las construcciones condicionales contrafactuales en fallos de la Corte Suprema de Justicia de la Nación argentina

Tradicionalmente, las gramáticas han destacado la sutileza, diversidad y complejidad de los significados comunicados a través de las construcciones condicionales y, en particular, de los enunciados condicionales contrafactuales. Más recientemente, además, han enfatizado que tales significados exceden los alcances de la semántica veritativa y la gramática "normativa", proponiendo un abordaje pragmático y cognitivo de las emisiones condicionales contrafácticas para dar cuenta de dicha complejidad. En efecto, uno de los programas de investigación que ha aportado un marco teórico y metodológico más desarrollado para el estudio de estas construcciones, en el ámbito de la lingüística cognitiva, es el que iniciaran Turner y Fauconnier a mediados de los ochenta en torno al concepto de "fusión o integración conceptual". El presente trabajo consiste en una exploración de las emisiones condicionales contrafácticas en textos de especialidad propios del derecho -ámbito discursivo considerado por numerosos autores como una variedad profesional del lenguaje- adoptando dicha perspectiva teórica. En la construcción del corpus, hemos tenido en cuenta que los fallos de la Corte Suprema de Justicia de la Nación Argentina representan "la última palabra" en los procesos judiciales iniciados en el territorio nacional, y que, por lo tanto, se caracterizan por un proceso de revisión, negociación y reelaboración -hasta su versión definitiva- que deja un margen sumamente estrecho para el "discurso no planificado". Siguiendo la perspectiva cognitiva que encuentra en los enunciados contrafácticos determinados "mundos posibles" que se construyen a través del discurso, proponemos un análisis en torno a (1) los actores del proceso judicial, (2) las acciones, (3) las relaciones de implicación y (4) los "espacios mentales" que los enunciadores de los fallos proyectan en dichos mundos alternativos. En la medida que este trabajo constituye el primer avance de nuestro proyecto de tesis doctoral, nos posicionamos en un nivel de investigación exploratorio descriptivo y, en consecuencia, adoptamos una estrategia metodológica de tipo cualitativo

¿Dónde están los fallos de los edificios? Una lectura "interesada" del Código Técnico de la Edificación (CTE)

En el campo de la Patología, es importante contar con referencias objetivas para establecer un diagnóstico preciso, y la normativa de construcción es, sin lugar a dudas, la mejor referencia, especialmente cuando la patología entra en el campo pericial. El CTE ha supuesto un cambio importante en el enfoque de la normativa española de la construcción, pues parte de un planteamiento “prestacional” que culmina provisionalmente el camino emprendido por las ISO 6240:1980 e ISO 6241:1984, la Directiva Europea de Productos de Construcción 89/106/CEE (en España RD 1630/1992), y su definitivo reconocimiento en la LOE de 1999. Este camino arranca en los tres aspectos básicos que debe cubrir cualquier edificio: funcionalidad, seguridad y habitabilidad, que se desarrollan progresivamente mediante requisitos, exigencias y prestaciones. El incumplimiento de estas configura los “fallos” que puede presentar un edificio, y siendo en éstos en los que radica la calificación y la justificación de los problemas patológicos, interesa poder identificarlos con la mayor precisión posible. Sin embargo, este recorrido, aunque conceptualmente claro, no es explícito en el CTE. Se presentan en esta comunicación algunas aclaraciones conceptuales del enfoque prestacional, útiles para la patología, y la forma de hacer una lectura “interesada” del CTE, destinada a la identificación de las prestaciones que el Código exige a la edificación para, mediante su transformación “negativa”, formular los posibles “fallos” del edificio. Se presentan, finalmente, la lista de fallos básicos y específicos que se deduce de la Parte I del CTE, y un ejemplo de los más específicos que contiene el DB HS1 relativos a la permeabilidad de la fachada al agua de precipitaciones atmosféricas.

¿DÓNDE ESTÁN LOS FALLOS DE LOS EDIFICIOS? Una lectura interesada del código técnico de la edificación

Una lectura interesada del código técnico de la edificación

Detección automática de fallos de operación en instalaciones fotovoltaicas domésticas

El objetivo principal de este trabajo es implementar una herramienta de análisis automático de datos de operación para detectar fallos en instalaciones fotovoltaicas domésticas que disponen de sistemas de monitorización. Para ello se han analizado los datos de productividad de 10.650 sistemas fotovoltaicos (9657 situados en Francia y 993 en Bélgica). El Performance Ratio (PR) promedio ha sido de 76% en Francia y 78% en Bélgica, y el Performance Index (PI) promedio es de 85% en ambos países. La potencia real media de los módulos fotovoltaicos es un 4,9% inferior a su valor nominal anunciado en la ficha técnica del fabricante. Los módulos de heterounión (HIT) muestran productividades superiores a la media, mientras que los módulos de Cobre-Indio-Selenio (CIS) muestran una potencia real un 16% inferior a su valor nominal.

Causas de fallos en las cimentaciones de edificios

Congreso de Patología y Rehabilitación

Detección automática de fallos de operación

El objetivo principal de este trabajo es implementar una herramienta de análisis automático de datos de operación para detectar fallos en instalaciones fotovoltaicas domésticas que disponen de sistemas de monitorización. Para ello se han analizado los datos de productividad de 10.650 sistemas fotovoltaicos (9.657 situados en Francia y 993 en Bélgica). El Performance Ratio (PR) promedio ha sido de 76% en Francia y 78% en Bélgica, y el Performance Index (PI) promedio es de 85% en ambos países. La potencia real media de los módulos fotovoltaicos es un 4,9% inferior a su valor nominal anunciado en la ficha técnica del fabricante. Los módulos de heterounión (HIT) muestran productividades superiores a la media, mientras que los módulos de Cobre-Indio-Selenio (CIS) muestran una potencia real un 16% inferior a su valor nominal.

Uso de redes Bayesianas para diagnosticar fallos inciertos de red

El objetivo de este proyecto fin de carrera es el desarrollo de un sistema de diagnóstico distribuido usando redes Bayesianas para alcanzar una lista de las causas más probables de fallo presentadas en el escenario del proyecto MAGNETO. Con ese objetivo, se ha desarrollado un sistema con arquitectura multi-agente que diagnostica las causas de fallo dado un síntoma usando inferencia sobre redes Bayesianas durante dicho proceso. Dentro del sistema existen diferentes tipos de agentes con sus funciones específicas que proporcionan un método distribuido de diagnóstico para conseguir mejor escalabilidad y modularidad.

Implementación de un entorno de mantenimiento centralizado para el diagnóstico y aislamiento de fallos en plataformas de sistemas modulares

En la actualidad gran parte de las industrias utilizan o desarrollan plataformas, las cuales integran un número cada vez más elevado de sistemas complejos. El mantenimiento centralizado permite optimizar el mantenimiento de estas plataformas, por medio de la integración de un sistema encargado de gestionar el mantenimiento de todos los sistemas de la plataforma. Este Trabajo Fin de Máster (TFM) desarrolla el concepto de mantenimiento centralizado para sistemas complejos, aplicable a plataformas formadas por sistemas modulares. Está basado en la creciente demanda de las diferentes industrias en las que se utilizan este tipo de plataformas, como por ejemplo la industria aeronáutica, del ferrocarril y del automóvil. Para ello este TFM analiza el Estado del Arte de los sistemas de mantenimiento centralizados en diferentes industrias, además desarrolla los diferentes tipos de arquitecturas de sistemas, las técnicas de mantenimiento aplicables, así como los sistemas y técnicas de mantenimiento basados en funciones de monitorización y auto diagnóstico denominadas Built-In-Test Equipment (BITE). Adicionalmente, este TFM incluye el desarrollo e implementación de un modelo de un Entorno de Mantenimiento Centralizado en LabVIEW. Este entorno está formado por el modelo de un Sistema Patrón, así como el modelo del Sistema de Mantenimiento Centralizado y la interfaces entre ellos. El modelo del Sistema de Mantenimiento Centralizado integra diferentes funciones para el diagnóstico y aislamiento de los fallos. Así mismo, incluye una función para el análisis estadístico de los datos de fallos almacenados por el propio sistema, con el objetivo de proporcionar capacidades de mantenimiento predictivo a los sistemas del entorno. Para la implementación del modelo del Entorno de Mantenimiento Centralizado se han utilizado recursos de comunicaciones vía TCP/IP, modelización y almacenamiento de datos en ficheros XML y generación automática de informes en HTML. ABSTRACT. Currently several industries are developing or are making use of multi system platforms. These platforms are composed by many complex systems. The centralized maintenance allows the maintenance optimization, integrating a maintenance management system. This system is in charge of managing the maintenance dialog with the different and multiple platforms. This Master Final Project (TFM) develops the centralized maintenance concept for platforms integrated by modular and complex systems. This TFM is based on the demand of the industry that uses or develops multi system platforms, as aeronautic, railway, and automotive industries. In this way, this TFM covers and analyzes several aspects of the centralized maintenance systems like the State of the Art, for several industries. Besides this work develops different systems architecture types, maintenance techniques, and techniques and systems based on Built-in-test Equipment functions. Additionally, this TFM includes a LabVIEW Centralized System Environment model. This model is composed by a Standard System, the Centralized Maintenance System and the corresponding interfaces. Several diagnostic and fault isolation functions are integrated on the Centralized Maintenance Systems, as well a statistic analysis function, that provides with predictive maintenance capacity, based on the failure data stored by the system. Among others, the following resources have been used for the Centralized System Environment model development: TCP/IP communications, XML file data modelization and storing, and also automatic HTML reports generation.

Las Redes de Petri Interpretadas en el Diagnóstico de Fallos de Sistemas Híbridos. Aplicación a un Helicóptero no Tripulado

La seguridad y fiabilidad de los procesos industriales son la principal preocupación de los ingenieros encargados de las plantas industriales. Por lo tanto, desde un punto de vista económico, el objetivo principal es reducir el costo del mantenimiento, el tiempo de inactividad y las pérdidas causadas por los fallos. Por otra parte, la seguridad de los operadores, que afecta a los aspectos sociales y económicos, es el factor más relevante a considerar en cualquier sistema Debido a esto, el diagnóstico de fallos se ha convertido en un foco importante de interés para los investigadores de todo el mundo e ingenieros en la industria. Los principales trabajos enfocados en detección de fallos se basan en modelos de los procesos. Existen diferentes técnicas para el modelado de procesos industriales tales como máquinas de estado, árboles de decisión y Redes de Petri (RdP). Por lo tanto, esta tesis se centra en el modelado de procesos utilizando redes de petri interpretadas. Redes de Petri es una herramienta usada en el modelado gráfico y matemático con la habilidad para describir información de los sistemas de una manera concurrente, paralela, asincrona, distribuida y no determinística o estocástica. RdP son también una herramienta de comunicación visual gráfica útil como lo son las cartas de flujo o diagramas de bloques. Adicionalmente, las marcas de las RdP simulan la dinámica y concurrencia de los sistemas. Finalmente, ellas tienen la capacidad de definir ecuaciones de estado específicas, ecuaciones algebraicas y otros modelos que representan el comportamiento común de los sistemas. Entre los diferentes tipos de redes de petri (Interpretadas, Coloreadas, etc.), este trabajo de investigación trata con redes de petri interpretadas principalmente debido a características tales como sincronización, lugares temporizados, aparte de su capacidad para procesamiento de datos. Esta investigación comienza con el proceso para diseñar y construir el modelo y diagnosticador para detectar fallos definitivos, posteriormente, la dinámica temporal fue adicionada para detectar fallos intermitentes. Dos procesos industriales, concretamente un HVAC (Calefacción, Ventilación y Aire Acondicionado) y un Proceso de Envasado de Líquidos fueron usados como banco de pruebas para implementar la herramienta de diagnóstico de fallos (FD) creada. Finalmente, su capacidad de diagnóstico fue ampliada en orden a detectar fallos en sistemas híbridos. Finalmente, un pequeño helicóptero no tripulado fue elegido como ejemplo de sistema donde la seguridad es un desafío, y las técnicas de detección de fallos desarrolladas en esta tesis llevan a ser una herramienta valorada, desde que los accidentes de las aeronaves no tripuladas (UAVs) envuelven un alto costo económico y son la principal razón para introducir restricciones de volar sobre áreas pobladas. Así, este trabajo introduce un proceso sistemático para construir un Diagnosticador de Fallos del sistema mencionado basado en RdR Esta novedosa herramienta es capaz de detectar fallos definitivos e intermitentes. El trabajo realizado es discutido desde un punto de vista teórico y práctico. El procedimiento comienza con la división del sistema en subsistemas para seguido integrar en una RdP diagnosticadora global que es capaz de monitorear el sistema completo y mostrar las variables críticas al operador en orden a determinar la salud del UAV, para de esta manera prevenir accidentes. Un Sistema de Adquisición de Datos (DAQ) ha sido también diseñado para recoger datos durante los vuelos y alimentar la RdP diagnosticadora. Vuelos reales realizados bajo condiciones normales y de fallo han sido requeridos para llevar a cabo la configuración del diagnosticador y verificar su comportamiento. Vale la pena señalar que un alto riesgo fue asumido en la generación de fallos durante los vuelos, a pesar de eso esto permitió recoger datos básicos para desarrollar el diagnóstico de fallos, técnicas de aislamiento, protocolos de mantenimiento, modelos de comportamiento, etc. Finalmente, un resumen de la validación de resultados obtenidos durante las pruebas de vuelo es también incluido. Un extensivo uso de esta herramienta mejorará los protocolos de mantenimiento para UAVs (especialmente helicópteros) y permite establecer recomendaciones en regulaciones. El uso del diagnosticador usando redes de petri es considerado un novedoso enfoque. ABSTRACT Safety and reliability of industrial processes are the main concern of the engineers in charge of industrial plants. Thus, from an economic point of view, the main goal is to reduce the maintenance downtime cost and the losses caused by failures. Moreover, the safety of the operators, which affects to social and economic aspects, is the most relevant factor to consider in any system. Due to this, fault diagnosis has become a relevant focus of interest for worldwide researchers and engineers in the industry. The main works focused on failure detection are based on models of the processes. There are different techniques for modelling industrial processes such as state machines, decision trees and Petri Nets (PN). Thus, this Thesis is focused on modelling processes by using Interpreted Petri Nets. Petri Nets is a tool used in the graphic and mathematical modelling with ability to describe information of the systems in a concurrent, parallel, asynchronous, distributed and not deterministic or stochastic manner. PNs are also useful graphical visual communication tools as flow chart or block diagram. Additionally, the marks of the PN simulate the dynamics and concurrence of the systems. Finally, they are able to define specific state equations, algebraic equations and other models that represent the common behaviour of systems. Among the different types of PN (Interpreted, Coloured, etc.), this research work deals with the interpreted Petri Nets mainly due to features such as synchronization capabilities, timed places, apart from their capability for processing data. This Research begins with the process for designing and building the model and diagnoser to detect permanent faults, subsequently, the temporal dynamic was added for detecting intermittent faults. Two industrial processes, namely HVAC (Heating, Ventilation and Air Condition) and Liquids Packaging Process were used as testbed for implementing the Fault Diagnosis (FD) tool created. Finally, its diagnostic capability was enhanced in order to detect faults in hybrid systems. Finally, a small unmanned helicopter was chosen as example of system where safety is a challenge and fault detection techniques developed in this Thesis turn out to be a valuable tool since UAVs accidents involve high economic cost and are the main reason for setting restrictions to fly over populated areas. Thus, this work introduces a systematic process for building a Fault Diagnoser of the mentioned system based on Petri Nets. This novel tool is able to detect both intermittent and permanent faults. The work carried out is discussed from theoretical and practical point of view. The procedure begins with a division of the system into subsystems for further integration into a global PN diagnoser that is able to monitor the whole system and show critical variables to the operator in order to determine the UAV health, preventing accidents in this manner. A Data Acquisition System (DAQ) has been also designed for collecting data during the flights and feed PN Diagnoser. Real flights carried out under nominal and failure conditions have been required to perform the diagnoser setup and verify its performance. It is worth noting that a high risk was assumed in the generation of faults during the flights, nevertheless this allowed collecting basic data so as to develop fault diagnosis, isolations techniques, maintenance protocols, behaviour models, etc. Finally, a summary of the validation results obtained during real flight tests is also included. An extensive use of this tool will improve preventive maintenance protocols for UAVs (especially helicopters) and allow establishing recommendations in regulations. The use of the diagnoser by using Petri Nets is considered as novel approach.

Nessy 7.0: entorno de inyección de fallos para Artix-7

El hardware reconfigurable es una tecnología emergente en aplicaciones espaciales.Debido a las características de este hardware, pues su configuración lógica queda almacenada en memoria RAM estática, es susceptible de diversos errores que pueden ocurrir con mayor frecuencia cuando es expuesta a entornos de mayor radiación, como en misiones de exploración espacial. Entre estos se encuentran los llamados SEU o Single Event Upset, y suelen ser generados por partículas cósmicas, pues pueden tener la capacidad de descargar un transistor y de este modo alterar un valor lógico en memoria, y por tanto la configuración lógica del circuito. Por ello que surge la necesidad de desarrollar técnicas que permitan estudiar las vulnerabilidades de diversos circuitos, de forma económica y rápida, además de técnicas de protección de los mismos. En este proyecto nos centraremos en desarrollar una herramienta con este propósito, Nessy 7.0. La plataforma nos permitirá emular, detectar y analizar posibles errores causados por la radiación en los sistemas digitales. Para ello utilizaremos como dispositivo controlador, una Raspberry Pi 3, que contendrá la herramienta principal, y controlará y se comunicará con la FPGA que implementará el diseño a testear, en este caso una placa Nexys 4 DDR con una FPGA Artix-7. Finalmente evaluaremos un par de circuitos con la plataforma.

Fallos y sentencias del Tribunal Supremo de Puerto Rico.

Includes index.