Desarrollo Riguroso de Sistemas Tolerantes a Fallas

Los sistemas críticos son aquellos utilizados en áreas en las cuales las fallas, o los eventos inesperados, pueden ocasionar grandes perdidas de dinero; o quizás peor aún, daños a vidas humanas. Esta clase de sistemas juegan un rol importante en actividades esenciales de la sociedad tales como la medicina y las comunicaciones. Los sistemas críticos, cada vez son más usuales en la vida real, algunos ejemplos de estos son los sistemas de aviones, sistemas para automóviles y sistemas utilizados en telefonia móvil. Para minimizar las fallas, y las perdidas materiales o humanas ocasionadas por el funcionamiento incorrecto de dichos sistemas, se utilizan técnicas de tolerancia a fallas. Estas técnicas permiten que los sistemas continúen funcionando aún bajo la ocurrencia de fallas, o eventos inesperados. Existen diversas técnicas para lograr tolerancia a fallas utilizando, por ejemplo, redundancia a diferentes niveles de abstracción, como, por ejemplo, al nivel de hardware. Sin embargo, estas técnicas dependen fuertemente del sistema, y del contexto en las que se utilizan. Más aún, la mayoría de la técnicas de tolerancia a fallas son usadas a bajo nivel (código fuente o hardware), estimamos que el uso de formalismos rigurosos (con fundamentos matemáticos) pueden llevar al diseño de sistemas tolerantes a fallas y robustos a un nivel de abstracción más alto, a la vez que la utilización de técnicas de verificación que han sido exitosas en la práctica tales como model checking, o la síntesis de controladores, pueden llevar a una verificación y producción automática de sistemas robustos. El objetivo del presente proyecto es estudiar tanto marcos teóricos, que permitan la construcción de sistemas más robustos, como también herramientas automáticas que hagan posible la utilización de estos formalismos en escenarios complejos. Para lograr estos objetivos, será necesario considerar casos de estudios de diferente complejidad, y además que sean relevantes en la práctica. Por ejemplo: bombas de insulina, protocolos de comunicación, sistemas de vuelo y sistemas utilizados con fines médicos. Planeamos obtener prototipos de algunos de estos casos de estudio para evaluar los marcos teóricos propuestos. En los últimos años diferentes formalismos han sido utilizados para razonar sobre sistemas tolerantes a fallas de una forma rigurosa, sin embargo, la mayoría de estos son ad hoc, por lo cual sólo son aplicables a contextos específicos. Planeamos utilizar ciertas lógicas modales, en conjunto con nociones probabilísticas, para obtener un conjunto de herramientas suficientemente generales para que puedan ser utilizadas en diferentes contextos y aplicaciones. Los materiales a utilizar son equipos informáticos, en particular computadoras portátiles para el equipo de trabajo y computadoras más potentes para el testeo y desarrollo del software necesario para lograr los objetivos del proyecto. Para construir los prototipos mencionados se utilizarán equipos de computación estándar (el equipo investigación cuenta con computadoras intel y mac) en conjunto con lenguajes de programación modernos como JAVA o C#. En el caso de que los sistemas de software sean sistemas embebidos; se piensa desarrollar un motor de simulación que permita evaluar el desempeño del software cuando es ejecutado en el dispositivo mencionado. Se espera desarrollar, e investigar, las propiedades de formalismos matemáticos que permitan el desarrollo de sistemas tolerantes a fallas. Además, se desarrollarán herramientas de software para que estos sistemas tolerantes a fallas puedan verificarse, o obtenerse automáticamente. Los resultados obtenidos serán difundidos por medio de publicaciones en revistas del área. El desarrollo de sistemas tolerantes a fallas por medio de técnicas rigurosas, a diferentes niveles de abstracción (captura de requisitos, diseño, implementación y validación), permitirá minimizar los riesgos inherentes en actividades críticas.

Manuel du charron et du carrossier ou L'art de fabriquer toutes sortes de voitures... avec un vocabulaire explicatif des termes techniques /

Las h. de lám. "Mm Thorel sculp."

AUTO-RUINS. Thinks about automobile into the contemporary landscape

The article analyses the evolution of the representation of the automobile inserted in the natural and urban environment in the Contemporary Art, from the appearance of the first cars in the beginning of the 20th century until the present day. The text compares the diverse attitudes and analysis of some representative artists who have used the image of the machine in general and the car in particular in their aesthetic discourse, using as a conductive thread the metaphor of the life cycle (birth, growth, feeding, reproduction and death). It deals with the discovery, the development and the coexistence between human and the automobile and its interpretation as a basic element of the artistic work. The text connects the image of the automobile located in the contemporary industrial landscape utilizing the artist references who have integrated the car in their work inside the natural or artificial environment characteristic of each moment. At the same time, the article goes deeply into the relationship of romantic ruin and natural landscape and the evolution of the industrial and architectural modern environment, through the work of the artists who has used the car as an inhabitant of the landscape.

Los orígenes de la industria española de los forasteros

La llegada de forasteros a nuestro país no era una empresa fácil de acometer en una España en crisis después de 1898, dividida políticamente entre conservadores y liberales, y con serias carencias en sus infraestructuras y transportes. La actividad comercial española necesitaba nuevos frentes y el turismo podría convertirse en un importante factor y motor mercantil.La búsqueda y la construcción en torno a ese objetivo comenzó a partir de 1905, cuando la iniciativa pública y privada realizaron las primeras gestiones encaminadas a este fin, y se constituyen se constituyeron sociedades-sindicatos, según el modelo francés, para fomentar la afición por los viajes y la recepción de viajeros.

Impacto del grado de apertura económica en las productividades industriales del sector automotriz para los departamentos; Antioquia, Cundinamarca, Santander y Valle del cauca periodos 2000 a 2010

Bogotá (Colombia) : Universidad de La Salle. Facultad de Ciencias Económicas y Sociales. Programa de Economía

Análisis de una muestra suelo- cemento sustituyendo la fracción granulométrica (pasa No 8 – retiene No 16) por grano de caucho

Bogotá (Colombia): Universidad de La Salle. Facultad de Ingeniería. Programa de Ingeniería Civil

Apúntese a un viaje en el pesebre de Miguel : cuando voy por la calle 7

Fondo Margaritainés Restrepo

Estadística aplicada al análisis actuarial

La Estadística o Matemática Actuarial es la ciencia que proporciona las herramientas necesarias para el estudio de ciertas actividades económicas que llevan a cabo las compañías de seguros. Estas actividades aparecen ligadas al término riesgo, habitual en los escenarios actuariales. Por riesgo se entenderá cualquier suceso que pueda ocurrir y que suponga una pérdida, generalmente cuantificable en términos económicos. La clasificación más simple es la que distingue entre seguros no vida y seguros vida. Los primeros, denominados también seguros generales, cubren en su totalidad los seguros que habitualmente se contratan: seguro de automóviles, de accidentes, contra incendios, contra robos, hogar, etc. Por otro lado un contrato de vida se establece entre una empresa aseguradora y una persona, el asegurado, bajo el que la aseguradora se compromete a pagar a la muerte del asegurado una suma fija al o los beneficiaros designados por el mismo. Se denomina asegurado a la persona física o jurídica titular del bien o interés asegurado que está expuesto al riesgo. Un siniestro es un suceso que produce un daño previsto en el contrato de seguro y que da lugar al cumplimiento de las obligaciones contraídas por la aseguradora mediante la reposición del bien o la indemnización al asegurado. De acuerdo a lo anterior, este trabajo pretende realizar un estudio exhaustivo y comprensivo del análisis de la Estadística Actuarial, en donde se abordará el estudio de un modelo compuesto para el cálculo de prima, también se abordará el modelo de riesgo individual y el modelo no compuesto.

Boom cars

En este artículo se discutitrá el problema de contaminación ambiental por ruido producida por los Boom Cars, automóviles equipados con equipos de audio externos.

Temple intensivo de un acero AISI/SAE 5160

Componentes fabricados de acero AISI/SAE 5160 son usados en la suspensión de automóviles. El procesamiento en planta incluye un tratamiento térmico convencional que consiste en austenizado, seguido de temple en aceite y revenido. Como post-proceso para generar esfuerzo residuales compresivos en la superficie de los muelles se aplica un granallado que genera los esfuerzos compresivos por deformación. Para esta aplicación, esfuerzos residuales compresivos en la superficie de los muelles es importante para incrementar la resistencia a la fatiga de los materiales e incrementar su vida útil. En esta investigación una metodología alterna para generar esfuerzos residuales compresivos en la superficie de muestras de acero 5160 fue usada. Se diseñó y construyó un equipo de laboratorio para ejecutar temples siguiendo la teoría del temple intensivo. Usando agua convencional como medio de temple, enfriamientos por aspersión y en una cámara de alta velocidad se lograron efectuar en laboratorio. Se caracterizó el equipo de temple por medio de curvas de enfriamiento obtenidas en probetas sacrificio de acero inoxidable. Se obtuvieron velocidades de enfriamiento por encima de 400°C/seg en probetas de sección transversal cuadrada (20mm x 20mm). Además se ejecutaron temples cortos con incrementos de 1 segundo(1-8 seg). En algunas condiciones microestructura tipo coraza-núcleo fue observada en el Microscopio Óptico (MO) y el Microscopio Electrónico de Barrido (MEB). Difracción de Rayos-X se usó para determinar la magnitud de esfuerzos residuales en la superficie de las muestras. Muestras templadas en la cámara de alta velocidad durante 3, 4 y 5 segundos presentaron esfuerzos residuales compresivos con una magnitud de hasta casi -700MPa a una profundidad de 0.30 mm. Detalles de la investigación y resultados se presentan a continuación.

Análisis estructural de un filtro de aceite sellado mediante el método de elemento finito

La industria automotriz en México se encuentra en continuo crecimiento, convirtiéndose en años recientes en un importante participante en la producción de vehículos a nivel mundial. El presente proyecto de investigación surge en una empresa de giro automotriz dedicada principalmente a la producción de filtros de aire y aceite. A través del tiempo y a medida en que los automóviles van evolucionando, la empresa debe cumplir las exigencias que se presentan año tras año por lo que se requiere cumplir con un estándar de calidad con el menor costo de producción posible. Los filtros de aceite están diseñados con el propósito de atrapar aquellas partículas de contaminantes contenidas en el aceite que pudieran dañar las partes del motor. El principal objetivo planteado en este trabajo fue analizar el comportamiento mecánico de dos elementos de un filtro de aceite durante el sellado del mismo, analizando su comportamiento en conjunto con los demás elementos del filtro. Así mismo, se evaluó la respuesta mecánica de los elementos estudiados durante una prueba mecánica para validar el funcionamiento adecuado antes de operación. Las pruebas mecánicas realizadas y los distintos diseños de elementos se propusieron indicando las partes modificadas. Se realizaron diferentes propuestas de diseños de espoleta para posteriormente realizar un análisis estructural mediante el método de elemento finito. En los diseños realizados se consideraron 3 variables principales, que son: el área de contacto entre los elementos, el cuerpo de espoleta y el nervio de espoleta. La geometría de la espoleta influyó considerablemente en el comportamiento mecánico durante el análisis estructural, medidas que se pueden tomar sin tener que adoptar un material con altas propiedades mecánicas para mejorar el comportamiento mecánico. Al aumentar el área de contacto entre los elementos de análisis, el esfuerzo generado en la espoleta obtiene una disminución considerable. En el presente estudio se desarrolló una metodología de diseño que permitió estudiar cambios geométricos virtuales en la espoleta. Dicha metodología puede ser adoptada por la empresa para este tipo de estudios, ahorrando costos y disminuyendo tiempos de fabricación. Este trabajo abre nuevas líneas de investigación relacionado al análisis de filtros de aceite, tales como: simulaciones considerando nuevas propuestas de material, modelos que involucren cambios geométricos en otros componentes del filtro para ahorro de material y simulaciones que involucren el sistema unificado del filtro.

Aplicabilidad del plan de sostenibilidad ambiental de la Empresa Volkswagen

108 p.

Historia y Evolución del seguro del automóvil

El objeto de este trabajo es analizar la historia y evolución que ha tenido un seguro tan relevante e importante como es el seguro de automóviles en España, principalmente por el nivel de volumen de primas que maneja ya que supone casi el 18% del total del sector en el año 2015 . Para ello, el trabajo se divide en cuatro partes claramente diferenciadas. En primer lugar, se analiza la evolución histórica de éste seguro tanto a nivel nacional como a nivel internacional. En segundo lugar, se explica las modalidades de cobertura existentes más comunes y también las técnicas de tarificación más utilizadas en este ramo del seguro. En tercer lugar, se realiza un análisis evolutivo de algunos factores relevantes utilizados como referencia a la hora de tarifar un seguro. Y por último, se extraen una serie de consecuencias y conclusiones percibiendo así cómo se encuentra el panorama del seguro del automóvil en España. Idioma: Español

Comparación entre la cadena de valor del sector automotriz colombiano y el caso de éxito de la cadena de valor de las Compañías Volkswagen Brasil y Tegma

71 p.

Resolución 044 del 26 de abril de 2013: Por la cual se resuelve un recurso de reposición y en subsidio de apelación

Servicios registrales