Digital repository

Maestria en Ciencias de Datos

Permanent URI for this collection

https://repositorio.uteq.edu.ec/handle/43000/7788

Browse

Browsing Maestria en Ciencias de Datos by Subject "Algoritmos de satisfacción booleana"

Now showing 1 - 1 of 1
  • Thumbnail Image
    ItemOpen Access
    Integración de algoritmos de satisfacción booleana en redes bayesianas para reducir la complejidad computacional
    (Quevedo: UTEQ, 2025) Cordero Bazurto, José Steven; Díaz Macías, Efraín Evaristo
    En el ámbito digital la sociedad genera enormes cantidades de datos cada segundo, los usuarios acuden a dispositivos como computadoras, teléfonos y tabletas para resolver sus necesidades cotidianas. Ya sea que el procesamiento se realice localmente o en servidores externos, se debe evitar la saturación del sistema, de lo contrario la aplicación responderá con lentitud a los ojos del consumidor. El presente escrito propone una solución a esta problemática, específicamente en escenarios donde la resolución de problemas hace uso de las redes bayesianas, técnica efectiva pero el tiempo de resolución varía dependiendo de la cantidad de variables a considerar. Mediante pruebas en entornos simulados, se implementaron y evaluaron configuraciones específicas donde mezclando la resolución de redes bayesianas con el uso de algoritmos de satisfacción booleana (SAT) que se basan en decisiones, lo cual permite reducir los tiempos de espera. Fue necesario realizar recolección, preparación y análisis de datos, mismos que se obtuvieron de un repositorio en línea, los resultados muestran mejoras en el tiempo de ejecución y cantidad de procesos necesarios. Con el presente proyecto se da una solución práctica y replicable en diferentes áreas, gracias a su capacidad de realizar inferencias rápidas, reduciendo considerablemente los tiempos de espera.