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.

Nous abordons dans cette thèse le problème de la séparation de sources selon un angle novateur à de nombreux niveaux. Ces travaux associent deux domaines du traitement du signal jusqu'alors traités de manière disjointe, la séparation de source et le tatouage numérique. Le procédé mis en place au cours de ces travaux a pour but de permettre à un utilisateur "client" de séparer les différents signaux numériques sources composant un mélange audio à partir de ce seul mélange tatoué. Pour ce faire un marquage du signal est effectué par un utilisateur "fournisseur" avant la fixation du mélange sur son support numérique. Ce marquage consiste en l'insertion sur le signal lui-même d'informations utiles à la séparation, et ceci de façon imperceptible. Le tatouage peut, en principe, être inséré soit sur le mélange, soit sur les signaux sources, qui sont disponibles à l'utilisateur fournisseur. Deux systèmes composent donc ce procédé, un encodeur qui permet à l'utilisateur fournisseur de réaliser la phase de mélange et de marquage, et un décodeur qui permet à l'utilisateur client de contrôler la séparation à partir du mélange. Au cours de cette thèse, il est choisi de tatouer le signal de mélange. Une application cible particulièrement visée est le cas d'un mélange polyphonique (signal de musique) fixé sur un support CD audio. La séparation doit permettre à l'utilisateur client d'effectuer un certain nombre de contrôles (par exemple le volume sonore) sur les différentes composantes de la scène sonore (les différents instruments et voix).

À l’issue de ce travail de thèse, je propose une approche basée sur le formalisme des modèles à base de contraintes, pour étudier la dynamique d’un système métabolique. En associant l’échantillonnage de l’espace des solutions avec l’utilisation d’une contrainte de « faisabilité » entre les périodes de temps considérées, cette approche permet de modéliser la dynamique d’un système métabolique en prenant en compte la variabilité des mesures expérimentales. La contrainte de faisabilité entre les périodes permet de garantir que chaque « trajectoire solution » correspond à une succession de cartes de flux qui conduit à des cinétiques de concentrations cohérentes avec les mesures expérimentales. Les populations de trajectoires solutions générées autorisent différents types d’analyses. D’une part, les répartitions de flux prédites peuvent être utilisées afin d’estimer les répartitions de flux les plus plausibles au sein du réseau étudié. D’autre part, la distribution des concentrations prédites permet d’évaluer le modèle utilisé pour étudier le réseau métabolique. Le fait que cette approche soit basée sur le formalisme de la modélisation à base de contraintes permet, moyennant l’utilisation de l’hypothèse d’état stationnaire du système, d’étudier des réseaux métaboliques de taille relativement grande, et d’utiliser des données expérimentales qui sont aisément mesurables, par exemple les concentrations en biomasse et en métabolites extracellulaires. Cette approche par « trajectoires solutions » a été utilisée afin d’étudier la dynamique du métabolisme de Corynebacterium glutamicum, lorsqu’elle est cultivée en condition de limitation en biotine. Les résultats obtenus ont permis d’une part d’attester du fonctionnement de la méthode, et d’autre part de proposer plusieurs hypothèses quant aux phénomènes biologiques qui ont lieu pendant cette condition particulière de croissance. / In this thesis, I propose an approach based on the formalism of constraint-based models to study the dynamics of a metabolic system. By combining the sampling of the solutions space and the use of a "feasibility" constraint between the considered time periods, this approach allows to model the dynamic of a metabolic system taking into account the variability of experimental measurements. The feasibility constraint between time periods ensures that each "solution trajectory" corresponds to a succession of flux maps which leads to some kinetics of concentrations that are consistent with the experimental measurements. The generation of a population of solution trajectories allows several analyses. On the one hand, the predicted flux maps can be used to estimate the most plausible flux within the network studied. On the other hand, the distribution of predicted concentrations enables to assess the model used for studying the metabolic network. The fact that this approach is based on the formalism of constraint-based modeling allows, using the steady-state assumption of the system, to study metabolic networks of relatively large size, and to use experimental data that are easily measurable, such as biomass concentration and extracellular metabolites concentration. This approach by "solution trajectories" has been used to study the dynamics of the metabolism of Corynebacterium glutamicum, when grown under biotin-limited condition. The results allowed, first, to attest the functioning of the method, and second, to propose several hypotheses about biological phenomena that take place during this particular growth condition.

Cette thèse porte sur l'impact du changement climatique du à des gaz à effet de serre sur l'état et l'évolution du pergélisol dans le nord canadien. Le pergélisol se retrouve sur la moitie du territoire canadien et un changement de son état actuel se répercutera dans toutes les sphères d'activité, sur la biosphère et sur l'environnement en général. Malgré l'importance évidente du sujet, il n'y a pas une idée précise comment le pergélisol réagira au changement climatique et jusqu'où la couche pergélisolée sera perturbée. Cette thèse explore ce sujet en utilisant une approche méthodologique s’inspirant de celui du modèle canadien d'évolution de pergélisol (TTOP) et avec une approche théorique basée sur la théorie des systèmes neuronaux complexes. L’objectif général de cette thèse est d’améliorer le modèle canadien d’évolution du pergélisol (TTOP - Temperature on the Top Of Permafrost) créé par Smith et Riseborough en 1996, tant dans sa structure de calcul, que dans sa résolution spatiale et de déterminer l'évolution du pergélisol dans la zone d'étude pour la période 2010-2100. Cette zone est située dans le Bassin Mackenzie (T.N-O) sur un transect nord-sud de 1440 x 720 km. Le premier objectif de recherche est de produire les cartes des valeurs annuelles de température à la partie supérieure du pergélisol de 2010 à 2100 en utilisant un modèle amélioré d'évolution du pergélisol (TTOP-A). Par la suite, ces valeurs sont comparées à celles obtenues par Smith et Riseborough (1996). Les valeurs de température de l'air pour cette période sont fournies par les scénarios d'évolution climatique MCCG3 SRES A1B, MCCG3 SRES A2 et MCCG3 SRES B1. Dans un deuxième temps, cette thèse a pour objectif la production des cartes d'épaisseur de pergélisol jusqu'en 2100 à une résolution spatiale de 25 km. Plus précisément, on détermine l'évolution des valeurs d'épaisseur de pergélisol pour les trois scénarios climatiques mentionnés antérieurement. De plus, l'étude propose: i) une nouvelle méthode de désagrégation des données climatiques en utilisant un Modèle Stochastique Déterminé, ii) l'intégration de la carte de type de sol, iii) l'intégration des valeurs d'humidité dans le sol, iv) l'intégration des valeurs d'épaisseur de la couche nivale et v) l'intégration des données de télédétection (SSM/I). De façon générale, les résultats obtenus par le modèle TTOP-A révèlent que les valeurs moyennes de température à la surface du pergélisol suivent de près les valeurs de température de l’air et qu'elles sont semblables aux celles trouvées par Smith et Riseborough (1996) et Heginbottom et coll. (1995). De plus, les différences des valeurs de température à la surface de pergélisol entre 2010 et 2100 s'inscrivent dans l'écart des valeurs publié par le Groupe d'Experts Intergouvernemental sur l'Évolution du Climat (GIEC, 2007). Concernant le deuxième objectif de cette thèse, la dynamique spatiotemporelle du pergélisol jusqu'en 2100 démontre que, dans la zone d'étude, la superficie perturbée par le réchauffement climatique sera de 37 %, 60 % et 29 % selon les scénarios MCCG3 SRES A1B, MCCG3 SRES A2 et MCCG3 SRES B1 respectivement. Selon les scénarios mentionnés antérieurement, la couche pergélisolée à l'intérieur de cette zone disparaîtra dans une proportion de 20 %, 32 % et 18 % respectivement. Ces résultats nous laissent croire que les prévisions faites par Smith et Riseborough ont été surévaluées dans le contexte de deux des trois scénarios climatiques actuels par rapport à celui de 1996. Finalement, cette étude démontre que la méthode de désagrégation des données en utilisant les réseaux neuronaux dans un Modèle Stochastique Déterminé donne de bons résultats et elle représente une option fiable qui se prête à des généralisations à grande échelle. / This thesis explores the potential impacts of a climate change due to the greenhouse gases on the state and the evolution of the permafrost in the Canadian North. The permafrost represents the half of the Canadian national territory and a change of its current state will echo in all spheres of activity, on the biosphere and on the environment generally. In spite of the evident importance of the subject, there is no precise idea as to how the permafrost will react to the climate change and to what extent the frozen layer will be disrupted. This thesis investigates this problem by using a methodological approach inspired by the Canadian model on the evolution of permafrost (TTOP) coupled with a theoretical approach based on the theory of the complex neuronal systems. The general objective of this thesis is to improve the Canadian model of evolution of permafrost (TTOP-Temperature one the Top Of Permafrost) created by Smith and Riseborough in 1996, its structure of computation, spatial resolution and to determine the state of the permafrost in the study area between 2010 and 2100. The study zone is situated in the Mackenzie Basin (N-W.T) on a north-south transect of 1440 by 720 km. The first objective of the research is to derive maps of the annual values of temperature on the top of the permafrost from 2010 to 2100 by using an improved dynamic model of the evolution of permafrost (TTOP-A). Thereafter, these values are compared with those obtained by Smith and Riseborough (1996). The values of the evolution of air temperature for this period are supplied by the climatic scénarios CGCM3 SRES A1B, CGCM3 SRES A2 and CGCM3 SRES B1. Secondly, this thesis has as an objective the production of the maps of the thickness of permafrost for 2100 with a spatial resolution of 25 km. More exactly, we determine the evolution of the values of thickness of permafrost for the three climatic scénarios mentioned above. Furthermore, the study proposes: i) a new method for downscaling of climate data by using a Determined Stochastic Model, ii) the integration of soil type, iii) the integration of the soil humidity, iv) the integration of the values of thickness of the snow layer and v) the integration of remote sensing data (SSM/I). As a rule, the results obtained by the TTOP-A model reveal that the mean values of temperature at the surface of the permafrost follow closely the values of air temperature and that they are similar to those found by Smith and Riseborough (1996) and Heginbottom and coll. (1995). Also, the differences of the values of temperature on the surface of permafrost between 2010 and 2100 are similar to the values published by the Intergovernmental Panel on Climate Change (IPCC). Concerning the second objective of this thesis, the spatio-temporal dynamics of the permafrost until 2100 demonstrates that, in the study zone, the surface perturbed by global warming will be 37 %, 60 % and 29 % according to the scénarios CGCM3 SRES A1B, CGCM3 SRES A2 and CGCM3 SRES B1 respectively. The permafrost layer inside this zone will disappear by 20 %, 32 % and 18 % according to the scénarios mentioned before. These results lead us to believe that the estimations made by Smith and Riseborough were overvalued in the context of two of three current climates scénarios compared to that of the 1996. Finally, this study demonstrates that the method of downscaling of climate data using the neuronal network within a Determined Stochastic Model gives good results and it represents a reliable option which lends itself to large-scale generalizations. / Les fichiers video (d'animation) sont dans un format Windows Media (.wmv)

No description available.

Dans cette thèse, nous avons étudié d’une manière structurée et détaillée la sémantique des verbes gnat’ et gonjat’. Pour cela, nous avons tout d’abord formalisé leur potentiel sémantique qui comprend les composants de leur valeur de base et ce qu’ils génèrent dans des situations nouvelles, dans des cotextes particuliers. Pour chaque valeur sémantique, nous avons présenté un schéma sémantique, un schéma actantiel en précisant les rôles sémantiques, la nature des actants et leur réalisation syntaxique, ainsi que des illustrations d’emploi dans des cotextes des plus représentatifs, des synonymes, la famille morphologique. Les valeurs plus ou moins communes à gnat’ et à gonjat’ ont été étudiées ensemble, ce qui nous a permis de mettre en évidence leurs similitudes et différences. Puis, nous avons traité la question de la catégorie grammaticale des verbes de mouvement. Après avoir exposé les propriétés traditionnellement attribuées aux corrélats déterminé / indéterminé et les particularités qui sont générées dans l’emploi de chacun de ces corrélats, nous avons analysé la corrélation déterminé / indéterminé en général, et en particulier, entre gnat’ et gonjat’. Faisant partie de la catégorie grammaticale des verbes de mouvement, gnat’ et gonjat’ s’opposent sur le plan grammatical en tant que déterminé vs indéterminé et leurs caractéristiques grammaticales induisent quelques différences sémantiques. Ainsi, la plupart des différences observées entre gnat’ et gonjat’ ne sont pas en fait pas d’ordre lexical, mais résultent des différences grammaticales du déterminé gnat’ et de l’indéterminé gonjat’. Dans la partie consacrée à la dérivation morphologique, nous avons eu pour objectif d’examiner les effets de la préverbation et les modifications de sens que la préverbation entraîne pour ces verbes. Nous avons étudié les préverbés formés sur la base de gnat’ / gonjat’ à valeur spatiale en les regroupant en fonction de l’orientation spatiale : à partir du point de départ, vers le point d’arrivée, les deux en même temps ou en rapport avec un repère. Une attention minutieuse a été accordée aux différences sémantiques et aspectuelles de certains préverbés partageant les mêmes valeurs spatiales. L’étude des préverbés combinés aux préverbes à valeur non spatiale a été organisée en fonction de la morphologie de l’aspect : les préverbés hors couple et les couples de verbes. Quelques particularités ont été observées. Pour que l’étude sémantique soit complète, nous y avons inclus la question des phrasèmes comportant ces verbes. Puis, nous avons analysé le parallélisme qui existe entre gnat’ / gonjat’ simples et préverbés et le verbe dit de position sidet’ : les valeurs que ces verbes ont en commun et aussi, les limites de leur corrélation, Enfin, en partant directement des situations linguistiques concrètes avec gnat’ / gonjat’ simples et préverbés nous avons exposé un certain nombre de mécanismes qui aboutissent à un effet expressif. / In this thesis, we have studied the semantics of the verbs gnat’ and gonjat’ in a structured and extensive way. To achieve this, we began by structuring their semantic potential, which includes their basic value and what it produces in new situations, in specific cotexts. For each semantic value, we have presented a semantic schema, mapping the semantic roles of the actants, their nature and their syntactic development, together with examples of usage in the most representative cotexts, the synonyms, the morphological family. The more or less common values of gnat’ and gonjat’ have been studied together, so that we could bring their similarities and differences to light. Then, we dealt with the question of the grammatical category of the verbs of motion. Having presented the usually attributed properties of the correlate determined / indetermined and the particularities that emerge in the usage of each of these correlates, we have focused on the determined / indetermined correlation in general and between gnat’ and gonjat’ in particular. While belonging to the same grammatical category of the verbs of motion, both gnat’ and gonjat’ are opposed on a grammatical level, as determined and indetermined, and their grammatical characteristics lead to some semantical differences. Hence, most of the observed differences between gnat’ and gonjat’ are not of a lexical type; they are rather the result of the semantical differences between the determined gnat’ and the indetermined gonjat’. In the part of our thesis dedicated to morphological derivation, our goal was to study the impacts of verbal prefixation and the change of meaning as a result of the prefixation for these verbs. We have studied prefixed verbs based on gnat’ / gonjat’ with spatial meanings, clustering them depending on their spatial orientation: from the starting point, to the point of arrival, both at the same time or in relation to a landmark. A particular focus has been placed on the semantical and aspectual differences of some verbs with prefixes that share the same spatial values. The analysis of verbs with spatial prefixes was done according to the morphology of the aspect: the verbs with prefixes outside aspectual pairs and the pair of verbs. Some particularities have been observed. For the semantic study to be complete, we have added the question of the phrasemes using these verbs. Then, we studied the similarity between gnat’ and gonjat’ in their simple and prefixed forms and the verb of position sidet’: what those verbs have in common but also the limits of their similarities. Finally, we have taken concrete linguistic situations involving gnat’ and gonjat’ in their simple and prefixed forms in order to outline a number of mechanisms leading to an expressive result.