公开(公告)号：DE102021123287A1

公开(公告)日：2022-04-28

申请号：DE102021123287

申请日：2021-09-08

Applicant: IBM

Inventor： ANDREOPOULOS ALEXANDER ,  MODHA DHARMENDRA S ,  DI NOLFO CARMELO ,  FLICKNER MYRON D ,  CASSIDY ANDREW STEPHEN ,  TABA BRIAN SEISHO ,  DATTA PALLAB ,  APPUSWAMY RATHINAKUMAR ,  SAWADA JUN

IPC: G06N3/10 ,  G06N3/04

Abstract: Bereitgestellt werden Simulation und Validierung von neuronalen Netzsystemen. Bei verschiedenen Ausführungsformen wird eine Beschreibung eines künstlichen neuronalen Netzes gelesen. Ein gerichteter Graph wird aufgebaut, der eine Mehrzahl von Kanten und eine Mehrzahl von Knoten aufweist, wobei jede der Mehrzahl von Kanten einer Warteschlange entspricht und jeder der Mehrzahl von Knoten einer Datenverarbeitungsfunktion des neuronalen Netzsystems entspricht. Ein Graphenzustand wird über eine Mehrzahl von Zeitschritten gemäß der Beschreibung des neuronalen Netzes aktualisiert, wobei der Graphenzustand durch den Inhalt jeder der Mehrzahl von Warteschlangen definiert ist. Jede der Mehrzahl von Konsistenzprüfungen wird bei jedem der Mehrzahl von Zeitschritten getestet, wobei es sich bei jeder der Mehrzahl von Konsistenzprüfungen um eine Funktion einer Teilmenge des Graphenzustands handelt. Eine Ungültigkeit des neuronalen Netzsystems wird bei jeder Verletzung einer der Mehrzahl von Konsistenzprüfungen angezeigt.