Search
Now showing items 1-6 of 6
Selección de componentes discretos para un filtro activo mediante programación por restricciones y optimización por colonia de hormigas
(2019)
En el diseño actual de filtros activos una de las opciones de implementación es la denominada RC (resistencia/capacitor), en la cual el filtro se construye a partir de amplificadores operacionales, resistencias y capacitores. ...
Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas
(2022-09)
En esta tesis abordamos la tolerancia a fallas desde una perspectiva formal. Analizamos y diseñamos herramientas formales generales para contribuir al proceso de construcción y razonamiento sobre sistemas tolerantes a ...
Aplicación de redes neuronales en la clasificación de imágenes
(2014-07-21)
La eficiencia de la combinación entre los ojos y cerebro humano en resolver problemas de
reconocimiento de patrones permiten a los cientı́ficos considerar la posibilidad de aplicar, en los
algoritmos de clasificación, ...
Verificación formal de protocolos distribuidos
(2019)
En esta tesis probamos la correctitud de tres protocolos distribuidos. Primero, el algoritmo Single Decree Paxos que resuelve el problema de llegar a un acuerdo, o alcanzar consenso, entre un conjunto de procesos. Segundo, ...
Análisis de la definibilidad de relaciones en estructuras de primer orden
(2019-03)
En el artículo "Semantical conditions for the definability of functions and relations" [1], se presentan condiciones semánticas que caracterizan cuando una función o una relación es definible por fórmulas de distintos ...
Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic
(2017-05-31)
Presentamos un shape analysis con garantı́as de terminación para programas que manipulan estructuras de datos no lineales como árboles binarios. El análisis se basa en una ejecución simbólica de los programas sobre estados ...