Cette thèse présente des contributions multiples et orthogonales à l'amélioration de la résolution parallèle du problème de satisfiabilité booléenne (ou problème SAT). Une instance du problème SAT est une formule propositionnelle de forme particulière (la forme normale conjonctive est la plus courante) représentant, en général, les variables et les...
L’objectif de ce travail est de construire un code 2D permettant de simuler l’amortissement d’un train de vagues dans une structure poreuse. La modélisation de l’interaction des vagues est difficile due à la nécessité de connaître la distribution précise de la pression du fluide en fonction de la porosité du matériau (voir Fig. 1). Des amélioration...
In this thesis, we study the boundary null-controllability of some linear parabolic systems coupled through interior and/or boundary. We begin by giving an overall introduction of the thesis in Chapter 1 and we discuss some essentials about the notion of parabolic controllability in the second chapter. In Chapter 3, we investigate the boundary null...
The thesis is devoted to the study of the stabilization and the controllability of the evolution equations u'(t) + Au (t) + p (t) Bu (t) = 0 by means of a bilinear control “p”. Bilinear controls are coefficients of the equation that multiply the state variable. Multiplicative controls are therefore suitable to describe processes that change their p...
Dans cette thèse nous nous intéressons à différentes méthodes numériques pour la simulation de problèmes acoustiques haute-fréquence prenant place à l'échelle du bâtiment. Dans l'approximation haute-fréquence la propagation du son peut être modélisée par une équation de transport cinétique couplée à des conditions aux bords traduisant la nature spé...
La modélisation de la diffusion électromagnétique par une surface (aléatoirement) rugueuse est un sujet de recherche très actif. Elle est rencontrée dans de nombreux contextes liés à l'environnement comme les sols naturels ou la surface de mer, ou pour la caractérisation de défauts de surface à l'échelle de l'optique.La modélisation rigoureuse de l...
This thesis consists in two independent parts. The first part pertains to the study of eigenvectors of random matrices of Wigner-type. Firstly, we analyze the distribution of eigenvectors of deformed Wigner matrices which consist in a perturbation of a Wigner matrix by a deterministic diagonal matrix. If the two matrices are of the same order of ma...
On présente la méthode Extended-Sub-domain Decomposition Iterative Method (E-SDIM), comme une généralisation de la SDIM, afin de traiter rigoureusement le problème de diffusion électromagnétique par une surface 2D, rugueuse et parfaitement conductrice. Elle permet de résoudre efficacement, par un schéma itératif, le système linéaire issue de la dis...
In this thesis we consider several aspects of parameter estimation for statistics and machine learning and optimization techniques applicable to these problems. The goal of parameter estimation is to find the unknown hidden parameters, which govern the data, for example parameters of an unknown probability density. The construction of estimators th...
In this thesis we consider several aspects of parameter estimation for statistics and machine learning and optimization techniques applicable to these problems. The goal of parameter estimation is to find the unknown hidden parameters, which govern the data, for example parameters of an unknown probability density. The construction of estimators th...
