Modelli e programmi per la compensazione di una rete gravimetrica di misure assolute e relative