Modelli Simulativi Deterministico-Probabilistici Per Le Verifiche Di Potenzialita’ Dei Sistemi Di Alimentazione Di Linee Metropolitane