Proof THROTTLE_CONTROL_ROUTINES (#646) (#653)

This commit is contained in:
jiversen 2020-02-20 17:36:36 -08:00 committed by GitHub
parent ca536c421c
commit 95b9c25371
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -139,7 +139,7 @@ DOIT CA PIF
# FWEIGHT = ------------------ + ------------- # FWEIGHT = ------------------ + -------------
# PGUID 2 PGUID FRATE # PGUID 2 PGUID FRATE
# #
# WHERE PROCESS IS THE TIME BETWEEN PIPA READING AND THE START OF THROTTLING, PGUID IS THE GUIDANCE PERIOD, AND # WHERE PPROCESS IS THE TIME BETWEEN PIPA READING AND THE START OF THROTTLING, PGUID IS THE GUIDANCE PERIOD, AND
# FRATE IS THE THROTTLING RATE (32 UNITS PER CENTISECOND). PGUID IS EITHER 1 OR 2 SECONDS. THE "TL" IN THE # FRATE IS THE THROTTLING RATE (32 UNITS PER CENTISECOND). PGUID IS EITHER 1 OR 2 SECONDS. THE "TL" IN THE
# FIRST TERM REPRESENTS THE ENGINE'S RESPONSE LAG. HERE FWEIGHT IS COMPUTED FOR USE NEXT PASS. # FIRST TERM REPRESENTS THE ENGINE'S RESPONSE LAG. HERE FWEIGHT IS COMPUTED FOR USE NEXT PASS.
@ -215,7 +215,7 @@ MASSMULT EXTEND
DXCH MPAC +1 DXCH MPAC +1
TC BUF TC BUF
# Page 797 # Page 797
# CONSTANTS -- # CONSTANTS:-
FEXTRA = BIT13 # FEXT +5.13309020E+ 4 FEXTRA = BIT13 # FEXT +5.13309020E+ 4