Une approche systémique unifiée pour l’optimisation durable des systèmes socio-environnementaux: Ingénierie des systèmes de décision en univers incertain

Nowadays, the sustainability of human activities is a major worldwide concern. The challenge is to evaluate such activities not only in terms of efficiency and productivity, but also in terms of their economic, social, environmental, etc. durability. For this, the experts of these areas need to work collaboratively. In this context, human societies are facing several major challenges such as: (1) process a large amount of information whose volume increases exponentially (“big data”), (2) live in a both dynamic and imperfect real world, (3) predict and assess future states of its activities.The researches we have conducted in this thesis contribute in particular to the domain of decision systems engineering under uncertainty. We have chosen the field of general socio-environmental systems as subject of study, particularly the multidisciplinary field of agriculture. We propose a systemic approach for the sustainable optimization of socio-environmental systems: (1) the meta-modeling of socio-environmental systems, (2) the generic representation of data imperfection flowing in such systems, associated to a decision model in uncertain environment and finally (3) the simulation and the assessment of such systems in dynamic environment for the purpose of decision making by experts which we have illustrated by both a service-oriented architecture model and case studies applied to the agriculture domain.De nos jours, la durabilité des activités humaines devient une préoccupation majeure dans le monde entier. Il s’agit d’évaluer ces activités non seulement en matière d’efficacité et de productivité, mais aussi en ce qui concerne leurs durabilités économique, sociale, environnementale, etc. Pour ce faire, les experts de ces différents domaines doivent travailler en collaboration. Dans ce contexte, les sociétés humaines sont confrontées à plusieurs défis majeurs qui sont les suivants : (1) traiter de grandes quantités d’informations (« big data »), (2) évoluer dans un monde réel dynamique et imparfait, (3) prévoir et évaluer les états futurs de ses activités.Les recherches que nous avons menées dans cette thèse contribuent plus particulièrement au domaine de l’ingénierie des systèmes de décision en univers incertain. Nous prenons comme objet d'étude général le domaine des systèmes socio-environnementaux, et plus particulièrement le domaine pluridisciplinaire de l’agriculture. Nous proposons une approche systémique pour l’optimisation durable des systèmes socio-environnementaux : (1) la méta-modélisation des systèmes socio-environnementaux, (2) la représentation générique de l’imperfection des informations qui circulent dans ces systèmes, associée à un modèle de décision en contexte incertain et enfin (3) la simulation et l’évaluation de ces systèmes en environnement dynamique en vue de prises de décisions par des experts, que nous avons illustrée par un modèle d’architecture orientée service ainsi que des études de cas appliquées au domaine de l’agriculture

31ème Journées Francophones des Langages Applicatifs

International audienc

Détermination de l'impédance acoustique de matériaux absorbants en écoulement par méthode inverse et mesure LDV

La réduction des nuisances sonores est un enjeu permanent pour les acteurs de l aéronautique. L optimisation de la réduction de bruit apportée par les traitements acoustiques tapissant la nacelle des réacteurs turbofan passe par une caractérisation précise des matériaux employés dans l environnement aéroacoustique d utilisation, qui met en jeu un écoulement rasant de vitesse importante combiné à de forts niveaux sonores. L objectif de cette thèse est de développer une méthode inverse pour la détermination de l impédance acoustique de liners soumis à un écoulement rasant, basée sur des mesures non intrusives du champ de vitesse acoustique au-dessus du matériau par Vélocimétrie Laser Doppler (LDV). L impédance de liner est obtenue par minimisation de l écart entre le champ de vitesse acoustique mesuré et le champ simulé numériquement en résolvant les équations d Euler linéarisées bidimensionnelles harmoniques, discrétisées par un schéma Galerkin discontinu. Le gradient de la fonction objectif minimisée est calculé via la résolution, à chaque itération, des équations directes et adjointes. Une première étape de validation du solveur est effectuée sur des cas-tests académiques, puis sur des cas expérimentaux impliquant des mesures de pression acoustique en paroi rigide opposée au liner. Dans un second temps, la méthode est appliquée à des mesures de vitesse acoustique obtenues par LDV dans le banc B2A de l ONERA en l absence d écoulement. La dernière étape consiste à prendre en compte l effet d un écoulement rasant de profil cisaillé. Les impédances identifiées à partir de mesures LDV en présence d écoulement ont notamment permis de gagner en compréhension sur les phénomènes d absorption intervenant dans le banc B2A.While aircraft noise constraints become increasingly stringent, efficient duct treatment of turbofan engines requires an accurate knowledge of liner impedance with grazing flow at high acoustic levels. This thesis aims at developing an impedance eduction method in the presence of grazing flow. The inverse process is based on acoustic velocity fields acquired by Laser Doppler Velocimetry (LDV) above the liner. The liner acoustic impedance is obtained by minimization of the distance between the measured acoustic velocity field and the simulated one. Computations rely on the resolution of the 2D linearized Euler equations in the harmonic domain, spatially discretized by a discontinuous Galerkin scheme. The gradient of the objective function is achieved by the resolution, at each iteration on the liner impedance, of the direct and adjoint equations. The solver is first validated on academic test cases, then on experimental results of acoustic pressure measurements at the rigid wall opposite the liner. Secondly the method is applied to acoustic velocity measurements obtained by LDV above the liner without flow, in the ONERA B2A test bench. The last step consists in taking into account the effects of a sheared grazing flow. The impedances educed from LDV measurements in the presence of flow namely allowed to gain insight into the absorption phenomena occuring in the B2A test bench.TOULOUSE-INSA-Bib. electronique (315559905) / SudocSudocFranceF

33èmes Journées Francophones des Langages Applicatifs

International audienceLes 33èmes Journées Francophones des Langages Applicatifs (JFLA) se sont tenues à Saint-Médard-d'Excideuil, plus précisément Domaine d'Essendiéras (Périgord), du mardi 28 juin 2022 au vendredi 1er juillet 2022.Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la vérification de programmes, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons promouvoir les ponts entre les différentes thématiques.- Langages fonctionnels et applicatifs : sémantique, compilation, optimisation, typage, mesures, extensions par d'autres paradigmes.- Assistants de preuve : implémentation, nouvelles tactiques, développements présentant un intérêt technique ou méthodologique.- Logique, correspondance de Curry-Howard, réalisabilité, extraction de programmes, modèles.- Spécification, prototypage, développements formels d'algorithmes.- Vérification de programmes ou de modèles, méthode déductive, interprétation abstraite, raffinement.- Utilisation industrielle des langages fonctionnels et applicatifs, ou des méthodes issues des preuves formelles, outils pour le web.Les articles soumis aux JFLA sont relus par au moins deux personnes s'ils sont acceptés, trois personnes s'ils sont rejetés. Les critiques des relecteurs sont toujours bienveillantes et la plupart du temps encourageantes et constructives, même en cas de rejet

Contributions au traitement des signaux à valeurs sur des structures algébriques non-commutatives

Les travaux présentés s'intéressent au traitement des signaux à valeurs sur des espaces non-commutatifs, en particulier sur le groupe des rotations et les quaternions. Principalement, ce sont les signaux et processus aléatoires qui sont au centre de nos préoccupations, et nous présentons quelques résultats illustrant leur intérêt en physique des ondes polarisées. Nous montrons par exemple comment les processus aléatoires sur le groupe des rotations permettent d'étudier la diffusion multiple des ondes dans les milieux aléatoires et l'apparition de la phase géométrique pour les ondes polarisées dans ces milieux. Les résultats obtenus sont basés sur des notions empruntées à la théorie des groupes et de la représentation, la théorie des processus aléatoires et de l'estimation ainsi qu'à la géométrie différentielle. L'application majeure des résultats présentés est l'étude des ondes élastiques dans les milieux aléatoires