Au début des années 2000, les instances aéronautiques ont exprimé le besoin de développer un nouveau système de radiocommunication aéronautique du fait de l'augmentation du trafic aérien et de la saturation croissante des capacités de communication radio entre les aéronefs et les stations de contrôle aérien. L'une des composantes de ce système, nommée L-DACS (" L-band Digital Aeronautical Communication System "), devrait opérer dans la bande L-aéronautique (960-1164 MHz), dans laquelle fonctionnent également de nombreux autres systèmes radioélectriques. La compatibilité radioélectrique (CRE) de L-DACS avec ces systèmes est un des facteurs principaux à prendre en considération dans le développement d'un tel système.L'objectif principal de cette thèse est d'identifier les principaux problèmes reliés à la CRE et d'en étudier les cas critiques. Ces travaux sont fondamentaux en aéronautique, puisque tout dysfonctionnement dans la communication ou dans les systèmes de radionavigation peut mettre en danger la sécurité du vol. Les conclusions de cette thèse contribueront à la normalisation du système L-DACS et à la finalisation de ses spécifications.Dans une première étape, on étudie l'état de l'art dans les communications aéronautiques et en CRE. On analyse en particulier les dernières spécifications des deux systèmes candidats L-DACS. Ensuite, on propose un algorithme de calcul de brouillage dans le but d'étudier la CRE dans le domaine fréquentiel, d'en identifier et d'en traiter les cas critiques. L'analyse fréquentielle étant insuffisante dans plusieurs cas, on propose alors une approche temporelle d'étude de CRE. Après en avoir présenté les avantages, on présente un exemple d'étude de l'effet d'un système L-DACS sur un récepteur DME (" Distance Measuring Equipment ") à l'aide d'un banc de test CRE aéronautique.Cette thèse a été réalisée en collaboration avec la Direction Générale de l'Aviation Civile (DGAC), qui est un acteur principal pour la réglementation des communications et un affectataire de fréquence pour le spectre aéronautique en France. La thèse contribue aux études menées par la DGAC à l'échelle nationale et internationale.Dans les perspectives, on propose la poursuite de cette étude par une approche temporelle plus générale pour étudier la CRE entre des systèmes radioélectriques quelconques en tenant compte de paramètres supplémentaires liés à la dynamique des systèmes et aux propriétés de leurs technologies.

Nowadays, digital imaging is mostly based on the paradigm that a combinations of a small number of so-called primary colors is sufficient to represent any visible color. For instance, most cameras usepixels with three dimensions: Red, Green and Blue (RGB). Such low dimensional technology suffers from several limitations such as a sensitivity to metamerism and a bounded range of wavelengths. Spectral imaging technologies offer the possibility to overcome these downsides by dealing more finely withe the electromagnetic spectrum. Mutli-, hyper- or ultra-spectral images contain a large number of channels, depicting specific ranges of wavelength, thus allowing to better recover either the radiance of reflectance of the scene. Nevertheless,these large amounts of data require dedicated methods to be properly handled in a variety of applications. This work contributes to defining what is the useful information that must be retained for visualization on a low-dimensional display device. In this context, subjective notions such as appeal and naturalness are to be taken intoaccount, together with objective measures of informative content and dependency. Especially, a novel band selection strategy based on measures derived from Shannon's entropy is presented and the concept of spectral saliency is introduced.

Le but de cette thèse est d'approfondir les connaissances académiques sur les variations jointes des actifs financiers à haute fréquence en les analysant sous un point de vue novateur. Nous tirons profit d'une base de données de prix tick-by-tick pour mettre en lumière de nouveaux faits stylises sur la corrélation haute fréquence, et également pour tester la validité empirique de modèles multivariés. Dans le chapitre 1, nous discutons des raisons pour lesquelles la corrélation haute fréquence est d'une importance capitale pour le trading. Par ailleurs, nous passons en revue la littérature empirique et théorique sur la corrélation à de petites échelles de temps. Puis nous décrivons les principales caractéristiques du jeu de données que nous utilisons. Enfin, nous énonçons les résultats obtenus dans cette thèse. Dans le chapitre 2, nous proposons une extension du modèle de subordination au cas multivarié. Elle repose sur la définition d'un temps événementiel global qui agrège l'activité financière de tous les actifs considérés. Nous testons la capacité de notre modèle à capturer les propriétés notables de la distribution multivariée empirique des rendements et observons de convaincantes similarités. Dans le chapitre 3, nous étudions les relations lead/lag à haute fréquence en utilisant un estimateur de fonction de corrélation adapte aux données tick-by-tick. Nous illustrons sa supériorité par rapport à l'estimateur standard de corrélation pour détecter le phénomène de lead/lag. Nous établissons un parallèle entre le lead/lag et des mesures classiques de liquidité et révélons un arbitrage pour déterminer les paires optimales pour le trading de lead/lag. Enfin, nous évaluons la performance d'un indicateur basé sur le lead/lag pour prévoir l'évolution des prix à court terme. Dans le chapitre 4, nous nous intéressons au profil saisonnier de la corrélation intra-journalière. Nous estimons ce profil sur quatre univers d'actions et observons des ressemblances frappantes. Nous tentons d'incorporer ce fait stylise dans un modèle de prix tick-by-tick base sur des processus de Hawkes. Le modèle ainsi construit capture le profil de corrélation empirique assez finement, malgré sa difficulté à atteindre le niveau de corrélation absolu.

Dans un contexte où les questions environnementales et énergétiques ont une importance capitale, les constructeurs automobiles sont fortement poussés à développer des moteurs à combustion interne toujours plus économes et moins polluants. Pour le développement de procédés de combustion innovants et l'amélioration de leur compréhension, la simulation aux grandes échelles apparaît comme un outil prometteur. Ce travail de thèse traite du développement et de la validation d'un modèle pour la simulation aux grandes échelles de la combustion Diesel. Le modèle ADF-PCM, basé sur la tabulation de flammes de diffusion approchées auto-inflammantes étirées et permettant la prise en compte d'une cinétique chimique détaillée, est utilisé dans ces travaux. Le modèle ADF est tout d'abord introduit. Il permet d'approximer des flammes de diffusion laminaires à partir de flammelettes dont les termes chimiques proviennent de calculs de réacteurs homogènes. La première étape de ces travaux consiste à valider ces flammes de diffusion approchées dans des configurations proches de celles observées dans les moteurs Diesel. Le modèle ADF-PCM, initialement développé dans un formalisme RANS, est ensuite étendu à un formalisme LES pour des écoulements diphasiques et intégré dans le code LES compressible AVBP. Un modèle de stratification en température ainsi que les termes de couplage avec la phase liquide décrite par un formalisme Eulérien sont développés. Le modèle ADF-PCM est ensuite validé sur deux expériences de sprays Diesel en enceinte fermée. Il permet une bonne reproduction des résultats expérimentaux en termes de délai d'auto-inflammation, de dégagement de chaleur et de hauteur d'accrochage de la flamme. Les prédictions du modèle ADF-PCM sont ensuite comparées avec celles d'autres modèles faisant différentes hypothèses simplificatrices par rapport à la structure de flamme et la stratification en sous-maille de la fraction de mélange. Les résultats obtenus à l'aide de ces différents modèles soulignent la nécessité de la prise en compte de ces effets, même pour des résolutions spatiales fines. Finalement, des comparaisons entre les résultats expérimentaux et la simulation sont réalisées avec le modèle ADF-PCM pour différents taux de gaz recirculants. Celui-ci montre une reproduction qualitative de l'effet des gaz recirculants sur la combustion.

Le concept de radio logicielle (SDR) est une solution pertinente pour concevoir des équipements multi-standards. Une façon de réaliser de tels équipements est d'identifier les fonctions et opérateurs communs entre les standards. Cette approche s'appelle la paramétrisation et est divisée en deux catégories : l'approche pragmatique qui est une version pratique pour créer et développer des opérateurs communs à partir d'opérateurs existants, et l'approche théorique dont l'objectif est de réaliser une exploration graphique d'un équipement multi-standards selon différents niveaux de granularité, accompagnée d'un problème d'optimisation. C'est cette dernière approche qui a constitué le sujet de base de cette thèse. Ainsi, une fonction de coût doit être optimisée afin de sélectionner les opérateurs communs entre les différentes normes, ce qui permet de proposer une configuration optimale à partir de laquelle sont déduits les opérateurs communs. Dans notre travail, nous avons dans un premier temps modélisé théoriquement la structure graphique d'un système multi-standards par un hypergraphe orienté. En outre, nous avons fourni une expression mathématique alternative de la fonction de coût suggérée, en utilisant des définitions propres à la théorie des graphes. Ensuite, nous avons montré que le problème d'optimisation associé était un problème NP sous une certaine contrainte, ce qui a entraîné une preuve d'exclusion de certaines configurations dont les coûts ne peuvent être minimaux. Ceci a constitué la deuxième contribution de cette thèse. Enfin, nous avons proposé un nouvel algorithme permettant de résoudre le problème d'optimisation donné, et dont l'intérêt est de donner une solution optimale du problème au lieu d'une solution approchée fournie par les méthodes heuristiques classiques. Un programme associé à cet algorithme a été développé en langage C, puis appliqué à plusieurs exemples de cas génériques afin d'en étudier les performances.

In the last decade, cellular networks have been characterized by an ever-growing user data demand. This caused increasing capacity shortfall and coverage issues, aggravated by inefficient fixed spectrum management policies and obsolete network structures. From a practical point of view, novel technical and architectural solutions have been proposed to frame next generation cellular networks, capable of meeting the identified target performance to satisfy the user data demands. Specifically, new spectrum management policies based on the so-called dynamic spectrum access (DSA), together with hierarchical approaches to network planning, where a tier of macro base stations is underlaid with a tier of massively deployed low-power small base stations, are seen as promising candidates to achieve this scope. The resulting two-tiered network layout may improve the capacity of current networks in several ways, thanks to a better average link quality between the devices, a more efficient usage of spectrum resources and a potentially higher spatial reuse. In this thesis, we focus on the challenging problem arising when the two tiers share the transmit band, to capitalize on the available spectrum and avoid possible inefficiencies. In this case, the coexistence of the two tiers is not feasible, if suitable interference management techniques are not designed to mitigate/cancel the mutual interference generated by the active transmitters in the network. This thesis is divided in three main parts, and proposes a rather exhaustive approach to the development of new DSA and interference management techniques, to go from the theoretical basis up to a proof-of-concept development.

Le cadre de cette thèse est centré sur l'étude d'un radar ultra large bande (ULB) en mode impulsionnel, pour la " vision " à travers les murs (VAM), qui présente de nombreuses applications tant dans le domaine militaire (lors des assauts, des prises d'otages, ...) que dans le secteur de la sécurité civile (recherche de personnes dans des décombres, dans un incendie, ...). Pour ces utilisations, l'image réelle de la scène observée n'est pas nécessaire, seules certaines informations pertinentes suffisent : nombre de personnes, position, vitesse de déplacement, etc. C'est dans ce contexte que nous avons développé un dispositif expérimental de détection et des techniques de localisation de cibles derrière un mur. Le radar développé est constitué d'un émetteur impulsionnel couvrant la gamme de fréquence de 3 GHz à 6 GHz, et de trois récepteurs indépendants, associés à des algorithmes de localisation et de reconstruction d'image.Le premier algorithme repose sur une technique de trilatération. Une fois, le modèle théorique présenté, plusieurs méthodes de résolution sont étudiées pour l'estimation de la mesure de la distance de propagation du signal. La méthode de Brent-Dekker a été retenue pour sa rapidité de convergence et son faible nombre d'itérations. Bien que cette technique soit précise, elle ne permet pas d'obtenir une image de la scène, mais juste de localiser les cibles, sans apporter des informations sur ses dimensions. C'est pourquoi une seconde approche, basée sur une " formation de faisceau ", a été étudiée, afin d'obtenir une représentation 2D de la scène. Nous avons choisi de développer une méthode de rétroprojection non cohérente, technique la plus simple qui ne nécessite pas de contrainte forte sur la phase du signal ni sur le positionnement des antennes. Différentes variantes de rétroprojection ont été proposées : la rétroprojection avec cross corrélation, la rétroprojection cross corrélation améliorée et la rétroprojection bicross corrélée. Ces trois méthodes reposent sur une fusion d'informations capturées par l'antenne réceptrice avec celles obtenues sur des antennes dites de référence. Cette fusion a permis d'améliorer progressivement le rendu des images.Pour conclure ses travaux, une perspective est ébauchée afin de minimiser le taux de fausse détection, elle s'appuie sur la collaboration de la technique de trilatération avec la technique de rétroprojection bicross corrélée. Cette collaboration permet de mettre en correspondance les détections estimées par la technique de trilatération et celles utilisant la rétroprojection bicross corrélée. Les cibles non appariées sont alors supprimées selon des critères spécifiques à chacune des deux approches.

Dans de nombreux domaines tels que l'avionique, la médecine ou la domotique, les applications logicielles jouent un rôle de plus en plus important, allant jusqu'à être critique pour leur environnement. Afin de pouvoir faire confiance à ces applications, leur développement est contraint par des exigences de sûreté de fonctionnement. En effet il est nécessaire de démontrer que ces exigences de haut-niveau sont prises en compte tout au long du cycle de développement et que des solutions concrètessont mises en œuvre pour parvenir à les respecter. De telles contraintes rendent le développement d'applications sûres de fonctionnement particulièrement complexe et difficile. Faciliter ce processus appelle à la recherche de nouvelles approches dedéveloppement qui intègrent des concepts de sûreté de fonctionnement et guident les développeurs lors de chacune des étapesnécessaires à la production d'une nouvelle application digne de confiance.Cette thèse propose ainsi de s'appuyer sur une approche dirigée par la conception pour guider le développement des applications sûres de fonctionnement. Cette approche est concrétisée à travers une suite d'outils nommée DiaSuite et offre du support dédié à chaque étape du développement. En particulier, un langage de conception permet de décrire à la fois les aspects fonctionnels et non-fonctionnels des applications en se basant sur un paradigme dédié et en intégrant des concepts de sûreté de fonctionnement tels que le traitement des erreurs. A partir de la description d'une application, du support est généré pour guider les phases d'implémentation et de vérification. En effet, la génération d'un framework de programmation dédié permet de guider l'implémentation tandis que la génération d'un modèle formel permet de guider la vérification statique de l'application et qu'un support de simulation permet de faciliter les tests. Cette approche est évaluée grâce à des cas d'études réalisés dans les domaines de l'avionique et de l'informatique ubiquitaire.

Les travaux présentés dans cette thèse portent sur la conception d'une méthodologie d'ordonnancement/optimisation pour les systèmes de production à grande variété de produits et faible densité de flux appelés systèmes HVLV (High-Variety, LowVolume). Les caractéristiques de ces systèmes nous permettent d'appréhender la représentation des flux y circulant par un modèle discret. Le comportement discontinu des systèmes HVLV peut être caractérisé par la connaissance des dates de début et de fin des activités de production. L'algèbre (max, +) est utilisée pour représenter ce type de systèmes où les relations entre les dates de début des activités nécessitent l'utilisation des opérateurs maximum et addition. Afin d'utiliser l'algèbre (max, +) pour l'ordonnancement des systèmes HVLV, il est indispensable de résoudre un problème de conflit et d'optimisation sous contraintes dans cette algèbre. D'abord, nous avons développé dans ces travaux de recherche un modèle d'ordonnancement (max, +) pour les systèmes HVLV dans lequel des variables de décision ont été introduites afin de résoudre le problème de conflit entre les opérations exécutées sur les machines. Ensuite, nous avons amélioré le modèle proposé pour tenir compte de la maintenance préventive. Deux types de maintenance ont été considérés : Maintenance Périodique Répétitive (MPR) et Maintenance Flexible Périodique (MFP). Dans les deux cas, un problème d'ordonnancement non-linéaire sous contraintes a été résolu afin de minimiser certains critères de performance. Enfin, la méthodologie proposée a été validée par simulation, sur des systèmes HVLV complexes de type job-shop.

Les transferts radiatifs jouent un rôle important dans les chambres de combustion des installations industrielles. En effet, il existe un couplage fort entre la combustion turbulente et le rayonnement. Dans le but d'étudier ce couplage, le code Rainier est développé pour les calculs de pertes par rayonnement dans un écoulement réactif dans des géométries complexes. Ce code repose sur des simulations aux grandes échelles (LES) de la combustion turbulente. Il est basé sur les maillages tétraédriques non structurés. Le modèle de rayonnement appliqué à la modélisation des propriétés radiatives des gaz est le modèle CK (Correlated-k). La méthode statistique de Monte-Carlo (ERM) est utilisée pour résoudre l'équation de Transfert du Rayonnement (ETR). Le code de rayonnement est parallélisé et il montre une réponse linéaire en fonction du nombre de processeurs très proche de la réponse idéale. Une méthode de couplage de code de rayonnement avec le code de combustion LES est développée. Chacun des codes a sa propre logique d'architecture et de développement. En conséquence, le couplage entre les deux domaines d'étude est réalisé de telle façon que les échanges des données et les synchronisations entre eux soient assurés. Les résultats obtenus à partir du couplage des sur une chambre de combustion d'hélicoptère sont présentés. Nous avons montré que le rayonnement modifie les champs instantanés de température et d'espèces à l'intérieur de la chambre de combustion.