Para depositar en Docta Complutense, identifícate con tu correo @ucm.es en el SSO institucional. Haz clic en el desplegable de INICIO DE SESIÓN situado en la parte superior derecha de la pantalla. Introduce tu correo electrónico y tu contraseña de la UCM y haz clic en el botón MI CUENTA UCM, no autenticación con contraseña.

Fundamentos teóricos y marcos algorítmicos para computación neuromórfica y optimización de grafos

dc.contributor.advisorRodríguez Laguna, Ismael
dc.contributor.advisorItuero Herrero, Pablo
dc.contributor.advisorLópez Asunción, Samuel
dc.contributor.authorSánchez-Paniagua Ríos, Álvaro
dc.date.accessioned2025-10-17T14:24:14Z
dc.date.available2025-10-17T14:24:14Z
dc.date.issued2025
dc.descriptionTrabajo de Fin de Máster en Métodos Formales, Facultad de Informática UCM, Departamento de Sistemas Informáticos y Computación, Curso 2024/2025
dc.description.abstractAs Moore’s Law nears its limits, neuromorphic computing, exemplified by chips like Intel’s Loihi and IBM’s TrueNorth, emerges as a bioinspired alternative to von Neumann architectures. By mimicking the brain’s event-driven, massively parallel processing, neuromorphic systems offer promising gains in energy efficiency and latency, particularly for graph-based workloads. We begin with a comprehensive literature review to establish a theoretical foundation for neuromorphic computing and then propose a simple iteration-based spiking neural network (SNN) algorithm to solve the shortest path problem (SPP) in O(h|E|) time, where h is the length of the shortest path and E represents the graph edges. Building on the work of Schuman et al., we extend their method and develop two key issues: (1) evaluating the efficiency and complexity of neuromorphic approaches relative to classical baselines (e.g., Dijkstra’s algorithm), and (2) addressing the fragmentation and lack of methodological transparency in current neuromorphic graph processing research. Our simulations show that our proposed algorithm outperforms both Dijkstra and prior SNN-based models on large, dense graphs, achieving up to 228× energy savings. However, its performance is limited by path length, sparsity, and edge weight distribution. To address this, we evaluate two synaptic delay compression techniques, value mapping and logarithmic scaling, that reduce execution cost at the expense of precision. Results suggest that mapping offers the best trade-off for scalable, energy-efficient neuromorphic graph computation.
dc.description.abstractA medida que la Ley de Moore se acerca a sus límites, la computación neuromórfica, ejemplificada por chips como Intel Loihi e IBM TrueNorth, se perfila como una alternativa bioinspirada a las arquitecturas de von Neumann. Al imitar el procesamiento por eventos y la dinámica masivamente paralela del cerebro, estos sistemas prometen mejoras notables en eficiencia energética y latencia, especialmente en tareas basadas en grafos. Comenzamos con una revisión bibliográfica exhaustiva para sentar las bases teóricas de la computación neuromórfica, y luego proponemos un algoritmo sencillo basado en iteraciones para una red neuronal de picos (SNN) que resuelve el problema del camino más corto (SPP) en tiempo O(h|E|), donde h es la longitud del camino más corto y E representa las aristas del grafo. Partiendo del trabajo de Schuman et al., extendemos su enfoque y señalamos dos retos clave: (1) evaluar la eficiencia de los métodos neuromórficos frente a los clásicos (por ejemplo, Dijkstra), y (2) abordar la fragmentación y la falta de transparencia metodológica en la investigación actual de optimización de grafos con computación neuromórfica. Nuestras simulaciones muestran que nuestro algoritmo propuesto supera tanto a Dijkstra como a modelos previos basados en SNN en grafos grandes y densos, alcanzando ahorros energéticos de hasta 228×. Sin embargo, su rendimiento se ve limitado por la longitud de los caminos, la esparsidad y la distribución de los pesos de las aristas. Para abordar estas limitaciones, evaluamos dos técnicas de compresión de retardos sinápticos; mapping y escalado logarítmico, que reducen el coste de ejecución a costa de la precisión. Donde mostramos que el mapeo ofrece el mejor compromiso entre eficiencia ganada y precisión perdida.
dc.description.departmentDepto. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Informática
dc.description.refereedTRUE
dc.description.statusunpub
dc.identifier.urihttps://hdl.handle.net/20.500.14352/125062
dc.language.isoeng
dc.master.titleMaster en Métodos Formales en Ingeniería Informática
dc.page.total99
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internationalen
dc.rights.accessRightsopen access
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subject.cdu004(043.3)
dc.subject.keywordNeuromorphic computing
dc.subject.keywordSNNs
dc.subject.keywordSPP
dc.subject.keywordDijkstra’s algorithm
dc.subject.keywordGraph problems
dc.subject.keywordEnergy efficiency
dc.subject.keywordSynaptic delay compression
dc.subject.keywordAlgorithmic complexity
dc.subject.keywordComputación neuromórfica
dc.subject.keywordAlgoritmo de Dijkstra
dc.subject.keywordEficiencia Energética
dc.subject.keywordCompresión de retardos sinápticos
dc.subject.keywordMapeo de valores
dc.subject.keywordEscalado logarítmico
dc.subject.keywordAlgoritmos de grafos
dc.subject.keywordModelado de hardware
dc.subject.ucmInformática (Informática)
dc.subject.unesco33 Ciencias Tecnológicas
dc.titleFundamentos teóricos y marcos algorítmicos para computación neuromórfica y optimización de grafos
dc.titleTheoretical foundations and algorithmic frameworks for neuromorphic computing and graph optimization
dc.typemaster thesis
dc.type.hasVersionAM
dspace.entity.typePublication
relation.isAdvisorOfPublication28429d40-53cb-4bb3-a3f6-82ec557a34ed
relation.isAdvisorOfPublication.latestForDiscovery28429d40-53cb-4bb3-a3f6-82ec557a34ed

Download

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Fundamentos Teóricos_Marcos Algorítmicos_Computación Neuromórfica_Optimización de Grafos.pdf
Size:
3.21 MB
Format:
Adobe Portable Document Format