ENmin Niveau minimal de l'énergie ENmax Niveau maximal de l'énergie
MMmax Quantité maximale de mémoire disponible
Psun Puissance produite lorsque les panneaux solaires sont faces au soleil Pstby Puissance consommée en mode veille
Pir Puissance consommée si uniquement le plan focal IR est en position on (mode prise de vue seule, de nuit)
Pvir Puissance consommée si uniquement les plans focaux sont en position on (mode prise de vue seule, de jour)
Pv Puissance consommée si uniquement le plan focal visible est en position on Pdl Puissance consommée si uniquement la TMI est en position on
Pdl ir Puissance consommée si uniquement le plan focal IR et la TMI sont en position on
Pdlv Puissance consommée si uniquement le plan focal visible et la TMI sont en position on
Pdlvir Puissance consommée si tous les instruments sont en position on
Tvreg Température de régulation du plan focal (visible) = température minimale tcvmax Température maximale pour le plan focal (visible)
αv Coecient intervenant dans la décroissance de la température du plan focal visible en mode o
βv Coecient intervenant dans l'accroissement de la température du plan focal visible en mode on
Tareg Température de régulation de l'antenne = température minimale tcamax Température maximale pour l'antenne
αa Coecient intervenant dans la décroissance de la température de l'antenne en mode o
βa Coecient intervenant dans l'accroissement de la température de l'antenne en mode on
γantenna Demi-angle au sommet du cône d'émission de l'antenne haut-débit
∆tV Durée de préchauage du plan focal visible
∆tIR Durée de préchauage du plan focal IR
∆tA Durée de préchauage de l'antenne
γdazzle Angle, formé par l'axe du satellite et la direction du soleil, au-dessous duquel l'instrument optique est ébloui
N.B. : Parmi ces caractéristiques gurent huit constantes diérentes propres à la puissance de consommation d'un satellite. Ces constantes sont indispensables car la puissance de consommation n'est pas additive ! Par exemple, la somme des puissances Pir +Pv est diérente de la puissancePvir. En pratique, cela rend le calcul du niveau d'énergie plus dicile.
3.3. Élaboration d'un modèle de type état/actions 71 Fenêtres d'éclipse
Pour tout entier sdans l'intervalle[1..Nsat], soit NEs le nombre de fenêtres d'éclipse du satellite d'indicesprésentes sur l'horizon de planication, i.e. le nombre de fenêtres temporelles au cours desquelles ce satellite n'est pas éclairé par le soleil. De plus, pour tout entieridans [1..NEs], soient SEs,i et EEs,i les dates de début et de n de la ième fenêtre d'éclipse du satellite d'indices(fenêtres triées par ordre chronologique).
Man÷uvres orbitales
Pour tout entiersdans l'intervalle[1..Nsat], soitNMsle nombre de man÷uvres orbitales prévues pour le satellite d'indice s sur l'horizon de planication. De plus, pour tout entieri dans [1..NMs], soient SMs,i etEMs,i les dates de début et de n de la ième man÷uvre pour le satellite d'indices(fenêtres triées par ordre chronologique).
La trajectoire en attitude n'est pas explicitement fournie. En revanche, les attitudes de débutSATTs,iet de nEATTs,isont données ainsi que la quantité d'énergiePEMs,iproduite par les panneaux solaires. En pratique, ces attitudes de début et de n de man÷uvres sont celles de pointages d'attente, géocentriques ou héliocentriques.
Stations sol
SoitGS l'ensemble des stations sol dont dispose le système. SoientRS ⊆GS l'ensemble des stations sol de réception etCS ⊆GS l'ensemble des stations sol de contrôle (GS =RS∪CS).
Notons qu'une station sol peut cumuler les rôles de réception et de contrôle, i.e. il est possible d'avoir RS ∩CS 6=∅.
Pour tout entier s dans [1..Nsat] et pour toute station sol gs, on désigne par NVSs,gs le nombre de fenêtres temporelles au cours desquelles le satellite d'indice s est potentiellement visible depuis la stationgs. De plus, pour tout entier i dans[1..NVSs,gs], soient SVSs,gs,i et EVSs,gs,i les dates de début et de n de la ième fenêtre de visibilité du satellite d'indice s depuis la stationgs (fenêtres triées par ordre chronologique).
Requêtes d'observation
Les requêtes d'observation constituent les objectifs à remplir. On désigne parRl'ensemble de ces requêtes. Pour toute requêter, soientPr,Wr etDr respectivement la priorité, le poids et la date butoir associés à la requête r. Par commodité, on introduit également Rp ⊆ R l'ensemble des requêtes de prioritép, i.e.Rp ={r ∈ R|Pr=p}.
Comme mentionné plus tôt, les requêtes d'observation prennent la forme de polygones au sol, découpés en bandes.STrreprésente donc l'ensemble des bandes à observer pour accomplir la requête r. À toute bandest sont associées les données suivantes :
. NVOs,st le nombre de fenêtres de visibilité depuis le satellite d'indice s; SVOs,st,i et EVOs,st,iles dates de début et de n de laièmefenêtre de visibilité dest depuis le satellite d'indice s (date de début au plus tôt et date de n au plus tard pour l'observation de la bande) ; CCs,st,i le pourcentage de couverture nuageuse prévue au-dessus de la zone
pour chacune de ces fenêtres de visibilité ; Ms,st,i le mode, jour ou nuit, nécessaire à l'observation pour chacune de ces fenêtres de visibilité (de valeur 1 pour le jour, de valeur 0pour la nuit) ;
. DOst,m la durée d'observation de st en mode m;m égal à 1signie que st est éclairée par le soleil (observation de jour) ; m égal à 0 signie que st n'est pas éclairée par le soleil (observation de nuit) ;
. SZst,fp,m la quantité de mémoire requise pour l'observation dest par le plan focalfp en mode m;fp égal à1sous-entend la considération du plan focal visible ;fp égal à0 sous-entend la considération du plan focal infra-rouge ; par commodité, on peut considérer que le plan focal visible produit, lors d'une observation de nuit, une image de taille nulle, i.e. SZst,1,0= 0;
. DDIst,fp,m la durée de télédéchargement de l'image générée par l'observation de st par le plan focalfp en mode m; commeSZst,1,0 est nul, on a l'égalitéDDIst,1,0 = 0. État initial d'un satellite
Á l'instant STA, l'état de chaque satellite est connu. Une valeur est donc attribuée à chacune des variables d'état listées en section 3.3.2. De plus, on a connaissance de toutes les actions en cours, ainsi que des informations nécessaires à leur nalisation (e.g. la station vers laquelle s'exécute le télédéchargement en cours).
État initial des objectifs
L'état initial des objectifs est caractérisé par l'ensemble SO des bandes observées avant l'instant STA, et l'ensemble SD des bandes observées et dont les images résultantes ont été vidées.
Contraintes de programmation
Certaines contraintes prises en compte ne proviennent pas de la physique du système, mais contraignent le résultat de la programmation. Elles font intervenir notamment les paramètres suivants : le nombre maximal nirmax de mises on/o pour le plan focal IR sur l'horizon, le nombre maximal nvmax de mises on/o pour le plan focal visible sur l'horizon, le nombre maximal namax de mises on/o pour la TMI sur l'horizon, le temps on cumulé maximal tcirmax pour le plan focal IR, le temps on cumulé maximal tcvmax pour le plan focal visible, le temps on cumulé maximaltcamax pour la TMI.
3.3.2 État du système
Pour tout satellite d'indice s, les variables qui interviennent dans la modélisation du sys-tème physique sont les suivantes :
1. l'instantt;
3.3. Élaboration d'un modèle de type état/actions 73 2. l'attitudeatts, c'est-à-dire l'orientation du repère satellite par rapport au repère orbital local ou au repère inertiel (matrices de rotation, angles d'Euler classiques, angles de Cardan, ou quaternions3), et le vecteur vitesse de rotation ;
3. l'énergie disponibleens;
4. le volume mémoire disponiblemms;
5. l'état (on ou o ) de chaque instrument : firs pour le plan focal infra-rouge, fvs pour le plan focal visible etants pour l'antenne haut-débit (ou plus précisément la télémesure image, module qui comprend l'antenne haut-débit) ;
6. le nombre de cycles on/o restants et le temps on restants pour chaque instrument : nirs ettcirs pour le plan focal infra-rouge,nvs ettcvs pour le plan focal visible,nas et tcas pour l'antenne haut-débit ;
7. la température du plan focal visibleTvs et celle de l'antenne haut-débitTas;
8. la date du dernier changement d'état (on ou o ) pour chaque instrument :ltirs pour le plan focal infra-rouge,ltvs pour le plan focal visible et ltas pour l'antenne haut-débit ; 9. l'observation ou nonob(st)∈ {0,1} de la bande st;
10. le vidage ou non dl(st)∈ {0,1}des images (une ou deux) issues de l'observation de st; 11. l'indicesat(st)du satellite choisi pour l'observation de la bande st;
12. la date de débuttOb(st)choisie pour l'observation de la bande st;
13. la date de n tDl(st)pour le vidage des images résultant de l'observation dest (une ou deux selon le mode d'observation jour ou nuit) ; cette variable est initialisée à END.
Les domaines respectifs des variables d'état sont les suivants : pour tout satellite d'indice s
3. Un quaternion est un type de nombre hypercomplexe. L'ensemble des quaternions, noté H, constitue une extension de l'ensemble des nombres complexes, extension similaire à celle qui avait conduit de l'ensemble des nombres réels R à celui des nombres complexes C. Les quaternions unitaires fournissent une notation mathématique commode pour représenter l'orientation et la rotation d'objets en trois dimensions. Comparés aux angles d'Euler, ils sont plus simples à composer et évitent le problème du blocage de Cardan. Comparés aux matrices de rotations, ils sont plus stables numériquement et peuvent se révéler plus ecaces. Ils sont très utilisés pour la mécanique spatiale des satellites (Kuipers 1999).
do(t) = [STA,END]
do(atts) = H×R3
do(ens) = [ENmin,ENmax] do(mms) = [0..MMmax]
do(firs) = {ON,OFF} do(fvs) = {ON,OFF} do(ants) = {ON,OFF}
do(nirs) = [0..nirmax] do(nvs) = [0..nvmax] do(nas) = [0..namax] do(tcirs) = [0,tcirmax]
do(tcvs) = [0,tcvmax] do(tcas) = [0,tcamax] do(Tvs) = [Tvreg,Tvmax] do(Tas) = [Tareg,Tamax] do(ltirs) = [STA,END]
do(ltvs) = [STA,END]
do(ltas) = [STA,END]
et pour toute bande st
do(ob(st)) = {0,1}
do(dl(st)) = {0,1}
do(sat(st)) = [0..Nsat]
do(tOb(st)) = [STA,END]
do(tDl(st)) = [STA,END]
3.3.3 Actions disponibles
Pour éviter de perturber les mouvements en attitude de nos satellites agiles, les équipements et instruments sont xes sur la plate-forme. De fait, l'attitude d'un satellite n'est autre qu'une ressource partagée par un ensemble d'activités : la trajectoire spécique imposée par une action interdit l'exécution d'une autre action en parallèle (excepté le télédéchargement qui ne nécessite pas un pointage précis vers la station de réception). Il est donc inconcevable de plan-ier les observations sans planplan-ier les autres activités contraignant la trajectoire en attitude (man÷uvres orbitales, pointages spéciques). Nous souhaitons en outre gérer ne-ment énergie à bord et température des instrune-ments, ce qui nous invite à prendre en charge l'activation de ces instruments.
Les actions envisageables sont explicitées ci-dessous.
Man÷uvre orbitale
Cette activité consiste en général à repositionner le satellite sur son orbite de référence. Elle est caractérisée par une date de début, une date de n, une attitude de début (orientation et
3.3. Élaboration d'un modèle de type état/actions 75 vitesse de rotation), une attitude de n et une production d'énergie (fonction de la trajectoire en attitude suivie durant la man÷uvre).
Ces man÷uvres sont capitales pour la pérennité de la mission et par conséquent obli-gatoires. Il est d'usage de les insérer dans des fenêtres peu denses en observations (passage aux pôles ou sur les océans). Certaines d'entre elles nécessitent leur réalisation aux n÷uds de l'orbite.
Observation
Cette action consiste à balayer au sol une zone géographique donnée. Elle est caractérisée par une bande, une fenêtre de visibilité, et une date de début.
Activité directement liée à la mission, il est souhaitable d'en réaliser autant que possible tout en considérant qualité des images, poids et priorité des requêtes associées. Suite à ces prises de vue, les images sont enregistrées à bord.
Pointage héliocentrique
Cette action consiste à positionner le satellite dos au soleil (panneaux solaires faces au soleil) pour maximiser la puissance de production d'énergie et ainsi recharger les batteries de l'engin spatial autant que possible. Elle est caractérisée par une date de début et une date de n, et utilisée à titre de position d'attente (hors éclipse).
Pointage géocentrique
Cette action consiste à orienter l'axe du satellite en direction du centre de la Terre. Si le satellite est visible depuis une station sol, cette action assure la possibilité de communiquer avec cette même station (attitude de l'engin nécessairement compatible avec le lien bord-sol).
Elle est caractérisée par une date de début et une date de n, et constitue l'activité par défaut du satellite (position d'attente).
Vidage (télédéchargement) de données
Cette action consiste à vider une image sur une station sol de réception une fois la condition de liaison TMI4 remplie (condition modélisée par la présence de la station sol dans le lobe d'antenne déni parγantenna). Elle est caractérisée par une image, une station de réception, une fenêtre de communication, et une date de début.
Activité directement liée à la mission au même titre que l'observation, il est souhaitable d'en réaliser autant que possible tout en considérant la qualité des images, le poids et la priorité des requêtes associées, ainsi que la fraîcheur des images.
Activation des instruments
Cette action consiste à allumer un (ou plusieurs) instrument(s) (parmi plan focal infra-rouge, plan focal visible, et télémesure image) et le (ou les) maintenir on selon les besoins émis
4. TéléMesure Image
par les activités liées à la mission (observation de jour ou de nuit, télédéchargement). Elle est caractérisée par un instrument, une date de début et une date de n.
Man÷uvre orbitale, observation, pointage héliocentrique et pointage géocentrique contraig-nent l'attitude du satellite. La réalisation d'une action de ce type impose une trajectoire précise en attitude et la transition entre deux actions de ce type impose une certaine trajectoire de rendez-vous en attitude. Au contraire, le vidage de données n'impose pas de trajectoire pré-cise. Étant donnée une trajectoire en attitude, il n'est cependant possible que sur les créneaux pendant lesquels le satellite est visible depuis la station sol et orienté plus ou moins en direc-tion de cette stadirec-tion (stadirec-tion incluse dans le cône d'ouverture de l'antenne haut-débit). Quant à l'allumage des instruments, il ne dépend pas de l'attitude. En conséquence, man÷uvre orbitale, observation, pointage soleil, pointage géocentrique et rendez-vous en atti-tude doivent être réalisés en séquence. À tout moment, le satellite exécute une et une seule action de ce type. Au contraire, vidage de données et allumage d'un instrument peuvent être réalisés en parallèle. Tout plan généré prend donc la forme d'une séquence quelconque d'actions de types man÷uvre orbitale, observation, pointage héliocentrique et pointage géo-centrique, avec rendez-vous en attitude entre actions consécutives, ainsi que des vidages de données et des allumages d'instruments en parallèle.
Notons que seuls observation et vidage de données impactent la qualité du plan. Allumage d'un instrument, pointage soleil, pointage géocentrique et rendez-vous en attitude ne sont que des actions supports pour l'observation et le vidage.
3.3.4 Fonctions commodes pour la modélisation
Nous listons ci-dessous un ensemble de fonctions commodes pour exprimer, d'une part, les contraintes à satisfaire et, d'autre part, le critère à optimiser. Elles prennent en entrée certaines variables d'état et/ou certains paramètres d'action :
. light(s, tsta, tend) : renvoie 1 si le satellite d'indicesest éclairé par le soleil entre tsta et tend de façon permanente, 0 sinon.
. hpAtt(s,th) : renvoie l'attitude requise par le satellite d'indice s pour eectuer un pointage héliocentrique (panneaux faces au soleil) à l'instantth.
. gpAtt(s,tg) : renvoie l'attitude requise par le satellite d'indice s pour eectuer un pointage géocentrique à l'instant tg.
. cpAtt(s,gs,td) : renvoie l'attitude requise par le satellite d'indice s pour pointer en direction de la station gs à l'instant td.
. sObAtt(st, s,to) : renvoie l'attitude requise par le satellite d'indicespour débuter l'ob-servation de la bandest à l'instant to.
. eObAtt(st, s,to) : renvoie l'attitude requise par le satellite d'indice s pour terminer l'observation de la bandest à l'instantto.
. obAtt(st, s, tsta, tend,to): renvoie l'attitude à l'instanttorequise par le satellite d'indice san de poursuivre l'observation de la bandest réalisée entretsta ettend.
. angle(att1,att2) : renvoie l'angle formé entre la direction de l'axe d'un satellite, relative à l'attitudeatt1 et la direction de l'axe d'un satellite, relative à l'attitudeatt2.
3.3. Élaboration d'un modèle de type état/actions 77 . minRDV(att1,att2): renvoie la durée minimale pour qu'un satellite bascule de l'attitude
att1 vers l'attitudeatt2.
. rdvAtt(s, tsta,attsta, tend,attend,tr): renvoie l'attitude à l'instanttr requise par le satel-lite d'indice san de poursuivre le rendez-vous en attitude de attsta vers attend, réalisé entretsta ettend.
. window(s,st, t) : renvoie la fenêtre de visibilité associée à l'observation de la bande st par le satellite d'indice sà l'instantt.
. cloud(st, t): renvoie le pourcentage de couverture nuageuse prévue au-dessus de la bande st à l'instant t.
. acqAng(s,st, t) : renvoie l'angle d'acquisition de la bandest par le satellite d'indice sà l'instant t. Il s'agit en fait de la distance angulaire entre le nadir et l'axe du satellite au début de l'observation, i.e. acqAng(s,st, t) = angle(sObAtt(st, s, t),gpAtt(s, t)). 3.3.5 Contraintes pesant sur les décisions
Des contraintes pèsent sur le choix des actions à entreprendre. Certaines de ces contraintes, plutôt locales, s'énoncent sous forme de préconditions, conditions à maintenir, eets en début et eets en n d'action. D'autres contraintes, notamment celles régissant les lois d'évolution de l'énergie et des températures avec le temps, s'avèrent plus globales. Elles peuvent être factorisées et s'énoncer séparément.
Man÷uvre orbitale Le choix de réaliser laième man÷uvre orbitale du satellite d'indice s est sujet aux contraintes qui suivent.
. Préconditions
• l'instant courant correspond à la date de début de la ième man÷uvre orbitale du satellite d'indices:
t=SMs,i
• l'attitude courante correspond à l'attitude requise par le satellite d'indice s pour débuter saième man÷uvre orbitale :
atts =SATTs,i . Eets en n
• la nouvelle attitude du satellite d'indice s est l'attitude de n prévue pour sa ième man÷uvre orbitale :
atts ←EATTs,i
• le nouvel instanttest la date de n prévue pour sa ième man÷uvre orbitale : t←EMs,i
Observation Le choix d'observer la bande st par le satellite d'indice s à l'instant to, au cours de saièmefenêtre de visibilité, est sujet aux contraintes qui suivent. Posonsm=Ms,st,i (1de jour, 0de nuit).
. Conditions sur les paramètres de l'action
• la bandest est observable par le satellite d'indicessur toute la fenêtre envisagée : [to,to+DOst,m]⊆[SVOs,st,i,EVOs,st,i]
. Préconditions
• l'instant courant correspond à l'instantto : t=to
• l'observation de la bandest n'a pas encore été planiée : ob(st) = 0
• l'attitude courante correspond à l'attitude requise par le satellite d'indice s pour débuter l'observation de la bandest à l'instantto :
atts = sObAtt(st, s,to)
• la quantité de mémoire disponible à bord du satellite d'indice s est susante pour enregistrer les images résultantes :
mms ≥SZst,0,m+SZst,1,m
• le plan focal infra-rouge du satellite d'indicesest allumé et préchaué ; si la bandest est éclairée par le soleil (observation de jour), alors le plan focal visible est également allumé et préchaué :
(firs =ON)∧(ltirs ≤to−∆tIR) (m= 1)⇒((fvs =ON)∧(ltvs ≤to−∆tV)) . Conditions à maintenir
• à tout moment, l'attitude courante correspond à l'attitude requise par le satellite d'indicespour continuer l'observation de la bandest :
atts = obAtt(st, s,to,to+DOst,m, t)
• le plan focal infra-rouge est allumé ; il en va de même pour le plan focal visible dans le cas d'une observation de jour :
firs =ON (m= 1)⇒(fvs =ON) . Eets en début
• la quantité de mémoire disponible est diminuée de la taille totale des images résultantes (réservation de l'espace mémoire) :
mms ←mms−(SZst,0,m+SZst,1,m) . Eets en n
3.3. Élaboration d'un modèle de type état/actions 79
• le nouvel instanttest la date de n de l'observation : t←to+DOst,m
• l'observation de la bandest est planiée : ob(st)←1
• l'observation de la bandest est aectée au satellite d'indices : sat(st)←s
• la date de réalisation de l'observation estto : tOb(st)←to
Pointage héliocentrique Le choix d'un pointage héliocentrique entre thsta et thend pour le satellite d'indicesest sujet aux contraintes qui suivent.
. Conditions sur les paramètres de l'action
• l'instantthsta précède l'instant thend :
thsta<thend
• le satellite d'indice s est éclairé par le soleil pendant toute l'action (condition sur paramètres) :
light(s,thsta,thend) = 1 . Préconditions
• l'instant courant correspond à l'instantthsta : t=thsta
• l'attitude courante correspond à l'attitude requise par le satellite d'indice s pour pointer en direction du soleil à l'instantthsta :
atts = hpAtt(s,thsta) . Conditions à maintenir
• à tout moment, l'attitude courante correspond à l'attitude requise par le satellite d'indicespour pointer en direction du soleil (a priori constante) :
atts = hpAtt(s, t) . Eets en n
• le nouvel instanttest la date de n du pointage héliocentrique : t←thend
Pointage géocentrique
Le choix d'un pointage géocentrique entretgstaettgendpour le satellite d'indicesest sujet aux contraintes qui suivent.
. Conditions sur les paramètres de l'action
• l'instanttgsta précède l'instant tgend :
tgsta<tgend . Préconditions
• l'instant courant correspond à l'instanttgsta : t=tgsta
• l'attitude courante correspond à l'attitude requise par le satellite d'indice s pour pointer en direction du centre de la Terre à l'instanttgsta :
atts = gpAtt(s,tgsta) . Conditions à maintenir
• à tout moment, l'attitude courante correspond à l'attitude requise par le satellite d'indicespour pointer en direction du centre de la Terre :
atts = gpAtt(s, t) . Eets en n
• le nouvel instanttest la date de n du pointage géocentrique : t←tgend
Télédéchargement / vidage de données
Pour que le satellite d'indicesvide, sur la stationgs, la ou les images issues de l'observation de la bande st, à l'instant td, i.e. durant la ième fenêtre au cours de laquelle le satellite est visible par gs, certaines contraintes doivent être respectées. Posons m = Ms,st,vw, où vw = window(s,st,tOb(st)).
. Conditions sur les paramètres de l'action
• le satellite d'indicesest visible depuis la station gs pendant tout le vidage : [td,td+DDIst,0,m+DDIst,1,m]⊂[SVSs,gs,i,EVSs,gs,i]
(on a choisi de vider les deux images à la suite dans le cas d'une observation qui aurait lieu de jour)
. Préconditions
• l'instant courant correspond à l'instanttd : t=td
3.3. Élaboration d'un modèle de type état/actions 81
• l'observation de la bandest est planiée mais pas le vidage des images résultantes : ob(st) = 1
dl(st) = 0
• l'observation de la bandest est réalisée par le satellite d'indice s sat(st) =s
• l'instanttd est postérieur à la n de l'observation de la bande st : td ≥tPerf(st) +DOst,m
• l'attitude du satellite d'indicesest compatible avec un vidage de données sur la station gs :
angle(atts,cpAtt(s,gs,td))≤γantenna
• l'antenne haut-débit du satellite d'indicesest allumée et préchauée : (ants =ON)∧(ltas ≤td −∆tA)
. Conditions à maintenir
• l'antenne haut-débit est allumée :
ants =ON
• l'attitude du satellite est compatible avec un vidage de données sur la stationgs : angle(atts,cpAtt(s,gs, t))≤γantenna
. Eets en n
• la date de n du vidage esttd+DDIst,0,m+DDIst,1,m : tDl(st)←td+DDIst,0,m+DDIst,1,m
• le nouvel instanttest la date de n du vidage : t←tDl(st)
• le vidage des images qui résultent de l'observation de la bandest est planié : dl(st)←1
• la quantité de mémoire disponible est augmentée de la taille totale des images résultant de l'observation de la bandest (libération de l'espace mémoire) :
mms ←mms+ (SZst,0,m+SZst,1,m)
Allumer et maintenir on un instrument
Le choix d'allumer et de maintenir on l'instrument in du satellite d'indice s entre les instantstista ettiend, est sujet aux contraintes qui suivent. Soientins l'état (on ou o ) de cet instrument, nin le nombre de cycles on/o consommés, tcin le temps on cumulé, et ltin la date du dernier changement d'état de l'instrument. Par exemple, si l'on considère l'antenne, on a :ins ≡ants ,nin ≡nas ,ninmax =namax ,tcin ≡tcas ,tcinmax =tcamax etltin≡ltas.
. Conditions sur les paramètres de l'action
• l'instanttista précède l'instant tiend :
tista<tiend . Préconditions
• l'instant courant correspond à l'instanttista : t=tista
• l'instrumentin est éteint :
ins =OFF
• le nombre maximal de cycles on/o autorisés pour l'instrumentin n'est pas encore atteint :
nin <ninmax
• le temps on cumulé maximal autorisé pour l'instrumentin n'est pas encore atteint : tcin <tcinmax
. Eets en début
• l'instrumentin est allumé :
ins ←ON
• on ajoute 1 au nombre de cycles on/o consommés jusqu'à présent : nin ←nin+ 1
• ti devient la date du dernier changement d'état de l'instrument in : ltin ←ti1
. Eets en n
• le nouvel instanttest la date de n d'activation : t←tiend
• l'instrumentin est éteint :
ins ←OFF
• on ajoute la durée du dernier cycle on/o au temps on cumulé jusqu'à présent : tcin ←tcin+ (tiend−tista)
• ti devient la date du dernier changement d'état de l'instrument in : ltin←tiend