Trabajos finales del postgrado - Master en Ingeniería por Investigación

  • A machine-checked proof of the Standardization Theorem in Lambda Calculus using multiple substitution

    • Abstract: En el siguiente trabajo se presenta la formalización en Agda del Teorema de Estandarización para el Cálculo Lambda. Se presenta un corolario del Teorema de Estandarización junto con la demostración del teorema de reducción más izquierdista (leftmost reduction). Si bien existen formalizaciones de estos resultados, lo innovador que se desarrolla en la presente tesis, consiste en el apego de la formalización del Cálculo Lambda a su presentación usual (variables con nombres). El Cálculo Lambda constituye el fundamento teórico de lenguajes de programación funcionales. En la primera parte de este trabajo se reseña la formalización del Cálculo Lambda que se utiliza como base para el desarrollo de los capítulos siguientes e introduce ciertas definiciones propias. En el tercer capítulo se presenta lo más sustancial de la tesis: las definiciones de diferentes nociones de reducción que permiten probar el Teorema de Estandarización que será en términos de una secuencia de reducción estándar. Primero se presentan las nociones de contracción del redex más izquierdista y luego la noción de reducción del redex en la cabecera (de una aplicación). Se demuestra una definición inductiva equivalente a secuencias de reducción estándar. En este capítulo se van desplegando los lemas necesarios para obtener el teorema de estandarización. En el cuarto capítulo de la tesis se aprovecha el Teorema de Estandarización para probar que si un término tiene forma normal, esta es alcanzable por la estrategia de reducción leftmost-outermost. Concluye con la comparación de este desarrollo con otras formalizaciones del mismo resultado y propone algunas líneas para continuarlo.
    • Autores: Copes Sabaj, Martín.
    • Año de publicación: 2018.
  • Age prediction of Spanish-speaking Twitter users

    • Abstract: La predicción de la edad en la red social Twitter surge como necesidad para el mejoramiento de herramientas como pueden ser el marketing online, así como para colaborar en la detección de pedofilia en la red social, identificando a los usuarios que fingen ser menores de edad mediante el uso de perfiles falsos. En el presente trabajo se analizan diferentes soluciones a este problema, prediciendo el rango de edad de una persona a partir de una colección de textos cortos escrita por la misma. Se analizan tres tipos de atributos: metadatos del usuario, atributos de estilometría sobre el texto de los tuits y atributos resultantes de la aplicación de técnicas de Procesamiento de Lenguaje Natural sobre tuits, así como listas de suscripción las cuales contienen información acerca de los intereses del usuario. También se incluyen una serie de atributos que modelan la vinculación del perfil de Twitter con otras redes sociales. Dichos atributos recolectados son posteriormente utilizados para entrenar los modelos de Aprendizaje Automático, con el fin de predecir la edad de los usuarios y así proceder a clasificarlos en los rangos etarios definidos. Finalmente se realizó una serie de experimentos con distintos set de datos y algoritmos. Los resultados experimentales muestran que los atributos extraídos constituyen un elemento muy útil a la hora de detectar la edad de los usuarios.
    • Autores: Tortorella Pérez, Verónica Andrea.
    • Año de publicación: 2018.
  • Mapeo sistemático y evaluación de arquitecturas de software para contextos de big data

    • Abstract: Big data es la información caracterizada por un volumen, velocidad y variedad alta de datos que requieren métodos analíticos y tecnologías específicas para poder ser gestionados y transformados en valor agregado para el usuario. El mercado de servicios de big data ha comenzado a crecer sostenidamente en los últimos años. Sin embargo, su rápido crecimiento trae varios desafíos a superar para la ingeniería de software. Las arquitecturas de software se vuelven relevantes en este contexto donde los estilos y patrones tradicionales no son suficientes para el diseño y desarrollo de software. Esta tesis tiene como objetivo explorar los desafíos y prácticas utilizadas durante el proceso de diseño arquitectónico en contextos de big data. En primer lugar, se realizó un mapeo sistemático de la literatura para identificar y categorizar propuestas de arquitecturas de software. Luego se profundiza la evaluación de dichas arquitecturas para identificar, describir y discutir el impacto de un conjunto de tácticas arquitectónicas sobre los atributos de calidad propios de big data. Se concluye que existen una variedad de propuestas de arquitectura de software industriales, teóricas y de referencia para big data. Estas propuestas muchas veces difieren en las capas y la separación de responsabilidades, por lo que dificulta al practicante diseñar una solución que se adapte a su contexto de uso. Por otra parte, los resultados del análisis de estas arquitecturas indican la existencia de requerimientos complejos, similares a los encontrados en sistemas distribuidos, pero a mayor escala, determinados por las características de gran volumen, variedad y velocidad de datos. Estos resultados muestran la oportunidad de buscar mejoras al proceso del diseño arquitectónico, adoptando prácticas como el uso de tácticas de arquitectura, para capturar las decisiones de diseño propias de big data.
    • Autores: Russo Ibañez, Juan Pablo.
    • Año de publicación: 2018.
  • Análisis de un modelo discreto para computación cuántica

    • Abstract: El trabajo aborda teóricamente la Computación Cuántica Discreta y otras áreas relacionadas, como paralelismo y entrelazamiento cuántico, conjuntos universales exactos y aproximados de puertas cuánticas y conjuntos discretos de estados cuánticos. Se estudia un modelo en particular, construido por una base universal finita. Dicho modelo presenta varias características que fundamentan la realización del trabajo. De esta forma, se profundiza en fórmulas cerradas para la acción de las puertas cuánticas que definen el modelo discreto sobre los estados discretos, y se demuestra que la puerta de Hadamard es la única que modifica el nivel de los estados, pudiendo aumentar o disminuir en exactamente en 1 el nivel. Finalmente, se utiliza el modelo para implementar el algoritmo de Grover con la constatación de que, contrariamente a la creencia general, dicho algoritmo de búsqueda no es cíclico en el modelo discreto.
    • Autores: Gatti Dorpich, Laura Nina.
    • Año de publicación: 2016.
  • Foundations for Mathematical Methodology

    • Abstract: El trabajo presenta un método original para establecer y demostrar conjeturas de la teoría ecuacional del cálculo lambda tipado. Incluye una serie de reglas que permiten al estudiante descubrir, por ejemplo, el tipo de las listas, que la función que invierte el orden de una lista es interesante y que dicha función es su propio inverso. Dichas reglas permiten, además, demostrar lo descubierto, de forma similar a como se resuelve una ecuación de segundo grado. El método quedó formalizado en un programa informático. El presente trabajo tiene valor como reflexión sobre la práctica matemática y una aplicación clara a la didáctica de la matemática de programas.
    • Autores: Michelini Jorge, Juan Pedro.
    • Año de publicación: 2016.
  • Frequency regulation in electric power systems using deferrable loads

    • Abstract: Con el advenimiento del paradigma de la red inteligente (Smart Grid) y las energías renovables, se hace necesario estudiar el almacenamiento de energía generada que no se consume al momento. En esta tesis, se indaga en el papel de un “load agregator” que administra un conjunto de cargas eléctricas y aprovecha la flexibilidad de las mismas para regular la frecuencia de una red. Se estudia el problema desde un punto de vista macroscópico, sin entrar en detalles de cargas individuales. Se propone un set de modelos ODE para predecir la evolución de la potencia consumida por el cluster de cargas y se diseñan controladores para estos modelos, con el fin de poder seguir las referencias de potencia externa. Finalmente, se sugieren algunos algoritmos posibles para implementar el control a cargas individuales. Las simulaciones muestran que este sistema podría proporcionar valiosos servicios a las redes eléctricas, si existiese suficiente infraestructura de comunicaciones.
    • Autores: Bliman Agorio, Federico.
    • Año de publicación: 2016.
  • Gestión del riesgo basado en la gestión del conocimiento para empresas PyMES de Uruguay

    • Abstract: El presente trabajo relaciona la gestión del conocimiento y la gestión del riesgo, aplicadas a empresas PyMEs debido al importante rol que éstas ocupan en nuestro país y el mundo. Como resultado del estudio, se crea un marco y se define un modelo de gestión del riesgo basado en la gestión del conocimiento, teniendo en cuenta su aplicabilidad a empresas PyMEs que presentan características especiales por su estructura y organización. Para la validación de su aplicabilidad, se realiza un trabajo experimental relevando dos empresas de Uruguay, logrando medir y determinar su nivel en base al modelo planteado, para el cual se definieron indicadores y sus medidas asociadas a cada nivel en el modelo. Las empresas relevadas podrán identificar sus puntos de mejora respecto a la gestión de conocimiento aplicado a la gestión del riesgo, pudiendo ser relevadas luego de un período y valoradas nuevamente en base al modelo, determinando así el impacto de los cambios realizados.
    • Autores: Ayala Pastorino, Sebastián.
    • Año de publicación: 2016.
  • Identificación de Deuda Técnica en instancias de reflexión de proyectos ágiles

    • Abstract: La tesis muestra la aplicación de métodos de investigación cualitativos adecuados para el estudio de los conceptos de procesos y calidad en ingeniería de software. El trabajo continúa una línea de investigación anterior sobre deuda técnica y agilidad, estableciendo un marco metodológico para continuar profundizando el estudio del fenómeno. De esta forma, se desarrolla un mecanismo de medición capaz de evaluar un proyecto, según una escala que representa el grado de agilidad. Luego, se aplica una metodología de investigación cualitativa sobre los registros de retrospectivas de un proyecto real de desarrollo de software, con el fin de identificar instancias de deuda técnica. Los resultados obtenidos muestran que es posible identificar constructos asociados con el fenómeno estudiado.
    • Autores: Nacimento Ferrer, María Cecilia.
    • Año de publicación: 2016.
  • Especificación y verificación de marcapasos

    • Abstract: Los sistemas de tiempo real, en general, requieren que su funcionamiento carezca de fallas. En el caso de los controladores de marcapasos, esto resulta de vital importancia. En el marco del desafío propuesto por el fabricante de marcapasos Boston Scientific, en este trabajo se plantea una metodología lo más didáctica posible que permita obtener una correcta especificación de los sistemas y detectar fallas en su diseño en las etapas más tempranas. Para que un sistema no falle, es necesario tener certeza de que su especificación es correcta, para luego continuar con su diseño y, finalmente, con su implementación. Luego de analizar diversos trabajos que intentan resolver este problema, se propone una notación gráfica, extensión de grafos temporizados con facilidades de abstracción, para la representación de los diferentes modos de operación de un marcapasos y se presenta una metodología con un enfoque pedagógico. Se propone, entonces, un modelo de corazón que permite reflejar diferentes anomalías en su funcionamiento real, analizándose su interacción con los diferentes modos de operación de marcapasos modelados. Los modelos se representan mediante el sistema UPPAAL. Posteriormente, usando el chequeador de modelos de UPPAAL se verifica un número de propiedades consideradas básicas para el correcto funcionamiento de los modelos: si el sistema no se bloquea, si no se detectan pulsos en los períodos refractarios, si no transcurre más de un tiempo prefijado entre dos estimulaciones o pulsos intrínsecos consecutivos. Finalmente se considera la posibilidad de continuar la línea de investigación y llegar a la generación del código del marcapasos o ampliar la línea de investigación y generalizar el método propuesto para contemplar otro tipo de dispositivos médicos implantables.
    • Autores: Damonte Callorda, Pablo Gabriel.
    • Año de publicación: 2015.
  • From resource allocation to neighbor selection in peer-to-peer networks

    • Abstract: En la tesis se estudia primero, desde un punto de vista teórico, las diferentes posibilidades de asignación de recursos de las redes peer-to-peer (P2P) y los incentivos que las mismas proveen a los peers. Luego, se realiza el diseño de un algoritmo que alcanza la asignación deseada manteniendo los incentivos para motivar a los peers a contribuir. Analizando los incentivos aparece un compromiso entre eficiencia y justicia en la red. Se procede a diseñar un algoritmo descentralizado de “selección de vecinos” (donde se elige con quién compartir contenido de manera de alcanzar un óptimo global). El algoritmo se basa en el uso de Cadenas de Markov de tiempo continuo que aparecen en el estudio de la mecánica estadística, en particular las distribuciones de Gibbs. El algoritmo consiste en un Gibbs Sampler, que alcanza la asignación deseada manteniendo sencillez en la implementación. En la última parte de la tesis se extienden las propuestas al contexto de redes inalámbricas ad-hoc, en las cuales el compromiso de eficiencia y justicia cambia radicalmente debido a que la eficiencia de la red está asociada a qué vecinos podemos elegir para comunicar, ya que en las redes inalámbricas las restricciones de capacidad se vuelven par a par, en lugar de una única restricción de subida por peer. Las interferencias entre enlaces debido la comunicación inalámbrica complican aún más el problema. De todos modos, se propone una extensión al algoritmo que logra los objetivos deseados también en este tipo de redes y que permite modular el compromiso entre eficiencia y justicia satisfactoriamente.
    • Autores: Zubeldía Suárez, Martín.
    • Año de publicación: 2014.
  • Un enfoque de Inteligencias Múltiples y Competencias aplicado a la enseñanza inicial de la Programación

    • Abstract: Los cursos introductorios de Programación presentan altos índices de repetición y abandono. Con el objetivo de promover mejores resultados se propone un marco de trabajo que incorpora el enfoque de competencias e inteligencias múltiples. La pregunta de investigación es: ¿qué tipo de actividades orientadas a competencias e inteligencias múltiples es posible diseñar con el objetivo de lograr mejores resultados en los estudiantes de Programación 1? Como primera etapa se realizó una revisión del estado del arte, referido a las dificultades en relación con la enseñanza y el aprendizaje en los cursos introductorios de Programación, así como también de los enfoques de competencias, inteligencias múltiples y la inclusión de buenas prácticas de diseño de actividades en el área de ingeniería. Se diseñó un marco de trabajo que permitió incorporar los enfoques anteriormente mencionados, generando un conjunto de actividades que se han implementado en el contexto del curso de Programación 1 de la Facultad de Ingeniería de la Universidad ORT Uruguay.
    • Autores: Adorjan Olivera, Alejandro Jeremías.
    • Año de publicación: 2014.
  • Análisis de la adopción y uso de las revisiones de software

    • Abstract: El trabajo aborda un tema de indudable relevancia científica, tanto teórica como práctica: el análisis de la adopción y el uso de las revisiones de software.
    • Autores: Macchi Heins, Darío Alejandro.
    • Año de publicación: 2013.
  • Diseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer orden

    • Abstract: En la tesis se presenta el diseño e implementación, como EDSL embebido en Haskell, de un asistente de pruebas para el sistema de deducción natural de la lógica de primer orden. El asistente fue diseñado con el objetivo de que el mismo sea utilizado por estudiantes en el contexto de un curso de Lógica.
    • Autores: Pais Falero, Jorge Andrés.
    • Año de publicación: 2013.
Postgrado en Ingeniería por Investigación

Coordinador académico

Dr. Álvaro Tasistro

Solicitá más información

La Facultad de Ingeniería da servicios de apoyo a estudiantes avanzados y graduados para facilitar su inserción laboral. Según el último relevamiento realizado la facultad cuenta con plena inserción de sus graduados.

A través de este espacio se busca promover y dar a conocer las oportunidades que tienen las mujeres dentro del área de las Tecnologías de la Información y la Comunicación. Asimismo, se realizan diferentes actividades para impulsar a estudiar tecnología.

El Centro de Innovación y Emprendimientos (CIE) de la Universidad ORT Uruguay, promueve y desarrolla la generación de nuevos emprendedores. Sus acciones están dirigidas a fomentar la innovación, la actitud emprendedora y promover oportunidades.