Assistance au calage de modÃ¨les numÃ©riques en hydraulique ... - TEL

More documents

Recommendations

Info

5.3 CARMA-1, UN PROTOTYPE EN PILOTAGE DE PROGRAMMESune valeur aux paramètres de l’opérateur ;– les critères d’évaluation produisent des jugements sur les produits de l’opérateur ;– les critères de réparation utilisent les éventuels jugements défavorables pour soitréexécuter l’opérateur courant avec d’autres valeurs des paramètres, soit revenirdans le plan d’exécution à l’opérateur jugé responsable des défauts des résultatsobtenus ;– les critères d’ajustement permettent, dans le cas d’une réexécution de l’opérateur,de modifier les valeurs de ses paramètres suivant les jugements portés sur les résultats;– les critères de choix et les critères d’optionalité permettent de formaliser respectivementle choix entre plusieurs opérateurs-enfants et le choix de l’utilisationd’un opérateur-enfant optionnel. Ces deux derniers critères se rencontrent bienentendu uniquement dans les opérateurs composites.Fonctionnalités et requêtesLes deux derniers éléments importants dans le langage YAKL correspondent auxconcepts de fonctionnalité et de requête. Une fonctionnalité permet de définir un pointd’entrée dans l’arborescence des programmes. Une requête est l’application de cettefonctionnalité à un exemple précis. La figure 5.6 représente un exemple d’une tellefonctionnalité et d’une requête associée.La syntaxe du langage YAKL comporte de nombreuses autres propriétés que nousne décrirons pas ici. Le lecteur intéressé pourra se référer au manuel de référence de celangage (Moisan, 2003, chap. 5 : YAKL grammar).PEGASE+, un moteur de pilotage de programmesLe moteur d’inférence PEGASE+ se base sur des techniques de planification hiérarchiquepour la construction du plan d’exécution des programmes. Nous ne détaillonspas ici l’algorithme présenté en détail par Moisan (2003, p. 41). Cet algorithme reprendles grandes lignes du mécanisme de pilotage de programmes représenté sur la figure 5.1.Une première version de ce moteur a notamment été utilisé pour la construction d’unsystème nommé PROGAL destiné au traitement d’images de galaxies (Vincent et al.,1997).Un système à base de connaissances créé avec PEGASE+ est construit à partir de troiséléments :– une base de connaissances constituée de fichiers texte dans lesquels sont déclarésdans la syntaxe du langage YAKL les types d’arguments, les opérateurs et les fonctionnalités;– une base de faits constituée elle aussi de fichiers texte, et dans lesquels sont déclaréesles instances d’arguments et les requêtes dans la syntaxe du langage YAKL ;– et bien sûr le moteur d’inférence PEGASE+, sous forme d’une bibliothèque codéeen C++.5.3 CARMA-1, un prototype en pilotage de programmesCette section s’attache à décrire CARMA-1 (CAlibration of River Model Assistant),un système d’assistance au calage de modèles hydrauliques basés sur le code MAGE.130
CHAPITRE 5 IMPLÉMENTATION D’UN SYSTÈME OPÉRATIONNELFunctionality {name LancerUneSimulationAvecMage5Achieved byExécutionDeTalwegPuisMage5Input DataFichier name talFichier name hyd...Output DataFichier name bin... }(a) Déclaration d’une fonctionnalité.Request {LancerUneSimulationAvecMage5 name SimulerLaCrueDe2000SurLaLezeAttributestal := fichierGéométrieLèzehyd := fichierCrue2000Lèze... }(b) Déclaration d’une requête.FIG. 5.6 – Exemple de déclaration d’un objectif. La fonctionnalité représentée surla figure du haut permet d’entrer dans l’arborescence de la figure 5.3 par l’opérateurExécutionDeTalWegPuisMage5, et la requête présentée sur la figure du bas représentel’utilisation de cette fonctionnalité avec des éléments précis contenus dans la base de faits,correspondant à un système donné – la rivière Lèze – et à un événement donné – la crue de2000.131
Page 1:
N o d’ordre : 2209THÈSEprésent
Page 10 and 11:
TABLE DES MATIÈRES5.4 Développeme
Page 12 and 13:
TABLE DES MATIÈRESE Résistance à
Page 15 and 16:
Résumé étenduLes modèles numér
Page 17 and 18:
Extended abstractNumerical models a
Page 19 and 20:
IntroductionA SIMULATION NUMÉRIQUE
Page 21 and 22:
INTRODUCTIONHydraulique et modélis
Page 23:
INTRODUCTIONTroisième partie : App
Page 27 and 28:
Chapitre 1Définitions✭ Numerical
Page 29 and 30:
CHAPITRE 1 DÉFINITIONSdifférents
Page 31 and 32:
CHAPITRE 1 DÉFINITIONSde celui dé
Page 33 and 34:
CHAPITRE 1 DÉFINITIONSOn peut note
Page 35 and 36:
CHAPITRE 1 DÉFINITIONSÉvaluation
Page 37 and 38:
CHAPITRE 1 DÉFINITIONSau mieux le
Page 39 and 40:
CHAPITRE 1 DÉFINITIONS- un répert
Page 41 and 42:
CHAPITRE 1 DÉFINITIONSplus haut ai
Page 43 and 44:
CHAPITRE 1 DÉFINITIONS:SystèmeÉt
Page 45 and 46:
CHAPITRE 1 DÉFINITIONSYen (1995) r
Page 47 and 48:
CHAPITRE 1 DÉFINITIONSThe question
Page 49 and 50:
CHAPITRE 1 DÉFINITIONSWe believe t
Page 51 and 52:
Chapitre 2Éléments d’un modèle
Page 53 and 54:
CHAPITRE 2 ÉLÉMENTS D’UN MODÈL
Page 55 and 56:
Page 57 and 58:
Page 59 and 60:
Page 61 and 62:
Page 63 and 64:
Page 65 and 66:
Page 67 and 68:
Page 69 and 70:
Page 71 and 72:
Page 73:
Page 76 and 77:
3.1 ESTIMATION D’UNE VALEUR A PRI
Page 78 and 79:
Page 80 and 81:
Page 82 and 83:
Page 84 and 85:
Page 86 and 87:
Page 88 and 89:
Page 90 and 91:
Page 92 and 93:
3.2 MÉTHODES D’AJUSTEMENT DES PA
Page 94 and 95:
Page 96 and 97:
Page 98 and 99:
Page 100 and 101:
Page 102 and 103:
3.4 CONCLUSIONS3.3.2 Dérivation au
Page 105 and 106: Chapitre 4Modélisation des connais
Page 107 and 108: CHAPITRE 4 MODÉLISATION DES CONNAI
Page 143: CHAPITRE 4 MODÉLISATION DES CONNAI
Page 146 and 147: 5.1 INTÉGRATION SYMBOLIQUE/NUMÉRI
Page 148 and 149: 5.1 INTÉGRATION SYMBOLIQUE/NUMÉRI
Page 150 and 151: 5.2 NOTIONS DE PILOTAGE DE PROGRAMM
Page 152 and 153: 5.2 NOTIONS DE PILOTAGE DE PROGRAMM
Page 156 and 157: 5.3 CARMA-1, UN PROTOTYPE EN PILOTA
Page 166 and 167: 5.4 DÉVELOPPEMENT D’OUTILS D’I
Page 173: Troisième partieApplications du pr
Page 176 and 177: 6.1 PRÉSENTATION DU CAS D’ÉTUDE
Page 182 and 183: 6.2 CONSTRUCTION DE LA BASE DE FAIT
Page 184 and 185: 6.3 DÉROULEMENT DE LA SESSION DE C
Page 186 and 187: 6.3 DÉROULEMENT DE LA SESSION DE C
Page 188 and 189: 6.4 RETOURS D’EXPÉRIENCEQ (m 3 /
Page 190 and 191: 6.5 PROPOSITION POUR UNE AUTOMATISA
Page 192 and 193: 6.5 PROPOSITION POUR UNE AUTOMATISA
Page 195 and 196: Chapitre 7Calage d’un modèle de
Page 197 and 198: CHAPITRE 7 CALAGE D’UN MODÈLE DE
Page 205 and 206:
CHAPITRE 7 CALAGE D’UN MODÈLE DE
Page 207 and 208:
Page 209 and 210:
Page 211 and 212:
Page 213 and 214:
Conclusion généraleOUS avons abor
Page 215 and 216:
CONCLUSION GÉNÉRALEdisposition. C
Page 217 and 218:
CONCLUSION GÉNÉRALELa figure 7.10
Page 219 and 220:
CONCLUSION GÉNÉRALE- les données
Page 221 and 222:
Table des figures1 Positionnement d
Page 223:
TABLE DES FIGURES5.20 Structure de
Page 226 and 227:
LISTE DES TABLEAUX6.1 Descriptif de
Page 228 and 229:
BIBLIOGRAPHIEAQUALIS (1998), Étude
Page 230 and 231:
BIBLIOGRAPHIEBERMUDEZ, L. et PIASEC
Page 232 and 233:
BIBLIOGRAPHIECEMAGREF (1983), Progr
Page 234 and 235:
BIBLIOGRAPHIEDAS, A. (2004b), Param
Page 236 and 237:
BIBLIOGRAPHIEFASKEN, G. B. (1963),
Page 238 and 239:
BIBLIOGRAPHIEHAGER, W. H. (2001), G
Page 240 and 241:
BIBLIOGRAPHIEKLEMEš, V. (1997), Gu
Page 242 and 243:
BIBLIOGRAPHIEMOISAN, S. (2003), Pro
Page 244 and 245:
BIBLIOGRAPHIEPARKIN, G., O’DONNEL
Page 246 and 247:
BIBLIOGRAPHIEREFSGAARD, J. C. et ST
Page 248 and 249:
BIBLIOGRAPHIEand Integrated Ressour
Page 250 and 251:
BIBLIOGRAPHIETURING, A. (1950), Com
Page 252 and 253:
BIBLIOGRAPHIEYEH, K.-C. et TUNG, Y.
Page 255 and 256:
Annexe AAbréviations et notationsA
Page 257 and 258:
Annexe BFormalisme graphique UMLCet
Page 259:
ANNEXE B FORMALISME GRAPHIQUE UMLdi
Page 262 and 263:
C.2 MESURE DES VARIABLES HYDRAULIQU
Page 265 and 266:
Annexe DTables de valeursCette anne
Page 267 and 268:
ANNEXE D TABLES DE VALEURSQuantité
Page 269 and 270:
ANNEXE D TABLES DE VALEURSQuantité
Page 271 and 272:
ANNEXE D TABLES DE VALEURSDescripti
Page 273 and 274:
ANNEXE D TABLES DE VALEURSDescripti
Page 275:
ANNEXE D TABLES DE VALEURSCultureMa
Page 278 and 279:
E.1 LES PREMIÈRES FORMULES EMPIRIQ
Page 280 and 281:
E.2 DE COEFFICIENTS ✭ UNIVERSELS
Page 282 and 283:
E.2 DE COEFFICIENTS ✭ UNIVERSELS
Page 284 and 285:
E.3 VERS UNE FORMULE STANDARD D’I
Page 286 and 287:
E.4 APPLICABILITÉ HORS DU RÉGIME
Page 288 and 289:
E.5 LIEN AVEC LA MÉCANIQUE DES FLU
Page 291 and 292:
Annexe FDescription des fichiers ut
Page 293 and 294:
Annexe GDescription des programmes
Page 295:
ANNEXE G DESCRIPTION DES PROGRAMMES
Page 298 and 299:
H.1 CALAGE DU MODÈLE DE LA LÈZEQu
Page 300 and 301:
H.2 CALAGE DU MODÈLE DE L’HOGNEA
Page 302 and 303:
Page 304 and 305:
Page 306:
Page 310:
RésuméLe calage d’un modèle nu
show all

Assistance au calage de modÃ¨les numÃ©riques en hydraulique ... - TEL

Create successful ePaper yourself

Delete template?

Save as template?