File:GPS Signal.note.20170730.pdf