public interface AdditionalStateProvider
SpacecraftState
.
Propagators
generate states
that contain at
least orbit, attitude, and mass. These states may however also contain additional states
. Instances of classes
implementing this interface are intended to be registered to propagators so they can add these
additional states incrementally after having computed the basic components
(orbit, attitude and mass).
Some additional states may depend on previous additional states to
be already available the before they can be computed. It may even be impossible to compute some
of these additional states at some time if they depend on conditions that are fulfilled only
after propagation as started or some event has occurred. As the propagator builds the complete
state incrementally, looping over the registered providers, it must call their getAdditionalState
methods in an order that fulfill these dependencies that
may be time-dependent and are not related to the order in which the providers are registered to
the propagator. This reordering is performed each time the complete state is built, using a yield
mechanism. The propagator first pushes all providers in a stack and then empty the stack, one provider
at a time, taking care to select only providers that do not yield
when asked. Consider for example a case where providers A, B and C
have been registered and provider B needs in fact the additional state generated by provider C. Then
when a complete state is built, the propagator puts the three providers in a new stack, and then starts the incremental
generation of additional states. It first checks provider A which does not yield so it is popped from
the stack and the additional state it generates is added. Then provider B is checked, but it yields
because state from provider C is not yet available. So propagator checks provider C which does not
yield, so it is popped out of the stack and applied. At this stage, provider B is the only remaining one
in the stack, so it is checked again, but this time it does not yield because the state from provider
C is available as it has just been added, so provider B is popped from the stack and applied. The stack
is now empty and the propagator can return the completed state.
It is possible that at some stages in the propagation, a subset of the providers registered to a
propagator all yied and cannot retrieve
their additional
state. This happens for example during the initialization phase of a propagator that
computes State Transition Matrices or Jacobian matrices. These features are managed as secondary equations
in the ODE integrator, and initialized after the primary equations (which correspond to orbit) have
been initialized. So when the primary equation are initialized, the providers that depend on the secondary
state will all yield. This behavior is expected. Another case occurs when users set up additional states
that induce a dependency loop (state A depending on state B which depends on state C which depends on
state A). In this case, the three corresponding providers will wait for each other and indefinitely yield.
This second case is a deadlock and results from a design error of the additional states management at
application level. The propagator cannot know it in advance if a subset of providers that all yield is
normal or not. So at propagator level, when either situation is detected, the propagator just gives up and
returns the most complete state it was able to compute, without generating any error. Errors will indeed
not be triggered in the first case (once the primary equations have been initialized, the secondary
equations will be initialized too), and they will be triggered in the second case as soon as user attempts
to retrieve an additional state that was not added.
Propagator
,
AdditionalDerivativesProvider
Modifier and Type | Method and Description |
---|---|
double[] |
getAdditionalState(SpacecraftState state)
Get the additional state.
|
String |
getName()
Get the name of the additional state.
|
default boolean |
yield(SpacecraftState state)
Check if this provider should yield so another provider has an opportunity to add missing parts.
|
String getName()
default boolean yield(SpacecraftState state)
Decision to yield is often based on an additional state being already available
in the provided state
(but it could theoretically also depend on
an additional state derivative being already available
, or any other criterion). If for example a provider needs the state transition
matrix, it could implement this method as:
public boolean yield(final SpacecraftState state) {
return !state.getAdditionalStates().containsKey("STM");
}
The default implementation returns false
, meaning that state data can be
generated
immediately.
state
- state to handledouble[] getAdditionalState(SpacecraftState state)
state
- spacecraft state to which additional state should correspondCopyright © 2002-2022 CS GROUP. All rights reserved.