La littérature n'est pas unanime quant à l'effet favorable ou défavorable du changement climatique sur les pays en voie de développement. En effet, si plusieurs travaux concluent que l'agriculture des pays en voie de développement est vulnérable au changement climatique à cause de la prédominance de l'agriculture à faible capital, d'autres suggèrent le contraire. Cette thèse a pour objectif d'étudier l'impact du changement climatique sur l'agriculture tunisienne en utilisant une analyse ricardienne de la valeur ajoutée agricole. Nous effectuons une analyse spatio-temporelle de la réponse de la valeur ajoutée agricole au changement climatique sur une base de données relative à 21 gouvernorats de la Tunisie qui couvre la période 1992-2007. Sur la base des résultats d'estimation de cette analyse, nous procédons à une simulation de l'impact du changement climatique sur l'agriculture relativement aux projections d'un scénario modéré à l'horizon 2020. Les résultats suggèrent que le changement climatique combiné à une évolution du niveau technologique aurait des effets bénéfiques sur l'agriculture tunisienne. Ce résultat remettrait en question les conclusions de la majorité des travaux existants dans la littérature qui insistent sur les effets négatifs du changement climatique sur l'agriculture. / The literature is not unanimous as for the effect of the climatic change on developing countries. Indeed, if several studies conclude that the agriculture of developing countries is vulnerable to the climatic change because of the predominance of weak capital agriculture, others suggest that climate change will be benefit to agriculture. This thesis has for objective to study the impact of the climate change on the Tunisian agriculture while using an analysis ricardienne of the agricultural value added. We execute a spatiotemporal analysis of the answer of the agricultural value added to the climate change on a relative data base of 21 governates of Tunisia that covers the period 1992-2007. On the basis of results of evaluation of this analysis, we proceed to a simulation of the impact of the climate change on agriculture relatively on the projections of a moderate scenario on the 2020 horizon. Results suggest that the climate change combined to an evolution of the technological level would have some beneficial effects on the Tunisian agriculture. This result would put back in question findings of the existing study that insist on the negative effects of the climatic change on agriculture.

Les activités humaines ont, depuis plus d'une centaine d'années, influencé de plus en plus fortement les cycles géochimiques contrôlant les niveaux d'acidité et de disponibilité en azote dans la nature. Les dépôts acides et azotés conduisent à une modification des conditions du milieu et notamment à des changements sensibles de la composition des communautés d'espèces végétales. L'objectif de cette thèse est de retracer l'évolution spatio-temporelle de l'acidité et de la disponibilité en azote des sols forestiers français au cours du 20ème siècle à partir du caractère bio-indicateur de la flore, à l'échelle locale ainsi globale. L'utilisation de la flore comme bio-indicateur vise à pallier l'absence de données de mesures directes des conditions édaphiques et des dépôts atmosphériques acides et azotés couvrant une large emprise spatio-temporelle. Premièrement, les variations de pH (indicateur d'acidité) et C:N (indicateur de disponibilité en azote) bio-indiquées ont été calculées à partir d'environ 100 000 relevés floristiques temporaires réalisés dans toute la France de 1910 à 2010. Elles ont été analysées par une méthode novatrice de comparaison spatio-temporelle, en différenciant les zones forestières sur substrat acide et non-acide ainsi que les forêts de conifères et de feuillus. Dans un second temps, nous avons analysé les changements des conditions édaphiques entre 1972 et 2011 à l'échelle de la forêt de Villey-Le-Sec, et ceux de la flore qu'ils induisent en lien avec d'autres évolutions environnementales, toujours à partir du caractère bio-indicateur de la flore.À l'échelle globale, nous avons observé une acidification des forêts françaises en milieu acide (-0.34 unités du pH en moyenne) et milieu non-acide (-0.19 unités du pH en moyenne), respectivement, jusqu'en 1984 et 1997. Nous avons ensuite mis en évidence, pour la première fois à notre connaissance, un arrêt dans l'acidification des sols forestiers et même une diminution de l'acidité sur substrat non-acide ainsi que un décalage temporel entre l'acidification des zones acides et non-acides. Cette évolution apparaît tout à fait cohérente avec celle connue des dépôts atmosphériques acidifiants en France depuis le début du 20ème siècle. Spatialement, nous confirmons la tendance temporelle, montrons une évolution régionalisée de l'acidification principalement sur substrat non-acide et soulignons la grande variabilité spatiale des changements de pH des sols forestiers. Concernant l'évolution de la disponibilité en azote, nous observons une diminution non attendue de celle-ci jusqu'en 1984 et 1997, respectivement, dans les forêts de conifères (+0.79 unités de C:N en moyenne) et de feuillus (+0.74 unités de C:N en moyenne). Une tendance à l'eutrophisation des sols forestiers a ensuite été observée dans les forêts de conifères et de feuillus à partir de 1997 (-0.10 et -0.16 unités de C:N en moyenne, respectivement). Cette évolution apparaît décalée par rapport à celle des dépôts azotés en France. [...] Suite et fin du résumé dans la thèse. / Human activities have, over the last century, strongly influenced the cycles controlling the levels of acidity and nitrogen availability in nature. Acidifying and eutrophying deposition lead to a change in environmental conditions and particularly to sensitive changes in plant communities' composition.The objective of this Ph.D work is to reconstruct the spatiotemporal evolution of the acidity and nitrogen availability in French forest soils over the 20th century using the bioindicator character of plants, into local and global scales. The use of plants as bioindicator seeks to mitigate the lack of direct measurements of soil conditions and atmospheric deposition, over a wide spatiotemporal extent. First, changes in bioindicated soil pH (indicator of acidity conditions) and C:N (indicator of nitrogen availability status) were computed from approximately 100 000 temporary floristic plots carried out throughout France from 1910 to 2010. They were analyzed using an innovative method of spatiotemporal comparison, where acidic and nonacidic forest areas and coniferous and broadleaved forests were differentiated. Secondly, and always from the bioindicator character of plants, changes in soil conditions between 1972 and 2011 across Villey forest as well as floristic changes they induce related with other environmental changes were analyzed.At the global level, we observed acidification in acidic forest areas (-0.34 pH units on average) and in nonacidic areas (-0.19 pH units on average), respectively, until 1984 and 1997. We demonstrated for the first time (to our knowledge) a cessation of acidification of forest soils and even a decrease in acidity in nonacidic forest areas, as wella as a time lag for acidification between acidic and nonacidic areas. This trend is consistent with the trend of acidifying deposition in France since the early 20th century. Spatially, our results confirm the temporal trends, show a regional geographic pattern of acidification (mainly observed in nonacidic areas), and highlight the high spatial variability of soil pH changes. Concerning the evolution of nitrogen availability conditions, we observed an unexpected decrease in available nitrogen until 1984 and 1997, respectively, in coniferous (+0.79 C:N units on average) and broadleaved forests (+0.74 C:N units on average). A trend to eutrophisation of forest soils was then observed in coniferous and broadleaved forests since 1997 (-0.10 and -0.16 C:N units on average, respectively). This trend is not consistent with the trend of nitrogen atmospheric deposition in France. ”Last and final summary in the thesis.”

Prouver l’équivalence de programmes écrits dans un langage fonctionnel avec références est un problème notoirement difficile. L’objectif de cette thèse est de proposer un système logique dans lequel de telles preuves peuvent être formalisées, et dans certains cas inférées automatiquement. Dans la première partie, une méthode générique d’extension de la théorie des types dépendants est proposée, basée sur une interprétation du forcing vu comme une traduction de préfaisceaux de la théorie des types. Cette extension dote la théorie des types de constructions récursives gardées, qui sont utilisées ensuite pour raisonner sur les références d’ordre supérieure. Dans une deuxième partie, nous définissons une sémantique des jeux nominale opérationnelle pour un langage avec références d’ordre supérieur. Elle marie la structure catégorique de la sémantique des jeux avec une représentation sous forme de traces de la dénotation des programmes, qui se calcule de manière opérationnelle et dispose donc de bonnes propriétés de modularité. Cette sémantique nous permet ensuite de prouver la complétude de relations logiques à la Kripke définit de manière directe, via l’utilisation de types récursifs gardés, sans utilisation de la biorthogonalité. Une telle définition directe nécessite l’utilisation de mondes omniscient et un contrôle fin des locations divulguées. Finalement, nous introduisons une logique temporelle qui donne un cadre pour définir ces relations logiques à la Kripke. Nous ramenons alors le problème de l’équivalence contextuelle à la satisfiabilité d’une formule de cette logique générée automatique, c’est à dire à l’existence d’un monde validant cette formule. Sous certaines conditions, cette satisfiabilité peut être décidée via l’utilisation d’un solveur SMT. La complétude de notre méthode devrait permettre d’obtenir des résultats de décidabilité pour l’équivalence contextuelle de certains fragment du langage considéré, en fournissant un algorithme pour construire de tels mondes. / Proving program equivalence for a functional language with references is a notoriously difficult problem. The goal of this thesis is to propose a logical system in which such proofs can be formalized, and in some cases inferred automatically. In the first part, a generic extension method of dependent type theory is proposed, based on a forcing interpretation seen as a presheaf translation of type theory. This extension equips type theory with guarded recursive constructions, which are subsequently used to reason on higher-order references. In the second part, we define a nominal game semantics for a language with higher-order references. It marries the categorical structure of game semantics with a trace representation of denotations of programs, which can be computed operationally and thus have good modularity properties. Using this semantics, we can prove the completeness of Kripke logical relations defined in a direct way, using guarded recursive types, without using biorthogonality. Such a direct definition requires omniscient worlds and a fine control of disclosed locations. Finally, we introduce a temporal logic which gives a framework to define these Kripke logical relations. The problem of contextual equivalence is then reduced to the satisfiability of an automatically generated formula defined in this logic, i.e. to the existence of a world validating this formula. Under some conditions, this satisfiability can be decided using a SMT solver. Completeness of our methods opens the possibility of getting decidability results of contextual equivalence for some fragments of the language, by giving an algorithm to build such worlds.

Cette thèse traite de la variabilité temporelle intrinsèque de l'éclairement solaire reçu au sol. Les échelles caractéristiques de variabilité sont mises en évidence par l'analyse de longues séries temporelles de moyennes journalières de l'éclairement, pour différents endroits du monde, issues de mesures pyranométriques au sol, d'estimations satellitaires ou de réanalyses météorologiques .Compte-tenu de la nature non linéaire et non stationnaire des données, la transformée adaptative de Hilbert-Huang est utilisée comme outil d'analyse pour tenir compte de la diversité de ces échelles temporelles. On montre ainsi la nature variable des échelles caractéristiques et de leur intensité, ainsi que leur dépendance vis-à-vis du climat.L'application d'une technique adaptative de ré-échantillonnage fractionnaire montre la juxtaposition d'une composante déterministe et d'une stochastique. Pour tous les jeux de données, le cycle annuel déterministe représente la plus grande partie de la variabilité. Toutes les séries temporelle contiennent une composante de variabilité stochastique à haute fréquence, qui est modulée en amplitude par le cycle annuel.L'approche permet également d'évaluer, échelle par échelle, les performances des estimations satellitaires ou issues de ré-analyses par comparaison avec des mesures pyranométriques au sol. Une étude de cas confirme que les estimations satellitaires surpassent les ré-analyses à toutes les échelles temporelles. / The center of focus for this PhD thesis is the intrinsic temporal variability of the surface solar irradiance (SSI). The characteristic time-scales of variability are revealed by analysing long-term time-series of daily means of SSI, such as ground measurements, satellite estimates, or radiation products from global atmospheric re-analyses, for different geographical locations around the world.To account for the wide range of the time-scales of variability, and given the non-linear and non-stationary nature of the data, the adaptive, data-driven Hilbert-Huang Transform is employed as an analysis tool. The time-varying nature of the characteristic time-scales of variability, along with variations in intensity, are thus revealed.An adaptive fractional re-sampling technique is used to discriminate between the deterministic and the stochastic variability constituents. For all datasets, the deterministic yearly cycle is found to account for the largest part of variability. Furthermore, all time-series are found to contain a high-frequency stochastic variability component, that exhibit cross-scale amplitude modulation by the yearly cycle.A refinement to existing methods for assessing the fitness for use of surrogate SSI products in lieu of ground measurements is also proposed. A case study confirms that satellite estimates outperform re-analyses across all time-scales.

La dégradation de la forêt est un changement de sa structure et de la composition floristique et faunistique, ce qui conduit à une perte de biodiversité, de production de biens et de services et à un accroissement de la vulnérabilité aux aléas climatiques et aux incendies. Elle concerne de vastes espaces en zone tropicale particulièrement dans les régions de fronts pionniers plus ou moins consolidés où la forêt primaire est soumise à l’extraction de bois, aux incendies et à la fragmentation. Pour évaluer son ampleur et son intensité, il est nécessaire de recourir à la télédétection. Mais les méthodologies disponibles restent encore insuffisantes.L’enjeu scientifique est de développer des méthodes adaptées à de grandes surfaces afin d’analyser l’effet de différentes perturbations sur les trajectoires suivies par le couvert forestier. Il s’agit également de distinguer différentes intensités de dégradation suite à l’accumulation de perturbations. C’est un préalable indispensable pour définir et mettre en œuvre des plans de gestion adaptés. Le premier axe de ce travail a pour objectif de cartographier annuellement l’ampleur des perturbations, d’identifier les principaux types de perturbations et de caractériser la trajectoire de restauration de l’activité photosynthétique. Il est réalisé à partir de séries temporelles d’images Landsat traitées au moyen du progiciel CLASlite. L’agrégation des couvertures annuelles résultant des traitements avec CLASlite a également permis de constituer un indicateur de dégradation résultant du cumul de processus de perturbations sur plusieurs années. / The forest degradation is a change of the structure and the composition of flora and fauna, which leads to a loss of biodiversity, of production of goods and services and an increased vulnerability to weather hazards and fires. This process concerns large areas in the tropics, particularly in agricultural frontier where primary forest is subject to timber extraction, fire and fragmentation. Remote sensing is used to assess the magnitude and the extent of forest degradation. However, the methodologies available are still insufficient. The scientific challenge is to develop methods adapted to large areas to analyze the effect of different disturbances on the trajectories followed by the forest cover. It is also to identify different intensities of degradation following disturbances events. This is a prerequisite for defining and implementing appropriate management plans. The first axis of this work aims to map annually the extent of the disturbances, to identify the main types of disturbances and to characterize the restoration trajectory of the photosynthetic activity. This work is based on time series of Landsat images processed using CLASlite software. The aggregation of the annual coverages resulting from treatments with CLASlite also made it possible to constitute an indicator of degradation resulting from the accumulation of disturbance processes over several years. The second axis aims to evaluate the evolution of the forest sensitivity to drought as a function of its degradation and to build a degradation indicator. The approach uses MODIS images and TRMM precipitation data. This work is implemented in the municipality of Paragominas (state of Pará, Brazil).

Dans les systèmes informatiques temps réel, les tâches logicielles sont contraintes par le temps. Pour garantir la sûreté du système critique contrôlé par le système temps réel, il est primordial d'estimer de manière sûre le pire temps d'exécution de chaque tâche. Les performances des processeurs actuels du commerce permettent de réduire en moyenne le temps d'exécution des tâches, mais la complexité des composants d'optimisation de la plateforme rendent difficile l'estimation du pire temps d'exécution. Il existe différentes approches d'estimation du pire temps d'exécution, souvent ségréguées et difficilement généralisables ou au prix de modèles coûteux. Les approches probabilistes basées mesures existantes sont vues comme étant rapides et simples à mettre en œuvre, mais souffrent d'un manque de systématisme et de confiance dans les estimations qu'elles fournissent. Les travaux de cette thèse étudient les conditions d'application de la théorie des valeurs extrêmes à une suite de mesures de temps d'exécution pour l'estimation du pire temps d'exécution probabiliste, et ont été implémentées dans l'outil diagxtrm. Les capacités et les limites de l'outil ont été étudiées grâce à diverses suites de mesures issues de systèmes temps réel différents. Enfin, des méthodes sont proposées pour déterminer les conditions de mesure propices à l'application de la théorie des valeurs extrêmes et donner davantage de confiance dans les estimations. / Software tasks are time constrained in real time computing systems. To ensure the safety of the critical systems that embeds the real time system, it is of paramount importance to safely estimate the worst-case execution time of each task. Modern commercial processors optimisation components enable to reduce in average the task execution time at the cost of a hard to determine task worst-case execution time. Many approaches for executing a task worst-case execution time exist but are usually segregated and hardly scalable, or by building very complex models. Measurement-based probabilistic timing analysis approaches are said to be easy and fast, but they suffer from a lack of systematism and confidence in their estimates. This thesis studies the applicability of the extreme value theory to a sequence of execution time measurements for the estimation of the probabilistic worst-case execution time, leading to the development of the diagxtrm tool. Thanks to a large panel of sequences of measurements from different real time systems, capabilities and limits of the tool are enlightened. Finally, a couple of methods are provided for determining measurements conditions that foster the application of the theory and raise more confidence in the estimates.

Cette thèse a deux objectifs principaux. En premier lieu, on voudrait offrir un aperçu des connaissances académiques actuelles, tant théoriques qu'empiriques, des processus d’accommodation linguistique entre interlocuteurs, au sens général, et des caractéristiques rythmiques de la langue espagnole, en particulier. En second lieu, on présente deux études empiriques conçues pour analyser l’influence de la régularité rythmique au niveau des phrases et de l’arrangement phonologique sur les processus d’accommodation linguistique. Dans l'ensemble, les données rassemblées dans cette thèse indiquent que les phrases avec un rythme régulier, disposées en groupes accentuels, produisent une plus grande ressemblance entre les hispanophones en matière de rythme et de l’étendue de la F0, par rapport aux phrases avec un rythme irrégulier et aux phrases disposées en pieds accentuels. De plus, certains faits connus concernant les femmes ayant une moyenne de F0 supérieure, une étendue de F0 plus large, et un débit de parole plus lent quant aux hommes ont également été observés au cours de la première expérience. En outre, une valeur inférieure de la moyenne de F0 et une étendue de F0 plus étroite ont été observées lors de l’utilisation de phrases avec un rythme régulier et de phrases disposées en groupes accentuels, par rapport aux conditions expérimentales opposées. En ce qui concerne la tâche de perception, les phrases des dyades mixtes ont été notées de manière plus similaire les unes aux autres par rapport aux phrases des dyades de femmes et des dyades d’hommes (parmi d'autres résultats trouvés). / This thesis has two principal aims. In the first place, we would like to offer an overview of the current academic knowledge, both theoretical and empirical, of the processes of linguistic accommodation between interlocutors, in a general sense, and of the rhythmic characteristics of the Spanish language, in particular. In the second place, we present two empirical studies designed to analyze the influence of sentence-level rhythmic regularity and phonological phrasing on the processes of linguistic accommodation. Taken together, the data gathered in this thesis indicate that regular rhythmic sentences, arranged in accentual groups, generate a greater amount of resemblance between Spanish speakers in terms of rhythm and F0 range, with respect to irregular rhythmic sentences and sentences arranged in accentual feet. Moreover, a lower value of F0 mean and a narrower F0 range were observed during the use of both regular rhythmic sentences and sentences arranged in accentual groups compared to the opposite conditions. In addition, some known facts related to women having a higher F0 mean, a wider F0 range, and speaking slower regarding men were also found during the first experiment. As for the perceptual task, sentences of mixed dyads were rated more similar to each other with respect to sentences of female only and male only dyads (among other patterns found).

L’environnement opérationnel des pales et des structures porteuses des hydroliennes est de nature incertaine, compte tenu de la variabilité de l’écoulement (turbulence, sillage, houle, courants. . .). Ces éléments structuraux subissent donc des états de contraintes multiaxiaux complexes avec des fortes variations temporelles à caractère aléatoire. Ainsi, le dimensionnement basé sur des critères statiques déterministes apparaît insuffisant pour tenir compte de la complexité de l’histoire du chargement mécanique et de sa variabilité.Ce travail vise à établir des méthodes de dimensionnement adaptées à cette situation, pour la conception de structures hydroliennes aux risques et aux coûts maîtrisés. La démarche adoptée repose sur la description de l’écoulement et de ses grandeurs statistiques, afin de caractériser les efforts exercés sur l’hydrolienne et les contraintes mécaniques extrêmes en pied de pale. / The operating environment of tidal turbines blades and body is uncertain, due to the flow variability (turbulence,wake, tide, streams...). These structural elements then undergo strongly time-varying complex multi-axial random stress states. A design based on static and deterministic criteria thus appears insufficient to take the complexity and the variability of the mechanical loading into account. This work aims at setting sizing methods that are adapted to this situation, in order to design tidal turbines with mastered risks and costs. The proposed method lies on a statistical description of the flow, in order to characterize the load of the turbine and the extreme mechanical stresses at the blade foot.

La synchronisation temporelle des systèmes MIMO a été abondamment étudiée dans les quinze dernières années, mais la plupart des techniques existantes supposent que le bruit est blanc temporellement et spatialement, ce qui ne permet pas de modéliser la présence d'interférence. Nous considérons donc le cas de bruits blancs temporellement mais pas spatialement, dont la matrice de covariance spatiale est inconnue. En formulant le problème de l'estimation de l'instant de synchronisation comme un test d'hypothèses, nous aboutissons au test du rapport de vraisemblance généralisé (GLRT) qui donne lieu à la comparaison avec un seuil d'une statistique de test eta_GLRT. Cependant, pour des raisons de complexité, l'utilisation de cette statistique n'est pas toujours considérée comme réaliste. La première partie de ce travail a donc été consacrée à mettre en évidence des tests alternatifs moins complexes à mettre en œuvre, tout en ayant des performances similaires. Une analyse comparative exhaustive, prenant en considération le bruit et l'interférence, le type de canal, le nombre d'antennes en émission et en réception, et l'orthogonalité de la séquence de synchronisation est réalisée. Enfin, nous étudions le problème de l'optimisation du nombre d'antennes en émission K pour la synchronisation temporelle, montrant que pour un RSB élevé, les performances augmentent avec K dès que le produit de K avec le nombre d'antennes de réception M n'est pas supérieur à 8.Le deuxième aspect de ce travail est une analyse statistique de eta_GLRT dans le cas où la taille de la séquence d'apprentissage N est du même ordre de grandeur que M, ce qui conduit naturellement à étudier le comportement de eta_GLRT dans le régime asymptotique des grands systèmes M tend vers l'infini, N tend l'infini de telle sorte que M/N tende vers une constante non nulle. Nous considérons le cadre applicatif d'un système muni d'une unique antenne d'émission et d'un canal à trajets multiples, qui est formellement identique à celui d'un système MIMO dont le nombre d'antennes d'émissions correspondrait au nombre de trajets. Lorsque le nombre de trajets L est beaucoup plus faible que N et M, nous établissons que eta_GLRT a un comportement gaussien avec l'espérance asymptotique L log (1 / (1-M/N)) et la variance (L/N)*(M/N)/(1-M/N). Ceci est en contraste avec le régime asymptotique standard quand N tend vers l'infini et M et L fixe où eta_GLRT a un comportement chi2. Sous l'hypothèse H_1, eta_GLRT a aussi un comportement gaussien. Nous considérons également le cas où le nombre de trajets L tend vers l'infini à la même vitesse que M et N. Nous utilisons des résultats connus concernant le comportement des statistiques linéaires des valeurs propres des grandes F matrices, et déduisons que dans le régime où L,M,N tendent vers l'infini à la même vitesse, eta_GLRT a encore un comportement gaussien sous H_0, mais avec une espérance et variance différentes. L'analyse de eta_GLRT sous H_1 lorsque L,M,L convergent vers l'infini nécessite l'établissement d'un théorème central limite pour les statistiques linéaires des valeurs propres de matrices F de moyennes non-nulles, une tâche difficile. Motivé par les résultats obtenus dans le cas où L reste fini, nous proposons d'approximer la distribution asymptotique par une distribution gaussienne dont l'espérance et la variance sont la somme de l'espérance et la variance asymptotique sous H_0quand L tend vers l'infini avec l'espérance et la variance asymptotique sous H_1 dans le régime classique N tend vers l'infini et M fixé. Des simulations numériques permettent de comparer les courbes ROC des différents approximant avec des courbes ROC empiriques. Les résultats montrent que nos approximant de grandes dimensions fournissent de meilleurs résultats quand M/N augmente, tout en permettant de capturer la performance réelle pour les petites valeurs de M/N / Time synchronization of MIMO systems have been strongly studied in the last fifteen years, but most of the existing techniques assume a spatially and temporally white noise, which does not allow modeling the presence of interference. We consider thus a temporally white but spatially colored noise, with an unknown covariance matrix. Formulating the estimation problem as a hypothesis testing problem, we obtain a Generalized likelihood ratio test (GLRT), which gives us a synchronization statistics eta_GLRT. However, for complexity reasons, it is not always considered realistic for practical situations. A part of this work has thus been devoted to showing that there exist non-GLRT statistics that are less complex to implement than theet a_GLRT, while having similar performance. Furthermore, we perform a comparative parameter analysis, taking into consideration the noise type, channel type, the number of transmit and receive antennas, and the orthogonality of the synchronization sequence. Lastly, the problem of optimization of the number of transmit antennas K for time synchronization has been investigated. showing, for high SNR, increasing performance with K as long as the product KM is not larger than 8, where M is the number of receive antennas. The second aspect of MIMO synchronization studied in thesis is asymptotic analysis of the same GLRT, but for large M. In this context, the synchronization sequence length N is the same order of magnitude as M, and this leads us naturally to the study of the the behavior of eta_GLRT in the asymptotic regime where M,N go towards infinity such that M/N go towards a non-zero constant. We consider the case of a single transmit antenna in a multi-path channel, which formally is equivalent to the MIMO system where the transmit antennas correspond to the number of paths. We address the case When the number of paths L does not scale with M and N, we establish that eta_GLRT has a Gaussian behavior with asymptotic mean L log (1/ (1 - M/N))and variance (L/N)*(M/N)/(1-M/N).This is in contrast with the standard asymptotic regime N goes to infinity and M fixed where eta_GLRT has a chi^2 behaviour. Under hypothesis H_1, eta_GLRT still has a Gaussian behaviour. The corresponding asymptotic mean and variance are obtained as the sum of the asymptotic mean and variance in the standard regime N goes to infinity and M fixed, and L log(1/(1-/M/N))L log (1 / (1-M/N)) and (L/N)*(M/N)/(1-M/N)respectively, i.e. the asymptotic mean and variance under H_0.We also consider the case where the number of paths L converges towards infinity at the same rate as M and N. Using known results of concerning the behaviour of linear statistics of the eigenvalues of large F-matrices, we deduce that in the regime where L,M,N converge to infinity at the same rate, eta_GLRT still has a Gaussian behaviour under H_0, but with a different mean and variance. The analysis of eta_GLRT under H_1 whenL,M,N converge to infinity needs to establish a central limit theorem for linear statistics of the eigenvalues of large non zero-mean F-matrices, a difficult ask. Motivated by the results obtained in the case where L remains finite, we propose to approximate the asymptotic distribution of eta_GLRT by a Gaussian distribution whose mean and variance are the sum of the asymptotic mean and variance under H_0when L goes to infinity with the asymptotic mean and variance under H_1 in the standard regime N goes to infinity and M fixed. Numerical simulations allow to compare the ROC curves obtained with the different approximations with the empirical ROC curves. The results show that the large-system approximations provide better results when M/N increases, while also allowing to capture the actual performance for small values of M/N

Les ions de terres rares en matrice cristalline, refroidis à très basse température, offrent des propriétés remarquables pour le traitement analogique du signal sur porteuse optique. L’élargissement inhomogène du spectre d’absorption peut en effet atteindre plusieurs centaines de gigahertz alors que la largeur homogène des raies d’absorption des ions individuels ne dépasse pas quelques kilohertz. Par pompage optique il est alors possible de modifier à volonté le profil du spectre d’absorption. On dispose ainsi d’un filtre programmable présentant à la fois une très grande bande passante, donnée par la largeur inhomogène, et une excellente résolution, fixée par la largeur homogène. Une raie d’absorption étroite correspond à un état de superposition quantique de longue durée de vie. C’est sous cet angle, celui des transitoires cohérents, et spécifiquement celui des échos de photons que nous abordons les propriétés du filtre programmable. Dans la première partie de la thèse, le filtre est programmé comme un élément dispersif. Il permet d’atteindre des taux de dispersion inaccessibles aux dispositifs optiques conventionnels, tels que les fibres optiques. Nous l’utilisons comme un composant de lentille temporelle, en vue de produire des signaux de forme arbitraire. Par rapport à des dispositifs d’optique conventionnels, on gagne plusieurs ordres de grandeurs en termes de produit temps x bande passante. Après avoir exploité l’écho de photon dans un contexte de filtrage linéaire, nous tirons parti de ses propriétés de très forte non-linéarité dans la seconde partie de la thèse. Cette fois nous cherchons à capturer un signal lumineux de très faible intensité, à le convertir en état de superposition atomique, puis à le restituer dans son état lumineux initial. Cela suppose en particulier d’empêcher les effets d’émission spontanée ou stimulé qui nuisent à la fidélité de la restitution. Pour ce faire, nous proposons un nouveau protocole que nous avons appelé « Revival Of Silenced Echo » (ROSE) / Rare earth ions doped crystals, when cooled at very low temperature, exhibit outstanding properties for optically-carried analogical signal processing. The absorption spectral broadening can reach several hundred of Gigahertz, while the homogeneous width of each individual ion does no exceed a few kilohertz. With the help of optical pumping, one may modify the absorption profile at will. The resulting programmable filter simultaneously offers a very large bandwidth, given by the inhomogeneous width, and a very good resolution, fixed by the homogeneous width. Narrow absorption line is related to long lifetime quantum superposition. We contemplate the programmable filter properties, keeping in mind this coherent transient picture, specifically related to photon echoes. In the first part of the dissertation, the programmable filter is programmed as a dispersive element. This gives access to dispersion rate values out of reach of conventional optical devices, such as optical fibers. We use the filter as a temporal lens component, with an eye to generating arbitrary waveforms. Thereby, we gain several orders of magnitude against conventional optical devices in terms of time x bandwidth product. After taking advantage of photon echoes in the linear filtering context, we capitalize on their strongly non-linear properties in the second part of the dissertation. This time we want to capture a very weak optical signal, to convert it into an atomic superposition state, and to restore it in its initial state of light. Faithful retrieval of the incoming signal relies on the elimination of spontaneous and stimulated emission. To this end, we propose a new protocol we have named « Revival Of Silenced Echo » (ROSE).