Traitement De Signal

Un ensemble materiel et logiciel constitue une maquette prefigurant un systeme plus complet pour la creation musicale a l’aide de l’ordinateur. Les justifications theoriques de ce systeme sont presentees et situees dans le cadre plus general de l’informatique musicale. Ce systeme utilise un procede de synthese sonore par simulation des mecanismes instrumentaux. L’environnement materiel de la maquette est construit autour d’un mini-ordinateur et d’un peripherique « temps-reel » specialise pour ce procede de synthese particulier. L’environnement logiciel resulte essentiellement de l’implantation d’un langage specifique dont on donne les caracteristiques.

Ce travail concerne les fluctuations électrochimiques de tension des batteries Li-ion, communément appelées bruit électrochimique.L'idée est d'utiliser la mesure de bruit électrochimique en fonctionnement pour générer, via du traitement de signal, des descripteurs statistiques permettant de caractériser le SOH (état de santé). L'objectif consiste à développer une méthode innovante de diagnostic non intrusif permettant de compléter les méthodes traditionnelles (impédancemétrie,...).DCNS St-Tropez a participé et compte développer cette approche dans le cadre d'une application d'alimentation d'armes sous-marines, qui nécessite un très haut niveau de sécurité et de fiabilité. La mesure de bruit des batteries Li-ion est difficile à cause des très bas niveaux du signal et nécessite des appareils performants. Nous avons installé une chaîne de mesure permettant d'acquérir les fluctuations de tension en décharge. Puis nous avons extrait le bruit grâce à une méthod...

Ce travail concerne les fluctuations de tension des batteries Li-ion, communement appelees bruit electrochimique. L’idee est d’utiliser la mesure du bruit electrochimique d’une batterie en fonctionnement pour generer, via traitement de signal, des descripteurs statistiques permettant de caracteriser le SOH (etat de sante du systeme). L’objectif consiste a developper une methode innovante de diagnostic non perturbant permettant de completer les methodes traditionnelles (impedancemetrie, courbe de decharge, . . . ). DCNS St-Tropez a participe et compte utiliser cette approche dans le cadre d’une application d’alimentation d’armes sous-marines, qui necessite un tres haut niveau de securite et de fiabilite. La mesure de bruit des batteries Li-ion est difficile a cause des tres bas niveaux du signal et necessite des appareils performants. Nous avons developpe une chaine de mesure permettant d’acquerir les fluctuations de tension des batteries en fonctionnement sans filtrage. Nous extrayi...

Ce travail concerne les fluctuations électrochimiques de tension des batteries Li-ion, communément appelées bruit électrochimique.L'idée est d'utiliser la mesure de bruit électrochimique en fonctionnement pour générer, via du traitement de signal, des descripteurs statistiques permettant de caractériser le SOH (état de santé). L'objectif consiste à développer une méthode innovante de diagnostic non intrusif permettant de compléter les méthodes traditionnelles (impédancemétrie,...).DCNS St-Tropez a participé et compte développer cette approche dans le cadre d'une application d'alimentation d'armes sous-marines, qui nécessite un très haut niveau de sécurité et de fiabilité. La mesure de bruit des batteries Li-ion est difficile à cause des très bas niveaux du signal et nécessite des appareils performants. Nous avons installé une chaîne de mesure permettant d'acquérir les fluctuations de tension en décharge. Puis nous avons extrait le bruit grâce à une méthod...

Ce travail concerne les fluctuations de tension des batteries Li-ion, communement appelees bruit electrochimique. L’idee est d’utiliser la mesure du bruit electrochimique d’une batterie en fonctionnement pour generer, via traitement de signal, des descripteurs statistiques permettant de caracteriser le SOH (etat de sante du systeme). L’objectif consiste a developper une methode innovante de diagnostic non perturbant permettant de completer les methodes traditionnelles (impedancemetrie, courbe de decharge, . . . ). DCNS St-Tropez a participe et compte utiliser cette approche dans le cadre d’une application d’alimentation d’armes sous-marines, qui necessite un tres haut niveau de securite et de fiabilite. La mesure de bruit des batteries Li-ion est difficile a cause des tres bas niveaux du signal et necessite des appareils performants. Nous avons developpe une chaine de mesure permettant d’acquerir les fluctuations de tension des batteries en fonctionnement sans filtrage. Nous extrayi...

Nous présentons dans ce papier deux nouveaux modèles de texture orientée, basés sur une nouvelle classe de champs gaussiens, appelés champs browniens fractionnaires localement anisotropes, à orientation locale prescrite en chaque point. Ces champs aléatoires sont une version locale d'une classe spécifique de champs anisotropes autosimilaires à incréments stationnaires. La simulation de telles textures s'appuie sur un nouvel algorithme couplant l'utilisation de la notion de champs tangents à la méthode de Cholesky ou plus récemment la méthode des bandes tournantes, cette dernière ayant prouvé son efficacité à générer des textures stationnaires anisotropes. Des applications numériques illustrent la faculté de la méthode à synthétiser des textures à orientation locale prescrite.

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Cette section présente et analyse les résultats de simulation obtenus à partir du modèle de suspension active développé sous Simscape/Simulink. Les réponses temporelles observées permettent d'évaluer le comportement dynamique du système face à une perturbation routière et de comparer les performances de la suspension passive et de la suspension active commandée.

En outre, sur une image, l'équation exacte d'une ellipse est rarement vérifiée, d'où la nécessité d'une transformée de Hough floue. Nous choisissons une fonction floue quadratique afin d'éviter les recouvrements trop importants des fonctions gaussiennes.

L'objectif de ce papier est de décrire une approche pour aborder la problématique induite par la nature hybride (statique + dynamique) des systèmes. En effet, étant donné un système dynamique, discret ou continu, et un ensemble K défini par un système de contraintes indépendantes du temps, il n'est pas certain qu'à partir d'un point initial x0, il existe une solution du système dynamique qui reste toujours dans K. On s'intéresse alors à l'ensemble des valeurs initiales de K à partir lesquels est issu au moins une solution qui ne sort jamais de K. Le plus grand sous-ensemble obtenu est appelé le "noyau de viabilité" de K et la transformation de K en V iab(K) est en fait un opérateur de propagation. Grâce à l'introduction de cette notion au travers d'une contrainte globale dans un solveur de contraintes en domaine fini, nous pouvons aborder certains problèmes hybrides définis par la combination d'un système de contraintes (classiques) et d'un système dynamique. ABSTRACT. This paper presents an approach to handle some problems arising in the modelling of hybrid systems combining static and dynamic. In the case of a discrete or continuous dynamic system, there is no particular condition forcing a solution of a differential inclusion starting from a point x0 to remain in a set K defined by a set of static constraints. We study the subsets of K containing only the points such that at least one solution starting from them will stay in K forever. The largest subset of K containing all such points is called the "viability kernel" of K, and the operator transforming K into V iab(K) is a propagation operator. This allows the notion of viability to be introduced as a global constraint which enables us to model certain hybrid problems defined as a combination of classic constraints with a dynamic system. MOTS-CLÉS : Programmation par contraintes, système hybride, théorie de la viabilité.

The widespread adoption of Brain-Computer Interfaces (BCIs) is fundamentally constrained by neural drift-the stochastic non-stationarity of electrophysiological signals over time-and the rigorous privacy requirements of Personal Health Information (PHI). Traditional centralized decoding architectures suffer from significant performance degradation due to covariate shifts (Ptrain(X) ̸ = Ptest(X)) and impose unsustainable engineering burdens for continuous recalibration. We propose the Federated Adaptive Neural Drift Compensation (FANDC) framework, a decentralized architecture that homogenizes neural manifolds across a distributed user base without raw data transmission. By coupling local drift detection algorithms (utilizing Kullback-Leibler divergence thresholds) with a privacy-preserving Federated Averaging protocol, FANDC achieves asymptotic convergence to a global optima while allowing for instantaneous local manifold alignment. We demonstrate theoretically that this hybrid approach minimizes the generalization error bound ϵgen more effectively than siloed transfer learning approaches while satisfying (ϵ, δ)-Differential Privacy guarantees.

Les travaux présentés dans ce mémoire ont été effectués au Laboratoire Ampère, à la fois à l'ECL et à l'INSA de Lyon. Je tiens tout particulièrement à remercier mes encadrants de thèse "Gérard SCORLETTI, Xavier BRUN, Paolo MASSIONI et Mohamed SMAOUI", qui m'ont accompagné tout au long de ma formation. Leurs disponibilités et leurs généreux secours au cours de certains de mes moments difficiles ont été d'une très grande qualité, et d'un immense réconfort. J'ai été extrêmement sensible à leurs qualités humaines d'écoute et de compréhension tout au long de ce travail doctoral. Je souhaiterais exprimer ma gratitude à Monsieur Marc JUNGERS, Chargé de recherche CNRS au CRAN (Nancy), et Monsieur Yann LE GORREC, Professeur à l'ENSMM Besançon, d'avoir accepter d'être rapporteurs de ces travaux, pour leur analyse soignée, ainsi que pour les remarques constructives émises dans leurs rapports. Que Monsieur Nacer K. M ?SIRDI, Professeur à Polytech' Marseille, qui m'a fait l'honneur de présider mon jury de thèse, soit vivement remercié. Je tiens à assurer toute ma reconnaissance à Monsieur Alexandre TROFINO, Professeur à l'UFSC Florianópolis (Brésil), pour avoir été membre de mon jury, pour toutes les discussions que nous avons eues et pour ses commentaires judicieux, lesquels m'ont permis d'affiner davantage certains aspects de ce travail. Je tiens à adresser mes plus vifs remerciements à Monsieur E. BIDEAUX, professeur à l'INSA de Lyon et mon encadrant de stage de Master GSA, pour ses conseils, son efficacité, ses connaissances et ses qualités humaines. Mes remerciements vont également à tous les membres du Laboratoire Ampère, en particulier

) implique l'accord avec les conditions générales d'utilisation (). Toute utilisation commerciale ou impression systématique est constitutive d'une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques

Ce chapitre introduit les filtres analogiques comme des circuits essentiels qui modifient le contenu fréquentiel d'un signal, afin d'atténuer le bruit ou de mettre en valeur des composantes utiles. Le comportement d'un filtre est caractérisé par sa fonction de transfert 𝑯(𝒑) ou 𝑯(𝒋𝝎) en régime sinusoïdal), qui est le rapport de la sortie sur l'entrée dans le domaine de Laplace. La Transformée de Laplace (TL) est présentée comme l'outil mathématique fondamental, permettant de passer du domaine temporel au domaine fréquentiel à travers des impédances opérationnelles. L'analyse des filtres repose sur la détermination de cette fonction de transfert, l'étude de la stabilité par la position des pôles et zéros dans le plan complexe (un système est stable si tous les pôles sont dans le demi-plan gauche), ainsi que l'analyse fréquentielle (diagramme de Bode) et la réponse temporelle. Les filtres sont classifiés selon leur réponse
fréquentielle (passe-bas, passe-haut, passe-bande, coupe-bande) , la technologie (passifs RLC ou actifs à ampli-op), et le type de réponse souhaitée (Butterworth, Chebyshev, Bessel, Elliptique). Enfin, la synthèse des filtres consiste à concevoir le circuit pour répondre aux
spécifications en choisissant une fonction de transfert et une famille de filtres, à travers des méthodes passives ou actives, souvent assistées par des outils logiciels.

Nous proposons de construire des composantes permettant de regulariser un Modele Lineaire Generalise Mixte (GL2M) multivarie. Un ensemble de reponses aleatoires Y est modelise par un GL2M, au moyen d'un ensemble X de variables explicatives, et d'un ensemble T de variables additionnelles. Les variables explicatives dans X sont supposees nombreuses et redondantes : il est donc necessaire de regulariser la regression lineaire generalisee mixte. A l'inverse, les variables de T sont supposees peu nombreuses et selectionnees de sorte a n'exiger aucune regularisation. La regularisation consiste ici a construire un nombre approprie de composantes orthogonales permettant tout a la fois une bonne modelisation de Y et l'extraction d'informations structurelles dans X. Pour cela, nous proposons d'inserer a chaque etape de l'algorithme de Schall permettant l'estimation d'un GL2M, l'optimisation d'un critere propre a SCGLR. Cette extension de la meth...

Un onduleur PWM synthétise une tension quasi-sinusoïdale à partir d'une source DC en commutant à une fréquence porteuse 𝑓 𝑐 élevée, ce qui génère un spectre à raies comprenant la fondamentale, des sous-produits autour des multiples de 𝑓 𝑐 , et des harmoniques liés au schéma de modulation. Ces composantes harmoniques se propagent vers le réseau et les charges, où elles augmentent la distorsion harmonique totale (THD), échauffent les équipements et peuvent exciter des résonances, d'où l'importance de la modélisation fréquentielle pour la conception de filtres et le diagnostic. Le formalisme Fourier permet de relier explicitement la forme temporelle (impulsions de largeur variable) au contenu fréquentiel (peignes autour de 𝑘𝑓 𝑐 et enveloppes sinc), ainsi que d'intégrer des transitoires non périodiques via la transformée continue.

L est très difficile d'écrire un très gros programme informatique sans laisser au moins une erreur à l'intérieur. Heureusement, les erreurs sont souvent soit facilement détectables (et donc vite corrigées), soit peu dangereuses. Il arrive hélas parfois qu'une erreur pouvant avoir des conséquences graves passe inaperçue lors des tests du programme. Ceci peut être particulièrement préoccupant lorsque l'erreur est localisée dans l'un des programmes ou des circuits qui effectuent les opérations arithmétiques en machine : en effet, ces programmes ou ces circuits sont utilisés très souvent, par de nombreux logiciels, et parfois dans ce qu'on appelle des applications « critiques », comme le contrôle d'un véhicule ou d'un processus potentiellement dangereux. Bien entendu, les erreurs dangereuses ne sont pas toutes arithmétiques, mais c'est sur celles-ci que nous nous concentrerons. Donnons quelques exemples particulièrement frappants d'erreurs récentes en arithmétique des ordinateurs. Dans la version 6.0 du système de calcul formel Maple, si on entrait : 21474836480413647819643794 la « quantité » affichée et mémorisée était : 413647819643790)+'-.(-.( L'opérateur de division de la première version du processeur Pentium d'Intel donnait parfois des résultats incorrects. Par exemple le calcul de 8391667/12582905 donnait 0.666869... au lieu de 0.666910... Ce problème a fait couler beaucoup d'encre en 1994. Il ne semble toutefois pas qu'il ait eu des conséquences graves… autrement que, peut-être, pour la carrière de l'ingénieur qui a commis la bévue. En 1998, à bord du navire lance-missiles américain USS Yorktown, un membre de l'équipage a par erreur tapé un « zéro » sur un clavier, au lieu d'une valeur non nulle. Ceci a provoqué une division par zéro. C'est d'habitude un problème bénin, mais visiblement le programmeur de l'application utilisée n'avait pas songé que ce problème pourrait arriver. Il s'en est suivi une cascade d'erreurs qui a fini par entraîner l'arrêt du système de propulsion du bateau. Il y a de nombreux autres exemples de systèmes donnant des résultats incorrects à cause d'une mauvaise implantation de l'arithmétique. Ne paniquons pas : de tels problèmes restent rares. Ils ne le sont toutefois pas assez pour que l'on puisse complètement les négliger.

This paper concerns a simplified 7 DOF model for car vertical vibrations. The classical 7 DOF of the considered 3D vertical model are: the vertical displacement (heave) zGC of the gravity center GC of the car body (sprung mass), the roll angle  of the car body, the pitch angle  of the car body, the vertical displacement z1 of the front right wheel center (front right wheel hop), the front left wheel hop z2 , the rear left wheel hop z3 and the rear right wheel hop z4 . Using the x-y-z sequence of rotations parameterization, the Euler’s rotation equations concerning the roll and pitch angle are easily obtained. Small differences are observed between our car body rotation equations concerning the two angles (pitch and roll) and the same equations provided by M. Demić, Đ. Diligenski, I. Demić, M. Demić, “A method of vehicle active suspension design”, Forschung im Ingenieurwesen (Engineering Research), vol. 70, no. 3, 2006, pp. 145-158. Concerning the other 5 dynamics equations of the ...

Je remercie tout particulièrement Monsieur Olivier Sentieys, Professeur des Universités à l'ENSSAT et responsable de l'équipe CAIRN, pour m'avoir accueilli dans son équipe de recherche et pour avoir accepter de diriger cette thèse. Je tiens à remercier également Monsieur Sébastien Roy, Professeur adjoint à l'Université Laval de Québec pour avoir accepté le co-encadrement de cette thèse et m'avoir accueilli dans son équipe de recherche pendant un an. Qu'ils soient assurés de ma gratitude. Je tiens également à remercier Monsieur Viktor Fischer pour avoir accepté de présider le jury de soutenance, Messieurs Bruno Rouzeyre et Russell Tessier pour avoir accepté de rapporter sur ce manuscrit et enn Monsieur Paul Fortier pour avoir accepté d'examiner ces travaux. Je tiens également à remercier Arnaud Tisserand pour ses conseils, sa rigueur et son ouverture scientique. Merci encore à Thomas Anger, Arnaud Carer, Rémi Pallas et Philippe Quéméré pour leur contribution dans le développement des circuits ASIC OCHRE. Que tous les membres de l'équipe CAIRN et le personnel de l'ENSSAT acceptent mes remerciements pour avoir contribué à rendre cette expérience enrichissante aussi bien sur le plan professionnel que personnel. Enn, mon dernier remerciement, mais non des moindres, à Caroline, pour avoir su me supporter durant ces trois dernières années. Recherche de la règle optimale d'un CA à 5 voisins .

La conception de tels systèmes intégrés, embarqués (System on Chip : SoC) et autonomes est alors un « challenge » que doivent relever les concepteurs afin de répondre à une série de contraintes : robustesse, fiabilité, sûreté, tolérances aux fautes, packaging, surface, consommation énergétique, coût et temps de développement. La criticité associée à chaque contrainte est variable en fonction des objectifs fonctionnels du système embarqué et des évolutions technologiques et applicatives. A cause des limites 1 P mon : puissance dissipée par le moniteur de batterie 2 P main sup : puissance dissipée par les alimentations numériques et analogiques. 3 P spkr : puissance dissipée par le locuteur. 4 P codec : puissance dissipée par la partie analogique du codec. Ce domaine inclut aussi le microphone et l'écran tactile. 5 P DRAM : puissance dissipée par la DRAM 6 P LCD : puissance dissipée par l'ecran LCD. 7 P main : puissance dissipée par les I/Os du processeur StrongARM SA-1100 et le reste de la logique numérique : mémoire flash, mémoire des cartes secondaires, interfaces séries, la partie numérique du codec, accéléromètre 2-axes, et les bouttons. 8 P core sup : puissance dissipée par l'alimentation du coeur du processeur. 9 P core : puissance dissipée par le coeur du processeur StrongARM SA-1100.

Summary : This requirement document presents the case study for the ABZ 2025
conference. The case study focuses on a safety controller for autonomous driving
on highways. The description includes two variants of the case study. First, in
the simpler scenario, we consider only a single-lane highway where each vehicle can
accelerate and brake. The goal is to maintain a safe distance from the vehicle ahead.
Second, we consider a multi-lane highway where each vehicle can also change lanes