Les convertisseurs de puissance sont largement utilisés de nos jours dans des applications qui demandent une grande autonomie énergétique, comme par exemple ceux qui sont alimentés par des batteries. En particulier, les amplificateurs de type Class-D sont fréquemment utilisés dans les applications audio. Ces amplificateurs commutés ont une architecture ressemblante à celle d'un convertisseur DC-DC, ce qui les permet d'avoir une efficacité énergétique élevée. Cependant, leur inconvénient majeur est la forte émission en perturbations électromagnétiques (EM). Cela peut causer des problèmes de conformité avec les normes de compatibilité électromagnétique (CEM), ou bien perturbé le bon fonctionnement des applications électroniques qui l'entour. Pour cela, ils existent de nombreuses études qui permettent de réduire les émissions d'un amplificateur de Class D. Cependant, cela n'est pas suffisant pour retirer le filtre de CEM. Il est donc nécessaire d'optimiser ces filtres et de faciliter leurs conceptions. Ceci est le but de la présente thèse et il est divisé en quatre grandes parties. La première partie commence par développer une technique de modélisation dans le domaine fréquentiel. Cette technique qui est basée sur la détermination et la manipulation des matrices d'impédances a comme but de simuler et prédire les perturbations EM générées par un amplificateur de Class D. Tous les aspects théoriques de la méthode ont été développés. Ensuite, une application pratique sur un système de Class D dédié à la téléphonie mobile nous a permis de valider la méthode jusqu'à une fréquence de 100 MHz. Un amplificateur de Class D est une source de perturbation aussi bien sur les rails d'alimentation que sur les rails de sortie. Pour cela, le filtre de CEM est nécessaire sur les rails de l'alimentation comme il y est en sortie. Néanmoins, un filtre correctement construit doit être conçu en prenant en compte l'impédance de la charge qui est la batterie dans ce cas. Pour cela, la deuxième partie a pour objectif la mesure de l'impédance de la batterie sur la gamme de fréquence considérée. Ainsi, une technique de mesure d'impédance de batterie en utilisant un impédance mètre est développée. Ensuite, une application expérimentale sur un convertisseur DC-DC et une batterie nous a permis de valider la procédure de mesure. La troisième partie s'est focalisée sur l'optimisation du filtre de CEM. Le modèle fréquentiel développé dans la première partie est intégré dans une boucle d'optimisation basée sur un algorithme génétique. L'optimisation inclus plusieurs critères dans sa fonction objective qui sont l'augmentation de la capacité du filtre à réduire les émissions EM, la diminution des pertes supplémentaires due à l'utilisation du filtre et finalement le gain du filtre dans la bande de fréquence du signal audio. Cette étude est poursuivie par une validation expérimentale. La quatrième et la dernière partie étudie et quantifie les impacts du filtre de CEM sur la qualité audio de l'amplificateur. En effet, le filtre de CEM est l'un des chemins propagation du signal audio. Par suite, tout comportement non linéaire du filtre conduit à la distorsion du signal audio. Pour cela, cette partie est dédiée à la modélisation et la simulation des composants passifs contenant un matériau magnétique. En particulier, l'étude s'est focalisée sur la modélisation des perles de ferrite en utilisant le modèle de matériaux magnétiques Jiles-Aterthon. Les résultats de simulations sont comparés avec la mesure dans le domaine temporel et fréquentiel. En plus, le calcul du taux de distorsion harmonique nous a permis de valider le modèle sur une large plage d'amplitude. / Switching power management circuits are widely used in battery powered embedded applications in order to increase their autonomy. In particular, for audio applications, Class-D amplifiers are a widespread industrial solution. These, have a similar architecture of a buck converter but having the audio signal as reference. The switching nature of these devices allows us to increase significantly the power efficiency compared to linear audio amplifiers without reducing the audio quality. However, because of the switching behavior, Class-D amplifiers have high levels of electromagnetic (EM) emissions which can disturb the surrounding electronics or might not comply with electromagnetic compatibility (EMC) standards. To overcome this problem much architecture appeared in the state of the art that reduces the emissions, however, this has never been enough to remove electromagnetic interference (EMI) filters. It is then useful to optimize these filters, thus, it has been set as the goal of this PhD thesis. The latter has been divided to four main axes which can be resumed by the following. First, this work started by developing a frequency domain modeling method in order to simulate and predict the EMI of Class-D amplifiers in the final application. The method is based on system to block decomposition and impedance matrix modeling and manipulation. After providing all the theoretical background, the method has been validated on integrated differential Class-D amplifier. The experimental measurements have permitted to validate the method only up to 100MHz. However, this is sufficient to cover the conducted EMC frequency band. Second, the EMI at the supply rails of Class-D amplifiers has been treated. As the battery is often the same power supply for all applications in an embedded system, an EMI filter or a decoupling capacitor is needed to prevent the noise coupling by common impedance. Designing this filter needs the knowledge of the battery impedance at the desired frequencies. Therefore the present work dealt also with measuring the high frequency impedance of a battery. Afterwards, an experimental validation has been carried on with a DC-DC converter and a Class-D amplifier. The developed model allows a virtual test of the switching device in the final application. However, it is more useful if the model is able to help the system integrator in designing filters. Thus, third, the model has been implemented in an optimization loop based on a genetic algorithm in order to optimize the filter response, and also, reduce the additional power losses introduced by an EMI filter. The optimization search space has been limited to the components available on the market and the optimization result is given as component references of the optimal filter referring to the optimal solution found. This procedure has been validated experimentally. Finally, EMI filters often are constituted by magnetic components such as ferrite beads or inductors with magnetic cores. Thus, introducing the EMI filter in the audio path, adds a nonlinear behavior in the audio frequency band. Designing a high quality EMI filter require taking into account this phenomenon and studying its impact of the original amplifier audio performance. Therefore, the Jiles-Atherton model for magnetic materials has been used for ferrite bead modeling. Hereafter, the impact on the time and frequency domain signals has been simulated and compared to measurements. Finally, the total harmonic distortion (THD) has been computed for different signal amplitudes and compared to the THD measured using an audio analyzer. Accurate results have been obtained on a wide range of signal amplitudes. As a conclusion, this work aimed to design optimal EMI filters for Class-D amplifiers. Thus, we dealt with improving their EMI response, reducing their additional power losses and evaluating their impact on the audio quality.

AspectFun是一個語法近似Haskell語言的函數式剖面導向語言。本論文中探討AspectFun在模組化型態擴充以及泛型程式設計上可扮演的角色。研究首先比較剖面與Haskell語言的type class在處理型態擴充需求議題的可行性，型態擴充議題我們以著名的Expression Problem作為代表(程式語言機制如何確保程式在擴充資料與運算函數的過程中，不需要修改舊有的程式碼，並能確保程式的型態安全)。 我們接著會探討剖面如何以模組化方式實現泛型程式設計。泛型程式設計是指函數接收一額外的型態引數，且函數所執行的運算是依據此型態引數結構來進行的。型態引數是用來表示函數所處理的引數或其回傳值型態為何，但型態引數在函數定義中可能是明確定義的或者隱含的。在此研究中會展示以剖面實現的泛型程式設計更優於使用type class。此外，本研究為使AspectFun可以實現泛型程式設計方法，亦在AspectFun擴充了Existential types與多型互遞迴函數。 / AspectFun is an aspect-oriented functional language with a Haskell-like syntax. This thesis present an study on modular type extension and generic programming using AspectFun. First, we compare the feasibility of using aspects and Haskell's type classes to address the type extension requirements as stated in the famous expression problem (which calls for language mechanisms that can support type-safe program extension in both the dimensions of data types and associated operations, yet neither code duplication nor code rewriting is required.) Second, we investigate how to use aspects to support generic programming in amodular manner. Generic programming means a form of programming in which a function takes a type as argument, and its behavior depends upon the structure of this type. The type argument, which may be explicit or implicit, represents the type of values to which the function is applied, or which the function returns. We show that aspects can do better than type classes in supporting generic programming. In particular, we extend AspectFun with existential types and polymorphic mutual recursion to achieve such a result.