GP-B error modeling and analysis

The analysis and modeling for the Gravity Probe B (GP-B) experiment is reported. The finite-wordlength induced errors in Kalman filtering computation were refined. Errors in the crude result were corrected, improved derivation steps are taken, and better justifications are given. The errors associated with the suppression of the 1-noise were analyzed by rolling the spacecraft and then performing a derolling operation by computation.