Étant donne un mélange de plusieurs signaux sources, par exemple un morceau et plusieurs instruments, ou un entretien radiophonique et plusieurs interlocuteurs, la séparation de source mono-canal consiste a' estimer chacun des signaux sources a' partir d'un enregistrement avec un seul microphone. Puisqu'il y a moins de capteurs que de sources, il y a a priori une infinité de solutions sans rapport avec les sources originales. Il faut alors trouver quelle information supplémentaire permet de rendre le problème bien pose. Au cours des dix dernières années, la factorisation en matrices positives (NMF) est devenue un composant majeurs des systèmes de séparation de sources. En langage profane, la NMF permet de d'écrire un ensemble de signaux audio a ́ partir de combinaisons d' éléments sonores simples (les atomes), formant un dictionnaire. Les systèmes de séparation de sources reposent alors sur la capacité a trouver des atomes qui puissent être assignes de fa con univoque 'a chaque source sonore. En d'autres termes, ils doivent être interprétables. Nous proposons dans cette thèse trois contributions principales aux méthodes d'apprentissage de dictionnaire. La première est un critère de parcimonie par groupes adapte a la NMF lorsque la mesure de distorsion choisie est la divergence d'Itakura-Saito. Dans la plupart des signaux de musique on peut trouver de longs intervalles ou' seulement une source est active (des soli). Le critère de parcimonie par groupe que nous proposons permet de trouver automatiquement de tels segments et d'apprendre un dictionnaire adapte a chaque source. Ces dictionnaires permettent ensuite d'effectuer la tache de séparation dans les intervalles ou' les sources sont mélangées. Ces deux taches d'identification et de séparation sont effectuées simultanément en une seule passe de l'algorithme que nous proposons. Notre deuxième contribution est un algorithme en ligne pour apprendre le dictionnaire a grande échelle, sur des signaux de plusieurs heures, ce qui était impossible auparavant. L'espace mémoire requis par une NMF estimée en ligne est constant alors qu'il croit linéairement avec la taille des signaux fournis dans la version standard, ce qui est impraticable pour des signaux de plus d'une heure. Notre troisième contribution touche a' l'interaction avec l'utilisateur. Pour des signaux courts, l'apprentissage aveugle est particulièrement difficile, et l'apport d'information spécifique au signal traite est indispensable. Notre contribution est similaire à l'inpainting et permet de prendre en compte des annotations temps-fréquence. Elle repose sur l'observation que la quasi-totalite du spectro- gramme peut être divise en régions spécifiquement assignées a' chaque source. Nous d'éecrivons une extension de NMF pour prendre en compte cette information et discutons la possibilité d'inférer cette information automatiquement avec des outils d'apprentissage statistique simples.

Cette thèse se déroule dans le cadre d'une étude sur la séparation de sources audio dans un milieu réverbérant. Cette étude est menée par l'ENST d'une part et FTR&D (Lannion) d'autre part.<br /><br />Dans le cadre de notre étude nous avons montré comment effectuer la séparation de sources audio en utilisant une méthode basée sur des algorithmes de décomposition modale (EMD ou ESPRIT). Les avantages de cette approche résident dans le fait qu'elle permet de traiter le cas des mélanges instantanés et convolutifs, et elle nous permet en particulier, de traiter le cas sous-déterminé. Cette approche se base sur le fait que les signaux audio (et particulièrement les signaux musicaux) peuvent être bien modélisés localement par une somme de signaux périodiques. Ces signaux seront donc décomposés en utilisant les algorithmes de décomposition modale et recombinés par classification suivant leurs directions spatiales regroupant ainsi les composantes de chacune des sources. Cette méthode peut être utilisée dans le cas du mélange convolutif sur-déterminé, en lui conjuguant une décomposition en valeurs et vecteurs propres et un critère de parcimonie approprié.<br /><br />Toujours dans le cadre de cette thèse, nous avons montré comment effectuer la séparation de mélange instantané de sources audio dans le cas sous-déterminé en utilisant la propriété de parcimonie des signaux audio dans le domaine temps-fréquence. Nous proposons deux méthodes utilisant différentes transformées dans le domaine temps-fréquence. La première utilise les distributions temps-fréquence quadratiques DTFQ (ou STFD pour "Spatial Time Frequency Distribution"), la deuxième utilise la transformée de Fourier à court terme TFCT (ou STFT pour "Short Time Fourier Transform"). Ces deux méthodes supposent que les sources sont disjointes dans le domaine temps-fréquence ; c'est à dire qu'une seule source est présente dans chaque point temps-fréquence. Nous proposons ensuite de relâcher cette contrainte on supposant que les sources ne sont pas forcément disjointes dans le domaine temps-fréquence. En particulier, le nombre de sources présentent en un point temps-fréquence doit être strictement inférieur au nombre de capteur. Pour effectuer la séparation dans ce cas de figure, on utilise la projection en sous-espace qui permet d'identifier les sources présentent dans chaque point temps-fréquence et de déterminer la valeur correspondante à chaque source. Une contribution sous-jacente est celle d'une nouvelle méthode d'estimation de la matrice de mélange dans le cas sous-déterminé.<br /><br />Dans le même esprit, nous avons introduit une approche basée sur la transformation dans le domaine temps-fréquence pour résoudre le problème de séparation de mélange convolutif de sources audio dans le cas sous-déterminé. Cette approche nécessite une pré estimation du canal de mélange qui sera réalisée en exploitant la propriété de parcimonie temporelle des signaux audio et la structure des canaux acoustiques.<br /><br />Nous avons exploité aussi la propriété de parcimonie des signaux audio dans le domaine temporel. Nous avons proposé une méthode itérative utilisant une technique du gradient relatif qui minimise une fonction de contraste basée sur la norme Lp. Cette norme pour p < 2 (ou même p < 1) est considérée comme une bonne mesure de parcimonie. Les simulations prouvent que la méthode proposée surpasse d'autres méthodes basées sur l'indépendance de source.<br /><br />Pour Finir, nous nous sommes intéressés à une méthode itérative de séparation de sources utilisant les statistiques d'ordre deux (SOS pour Second Ordre Statistics). Les statistiques d'ordre deux des données observées s'avèrent suffisantes pour séparer des sources mutuellement non corrélées à condition que les vecteurs de corrélation temporelles des sources considérés soient linéairement indépendants par paires. En appliquant une technique de gradient naturel, on déduit un algorithme itératif qui possède un certain nombre de propriétés attrayantes, comme sa simplicité et sa généralisation aux cas adaptatifs ou convolutifs. Nous proposons aussi une analyse de performances asymptotique de cet algorithme qui sera validée par plusieurs simulations.

Cette thèse s'inscrit dans une thématique pluridisciplinaire explorant les liens existants entre la théorie de la commande et les réseaux informatiques. L'idée consiste à appliquer les outils de l'Automatique pour la stabilisation du trafic dans les réseaux de communication. Premièrement, nous nous sommes intéressés à l'analyse de stabilité des systèmes à retards variables au travers de deux approches temporelles. D'une part, nous avons considéré la méthode de Lyapunov-Krasovskii dans laquelle nous avons élaboré des fonctionnelles en adéquation avec de nouvelles modélisations du système (segmentation du retard, dérivée temporelle). D'autre part, la stabilité a également été abordée avec une approche entrée-sortie, empruntant alors les outils de l'analyse robuste. Le système à retard est alors réécrit comme l'interconnexion d'une application linéaire avec une matrice constituée d'opérateurs définissant le système original. Après avoir revisité le principe de séparation quadratique, nous développons des opérateurs auxiliaires afin de caractériser au mieux la dynamique retardée et proposer des critères moins pessimistes. Deuxièmement, la méthodologie développée est ensuite utilisée pour le problème de contrôle de congestion d'un routeur lors de communications TCP. Ce protocole de bout en bout est sensible à la perte de paquet et modifie en conséquence son taux d'émission selon l'algorithme du AIMD. Il s'agit alors de commander le taux de perte par l'intermédiaire d'un mécanisme d'Active Queue Management situé au niveau du routeur afin de réguler le trafic. Les résultats théoriques sont ensuite évalués à l'aide du simulateur de réseaux NS-2.

Dans le domaine de la tomographie par rayons X préclinique, la tomographie spectrale est une voie de plus en plus en plus explorée. Les objectifs de la tomographie spectrale sont tant la caractérisation et la quantification des tissus et agents de contraste que l'amélioration de contraste entre tissus mous. Cela passe par l'exploitation de l'information spectrale (ou énergétique) des photons X et non plus seulement par la quantité de rayons X détectée comme en tomographie standard par absorption de rayons X. L'intérêt de la tomographie spectrale se trouve renforcé par l'arrivée des caméras à comptage comme le détecteur à pixels hybrides XPAD3 qui ont la capacité de sélectionner les photons X en fonction de leur énergie. Ce détecteur a été développé pour fonctionner dans le micro-tomodensitomètre PIXSCAN construit au CPPM. Dans ce contexte, cette thèse a deux buts~: participer à la construction du prototype PIXSCAN et y effectuer une preuve de concept de la tomographie spectrale. Le premier but est rempli grâce au développement de l'interface d'acquisition du PIXSCAN. Le second est atteint par l'implantation de la méthode de séparation de composantes dont le but est d'isoler les contributions photoélectrique, Compton et celles des agents de contraste. Ce travail débute par la caractérisation de cette méthode et se termine par sa démonstration sur données réelles acquises à l'aide du prototype PIXSCAN.

Ce travail de thèse porte sur l'analyse et le traitement des signaux ultrasonores pour la caractérisation de l'os cortical. La première partie est dédiée à l'analyse des signaux acquis par un prototype de sonde de transmission axiale à 1 MHz. Nous montrons qu'une contribution arrivant après le premier signal présente un intérêt pour la caractérisation ultrasonore de l'os cortical. En effet, cette contribution évaluée sur des radius humains in vitro est associée à une onde de flexion propagée dans l'os qui est dépendante de l'épaisseur corticale. L'analyse de cette contribution a nécessité le développement d'une technique de séparation d'ondes. Cette contribution étant plus basse fréquence que le premier signal et associée à un mode de propagation différent, nous montrons ainsi qu'une analyse plus poussée du signal peut permettre une approche multi-modes/multi-fréquences. Dans une seconde partie, nous montrons l'intérêt de l'évaluation de l'atténuation ultrasonore pour la caractérisation de l'os cortical. Lors d'une étude expérimentale in vitro sur des échantillons corticaux bovins, nous montrons la dépendance d'un paramètre d'atténuation aux propriétés osseuses et à la micro-structure. De plus, ce paramètre semble plus sensible aux propriétés osseuses que ne l'est la vitesse de l'onde longitudinale. Ainsi, l'atténuation évaluée en complément de la vitesse pourrait permettre de caractériser de manière plus complète l'os cortical

La vérification déductive de programmes consiste à annoter des programmes par une spécification, c'est-à-dire un ensemble de formules logiques décrivant le comportement du programme, et à prouver que les programmes vérifient bien leur spécification. Des outils tels que la plate-forme Why prennent en entrée un programme et sa spécification et calculent des formules logiques telles que, si elles sont prouvées, le programme vérifie sa spécification. Ces formules logiques peuvent être prouvées automatiquement ou à l'aide d'assistants de preuve.Lorsqu'un programme est écrit dans un langage supportant les alias de pointeurs, c'est-à-dire si plusieurs variables peuvent désigner la même case mémoire, alors le raisonnement sur le programme devient particulièrement ardu. Il est nécessaire de spécifier quels pointeurs peuvent être égaux ou non. Les invariants des structures de données, en particulier, sont plus difficiles à vérifier.Cette thèse propose un système de type permettant de structurer la mémoire de façon modulaire afin de contrôler les alias de pointeurs et les invariants de données. Il est basé sur les notions de région et de permission. Les programmes sont ensuite interprétés vers Why de telle façon que les pointeurs soient séparés au mieux, facilitant ainsi le raisonnement. Cette thèse propose aussi un mécanisme d'inférence permettant d'alléger le travail d'annotation des opérations de régions introduites par le langage. Un modèle est introduit pour décrire la sémantique du langage et prouver sa sûreté. En particulier, il est prouvé que si le type d'un pointeur affirme que celui-ci vérifie son invariant, alors cet invariant est effectivement vérifié dans le modèle. Cette thèse a fait l'objet d'une implémentation sous la forme d'un outil nommé Capucine. Plusieurs exemples ont été écrits pour illustrer le langage, et ont été vérifié à l'aide de Capucine.

Inventées au milieu des années 1980, nous assistons actuellement au développement à grande échelle des interfaces tactiles multipoints. Par comparaison avec la souris, les écrans multipoints nécessitent un nouveau processus d'étude afin de comprendre les changements apportés par cette technologie. Le travail déjà effectué avec d'autres périphériques d'entrée doit être repris à zéro afin de formuler de nouvelles théories pour la création d'interfaces tactiles multipoints. La manipulation à trois dimensions (3-D) d'un objet nécessite le contrôle de six degrés de liberté. Trois sont responsables de la position de l'objet et trois contrôlent son orientation. Dans ce mémoire, nous nous focalisons sur la manipulation 3-D d'un objet à l'aide de surfaces tactiles multipoints. Plus précisément, nous avons étudié le lien entre le périphérique d'entrée (ici la surface multipoint) et la tâche à effectuer (ici la manipulation 3-D). En premier lieu, nous avons introduit une taxonomie pour la représentation des techniques d'interaction 3-D spécifiques aux écrans multipoints. Cette taxonomie nous a permis de mettre en avant l'influence des stratégies de conception des techniques en termes d'intégration de degrés de liberté. Par la suite, nous avons mené une étude concernant les techniques d'interactions permettant le positionnement 3-D d'un objet. Nous avons présenté deux nouvelles techniques, tirant profit des capacités offertes par les écrans multipoints. L'évaluation de ces techniques nous révéla des conclusions quant à la coordination de l'utilisateur dans la réalisation de la tâche. Enfin, nous avons introduit une nouvelle technique d'interaction de manipulation 3-D. Cette technique a été évaluée plus rapide que les techniques existantes et nous avons pu déterminer les raisons expliquant cette performance accrue. Ces travaux, qui s'intéressent à la coordination de l'utilisateur lors de la réalisation de tâches 3-D à l'aide de surfaces multipoints, recommandent une approche favorisant la séparation des degrés de liberté, dans le but de pouvoir paralléliser les actions de l'utilisateur afin de tirer profit de la bande passante d'entrée plus importante offerte par les écrans multipoints.

Selon Jean-Louis Leutrat, « les larmes sont un sujet éminemment cinématographique ». Art de l'image en mouvement, le cinéma ouvre la voie à une « dynamique» des larmes. Au cinéma, les larmes coulent dans l’image : elles apparaissent, se forment et se transforment. Connues pour leur faculté de purification, d'échange et d'union, les larmes permettent aux gens de communiquer leur désir d'être accueillis les uns dans les autres. Ainsi, dans le mélodrame, les larmes coulent afin de combattre la difficulté d'être en contact avec « l'autre ». Douglas Sirk, maître du mélodrame hollywoodien fait des larmes un moyen d'expression contre une stratégie qui caractérise son style, la séparation. Entre le besoin des personnages d'établir une union et une stratégie dominante de la séparation dans les films, une dynamique des larmes s'établit au cœur d'une tension entre l'union et la séparation. Dévoilement. communion, conversion, sont les trois étapes de la dynamique qui s'engendre. Avec son refus de montrer des larmes « réelles» pour des raisons éthiques, Krzysztof Kieslowski aggrave la tension entre la séparation dans un monde qui représente la « modernité », et l'écoulement des larmes. Il procure, en plus, à celles-ci une profondeur esthétique et leur donne différentes formes. Dans un cas plus extrême, Ingmar Bergman, à travers son style, interdit à ses personnages de verser des larmes, par peur de décoller le masque qui les protège du néant habitant leur monde. Les larmes touchent à une situation critique, elles appellent à l'union, tout en comportant le danger d'anéantissement. / According to Jean-Louis Leutrat, "tears are a highly cinematic subject". As an art of image in movement, cinema may attribute to tears a certain "dynamic". In cinema, the tears flow in the picture: they appear. are formed and transformed. Known for their ability of purification, exchange and union, tears allow people to communicate their desire to be received one in another. Hence, in Melodrama, tears flow to face the difficulty of getting in touch with the "ether". Douglas Sirk, the master of Melodrama in Hollywood, makes of tears a means of expression against a strategy that characterizes his style, the strategy of separation. Between the need to establish a union, and a dominant strategy of separation, a dynamic of tears is born in the core of the strength between union and separation. Unveiling, communion, conversion, are the three stages of the produced dynamic. In his approach of denying "real" tears for ethical reasons. Krzysztof Kieslowski increases the tension between separation in a "modern" world and the flow of tears, while providing them a more aesthetical depth and different forms. More extremely, Ingmar Bergman, through his style, prevents his characters from shedding tears, by fear of taking off the mask that protects them from the nothingness that haunts their world. Tears reach a critical state; they call for the union, while featuring the danger of annihilation.

L’estimation et la localisation de sources sont des problèmes centraux en traitement d’antenne, en particulier en télécommunication, sismologie, acoustique, ingénierie médicale ou astronomie. Une antenne de capteurs est un système d’acquisition composé par de multiples capteurs qui reçoivent des ondes en provenance de sources de directions différentes: elle échantillonne les champs incidents en espace et en temps.Pour cette raison, des techniques haute résolution comme MUSIC utilisent ces deux éléments de diversité, l’espace et le temps, afin d’estimer l’espace signal engendré par les sources incidentes, ainsi que leur direction d’arrivée. Ceci est généralement atteint par une estimation préalable de statistiques de deuxième ordre ou d’ordre supérieur, comme la covariance spatiale de l’antenne, qui nécessitent donc de temps d’observation suffisamment longs.Seulement récemment, l’analyse tensorielle a été appliquée au traitement d’antenne, grâce à l’introduction, comme troisième modalité (ou diversité), de la translation en espace d’une sous-antenne de référence, sans faire appel à l’estimation préalable de quantités statistiques.Les décompositions tensorielles consistent en l’analyse de cubes de données multidimensionnelles, au travers de leur décomposition en somme d’éléments constitutifs plus simples, grâce à la multilinéarité et à la structure de rang faible du modèle sous-jacent.Ainsi, les mêmes techniques tensorielles nous fournissent une estimée des signaux eux-mêmes, ainsi que de leur direction d’arrivée, de façon déterministe. Ceci peut se faire en vertu du modèle séparable et de rang faible vérifié par des sources en bande étroite et en champs lointain.Cette thèse étudie l’estimation et la localisation de sources par des méthodes tensorielles de traitement d’antenne.Le premier chapitre présente le modèle physique de source en bande étroite et en champs lointain, ainsi que les définitions et hypothèses fondamentales. Le deuxième chapitre passe en revue l’état de l’art sur l’estimation des directions d’arrivée, en mettant l’accent sur les méthodes haute résolution à sous-espace. Le troisième chapitre introduit la notation tensorielle, à savoir la définition des tableaux de coordonnées multidimensionnels, les opérations et décompositions principales. Le quatrième chapitre présente le sujet du traitement tensoriel d’antenne au moyen de l’invariance par translation.Le cinquième chapitre introduit un modèle tensoriel général pour traiter de multiples diversités à la fois, comme l’espace, le temps, la translation en espace, les profils de gain spatial et la polarisation des ondes élastiques en bande étroite.Par la suite, les sixième et huitième chapitres établissent un modèle tensoriel pour un traitement d’antenne bande large cohérent. Nous proposons une opération de focalisation cohérente et séparable par une transformée bilinéaire et par un ré-échantillonnage spatial, respectivement, afin d’assurer la multilinéarité des données interpolées.Nous montrons par des simulations numériques que l’estimation proposée des paramètres des signaux s’améliore considérablement, par rapport au traitement tensoriel classique en bande étroite, ainsi qu’à MUSIC cohérent bande large.Egalement, tout au long de la thèse, nous comparons les performances de l’estimation tensorielle avec la borne de Cramér-Rao du modèle multilinéaire associé, que nous développons, dans sa forme la plus générale, dans le septième chapitre. En outre, dans le neuvième chapitre nous illustrons une application à des données sismiques réelles issues d’une campagne de mesure sur un glacier alpin, grâce à la diversité de vitesse de propagation.Enfin, le dixième et dernier chapitre de cette thèse traite le sujet parallèle de la factorisation spectrale multidimensionnelle d’ondes sismiques, et présente une application à l’estimation de la réponse impulsionnelle du soleil pour l’héliosismologie. / Source estimation and localization are a central problem in array signal processing, and in particular in telecommunications, seismology, acoustics, biomedical engineering, and astronomy. Sensor arrays, i.e. acquisition systems composed of multiple sensors that receive source signals from different directions, sample the impinging wavefields in space and time. Hence, high resolution techniques such as MUSIC make use of these two elements of diversities: space and time, in order to estimate the signal subspace generated by impinging sources, as well as their directions of arrival. This is generally done through the estimation of second or higher orders statistics, such as the array spatial covariance matrix, thus requiring sufficiently large data samples. Only recently, tensor analysis has been applied to array processing using as a third mode (or diversity), the space shift translation of a reference subarray, with no need for the estimation of statistical quantities. Tensor decompositions consist in the analysis of multidimensional data cubes of at least three dimensions through their decomposition into a sum of simpler constituents, thanks to the multilinearity and low rank structure of the underlying model. Thus, tensor methods provide us with an estimate of source signatures, together with directions of arrival, in a deterministic way. This can be achieved by virtue of the separable and low rank model followed by narrowband sources in the far field. This thesis deals with source estimation and localization of multiple sources via these tensor methods for array processing. Chapter 1 presents the physical model of narrowband elastic sources in the far field, as well as the main definitions and assumptions. Chapter 2 reviews the state of the art on direction of arrival estimation, with a particular emphasis on high resolution signal subspace methods. Chapter 3 introduces the tensor formalism, namely the definition of multi-way arrays of coordinates, the main operations and multilinear decompositions. Chapter 4 presents the subject of tensor array processing via rotational invariance. Chapter 5 introduces a general tensor model to deal with multiple physical diversities, such as space, time, space shift, polarization, and gain patterns of narrowband elastic waves. Subsequently, Chapter 6 and Chapter 8 establish a tensor model for wideband coherent array processing. We propose a separable coherent focusing operation through bilinear transform and through a spatial resampling, respectively, in order to ensure the multilinearity of the interpolated data. We show via computer simulations that the proposed estimation of signal parameters considerably improves, compared to existing narrowband tensor processing and wideband MUSIC. Throughout the chapters we also compare the performance of tensor estimation to the Cramér-Rao bounds of the multilinear model, which we derive in its general formulation in Chapter 7. Moreover, in Chapter 9 we propose a tensor model via the diversity of propagation speed for seismic waves and illustrate an application to real seismic data from an Alpine glacier. Finally, the last part of this thesis in Chapter 10 moves to the parallel subject of multidimensional spectral factorization of seismic ways, and illustrates an application to the estimation of the impulse response of the Sun for helioseismology.

L’objectif de cette thèse est de développer des méthodes de décomposition des signaux électromyographiques (EMG) en signaux élémentaires, les trains de potentiels d’action d’unité motrice (TPAUM). Nous avons proposé deux modèles de génération des signaux et nous avons mis en évidence la propriété de cyclostationnarité et de cyclostationnarité floue de ces deux modèles. Dans l’objectif de la décomposition, nous avons enfin proposé une méthode de décomposition aveugle à partir de signaux EMG multi-capteurs en utilisant cette propriété. Nous présentons les limitations théoriques de la méthode, notamment par un seuil limite de la fréquence de décharge. Nous avons effectué une évaluation des performances de la méthode proposée avec comparaison à une méthode classique de séparation à l’ordre 2.Il a été montré que l’exploitation de la propriété de cyclostationnarité apportait de meilleures performances de séparation dans le cas bruité et non bruité, sur le modèle cyclostationnaire et sur le modèle cyclostationnaire flou. Les performances se trouvent dégradées lorsque la fréquence de décharge dépasse le seuil théorique. Cette évaluation a été réalisée au moyen de simulations de Monte-Carlo construites sur des observations réelles. Enfin, la méthode appliquée sur des données réelles a montré de bons résultats sur des signaux EMG intramusculaires. / The aim of this thesis is to develop decomposition methods of electromyographic (EMG) signals into elementary signals, called motor unit action potential trains (MUAPT). We proposed two signal generation models and we have demonstrated the cyclostationary and fuzzy cyclostationary properties of these. We finally proposed a blind decomposition method from multi-sensor EMG signals using these properties. We present the theoretical limitations of the method, in particular the existence of a limiting threshold of the discharge frequency. We conducted a performance evaluation of the proposed method with a comparison with conventional 2nd order separation method. It has been shown that the contribution of cyclostationarity property brings better performance in noisy and noiseless cases and in the cyclostationary and fuzzy cyclostationary model cases. We highlighted a performance degradation when the discharge frequency was beyond the theoretical threshold. This evaluation was performed via Monte Carlo simulations based on real observations. Finally, we presented real EMG signals results. The method has shown good results on intramuscular EMG signals.