Validazione di modello matematico di paziente virtuale con diabete di tipo 1 finalizzata alla ottimizzazione del controllo glicemico con meccanismo di feed-back