KIP-Veröffentlichungen

Eine passende Konfiguration für ein neuromorphes Hardware System zu finden, die einem gegebenen neuronalen Netzwerk entspricht, ist eine komplexe Aufgabe. Dies ist äquivalent zur Bestimmung von Graphenisomorphismen, was zu den
NP-harten Problemen zählt. Die Eignung zweier neuronaler Netzwerktopologien für ein beschleunigtes, paralleles Konfigurationsverfahren wurde untersucht. Des Weiteren wurde eine Machbarkeitsstudie zu einem deklarativen Routing Ansatz
durchgeführt. Zu diesem Zweck wurden boolesche Bedingungen hergeleitet, die strukturelle Eigenschaften einer neuromorphen Hardware und neuronaler Netzwerke beschreiben. In Folge dessen kann jeder Erfüllbarkeitsproblemlöser verwendet werden um Zuweisungen zu finden, die diese Bedingungen erfüllen. Abschließend wurde ein Simulator für neuromorphe Hardware um ein Leaky Integrate-And-Fire Neuronenmodell mit Adaption erweitert. Die Implementierung wurde durch Vergleich mit einem etablierten Simulator für neuronale Netzwerke verifiziert.

Finding a suitable configuration for neuromorphic hardware systems, closely resembling a given neural network, is a complex task. It is equivalent to finding graph isomorphisms, which is known to be an NP-hard problem. The suitability of two neural network topologies for an accelerated parallel configuration procedure has been analyzed. Furthermore, a feasibility study has been carried out covering a declarative routing approach. Therefore, boolean clauses have been derived to describe structural features of a neuromorphic hardware and neural networks. In consequence, any satisfiability solver can be used to find an assignment satisfying these clauses. Lastly, a neuromorphic hardware simulator has been extended by a leaky integrate-and-fire neuron model with adaptation. The implementation has been verified against an estabilished neural network simulator.