Search
Now showing items 1-10 of 19
Control de plataforma de degradación acelerada de transistores de potencia
(2020-07)
El objetivo del presente trabajo es desarrollar una plataforma para acelerar, automatizar y emular el proceso de degradación al que se somete un transistor de efecto de campo metal-óxido-semiconductor (MOSFET) de potencia ...
Semántica estática para un lenguaje Pascal-like
(2021)
Este trabajo consiste en el diseño e implementación de un lenguaje de programación estructurado basado en el lenguaje Pascal, orientado al aprendizaje de algoritmos y estructura de datos. El mismo es utilizado actualmente ...
Generalización de meta-programas con tipado dependiente en Mtac2
(2020-03)
En este trabajo presentamos un nuevo meta-meta-programa lift que nos provee de una solución semiautomática para la generalización de terminos dependientes monádicos: dado cualquier metaprograma o operador (cómo bind) y una ...
Estrategias de ruteos centralizados para redes espaciales tolerantes a demoras
(2020)
Las redes espaciales en órbita cercana a la tierra y en espacio profundo presentan características particulares respecto a las redes terrestres de Internet, lo que requiere de un abordaje distinto al problema del enrutamiento ...
Optimización de modelo de Heisenberg para GPU
(2020-12)
El trabajo consiste en optimizar una simulación de un modelo de Heisenberg. Se realizaron dos implementaciones en C++, una optimizada para CPU y otra para GPU, junto con una visualización gráfica. Se analizan diferentes ...
Aplicación de técnicas de predicción automática para operar en el mercado de criptomonedas
(2021)
En este trabajo el objetivo final es la creación de un agente para operar automáticamente en el mercado de criptomonedas. Para ello se explorarán diferentes técnicas de predicción en 4 etapas de experimentos: en una primer ...
Métodos computacionales para el cálculo de la volatilidad implícita del modelo de Black Scholes
(2020)
Las finanzas cuantitativas constituyen, desde hace varias décadas, un área particular de estudio dentro de la matemática. Esta nueva disciplina surge de la necesidad de encontrar modelos cuantitativos que permitan describir ...
Análisis de estructuras de sufijos de strings
(2021)
El problema de desarrollar algoritmos que decidan si un cierto patrón o palabra aparece o no en un determinado texto es fundamental en ciencias de la computación. Diversos algoritmos se han desarrollado en las últimas ...
Cálculo de tableaux para fórmulas elementales en lógicas de separación
(2020)
En este trabajo final investigamos métodos computacionales de razonamiento para lenguajes modales dinámicos. Por lenguajes dinámicos nos referimos a formalismos que permitan cambiar la estructura subyacente a medida que ...
Automatización de la adquisición y análisis de parámetros indicadores de degradación en MOSFET de potencia
(2020-07)
Los transistores MOSFET (transistor de efecto de campo metal-óxido-semiconductor) de potencia se utilizan principalmente para amplificar o conmutar señales electrónicas. Existen aplicaciones en las que estos transistores ...