1000 resultados para DESARROLLO DE PROTOTIPOS


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Nuestro grupo de investigación trabaja desde hace unos años en plantear soluciones a problemas de medicamentos con conflictos de disponibilidad. Esta situación generalmente está asocada a las enfermedades huérfanas (raras y olvidadas). Desde la investigación básica y aplicada se intenta lograr una interacción entre la Farmacoquímica y la Farmacoepidemiología, estrategia que justamente usa la industria farmacéutica cuando quiere desarrollar un nuevo medicamento. Esto nos ha permitido consolidar un grupo de investigación con la experiencia suficiente para encarar actividades de campo y experimentales. Para los primeros se utilizan métodos descriptivos cualitativos y cuantitativos, de observación y de intervención. Se trabaja en colaboración con los 14 Hospitales Públicos de la ciudad de Córdoba y con algunas clínicas privadas (6), con ANMAT y con las bases de datos de Agencias Oficiales de Medicamentos de países de referencia (EEUU y Europa), entre otros. A continuación, se analizan los factores que causan la “orfandad” de los medicamentos, la significancia clínica y el impacto sanitario, social y económico originado por su falta de disponibilidad. Respecto al diseño y desarrollo de nuevas entidades químicas farmacológicas, se decidió enfocar el estudio en fármacos para enfermedades huérfanas, principalmente las parasitarias (malaria, Chagas, leishmaniasis). Estas enfermedades son raras en países desarrollados y olvidadas o desatendidas en países pobres o menos desarrollados como el nuestro. En este sentido, se utilizan las metodologías propias de la Química Medicinal, como son el descubrimiento y optimización de prototipos. Se recurre a las estrategias más racionales actualmente utilizadas, como son el diseño y preparación de una quimioteca focalizada, su evaluación biológica, la identificación dederes y su optimización utilizando la farmacomodulación, el diseño directo e indirecto asistido por computadoras y el estudio de las REA, QSAR y 3D-QSAR. La quimioteca actual está compuesta de derivados bencenosulfonilos de heterocíclicos, y cuenta actualmente con 105 compuestos, muchos de los cuales demostraron actividad antiparasitaria. La quimioteca se la diseñó utilizando la estrategia denominada "diseño de fármacos basada en fragmentos". La hipótesis es que tanto la fracción bencenosulfonilo como la heterocíclica han probado ser bioactivas. El objetivo general del proyecto es contribuir al mejoramiento de la salud humana, al avance científico y tecnológico y a la formación de recursos humanos por medio del diseño y desarrollo de Drogas y Medicamentos Huérfanos. Proponemos los siguientes objetivos específicos: 1) Incrementar el número de compuestos de la quimioteca de N-bencenosulfonilos de heterociclos. 2) Evaluar la actividad antiparasitaria in vitro. 3) Estudiar las propiedades del estado sólido de los derivados. 4) Usar la información adquirida en los puntos 1-3 para estudios de cribado virtual y mejorar la solubilidad de los compuestos seleccionados. 4) Continuar con los estudios farmacoepidmiológicos sobre medicamentos huérfanos o no disponibles en nuestro país, que retroalimenta y complementa los estudios farmacoquímicos. El proyecto presenta un impacto científico y socio-económico importante, ya que abarca varios aspectos de la problemática de medicamentos no disponibles o huérfanos, desde el diagnóstico de la situación en nuestro medio, pasando por la identificación de nuevas entidades químicas y el desarrollo de posibles soluciones para su transferencia a la industria. Esto se debe a su enfoque original (en academias) al plantearse la retroalimentación entre la farmacoquímica y la farmacoepidemiología. Esta experiencia es muy estimulante, el contacto con los profesionales del equipo de salud enriquece el intercambio de opiniones y la consolidación de proyectos multidisciplinarios, permitiendo abordar el problema de un modo integral.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

La gestión de los residuos sólidos urbanos presenta recurrentes problemas ambientales y sociosanitarios, con especial crudeza en el ámbito de municipios de pequeña escala. Esta problemática requiere del desarrollo de nuevas tecnologías y rediseño de la gestión de residuos. En la Provincia de Córdoba, la mayoría de las localidades, disponen sus residuos sólidos en sitios abiertos y en forma incontrolada. Estos basurales, son frecuentados por cirujas, trabajo no formal, quienes conjuntamente con otros integrantes de la familia, incluyendo niños, realizan las actividades de recupero de residuos en forma precaria, poniendo en riesgo la salud de dicha población. A su vez, estos lugares son muy propensos a incendios espontáneos ó provocados, lo que conduce a la generación de humos altamente tóxicos que alcanzan a las zonas urbanas. Esta problemática es compartida por todas las regiones con baja densidad poblacional (10 a 40 hab/Km2). A pesar de los incesantes esfuerzos, no se ha logrado aún alcanzar aproximaciones válidas para dar soluciones a esta problemática.La implementación de sistemas de gestión integral con la aportación de tecnologías de bajo costo y provistas por el mercado local, es la única manera que se pueda llegar a buen término con la gestión de residuos y lograr así un desarrollo sustentable de toda la provincia. Los objetivos que se proponen son lograr una solución al grave problema de contaminación para regiones de la provincia de Córdoba debido a la incorrecta disposición y manejo de los residuos sólidos mediante la implementación de un sistema de gestión integral de residuos acorde a las características particulares de cada región, utilizando nuevos indicadores de gestión. Dentro de los objetivos particulares, podemos citar la implementación de sistemas tecnológicos innovadores en el tratamiento de residuos para una correcta disposición final de tecnología sencilla y bajo costo, la implementación de microemprendimientos productivos de clasificación y recupero de materiales, la valoración de los residuos recuperados en función de Bonos de Carbono, disponer de justificativos técnicos y nuevos indicadores económicos para la gestión de subsidios, valorizar el trabajo del ciruja y su familia, capacitación y toma de conciencia a los sectores involucrados. Para el desarrollo del presente trabajo se plantea implementar un sistema de gestión y recupero de residuos regional e integral, que incluya microemprendimientos productivos para lograr la sustentabilidad y a las familias que actualmente trabajan en el recupero de residuos, diseñar y ensayar equipos con características innovadoras para la disposición final de residuos e implementar un proyecto de educación integral que aúne el conocimiento, capacitación y toma de conciencia. Para lograr los objetivos citados se proponen realizar actividades de relevamiento de indicadores facilitadores de vinculación para las localidades de la provincia, generar una logística de funcionamiento para los municipios, relevar las actividades económicas y sanitarias relacionadas a residuos y de las personas involucradas, desarrollar emprendimientos productivos locales, realizar y ensayar tecnologías para el recupero y disposición de residuos, implementar prototipos a escala piloto, implementar talleres de capacitación y material didáctico en las temáticas medio ambiente, desarrollo sustentable, gestión integral de residuos sólidos, reutilización de residuos, salud pública. El presente proyecto estará llevado a cabo por profesionales docentes y alumnos universitarios de distintas especialidades, como así también docentes y técnicos pertenecientes a un establecimiento de educación superior no universitaria, Itec Río Cuarto. Esto, motivado por el convencimiento y necesidad que los problemas ambientales deben ser abordados en forma interdisciplinaria, y las estrategias de intervención que se proponen deben estar integradas con los aportes de cada una de las disciplinas intervinientes.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Seleccionado en la convocatoria: Ayudas a la innovación e investigación educativa en centros docentes de niveles no universitarios, Gobierno de Aragón 2008-09

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Este material curricular contiene la definición y el desarrollo de los procesos de enseñanza-aprendizaje de Desarrollo de productos electrónicos, ciclo formativo de grado superior de la Formación Profesional Específica (FPE). Para su confección se ha partido de los elementos recogidos en los correspondientes Reales Decretos de enseñanzas mínimas y del currículo del MEC. Tiene la finalidad de orientar al profesorado que imparte las enseñanzas de FPE contempladas en la LOGSE. Estos materiales son programaciones precisas que pueden ser adaptadas y aplicadas por los profesores de forma directa. Los elementos curriculares se presentan ordenados en un conjunto de fichas, cada una de las cuales se corresponde con una unidad de trabajo. A pesar de ser un producto casi acabado, los materiales tienen un carácter experimental, pudiendo ser depurados y perfeccionados mediante el contraste con la práctica docente. Los módulos tratados en el segundo volumen son: 5.- Desarrollo y construcción de prototipos electrónicos. 6.- Mantenimiento de equipos electrónicos. 7.- Desarrollo de proyectos de productos electrónicos.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Con motivo de la inauguración del 'Instituto Torres Quevedo' de componente técnico y adscrito al Consejo Superior de Investigaciones Científicas, se describen minuciosamente las características del Instituto y sus dependencias. Este centro se creó con el fin de realizar una labor investigadora y su transformación industrial en el sentido de crear los aparatos científicos y poder dotar de esta forma a las Universidades y demás centros docentes y de investigación españoles. Se analizan las características arquitectónicas de este edificio, que constaba de dos cuerpos de edificios con cuatro plantas y cada uno de sus laboratorios y/o talleres. En el Instituto, se encargaban de la fabricación de prototipos de aparatos científicos o aplicaciones técnicas que pudieran necesitar las Universidades; la realización de toda clase de aparatos para aplicaciones científicas que fueran ideados por los investigadores de otros Centros o Institutos del C.S.I.C. y de la fabricación de prototipos de aparatos necesarios para el desarrollo de la industria nacional. Constaba de varios departamentos: Departamento de Física General, Departamento de Radioelectricidad, Departamento de Mecánica, Departamento de Óptica, Departamento Comercial y Secretaría General. Contaba con más de cuarenta laboratorios acondicionados con las instalaciones necesarias para realizar el cometido para el que estuvieran destinados. Poseía un puesto de transformación y una sala de máquinas que proveían de la energía necesaria a los laboratorios para que estos pudieran funcionar con normalidad. Los instalaciones más destacadas eran: el 'Taller mecánico', 'Taller de Óptica', 'Taller de Electricidad', la 'Sala de Proyectos y Delineación', y la 'Sala de coloquios'.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

[ES]Los Indie games, o videojuegos independientes, son aplicaciones creadas por individuos o pequeños grupos sin apoyo financiero de distribuidores. A menudo se centran en la innovación, y se basan en la distribución digital. En los últimos años han visto un gran aumento principalmente debido a; nuevos métodos de distribución en línea (Steam Greenlight1, Xbox Live2, Playstation Store3, Android Market, Apple Store), nuevas formas de financiación como Kickstarter4 y potentes herramientas gratuitas para el desarrollo. Este proyecto se puede considerar como uno de los primeros pasos en el desarrollo de videojuegos independientes o Indie. Usando SDL como base se pretende diseñar y desarrollar dos prototipos de videojuego, el primero será un clon del conocido Tetris, aprovechando la poca complejidad de las mecánicas del juego para tener un primer contacto con las herramientas. El segundo, de mayor complejidad, se centrará en desarrollar las principales características de un juego tipo plataformas en 2D, del estilo Super Mario, Sonic o los anteriormente mencionados Super Meat Boy y Braid. La Simple DirectMedia Layer (SDL) es un conjunto de bibliotecas desarrolladas en el lenguaje de programación C, que proporcionan funciones básicas para realizar operaciones de dibujo en dos dimensiones, gestión de efectos de sonido y música, además de carga y gestión de imágenes. Fueron desarrolladas inicialmente por Sam Lantinga en 1998, en este proyecto se ha usado la versión 1.2.15 y se espera que este año se termine la versión 2.0, el uno de Junio de este año ha alcanzado el estado Release Candidate.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Este documento recoge el desarrollo del proyecto “desarrollo de un dispositivo háptico con reflexión de esfuerzos y con percepción inercial y de proximidad". El proyecto comprende el desarrollo y adaptación de una interfaz háptica para teleoperación. Dicha interfaz se concibió en un principio para su funcionamiento en entornos virtuales, llegando a desarrollarse un primer prototipo, para posteriormente tratar de adaptar dicha investigación a una aplicación más realista. El documento recoge desde la concepción del diseño inicial del sistema para la teleoperación en entornos virtuales hasta la adaptación de la misma a la teleoperación del robot humanoide submarino. Tras conocer la ingeniería de requerimientos llevada a cabo se exponen los primeros bocetos del sistema para, posteriormente, tratar el problema desde un punto técnico pasando por las diferentes ideas y, finalmente, llegar hasta los prototipos finales. En el apartado Anexos se exponen los códigos de Labview de una manera detallada a fin de comprender mejor el funcionamiento y concepción del sistema.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

La colonia experimental de Schorlemerallee y las villas Am Rupenhorn son dos proyectos concluidos en 1930 por los hermanos Wassili y Hans Luckhardt con Alfons Anker en Berlín. Ambos proyectos forman parte del mismo proceso, que comienza en la Colonia -una exploración sobre el lenguaje moderno en una serie de fases sucesivas- y culmina con las Villas. Éstas últimas, realizadas inmediatamente después de la Colonia, son la síntesis de esa experiencia, aunque finalmente acabaron trascendiéndola, ya que se convirtieron en un modelo sobre la casa en la naturaleza, sobre la idea de la villa clásica y sobre los nuevos modos de habitar, alcanzando con el tiempo la condición de canon moderno. A pesar de ello, no es esta condición lo más importante. Lo singular en este caso, es el propio proceso de proyecto –Colonia versus Villas- un verdadero experimento en su concepción, método y resultados, a través del cual sus autores investigan nuevas tecnologías aplicadas a nuevas formas de habitar y desarrollan un nuevo lenguaje, cuyo resultado son unos prototipos tecnológicos, con los que pretenden, como diría Mies van der Rohe: “Me he esforzado por construir una arquitectura para una sociedad tecnológica. He intentado que todo resultara razonable y claro.....para que cualquiera pueda hacer arquitectura.” El momento y lugar no pueden ser más propicios: Berlín entre 1924 y 1930, en el mismo origen del Movimiento Moderno. El experimento se plantea con auténtico rigor científico. Los arquitectos diseñan, construyen y financian su proyecto, controlando todas sus variables. Especialmente, por lo insólito, es el control de la variable económica. Porque este factor, la economía, es para ellos una clave fundamental del proceso. Se trataba de demostrar que la Nueva Arquitectura (o Neues Bauen, como les gustaba denominarla) era capaz de construir mejor y más rápido la vivienda para una nueva sociedad. La revolución y la vanguardia van de la mano: son el Zeitgeist o espíritu de la época, un contexto que es parte sustancial del proceso, y como lo calificarían los Smithson, un contexto heroico. El concepto se centra en la tríada Bauhaus: diseño + tecnología x economía. En cuanto al método, se fijan una serie de parámetros –las variables del experimento- que se agrupan en tres categorías distintas: topología, tipología y tecnología. La combinación de las variables de cada categoría dará lugar a un sistema con unas características determinadas: una definición del espacio, una forma, un lenguaje y una tecnología, características que permiten establecer las reglas para su desarrollo. Los sistemas resultantes son tres, denominados según su doble condición tipológica/ tecnológica: 1. Sistema de muro de carga: Viviendas adosadas en zig-zag o Mauerwerksbauten. 2. Sistema de esqueleto de acero: Viviendas aisladas o Stahlskelettbauten 3. Sistema de hormigón armado: Viviendas en hilera recta o Betonbauten Las villas Am Rupenhorn se plantean a continuación como verificación de este proceso: la síntesis de las categorías desarrolladas en la Colonia. Pero llegan en un momento de gracia, justo cuando los Luckhardt y Anker se encuentran profundamente implicados en el proceso de desarrollo de un nuevo lenguaje y con la reciente experiencia de la Colonia, que ha sido un éxito en casi todos los aspectos posibles. “En 1930, están en la cumbre”, como diría su mejor crítico y antiguo colaborador: Achim Wendschuh. En las Villas, los arquitectos integran su lenguaje, ya plenamente moderno, con sus experiencias previas: las que los relacionan con su reciente expresionismo (que se podría calificar como Kunstwollen) y con la tradición clásica de la cultura arquitectónica alemana: el sentido del material que deben a Semper y la sensibilidad hacia el paisaje, que toman de Schinkel. El extraordinario interés de las Villas se debe a factores como el tratamiento de la relación dual, poco habitual en la arquitectura moderna, la síntesis de lenguajes y las circunstancias de su momento histórico, factores que las han convertido en una propuesta única e irrepetible de una de las vías experimentales más interesantes y desconocidas de la Modernidad. ABSTRACT The experimental Housing Estate of Schorlemerallee and the Am Rupenhorn Villas are two projects completed by the brothers Wassili and Hans Luckhardt with Alfons Anker in Berlin in 1930. Both projects are part of the same process, starting with the Housing Estate --an exploration of the modern language in a series of phases- which culminates with the Villas project. The Villas Am Ruperhorn, designed immediately after the Housing development, are the synthesis and crowning point of this experience, even finally over passing it, since they have become a model of the house in nature, related with both the ideal of the classical villa and the new ways of life, reaching the condition of a modern canon. However, this is not its most important issue. The most remarkable condition is the project process itself -Housing versus Villas- a true experiment in concept, method and results, in which the authors research new technologies for new ways of living, developing an innovative language, with results in new prototypes, in the way Mies van der Rohe was looking for: “I have tried to make an architecture for a technological society. I have wanted to keep everything reasonable and clear… to have an architecture that anybody can do." The time and place could not be more favourable: Berlin from 1924 to 1930, in the very origin of Modern Movement. The experiment takes place with genuine scientific accuracy. Architects design, build and finance their own project, controlling all variables. Especially, and quite unusual, the control of the economic variable. Precisely the economic factor is for them a fundamental key to the process. It was shown to prove that the new architecture (or Neues Bauen, as they liked to call it) was able to build not only faster, better and more efficient dwellings for a new society, but also at lower cost. Revolution and Avant-garde use to move forward together, because they share the Zeitgeist --or time's spirit--, a context which is a substantial part of the process, and as the Alison & Peter Smithsons would describe, an heroic context. The concept focuses on the Bauhaus triad: Design + Technology x Economy. For the method, a number of variables are fixed --the experimental parameters-- that are later grouped into three distinct categories: Topology, Typology and Technology. The combination of these variables within each category gives way to several systems, with specific characteristics: a definition of space, a form, a language and a technology, thus allowing to establish the rules for its development: The resulting systems are three, called by double typological / technological issue: 1. Terraced Housing in zig-zag or Mauerwerksbauten (bearing wall system) 2. Detached Housing or Stahlskelettbauten (steel skeleton system) 3. Terraced Housing in one row or Betonbauten (reinforced concrete system) The Am Rupenhorn Villas are planned as the check of this process: the synthesis of the categories developed all through the Housing Estate research. The Am Ruperhorn project is developed in a crucial moment, just as the Luckhardts and Anker are deeply involved in the definition process of a new language after the recent experience of Schorlemerallee, which has been a success in almost all possible aspects. "In 1930, they are on the top” has said his best critic and long-time collaborator, Achim Wendschuh. In the Villas, the authors make up their fully modern language with their own background, related with their recent Expressionist trend (Kunstwollen) and with the classical tradition of the German architectural culture: the notion of material related with Semper and the sensible approach to the landscape, linked with Schinkel. Its extraordinary interest lay on diverse factors, such as dual relationships, unusual in modern architecture, synthesis of languages and circumstances of their historical moment, all factors that have become a unique and unrepeatable proposal in one of the most extraordinary experimental ways of Modernity.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

En este trabajo se hace una investigación de la tecnología de impresión 3D mediante fotopolimerización de resinas, usando un proyector DLP como fuente de luz. El objetivo es conocer todas las especificaciones que ha de cumplir una máquina de éstas características para llevar a cabo de manera satisfactoria el proceso de construcción de una pieza. Para ello, se hace un estudio preliminar de la técnica, examinando un equipo de impresión 3D DLP comercial, y una vez que se tiene el conocimiento necesario de los rasgos del proceso, se procede al desarrollo iterativo de un prototipo funcional, capaz de ejecutar el proceso con éxito, pero con las capacidades de modificación suficientes como para llevar a cabo experimentos de innovación en la tecnología. El desarrollo se lleva a cabo en abierto, publicando los desarrollos a medida que se efectúan. Con este enfoque se pretende aprovechar las ventajas de la investigación descentralizada, de las que dio ejemplo el desarrollo del Proyecto RepRap: Un proyecto destinado a diseñar una impresora 3D de extrusión de filamento, que cualquier persona se pudiera construir a partir de piezas impresas por impresoras 3D de las mismas características, y materiales fáciles de obtener. Así, este proyecto tiene adicionalmente otro objetivo estratégico que consiste en el estímulo del ecosistema de impresión 3D de fuente abierta, que en este momento carece apenas de diseños de fuente abierta de impresoras 3D mediante fotopolimerización de resinas. Efectuando una estrategia así se busca fomentar la difusión del conocimiento acerca de la tecnología de impresión 3D DLP y crear así un interés por ésta, que finalmente desembocaría en la aparición de una demanda que, para entonces, la empresaestaría preparada para cubrir. Como la técnica consiste en un caso particular de la tecnología de impresión 3D que aún no ha terminado de proliferar en el mercado, y el conocimiento acerca de ésta no está extendido; en este documento se introducen de manera gradual los conceptos necesarios para entender el proyecto. Presentaremos en un primer lugar el contexto de la impresión 3D, comentando un breve análisis de todas las técnicas susceptibles de ser llamadas «impresión 3D», así como una introducción a conceptos comunes a todas aquellas, usando la impresión 3D de extrusión de filamento como ejemplo por ser la técnica más extendida. Una vez presentada la impresión 3D en general, se analizará el estado del arte de la impresión 3D mediante fotopolimerización de resinas, haciendo una breve clasificación de las variantes existentes, en cuanto a proceso de construcción se refiere, para poder concretar las características de la variante estudiada en este proyecto. Con eso dicho, se procede a describir la técnica en detalle, puntualizando las fases del proceso que estas impresoras llevan a cabo para construir una pieza; y la constitución básica de una máquina destinada a ejecutar ese proceso, deteniéndose en cada uno de los componentes necesarios. Descrita la tecnología y el estado del arte, dedicamos un capítulo a comentar el contexto del proyecto en el ecosistema de fuente abierta, situando al Proyecto RepRap como antecedente. Se llega a unas conclusiones de especificación, que tiene como consecuencia una serie de características de diseño y elección de herramientas, todas éstas descritas en éste capítulo. Después de toda esta introducción, comenzamos a detallar lo ocurrido durante el proyecto, comenzando por la investigación previa al desarrollo de los prototipos. Se describen las características del prototipo comercial adquirido al principio, haciendo hincapié en las adiciones de éste al modelo básico; y después se explica la situación delecosistema de impresión 3D DLP de fuente abierta, comentando las herramientas delas que se dispone a la hora de construir un equipo de estas características. Teniendo explicadas todas las herramientas disponibles para diseñar y construir unequipo con las características que hemos definido, se procede a explicar el desarrollo iterativo que se ha llevado a cabo en este proyecto, reseñando cada uno de los prototipostanto de la máquina general como específicos de cada uno de sus componentes. Se describirán los criterios y experimentos que llevan a cada una de las decisiones dediseño de los componentes, hasta que se concluye en un diseño que cumple los requisitos para llevar a cabo el proceso de construcción de manera exitosa. El diseño resultante de las iteraciones tuvo que pasar una serie de validacionesnecesarias para obtener una especificaciones de utilización que permitieran estabilizar el proceso de impresión, de manera que no fuera necesaria una preocupación especialpor el éxito de este. Tras describir el último prototipo de la máquina, se comentan los experimentos que se llevan a cabo, se hace una pequeña introducción en defectologíade piezas impresas con ésta tecnología, y se explican las características que se quieren optimizar para conseguir que el proceso sea estable, concluyendo con la especificaciónde éstas. Como capítulo adicional, se describen las líneas futuras. Usos que se han hecho deldiseño para formación dentro de la empresa, e investigaciones en nuevas modalidades del proceso y aplicaciones de la tecnología.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

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.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

46 hojas : ilustraciones, fotografías.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

6 volúmenes : ilustraciones, fotografías.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

64 hojas : ilustraciones, fotografías.