Un ambiente di lavoro per lo studio degli algoritmi di compensazione delle reti GPS