• Non ci sono risultati.

VERIFICA FORMALE DI RETI NEURALI

N/A
N/A
Protected

Academic year: 2021

Condividi "VERIFICA FORMALE DI RETI NEURALI"

Copied!
1
0
0

Testo completo

(1)

VERIFICA FORMALE DI RETI NEURALI

Webinar di formazione e trasferimento tecnologico

RELATORE: ARMANDO TACCHELLA PROFESSORE ORDINARIO

DIPARTIMENTO DI INFORMATICA, BIOINGEGNERIA, ROBOTICA E INGEGNERIA DEI SISTEMI

UNIVERSITÀ DEGLI STUDI DI GENOVA

Abstract

In questo seminario introdurremo il problema della verifica formale di reti neurali.

Dopo una introduzione al tema dell'apprendimento computazionale (Machine Learning) e, in particolare, all'utilizzo delle reti neurali per l'apprendimento di funzioni a partire dai dati, considereremo il problema della loro verifica e presenteremo il tool NeVer2, sviluppato in collaborazione tra Università di Genova e Università di Sassari. Mostreremo l'architettura di NeVer2 e ne descriveremo le diverse capacità, concludendo il seminario con un semplice esempio pratico di utilizzo di NeVer2 per la verifica di reti neurali.

Riferimenti

Documenti correlati

© The Author(s). European University Institute. Available Open Access on Cadmus, European University Institute Research Repository... reducing it by increasing the

Dalla figura 17 osserviamo che la funzione di errore rispetto ai dati di prova assume il valore minimo quando lo strato nascosto ha 19 unit` a nascoste. In questo caso la

 Nelle reti neurali la stima dei parametri, ossia il processo che porta alla determinazione dei valori numerici dei pesi, è chiamata learning o training; tale fase è costituita da

• We developed RBF ANN for the prediction of the in-cylinder pressure and pressure-derived engine parameters using as an input accelerometer signal. • In order to understand

Reconstruction of In-Cylinder Pressure in a Diesel Engine from Vibration Signal Using a RBF Neural.

Sono stati concepiti algoritmi di growing e di pruning delle connessioni ba- sati tipicamente sul principio della sensibi- lità dei pesi rispetto al comportamento del- la rete..

Quando una rete neurale è utilizzata come classificatore multi- classe, l’impiego della funzione di attivazione softmax consente di trasformare i valori di net prodotti

Un'altra funzione di trasferimento utilizzata nello strato di uscita delle reti multistrato per problemi di pattern recognition è la funzione softmax (o funzione