Motivée par le développement de diverses applications déployant des antennes près d'une interface, comme les systèmes militaires UGS, les réseaux corporels sans fil BAN et la surveillance environnementale impliquant des capteurs au sol, cette thèse porte sur la modélisation de la propagation des ondes électromagnétiques près d'une interface. Tout d'abord, la méthode classique de l'optique géométrique est confrontée à des formules approchées fournies par Norton et par Bannister. Cette étude met en évidence les cas où l'optique géométrique ne décrit pas correctement la propagation près de la surface. Pour une compréhension plus exhaustive, les fonctions de Green de ce type de propagation, présentées sous forme d'intégrales de Sommerfeld, sont évaluées à la lumière de la méthode de la plus grande pente. Cette évaluation permet d'extraire trois équations importantes pour la propagation près d'une interface. La première est la condition essentielle pour que la proximité au sol puisse profiter au bilan de liaison grâce à l'excitation d'une composante de l'onde diffractée qui se propage près de l'interface. Les deux autres identifient des distances critiques qui bornent le début et la fin de la zone présentant un affaiblissement de trajet amélioré. L'ensemble de ces trois équations permet d'évaluer le rôle de certains paramètres physiques, notamment les propriétés électromagnétiques du sol, la fréquence de travail et la hauteur des antennes. Cette thèse inclut également les pistes pratiques envisagées pour une démonstration de faisabilité de l'amélioration d'une liaison sans fil par la proximité des antennes à l'interface. La couverture du sol ayant une importance prépondérante, nous présentons des recherches préliminaires sur la réalisation et la caractérisation d'un matériau approprié pour ce type de propagation. Dans un axe de recherche parallèle, cette thèse évalue également l'exactitude et la pertinence d'une nouvelle formulation théorique pour la propagation près du sol. Cette formulation dite « de Schelkunoff » suscite des controverses dans la communauté scientifique / Motivated by the development of various applications deploying antennas near an interface, such as military systems (UGS), wireless body area networks (BAN) and environmental monitoring involving ground sensors, this thesis deals with the near-ground wave propagation modelling. First, the results of the geometrical optics are confronted with the approximations provided by Norton and Bannister. This study reveals the cases where geometrical optics does not correctly describe the wave propagation near the surface. For a more comprehensive understanding, Green's functions of this type of propagation, presented as Sommerfeld integrals, are evaluated using the steepest descent technique. This evaluation offers the possibility to extract three important equations for near-ground wave propagation. The first one presents the essential condition under which the link budget can benefit from the ground proximity through the excitation of a diffracted wave component propagating near the interface. The other two equations identify critical distances indicating the beginning and the end of the zone with an improved path loss. All these three equations highlight the role of certain physical parameters, in particular the electromagnetic properties of the ground, the working frequency and the heights of the antennas. This thesis also includes the practical solutions that can be considered to demonstrate the feasibility of improving a wireless link by the proximity of the antennas to the interface. Since floor coating is of major importance, we present preliminary research on the realisation and characterisation of a suitable material for this type of propagation. In a parallel research axis, this thesis also evaluates the accuracy and relevance of a new theoretical formulation for near-ground propagation. The "so-called Schelkunoff" formulation has become a controversial issue in the scientific community

A discrete event system is a system whose state space is given by a discrete set and whose state transition mechanism is event-driven i.e. its state evolution depends only on the occurrence of discrete events over the time. These systems are used in many fields of application (telecommunication networks, aeronautics, aerospace,). The validity of these systems is then an important issue and to ensure it we can use supervisory control methods. These methods consist in imposing a given specification on a system by means of a controller which runs in parallel with the original system and which restricts its behavior. In this thesis, we develop supervisory control methods where the system can have an infinite state space and the controller has a partial observation of the system (this implies that the controller must define its control policy from an imperfect knowledge of the system). Unfortunately, this problem is generally undecidable. To overcome this negative result, we use abstract interpretation techniques which ensure the termination of our algorithms by overapproximating, however, some computations. The aim of this thesis is to provide the most complete contribution it is possible to bring to this topic. Hence, we consider more and more realistic problems. More precisely, we start our work by considering a centralized framework (i.e. the system is controlled by a single controller) and by synthesizing memoryless controllers (i.e. controllers that define their control policy from the current observation received from the system). Next, to obtain better solutions, we consider the synthesis of controllers that record a part or the whole of the execution of the system and use this information to define the control policy. Unfortunately, these methods cannot be used to control an interesting class of systems: the distributed systems. We have then defined methods that allow to control distributed systems with synchronous communications (decentralized and modular methods) and with asynchronous communications (distributed method). Moreover, we have implemented some of our algorithms to experimentally evaluate the quality of the synthesized controllers. / <p><p>Un système à événements discrets est un système dont l'espace d'états est un ensemble discret et dont l'évolution de l'état courant dépend de l'occurrence d'événements discrets à travers le temps. Ces systèmes sont présents dans de nombreux domaines critiques tels les réseaux de communications, l'aéronautique, l'aérospatiale. La validité de ces systèmes est dès lors une question importante et une manière de l'assurer est d'utiliser des méthodes de contrôle supervisé. Ces méthodes associent au système un dispositif, appelé contrôleur, qui s'exécute en parrallèle et qui restreint le comportement du système de manière à empêcher qu'un comportement erroné ne se produise. Dans cette thèse, on s'intéresse au développement de méthodes de contrôle supervisé où le système peut avoir un espace d'états infini et où les contrôleurs ne sont pas toujours capables d'observer parfaitement le système; ce qui implique qu'ils doivent définir leur politique de contrôle à partir d'une connaissance imparfaite du système. Malheureusement, ce problème est généralement indécidable. Pour surmonter cette difficulté, nous utilisons alors des techniques d'interprétation abstraite qui assurent la terminaison de nos algorithmes au prix de certaines sur-approximations dans les calculs. Le but de notre thèse est de fournir la contribution la plus complète possible dans ce domaine et nous considèrons pour cela des problèmes de plus en plus réalistes. Plus précisement, nous avons commencé notre travail en définissant une méthode centralisée où le système est contrôlé par un seul contrôleur qui définit sa politique de contrôle à partir de la dernière information reçue du système. Ensuite, pour obtenir de meilleures solutions, nous avons défini des contrôleurs qui retiennent une partie ou la totalité de l'exécution du système et qui définissent leur politique de contrôle à partir de cette information. Malheureusement, ces méthodes ne peuvent pas être utilisées pour contrôler une classe intéressante de systèmes: les sytèmes distribués. Nous avons alors défini des méthodes permettant de contrôler des systèmes distribués dont les communications sont synchrones (méthodes décentralisées et modulaires) et asynchrones (méthodes distribuées). De plus, nous avons implémenté certains de nos algorithmes pour évaluer expérimentalement la qualité des contrôleurs qu'ils synthétisent. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Résumé:<p><p>Cette dissertation s’intéresse aux méthodes numériques dans le domaine de l’acoustique. Les propriétés acoustiques d’un produit sont devenues une part intégrante de la conception. En effet, de nos jours le bruit est perçu comme une nuisance par le consommateur et constitue un critère de vente. Il y a de plus des normes à respecter. Les méthodes numériques permettent de prédire la propagation sonore et constitue dès lors un outil de conception incontournable pour réduire le temps et les coûts de développement d’un produit.<p><p>Cette dissertation considère la propagation d’ondes acoustiques dans le domaine fréquentiel en tenant compte de la présence d’un écoulement. Nous pouvons citer comme application industrielle, le rayonnement d’une nacelle de réacteur d’avion. Le but de la thèse est de proposer une nouvelle méthode et démontrer ses performances par rapport aux méthodes actuellement utilisées (i.e. la méthode des éléments finis).<p><p>L’originalité du travail consiste à étendre la méthode de partition de l’unité polynomiale dans le cadre de la propagation acoustique convectée, pour des domaines extérieurs. La simulation acoustique dans des domaines de dimensions infinies est réalisée dans ce travail à l’aide d’un couplage entre éléments finis et éléments infinis.<p><p>La dissertation présente la formulation de la méthode pour des applications axisymétriques et tridimensionnelles et vérifie la méthode en comparant les résultats numériques obtenus avec des solutions analytiques pour des applications académiques (i.e. propagation dans un conduit, rayonnement d’un multipole, bruit émis par la vibration d’un piston rigide, etc.). Les performances de la méthode sont ensuite analysées. Des courbes de convergences illustrent à une fréquence donnée, la précision de la méthode en fonction du nombre d’inconnues. Tandis que des courbes de performances présentent le temps de calcul nécessaire pour obtenir une solution d’une précision donnée en fonction de la fréquence d’excitation. Ces études de performances montrent l’intérêt de la méthode présentée.<p><p>Le rayonnement d’un réacteur d’avion a été abordé dans le but de vérifier la méthode sur une application de type industriel. Les résultats illustrent la propagation pour une nacelle axisymétrique en tenant compte de l’écoulement et la présence de matériau absorbant dans la nacelle et compare les résultats obtenus avec la méthode proposée et ceux obtenus avec la méthode des éléments finis.<p><p>Les performances de la méthode de la partition de l’unité dans le cadre de la propagation convectée en domaines infinis sont présentées pour des applications académiques et de type industriel. Le travail effectué illustre l’intérêt d’utiliser des fonctions polynomiales d’ordre élevé ainsi que les avantages à enrichir l’approximation localement afin d’améliorer la solution sans devoir créer un maillage plus fin.<p><p><p>Summary:<p><p>Environmental considerations are important in the design of many engineering systems and components. In particular, the environmental impact of noise is important over a very broad range of engineering applications and is increasingly perceived and regulated as an issue of occupational safety or health, or more simply as a public nuisance. The acoustic quality is then considered as a criterion in the product design process. Numerical prediction techniques allow to simulate vibro-acoustic responses. The use of such techniques reduces the development time and cost.<p><p>This dissertation focuses on acoustic convected radiation in outer domains such as it is the case for turbofan radiation. In the current thesis the mapped infinite partition of unity method is implemented within a coupled finite and infinite element model. This method allows to enrich the approximation with polynomial functions. <p><p>We present axisymmetric and three-dimensional formulations, verify and analyse the performance of the method. The verification compares computed results with the proposed method and analytical solutions for academic applications (i.e. duct propagation, multipole radiation, noise radiated by a vibrating rigid piston, etc.) .Performance analyses are performed with convergence curves plotting, for a given frequency, the accuracy of the computed solution with respect to the number of degrees of freedom or with performance curves, plotting the CPU time required to solve the application within a given accuracy, with respect to the excitation frequency. These performance analyses illustrate the interest of the mapped infinite partition of unity method.<p><p>We compute the radiation of an axisymmetric turbofan (convected radiation and acoustic treatments). The aim is to verify the method on an industrial application. We illustrate the radiation and compare the mapped infinite partition of unity results with finite element computations.<p><p>The dissertation presents the mapped partition of unity method as a computationally efficient method and illustrates its performances for academic as well as industrial applications. We suggest to use the method with high order polynomials and take the advantage of the method which allows to locally enrich the approximation. This last point improves the accuracy of the solution and prevent from creating a finer mesh.<p> / Doctorat en Sciences de l'ingénieur / info:eu-repo/semantics/nonPublished