Trabajos finales del postgrado

  • 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.
  • Interpretación de KM3/ATL en Teoría de Tipos

    • Abstract: El término Ingeniería Dirigida por Modelos (MDE) se utiliza para describir enfoques de desarrollo de software en los cuales se crean modelos abstractos de sistemas de software que son transformados de manera sistemática para obtener implementaciones concretas de los sistemas que representan. En este contexto, se han desarrollado lenguajes para describir transformaciones ejecutables por máquina. ATL (ATLAS Transformation Language) aparece como uno de los lenguajes más utilizados para especificar este tipo de transformaciones, en conjunto con KM3 (Kernel Meta Meta Model) para expresar la estructura de los modelos. Este proyecto busca la verificación formal de los modelos y transformaciones especificadas utilizando ATL y KM3, para mejorar la calidad y confiabilidad de los sistemas desarrollados. La principal dificultad para razonar sobre transformaciones y modelos especificados en estos lenguajes es la falta de una semántica formal. Buscando eliminar esta dificultad se presenta una interpretación de ATL y KM3, dando una semántica formal, precisa, concisa y tratable por máquina. La misma se formula en la Teoría Constructiva de Tipos. La semántica se implementa como un traductor de ATL/KM3 a Agda, un lenguaje funcional con tipos dependientes. Se habilita, además, el uso de un ambiente con un alto grado de expresividad, en el que es posible codificar y demostrar propiedades para los modelos y transformaciones. Finalmente, se muestra la implementación del traductor automático que permite representar meta-modelos, modelos y transformaciones existentes en la nueva interpretación.
    • Autores: Fornaro Rosado, Carlos Nicolás.
    • Año de publicación: 2013.
  • Mapeo sistemático y estudio de caso sobre técnicas de generación automática de pruebas

    • Abstract: El trabajo tiene como objetivo explorar la generación automática de casos de prueba a través de la identificación de las técnicas y sus problemas e investigar su utilidad práctica. Se realizó un mapeo sistemático de la literatura, extendiendo dos trabajos relacionados a la tesis para conocer las técnicas y los problemas investigados. A partir de este mapeo se realizó un estudio de caso con herramientas de generación para evaluar su eficacia con respecto a la detección de defectos.
    • Autores: Quintana Alpuin, Gerardo Franklin.
    • Año de publicación: 2013.
  • Inferencia de tipos de sesión

    • Abstract: El problema que se aborda en la tesis es el desarrollo de un algoritmo que realice inferencia de tipos para sistemas de tipos de sesión. Para ello, se consideran los sistemas existentes en la literatura, se propone una variante que consiste en un fragmento suficientemente representativo y se lo extiende con esquemas de tipos. Para este sistema se desarrolla un algoritmo de inferencia de tipos. Tanto la propuesta de un sistema de tipos de sesión con esquemas de tipos como el desarrollo del algoritmo de inferencia para el mismo son contribuciones originales en el área.
    • Autores: Copello Gigirey, Ernesto Sebastián.
    • Año de publicación: 2011.
Postgrado en Ingeniería por Investigación

Coordinador académico

Dr. Álvaro Tasistro

Solicitá más información

  • Protección de datos personales
    Los datos personales enviados a través de este formulario serán tratados conforme a la Ley N° 18.331.

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.