https://hdl.handle.net/20.500.12008/27 Incluye tesis de maestría y doctorado Sun, 15 Feb 2026 09:39:14 GMT 2026-02-15T09:39:14Z https://hdl.handle.net/20.500.12008/53164 Título: Evaluación financiera de sistemas de silvopastoreo con incertidumbre. Enfoque : Métodos Monte Carlo Autor: Freda Muñoz, Luis Eduardo Resumen: Uruguay, cuya economía se basa en la producción y exportación de productos primarios, enfrenta desafíos para garantizar la sostenibilidad de sus sistemas agropecuarios. En este contexto, el silvopastoreo surge como una alternativa que combina ganadería y forestación en un sistema agroforestal único, generando importantes beneficios económicos, financieros y ambientales. Este trabajo tiene como foco principal la inclusión de la incertidumbre en el análisis de inversiones en sistemas silvopastoriles, utilizando técnicas avanzadas como la Simulación Monte Carlo. Este enfoque permite considerar las variabilidades del mercado, como los precios de la madera, el ganado y las tasas impositivas, para proyectar de manera más robusta la rentabilidad y el retorno de las inversiones. Los resultados muestran que los sistemas silvopastoriles ofrecen niveles adecuados de rentabilidad, sin incrementar el riesgo, gracias a la diversificación de actividades productivas. Además, a medida que aumenta la participación de la forestación en el sistema, se observa una ligera disminución en el retorno, acompañado de una reducción en el riesgo. Esta combinación ofrece a los productores un modelo equilibrado en el que pueden gestionar mejor su riesgo financiero. Desde una perspectiva financiera, los resultados sugieren que el sistema de silvopastoreo genera flujos de fondos anuales con un pico al final del ciclo forestal, derivado de la venta de madera. Este flujo de ingresos escalonado también abre la puerta a diseñar sistemas de ventas de madera en diferentes momentos, lo que generaría opciones de financiamiento más atractivas y con mayor liquidez, que podría derivar en un mejor perfil de crédito del productor.; Uruguay, whose economy is based on the production and export of primary products, faces challenges in ensuring the sustainability of its agricultural systems. In this context, silvopastoral systems emerge as an alternative that combines livestock and forestry in a unique agroforestry approach, generating significant economic, financial, and environmental benefits. The main focus of this study is the inclusion of uncertainty in investment analysis of silvopastoral systems, using advanced techniques such as Monte Carlo Simulation. This approach allows for the consideration of market variabilities, such as timber prices, livestock prices, and tax rates, in order to project profitability and investment returns in a more robust way. The results show that silvopastoral systems provide adequate levels of profitability without increasing risk, thanks to the diversification of productive activities. Furthermore, as the share of forestry in the system increases, a slight decrease in returns is observed, accompanied by a reduction in risk. This combination offers producers a balanced model in which they can better manage their financial risk. From a financial perspective, the results suggest that silvopastoral systems generate annual cash flows with a peak at the end of the forestry cycle, derived from timber sales. This staggered income flow also opens the possibility of designing timber sales systems at different points in time, which would generate more attractive financing options and greater liquidity, potentially leading to an improved credit profile for the producer. Wed, 01 Jan 2025 00:00:00 GMT https://hdl.handle.net/20.500.12008/53164 2025-01-01T00:00:00Z https://hdl.handle.net/20.500.12008/52270 Título: Planificación conjunta de la producción, la remanufacturación y el transporte bajo objetivos de recuperación Autor: Vidal, Luciana Resumen: Esta tesis presenta un sistema híbrido de producción y remanufacturación de un único producto, conformado por un fabricante original (OEM) y un conjunto de clientes, en el que se establecen objetivos de recolección y remanufacturación. El problema consiste en determinar, de forma simultánea, los períodos y las cantidades a producir, remanufacturar y transportar tanto de productos finales como de retornos, con el fin de satisfacer la demanda a tiempo y cumplir con los objetivos de recuperación. En este sistema se incurre en costos fijos y variables asociados a cada una de las tres actividades, además de costos por mantener inventario de retornos y de productos finales, tanto en el OEM como en los clientes. Los objetivos de recuperación se plantean como límites inferiores sobre la cantidad de productos usados que deben ser recogidos y remanufacturados por el OEM. Se propone una formulación de programación lineal entera mixta (MILP) para el problema, y se diseñan procedimientos de resolución basados en la metaheurística de Tabu Search. Estos procedimientos se evalúan ampliando un conjunto de instancias de la literatura, y se comparan con un solver de optimización del estado del arte, considerando diversas configuraciones de parámetros del problema. Los resultados de la experimentación numérica permiten concluir que, al menos, una de las variantes del procedimiento de resolución resulta efectiva tanto en términos de costos como de tiempos de ejecución, llegando incluso a superar el desempeño del solver en algunas instancias de gran tamaño. Wed, 01 Jan 2025 00:00:00 GMT https://hdl.handle.net/20.500.12008/52270 2025-01-01T00:00:00Z https://hdl.handle.net/20.500.12008/51727 Título: Metodología de verificación, detección de errores y generación de casos de prueba en modelos RT-DEVS con requisitos temporales cuantitativos Autor: González, Ariel Resumen: Los sistemas de tiempo real suelen presentar errores vinculados a la temporización que son difíciles de detectar. Los formalismos utilizados para modelar este tipo de sistemas permiten especificar comportamientos a diferentes niveles de abstracción, descomponiendo los modelos en submodelos (componentes), los cuales interactúan entre sí para describir correctamente el comportamiento global del sistema. Los requisitos temporales cuantitativos añaden una complejidad adicional a estos modelos, que pueden inducir a los diseñadores a cometer errores, especialmente en aspectos temporales durante la construcción. En sistemas grandes, el número de componentes suele ser considerable, por lo que es necesario contar con herramientas que automaticen la tarea de verificar si el modelo cumple con los requisitos del problema. DEVS (Discrete Event System Specification) es un formalismo matemático utilizado para modelar sistemas dinámicos discretos, especialmente aquellos que evolucionan a lo largo del tiempo debido a eventos que ocurren en momentos específicos. Estos modelos, y en particular los de la variante RealTime-DEVS (RT-DEVS), permiten especificar sistemas con requisitos temporales cuantitativos, pero carecen de un mecanismo de verificación formal (model checkers, SAT Solvers, etc.) que posibilite la comprobación de este tipo de requisitos. En esta tesis se propone un mecanismo que, por un lado, permite verificar con un model checker si los modelos RT-DEVS cumplen con un conjunto de propiedades recurrentes (patrones) en los sistemas, y por otro lado, basado en mutantes de propiedades temporales, ayuda a descubrir errores en los sistemas cuando no se satisfacen tales propiedades. En este trabajo, utilizamos el model checker Uppaal tanto para verificar un conjunto de patrones de propiedades temporales (Time-Bounded Response, Precedence with Delay, Time-Restricted Precedence, Conditional Security, Time-Bounded Frequency, entre otros), como para detectar errores de temporización mediante mutantes de dichos patrones en modelos RT-DEVS. Aunque Uppaal no admite directamente el análisis de estas propiedades, proponemos un proceso de transformaciones y empleamos la técnica del autómata observador para habilitar dicho análisis en Uppaal. Además, se define un mecanismo para generar casos de prueba a partir de los patrones y sus mutantes, que complementa las estrategias convencionales en la ingeniería de software. A lo largo del trabajo, se introduce y analiza un caso de estudio sobre un sistema de cruce de trenes.; Real-time systems often have timing-related errors that are hard to detect. The formalisms used to model these systems allow for the specification of behaviors at different levels of abstraction by decomposing models into submodels (components), which interact with one another to accurately describe the overall system behavior. Quantitative temporal requirements introduce additional complexity into these models, potentially causing engineers to introduce errors, particularly regarding timing aspects during development. In large-scale systems, the number of components tends to be substantial, hence the need for tools that automate the verification of models with respect to the system requirements. DEVS (Discrete Event System Specification) is a mathematical formalism used to model discrete dynamic systems, especially those that evolve over time due to events occurring at specific moments. These models, and in particular those of the Real-Time DEVS (RT-DEVS) variant, allow for the specification of systems with quantitative temporal requirements, but they lack a formal verification mechanism (model checkers, SAT solvers, etc.) to enable the validation of such requirements. In this thesis, a mechanism is proposed that, on one hand, allows verifying with a model checker whether RT-DEVS models satisfy a set of recurrent properties (patterns) in systems. On the other hand, based on temporal property mutants, helps to uncover errors in the systems when such properties are not satisfied. In this work, we use the model checker Uppaal both to verify a set of temporal property patterns (Time-Bounded Response, Precedence with Delay, Time-Restricted Precedence, Conditional Security, Time-Bounded Frequency, among others), and to detect timing errors through mutants of these patterns in RT-DEVS models. Even though, in general, Uppaal cannot handle this kind of properties, we propose a transformation process and employ the observer automaton technique to enable such analysis. Additionally, a mechanism is defined to generate test cases from the patterns and their mutants, complementing conventional strategies in software engineering. Throughout the work, a case study from the railway domain is introduced and analyzed. Wed, 01 Jan 2025 00:00:00 GMT https://hdl.handle.net/20.500.12008/51727 2025-01-01T00:00:00Z https://hdl.handle.net/20.500.12008/51484 Título: Aplicación de minería de procesos para la evaluación de entrenamientos ofensivos y defensivos en ciberseguridad Autor: Guerrero, Guillermo Resumen: En esta tesis se presenta una metodología para la evaluación del entrenamiento de usuarios en un cyber range. Los cyber ranges son plataformas que permiten simular entornos realistas para el entrenamiento práctico en el dominio de la ciberseguridad. La metodología propuesta utiliza como pilares una herramienta de SIEM, los frameworks MITRE ATT&CK y MITRE D3FEND, y la minería de procesos para el análisis, representación y estudio de las actividades llevadas a cabo por los participantes de los entrenamientos. Se realiza un estudio de otros trabajos relacionados así como un análisis comparativo de dichos trabajos con la metodología de evaluación propuesta, mostrando puntos de mejora e innovación introducidos por esta última. A su vez, se exponen casos de aplicación de la metodología para entrenamientos ofensivos y defensivos en el cyber range Tectonic, demostrando que, mediante el uso de esta metodología, el instructor logra identificar el cumplimiento de los objetivos de entrenamiento por parte de los participantes, y más importante aún, entender cómo estos realizan el entrenamiento. Wed, 01 Jan 2025 00:00:00 GMT https://hdl.handle.net/20.500.12008/51484 2025-01-01T00:00:00Z