Magíster en Ciencias de la Ingeniería, Mención Ingeniería Eléctrica / El trabajo de tesis compara en forma sistemática las diferencias de rendimiento entre las principales metodologías de solución del problema de Predespacho (UC) y muestra la aplicación de la relajación lagrangeana a casos reales del Sistema Interconectado del Norte Grande (SING). Se propone una metodología para la creación de casos sintéticos de UC que permitan obtener diversidad a distintas escalas sin que resulten alejados de la realidad, siendo ésta la principal contribución del presente trabajo junto con los resultados estadísticos que favorecen MIP por sobre LR para sistemas de medianas dimensiones. La relajación lagrangeana (LR) y la programación entero mixta (MIP) son los métodos de solución que han encontrado el mayor número de aplicaciones prácticas al UC. Sin embargo, las comparaciones de rendimiento y calidad entre ambas, aunque propuestas conceptualmente y cuyas nociones intuitivas se encuentran dispersas en la bibliografía especializada, adolecen de falta de generalidad, escasa representación de la realidad, ausencia de especificaciones computacionales o, inclusive, éstas pueden haber quedado obsoletas. Ante la escasez de librerías de modelos de UC o, al menos, de métodos de creación de casos de aplicación, en el presente trabajo se propone y aplica un generador de casos sintéticos de prueba de UC. Este método formula casos basados en la combinación de datos estandarizados con la generación aleatoria de parámetros. De esta forma, los problemas de UC creados adquieren diversidad (universalidad) sin que las instancias se alejen demasiado de la realidad. La diversidad de las instancias generadas es controlada mediante los parámetros de las funciones de distribución de probabilidades, tanto para la selección de unidades candidatas como para la variedad en los parámetros técnicos característicos. Estas instancias son resueltas por los métodos para resolver el UC en una misma plataforma computacional. El método de LR encuentra soluciones factibles para 429 instancias de las 480 (89,4%), cumpliendo con el gap objetivo de 0,01% en tan sólo 90 casos (18,8%), mientras que el MIP encuentra la solución óptima para el 98,3% de los casos. Los resultados obtenidos verifican que para el rango de 10 a 100 unidades, la mejor solución entera factible alcanzada por LR tiene una menor calidad (valor mayor de la función objetivo en problemas de minimización) que la encontrada por el optimizador MIP. Los resultados permiten determinar que el sobrecosto (respecto al MIP) esperado de las soluciones mediante LR fue de 6,03%. El aumento de la dispersión en los parámetros técnicos beneficia ambos métodos al obtener la mejor solución factible en menores tiempos de ejecución. De esta forma se muestra que no sólo la calidad de la solución por LR se ve afectada por unidades similares, sino que también afecta al método MIP. Se comprueba que a medida que los problemas son más difíciles (juzgando por la adaptabilidad y por el número de unidades), la cota inferior de LR resulta en promedio mayor (mejor) a la cota inferior promedio por MIP. Respecto al caso práctico inspirado en el SING, la calidad de la solución por LR se ve especialmente deteriorada cuando las restricciones de mínimos técnicos de las unidades obligan que la solución óptima entera se aleje de la relajación lineal. Si bien para este caso la resolución mediante MIP también se dificulta requiriendo de hasta un 60% más tiempo de ejecución, este efecto es comparativamente menor al deterioro de la calidad de la solución observada mediante LR (que resulta hasta 4.5% mayor que MIP). Conceptualmente, este hallazgo se explica por los valores de actualización de los multiplicadores en LR, lo que se traduce en imposibilidad para explorar zonas del espacio de soluciones. Como conclusión general, el estudio entrega evidencia práctica a favor de la tendencia observada en la revisión bibliográfica en relación a privilegiar desarrollos de tipo MIP, la cual es aplicable a sistemas medianos como el caso real en estudio basado en el SING chileno. Esta conclusión no se extiende para otros sistemas reales de grandes dimensiones (eg. CAISO, MISO, UCTE). Como futuros desarrollos se sugiere explorar esquemas integrados LR-MIP explotando las mejoras de la cota inferior que proporciona LR en comparación con la relajación lineal del MIP y la creación de soluciones factibles por el método LR para inicializar el MIP.

Doctor en Ciencias, Mención Computación / Gradual Typing permite a un programador aplicar tipos estáticos a ciertas partes de un programa, dejando el resto dinámicamente tipeado. Sin embargo, esto viene con un costo en el rendimiento. Una razón es que el runtime tiene que realizar siempre un casteo en el borde entre tipos estáticos y dinámicos. Otra razón es que el borde puede ser creado accidentalmente. Esto también trae un efecto lateral de reducir la fiabilidad del código estático, porque ahora el programador no puede garantizar que su código no arrojará errores de tipo en tiempo de ejecución. En este trabajo de tesis, mejoramos el rendimiento y la fiabilidad de los programas gradualmente tipeados. Para esto, desarrollamos un lenguaje gradualmente tipeado, Gradualtalk, y luego presentamos dos novedosas ideas: hybrid strategy y Confined Gradual Typing. La hybrid strategy es una nueva forma de insertar los casts al invocar métodos que combina dos estrategias existentes, permitiendo obtener el mejor rendimiento de ambas. Validamos esta afirmación con benchmarks. Confined Gradual Typing refina gradual typing con anotaciones para prohibir explícitamente ciertos cruces de frontera entre el código estáticamente y dinámicamente tipeado. Nosotros desarrollamos formalmente dos variantes de CGT que capturan diferentes compromisos entre flexibilidad/garantías. Probamos que CGT es type sound y que las anotaciones ofrecen las garantías esperadas.

Publicación a texto completo no autorizada por el autor / Presenta un método para construir una solución que optimice el recorrido de rutas del servicio de visitas turísticas en Lima Metropolitana y alrededores, mediante un modelo de programación lineal implementado en el software LINGO. El modelo debe calcular la planificación de rutas de vehículos dentro de las limitaciones del problema y minimizar el costo de la planificación. Asimismo, se expone algunas técnicas para casos de mayor complejidad, heurísticas y metaheurísticas. / Trabajo de suficiencia profesional

El presente trabajo plantea una propuesta de mejora del proceso de planeamiento y control de la producción en una empresa metalúrgica fabricante de aleaciones del cobre, zinc y plomo, mediante la implementación del modelo de programación lineal, que permitirá reducir los niveles de stock de productos. Asimismo, formula la mejora en la exactitud del registro del inventario de los materiales, mediante la aplicación del inventario físico mensual y el conteo físico aleatorio permanente. Se detectó el problema de incoherencia entre stock físico y teórico de los materiales, cuyas causas principales son el software con limitaciones, desorden y la no buena señalización de la ubicación de los materiales en el almacén, la frecuencia del inventario físico y carencia de conteo físico aleatorio. Se detectó un nivel elevado de merma en el proceso productivo, por uso de chatarra contaminada y de utillajes desgastados. El elevado nivel de stock de productos, se debe al método de programación vigente. Se prevé un incremento del 93.6% al 97% en el nivel de exactitud del registro del inventario. El nivel del stock de los productos, se reducirá de un período de cobertura de 1.1 y 1.7 meses a 0.7 y 0.9 meses respectivamente para los dos productos. La inversión requerida para la implementación de las mejoras es de US$ 13,885, que permitirá un beneficio neto a valor presente de 4,369 US$/mes, posibilitando que la empresa recupere dicha inversión en 3 meses aproximadamente. / The present work proposes a proposal for improvement of the process of planning and production control in a metallurgical company that produces copper, zinc and lead alloys, through the implementation of the linear programming model, which will allow reducing the stock levels of products. Likewise, it formulates the improvement in the accuracy of the inventory register of the materials, through the application of the monthly physical inventory and the permanent random physical count. The problem of inconsistency between physical and theoretical stock of materials was detected, whose main causes are software with limitations, disorder and without good signage of the location of the materials in the warehouse, the frequency of the physical inventory and lack of random physical counting. A high level of depletion was detected in the productive process, due to the use of contaminated scrap metal and broken tools. The high level of stock of products is due to the current programming method. An increase of 93.6% to 97% is expected in the level of accuracy of the inventory record. The level of the stock of products, would be reduced from a coverage period of 1.1 and 1.7 months to 0.7 and 0.9 months respectively for the two products. The investment required for the implementation of the improvements is US $ 13,885, which will allow a net benefit at present value of 4,369 US $ / month, enabling the company to recover this investment in approximately 3 months. / Trabajo de investigación

El presente trabajo de investigación, enfocado en las nueve municipalidades distritales de la provincia de Tacna, los mismos que han tenido entre los años 2012 al 2014 un presupuesto significativo, equivalente a 424,9 millones de soles. Sin embargo; sus niveles de ejecución presupuestal en promedio para ese mismo período solo ascendieron a 69 %.

No description available.

No description available.

En el 2014, el grupo de investigación AVATAR lanzó su juego de estrategia en tiempo real “1814: La rebelión del Cuzco”, y ahora desean expandir el contenido del juego con nuevos mapas y niveles. Sin embargo, crear contenido de este tipo requiere iniciar un ciclo de desarrollo extenso y costoso, el cual produce una cantidad limitada de mapas. Frente a esta necesidad, se propone un editor de mapas para el juego. Una herramienta que permite crear una cantidad ilimitada de mapas y, a diferencia de un algoritmo de generación de niveles, aprovecha la creatividad de los jugadores para generar nuevo contenido e interés en el juego. El editor se construyó siguiendo la estructura de un compilador que recibe como entrada un lenguaje visual. Se elaboró primero una interfaz gráfica donde se edita el mapa de forma intuitiva, el cual luego es procesado por el compilador y traducido a una estructura de datos interpretable por el motor de juego. Por último, se realizó una prueba con usuarios para validar la usabilidad del editor y el correcto funcionamiento de los mapas editados. Al finalizar el proyecto de fin de carrera se logró construir satisfactoriamente un editor de mapas para “1814: La rebelión del Cuzco”, capaz de ser utilizado, tanto por jugadores expertos como casuales, para crear fácilmente nuevos mapas y luego integrarlos al juego. / Tesis

En la actualidad, la utilización de los instrumentos virtuales ha venido incrementándose en aplicaciones enfocadas a las ciencias e ingeniería. Esto se debe a que, a diferencia de los instrumentos tradicionales de laboratorio, estas son herramientas basadas en software, las cuales utilizan el hardware de una computadora o estación de trabajo para realizar las tareas para las cuales han sido diseñadas, lo cual le da grandes ventajas como una mayor portabilidad, personalización, adaptabilidad e interconectividad con otros sistemas. El objetivo de la tesis es la utilización de un entorno de desarrollo creado por la empresa National Instruments, llamado LabVIEW. En dicho entorno, se diseñará e implementará un instrumento virtual, cuyo propósito es el de ser usado para el análisis de los resultados obtenidos en el proceso de ejecución de los ensayos característicos realizados a un motor asíncrono trifásico. Para ello, el instrumento virtual deberá ser capaz de establecer una comunicación con un hardware externo encargado de llevar a cabo dichos ensayos de forma automática. Dicha comunicación enlazará al instrumento virtual con una tarjeta de adquisición de datos, lo cual permitirá al usuario del instrumento, ingresar datos de placa y parámetros de ensayo pertinentes, para que estos sean enviados al resto del sistema para la correcta realización de los ensayos. Así mismo, el instrumento virtual debe ser capaz de usar esta comunicación para recibir valores correspondientes a los resultados de los ensayos realizados en dicha máquina eléctrica, provenientes de la tarjeta de adquisición de datos mencionada. Utilizando los valores obtenidos durante el desarrollo de los ensayos, el instrumento realizará cálculos matemáticos pre-programados con la finalidad de poder mostrar en pantalla los parámetros del circuito eléctrico equivalente y las gráficas características correspondientes para el análisis del motor asíncrono trifásico ensayado con el fin de describir, de forma gráfica, su comportamiento y eficiencia. / Tesis

El presente proyecto de fin de carrera corresponde al desarrollo de una infraestructura de software para realizar pruebas automatizadas de sistemas de información desarrollados en lenguaje cobol en el contexto bancario. La propuesta de esta infraestructura surge como resultado del análisis de la realidad del proceso de pruebas dentro del área de Certificación de un banco. La infraestructura propuesta es configurable, escalable y adaptable para las diferentes versiones de cobol con las que se cuenten. El presente documento ha sido estructurado en 7 capítulos como se describe a continuación: En el capítulo 1 se presenta la problemática de donde se extrajo el problema que tuvo como resultado la propuesta del presente proyecto de fin de carrera, el objetivo general, objetivos específicos y resultados esperados. Se detallan las metodologías utilizadas en el proyecto tanto metodologías del proceso de construcción como la gestión del proyecto. Finalmente se menciona el alcance y limitaciones. En el capítulo 2 se presentan los conceptos y definiciones escenciales para el desarrollo del proyecto. En el capítulo 3 se revisan las soluciones actuales al problema identificado, se mencionan herramientas y finalmente se hace una comparación entre ellas. En el capítulo 4 se mencionan los requerimientos funcionales y no funcionales de la infraestructura. En el capítulo 5 se presenta la arquitectura de la solución, así como diagramas de actores entre otros, que permitirán comprender la forma de la infraestructura. En el capítulo 6 se presenta las distintas funcionalidades de la infraestructura ayudado de capturas de pantalla. En el capítulo 7 se presentan las observaciones, conclusiones y recomendaciones del presente proyecto de fin de carrera. / Tesis