Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Mejoramiento del comportamiento térmico de sistemas de calentamiento de agua solares termosifónicos hechos con materiales no convencionales y con tanques de almacenamiento verticales y horizontales Performance improvement of solar thermosyphonic systems for water heating made of non conventional materials and using horizontal and vertical storage tanks

El objeto de estudio de este proyecto son los sistemas de calentamiento de agua mediante energía solar que funcionan termosifónicamente. En particular se tratará con dos diseños particulares generados por fabricantes de la Provincia de Córdoba y que han solicitado el asesoramiento del Grupo de Energía Solar (GES) para el mejoramiento de la performance térmica de dichos equipos. Se trata de dos sistemas que tienen materiales no tradicionales y se diferencian además por tener una distinta disposición del tanque de almacenamiento: uno es en forma vertical y el otro en forma horizontal. Basados en los resultados de un ensayo bajo norma internacional, donde se detectaron algunas puntos factibles de mejora, se propone en este proyecto el análisis en detalle de los equipos, para lo cual se les debe desarmar completos, para realizar un estudio analítico y experimental de los mismos con el objeto de hacer un planteo teórico-analítico del comportamiento de los mismos, con la implementación de propuestas de mejora y chequeo de los resultados. Se propone entonces como objetivo lograr un mejoramiento de la performance térmica de los citados equipos a partir de un estudio experimental y analítico. Asumiendo esta posibilidad de mejora, se plantea la hipótesis de que es posible representar el funcionamiento de estos equipos mediante modelos físico-matemáticos desarrollados a partir de ecuaciones y correlaciones conocidas y procesos a interpretar mediante resoluciones numéricas y softwares específicos de simulación. De esta manera, se plantea el despieze completo de los equipos para estudiar en detalle su estructura y conexiones internas y a partir de la geometría, dimensiones y propiedades termofísicas de materiales constructivos y fluidos de trabajo, realizar modelos físico-matemáticos que permitan realizar variaciones de propiedades y geometría y así buscar las mejores combinaciones que produzcan equipos más eficientes térmicamente. Los modelos físico-matemáticos serán codificados en lenguajes de alto nivel para poder luego de una validación de los modelos, correr simulaciones en un software de reconocimiento internacional que permite sumar dichos modelos mediante un protocolo de comunicación, haciendo que las poderosas prestaciones del software se puedan aplicar a nuestros modelos. Se complementará el estudio con un análisis exergético para identificar los puntos críticos en que se producen las pérdidas de oportunidad de aprovechar la energía disponible, para así analizar cómo solucionar los problemas en dichos puntos. Los materiales a utilizar serán los propios equipos provistos por los fabricantes, que serán modificados convenientemente para operarlos como prototipos Se espera obtener un conocimiento acabado de los procesos y principios de funcionamiento de los equipos, que permita plantear las mejoras, las cuales se implementarán en los prototipos, realizándose una medición mediante norma igual a la inicial para ver en que magnitud se logran las mejoras esperadas. Se pretende además que las mejoras a implementar, en la etapa de transferencia a las empresas involucradas, redunden no sólo en un beneficio técnico, sino que también los sea desde el punto de vista económico. Para ello se trabajará también sobre los procesos y métodos de fabricación para que los equipos mejorados no sean mas caros que los originales y de ser posible sean aún más económicos, todo esto apuntando a la difusión de la energía solar térmica y poner al alcance de todos estos equipos tan convenientes para la propagación de las energías limpias. El proyecto redundará también en un importante beneficio para el conocimiento de la comunidad científica en general, con el aporte de nuevos resultados en diseños novedosos y con nuevos materiales. Además, la institución se beneficiará con la formación que obtendrán los integrantes del proyecto, muchos de ellos en etapa de realización de sus estudios de posgrado y en una etapa importante de su vida como investigadores. The main goal of this project is the improvement of two thermosyphonic solar water heating systems, made of non conventional materials and with different arrangement of their storage tanks: one is vertical and the other one horizontal. The thermosyphonic systems are provided by manufacturers of the Córdoba Province, who came to the Solar Energy Group (GES) of the National University of Río Cuarto looking for help for the design of their products. In an agreement with these manufacturers, it was proposed this project in order to work analytically and experimentally in order to obtain physical-mathematical models of these two systems, which allow for changes to look by means of simulations the best changes to implement on the equipments for the improvement of their thermal performance. Then, the materials to be used are the proper systems provided by the manufacturers, which will be disarmed to be studied in detail. After the analytical study the proposals of improvement will be implemented in a high level language of programming to perform simulations in the environment of a well-known software for energy simulations (TRNSYS). After the simulations, the best modifications will be physically implemented in the prototypes to perform finally the same normalized test of the beginning and check the magnitude of the implemented improvements. The importance of this project is based on the offer of better systems the companies would make, which would benefit the deployment of the thermal solar energy. Another relevant point is to make the new equipments at the same cost of the previous ones or cheaper, in order to achieve a good deployment of the solar water heating systems; then, the manufacture processes and methods must be studied to obtain not only good technical solutions, but also economical equipments. In addition, this project will contribute to the increasing of the knowledge in the area of thermosyphonic solar systems and the training of postgraduate students.

Aplicación del análisis y prevención de falla al desarrollo regional de componentes mecánicos.

En el anterior período de dos años, se ha estudiado la aplicación del método científico al análisis de falla de componentes, como una etapa de formación y capacitación en el método utilizado para la investigación de roturas o fallas de piezas o sistemas mecánicos. Ante la tendencia al desarrollo local de componentes, reemplazo de importaciones, se evidencia que no siempre ésta acción se realiza verificando todos los aspectos del elemento a desarrollar. Tanto el diseño, la materia prima, el método de producción, deben ser analizados detalladamente por su influencia en el comportamiento de cada elemento. Particularmente, en la pequeña y mediana empresa, que no dispone de respaldo técnico suficiente para cubrir todos los aspectos de un desarrollo, existe la necesidad de recurrir a proveedores externos por asesoramiento. La experiencia acumulada en el Análisis de Falla, ofrece un enfoque crítico ante los diferentes factores intervinientes en un componente que permiten predecir, con buena aproximación, los puntos débiles que posee tanto un diseño como un método de producción y de esta forma, aportar al desarrollo exitoso del producto.

Procesos de cambio y aprendizaje organizacional desde sistemas complejos: aspectos procesuales de la cognición organizacional.

En continuidad con proyectos anteriores, la investigación persigue aportaciones a la mirada sistémica e interdisciplinar de los procesos de fortalecimiento de las capacidades de aprendizaje organizacional en organizaciones locales. Al momento, se ha avanzado en el diseño de estrategias de reconstrucción de procesos cognitivos organizacionales críticos, y en la postulación de un modelo de observación de la cognición organizacional con énfasis en la caracterización de los aspectos estructurales. Este proyecto en particular pone en foco los aspectos procesuales de la cognición organizacional, que se presentan como significativos en torno a los fenómenos de aprendizaje observados en los procesos de cambio organizacional en estudio. En ese sentido, el proyecto tiene por objetivo analizar los aspectos procesuales de los fenómenos de cambio y aprendizaje organizacional, planteando la operacionalización de dichos cambios en torno a una categoría de análisis de micro nivel que hemos denominado proceso de quiebre-tratamiento. Abrevamos en antecedentes de la investigación – acción y en fundamentos epistemológicos del enfoque filosófico político de los sistemas complejos, del pragmatismo epistemológico, y de la perspectiva axiológica de la ciencia. El planteo metodológico de tipo cualitativo, apela a recursos de la ciencia - acción, en los que mediante entrevistas individuales, grupales y mixtas, se exploran y confrontan aspectos significativos de los fenómenos de cambio, incluyendo en ello a referentes de investigación, de asistencia técnica y a protagonistas internos de los procesos de transformación institucional de las organizaciones en estudio.

Análisis y diseño de filtros apilados basados en resonadores acústicos

Durant els últims anys la demanda de filtres pas banda de ràdio freqüència, de reduïdes dimensions, lleugers i d'elevades prestacions destinats a sistemes de comunicacions inalàmbriques s'ha incrementat de forma significativa. Aquests sistemes principalment són els sistemes de telefonia mòbil de tercera generació UMTS y el sistema de navegació GPS. Els filtres actuals, basats en ressonadors SAW (Surface Acoustic Wave), tenen unes dimensions reduïdes però estan limitats en freqüència (3 GHz) i la seva tecnologia no és compatible amb les tecnologies estàndards de circuits integrats. Per aquestes raons s'espera que els filtres basats en ressonadors BAW (Bulk Acoustic Wave) substitueixin als SAW. Els dos tenen dimensions similars, però els filtres BAW poden funcionar a freqüències superiors a 3 GHz, poden treballar amb nivells de potència majors, i és important destacar el fet que la seva tecnologia és compatible amb les tecnologies estàndards de circuits integrats. La investigació en l'àmbit dels filtres BAW s'ha centrat en millorar els processos tecnològics i la qualitat dels materials, però s'ha treballat poc en l'adaptació de les tècniques sistemàtiques de disseny de filtres a les particularitats d'aquesta tecnologia, per tant el principal objectiu d'aquest treball és presentar mètodes sistemàtics per al disseny de filtres BAW, centrant-se en l'estudi d’estructures apilades.

Comportamiento tribomecánico de sistemas de sustrato: recubrimiento duros

En aplicaciones como la conformación en frío, donde los metales duros recubiertos con películas de naturaleza cerámica son ampliamente empleados, la existencia de un contacto mecánico repetitivo induce tensiones Hertzianas y origina el fallo por fatiga. En este trabajo, se investigan diversos recubrimientos cerámicos depositados por deposición física desde fase vapor sobre calidades diferentes de metal duro y un acero rápido pulvimetalúrgico para evaluar sus respectivas respuesta al contacto y comportamiento a fatiga. El trabajo experimental incluye la caracterización de los sistemas mediante ensayos de rayado y nanoindentación y la evaluación de las curvas tensión-deformación de indentación esférica de los sustratos, tanto desnudos como recubiertos, poniendo especial atención en determinar las tensiones de contacto críticas asociadas a la deformación plástica y a la aparición de grietas circulares en la superficie recubierta. A este estudio, le siguen numerosos ensayos a fatiga a cargas inferiores a aquéllas identificadas como críticas bajo carga monotónica y para un número de ciclos comprendido entre 1.000 y 1.000.000 de ciclos. Los resultados experimentales indican que las películas cerámicas no parecen desempeñar un papel relevante en la aparición de la cedencia plástica, siendo la deformación plástica global controlada por la deformación del sustrato. No obstante, para tensiones elevadas de indentación durante el régimen plástico, existe la aparición de grietas circulares en los recubrimientos cerámicos. Además, la aparición de las mismas es sensible a la fatiga por contacto. Este análisis mecánico se complementa con una inspección detallada del daño generado en profundidad y superficie.

Los sistemas participativos en las políticas de gestión de RSU: ejemplos de best-practices y el caso español

En el presente estudio se analizan los sistemas de gestión de RSU de Alemania, Noruega y California, considerados best-practices, desde la perspectiva de la creación de las políticas que los han hecho posibles. De este análisis se destacan como elementos importantes el liderazgo institucional, los acuerdos con la industria y el debate social. Posteriormente se analiza el caso de España y de Cataluña, comparándolo con los casos destacados y los elementos seleccionados. En este análisis se sigue la evolución de su legislación, planes y programas y se consideran los elementos que definen el panorama actual. Finalmente, siguiendo las recomendaciones de diversos autores y la voluntad del actual programa catalán, se plantea un sistema participativo para la elaboración de estas políticas.

Análisis de la dimensión ambiental de la tenencia de la tierra. El caso de la Zona Protectora y Parque Nacional Volcán Tenorio de Costa Rica

El presente estudio consiste en la elaboración de un mapa del estado de tenencia de la tierra actual de la Zona Protectora y Parque Nacional Volcán Tenorio situado al norte de Costa Rica. A partir de este resultado cartográfico se efectuarán estudios referentes al estado legal de las propiedades, al tipo de propiedad, a la ubicación de las propiedades dentro del Área Silvestre Protegida y al evalúo de los conflictos legales dentro de ésta. Por otro lado, se analiza la cobertura de la tierra y el estado de conservación. La metodología utilizada se basa en el uso de Sistemas de Información Geográfica y en la verificación de la información mediante puntos GPS tomados al campo y su análisis en la oficina. Los resultados muestran una reubicación de los planos más precisa y real que la indicada por el Catastro Nacional. Aunque las propiedades privadas son mayoritarias, el área de estudio presenta en general un porcentaje alto de masa boscosa, mientras que en las zonas limítrofes se encuentra una fragmentación del hábitat determinada por herbazales. Este estudio contribuye a una mejor gestión y conservación del Área Protegida y es un avance en el ordenamiento territorial del país.

Análisis y diseño de un portal de venta de libros educativos

El objetivo de este proyecto ha consistido en realizar el análisis y diseño de una aplicación Web B2C, de forma que a partir de dicha documentación, se pueden iniciar las fases de implementación y verificación, antesde su puesta en producción.

Construcción y explotación de un almacén de datos para el análisis de información inmobiliaria

El objetivo de este Trabajo Final de Carrera (TFC) es consolidar los conocimientos adquiridos a lo largo de nuestros estudios de Ingeniería Técnica en Informática de Sistemas. Es un documento que contiene el enunciado de un problema del mundo real, que se describe, desgrana, analiza, etc, y que al final se detalla la solución técnica final escogida. Este Trabajo Final de Carrera, a partir de ahora TFC, está enmarcado dentro del área de Almacenes de Datos, utilizando el siguiente software: ORACLE EXPRESS v10.2.0.1 y SQL DEVELOPER. La empresa inmobiliaria Un Techo para Todos, tiene un catalogo de inmuebles de España y Andorra. Necesitan un sistema de información que le permita comparar diferentes zonas, tipos de pisos y precios, para intentar ser más eficientes ajustando la oferta y la demanda, y por consiguiente obteniendo mayores beneficios. El principal problema que nos plantean es que aunque disponen de mucha información, esta no la tienen integrada en un sistema informático optimo( lo tienen en unas hojas de Excel), por lo que no pueden sacarle el rendimiento adecuado.

Sistema Administración de Base de Datos del Departamento de Audiovisuales : Comunicación Interna de TMB

El departament d'Audiovisuals de TMB dedicat a l'elaboració de reportatges, a videos i a publicacions sobre totes les activitats de l'empresa es planteja la necessitat de tenir una aplicació via web on es pugui accedir d'una manera fàcil i còmoda a la base de dades dels seus productes, aquesta funcionalitat tindrà com a usuaris en una primera fase el propi departament i en una segona fase per a usuaris que accedeixin des de diferents punts accessos (Quioscs) repartits per tota la ciutat.

Análisis, diseño e implementación de una aplicación Web para el seguimiento del proceso académico haciendo uso de la arquitectura .NET

En este trabajo final de carrera se ha desarrollado una aplicación Web para el seguimiento vía Internet del proceso académico de los alumnos, tanto por ellos mismos como por parte de sus padres. La aplicación se ha implementado usando la arquitectura .NET de Microsoft para el desarrollo y la tecnología ADO para el acceso a datos.

Estudio de la usabilidad en la administración pública municipal on-line

S'ha realitzat l'anàlisi del site www.tortosa.cat, realitzant un estudi d'usabilitat centrada en l'usuari sobre webs orientades al comerç electrònic i als serveis.

Aplicació J2EE per la Gestió de Carteres i Anàlisis Tècnic de Valors Bursátils

Aquest TFC parteix de la necessitat de desenvolupar una aplicació web que presenti la característica de ser escalable, robusta i reutilitzable, dins del paradigma de la orientació a objectes i que permeti una estructura distribuïda, tant de components com de sistemes d'informació.

Anàlisis, disseny i implementació d'una aplicació de gestió d'històries mèdiques per un sistema multi centres mitjançant tecnologia J2EE, i tecnologia de xarxes de bases de dades

El treball final de carrera 'HISMED', es basa en l'anàlisi, disseny, investigació e implementació d'una aplicació dins l'àmbit assistencial sanitari amb la premissa de voler ser un sistema per oferir un servei sanitari de millor qualitat, i crear un entorn en el qual investigadors, laboratoris, metges i personal docent comparteixen dades amb una rellevància cabdal per les seves professions. Oferint-los una eina de consulta molt potent en quant a l'obtenció de dades clíniques, que els permet explotar la informació segons convingui el cas.