12.540 Principles of Global Positioning Systems, Spring 2008