É notável o avanço da utilização de aplicações multimídia nos diversos setores da atividade humana. Independente da área, seja ela educação ou entretenimento, a possibilidade de agregar recursos dinâmicos como áudio e vídeo aos já largamente utilizados como texto e imagem acarreta em benefícios aos usuários destas aplicações. Além disso, com a popularização da Internet, ha uma crescente demanda pela sua execução em ambientes distribuídos. Este trabalho teve como objetivo desenvolver MUSE, um ambiente gráfico para modelagem de aplicações multimídia interativas. Através de uma interface gráfica avançada e de um novo modelo de autoria de alto nível, e possível a criação de sistemas complexos de forma rápida e intuitiva. 0 modelo de autoria proposto neste trabalho e adotado pelo ambiente prevê a possibilidade de os elementos que constituem a aplicação estarem dispersos em uma rede de computadores, permitindo a definição de limiares aceitáveis de atraso e componentes alternativos. Pela grande expressividade do modelo, no entanto, podem ser geradas especificações com inconsistências lógicas e temporais. Por esta razão, o ambiente prove ainda especificações E-LOTOS - uma extensão temporal de LOTOS - utilizadas para fins de analise e verificação, permitindo a validação dos requisitos temporais das aplicações definidas pelo autor. A formalização das especificações através de uma TDF, além de viabilizar sua validação, prove descrições sem ambigüidades, que podem ser alternativamente utilizadas por autores que sejam familiarizados com a técnica de descrição formal. Este trabalho é parte do projeto DAMD (Design de Aplicações Multimídia Distribuídas) dentro do programa PROTEM fase 2, que tem por objetivo fornecer uma metodologia que cubra o ciclo completo das aplicações multimídia distribuídas e que permita a um autor não especializado em métodos formais desenvolver essas aplicações naturalmente. / It is notable the advance of multimedia applications utilization in several fields of human activity. Independent from the area, whether education or entertainment, the possibility to aggregate dynamic resources like audio and video to the ones already widely used like text and image results in benefits to the users of such applications. Besides, with the popularization of the Internet, there is an increasing demand for their execution in distributed environments. This work presents MUSE, a graphical environment for modeling interactive multimedia applications. Through an advanced graphic interface and a new high-level authoring model, it is possible to create complex systems in a fast and intuitive way. The authoring model proposed in this work and adopted by the tool deals with media objects distributed in a computer network, allowing the definition of acceptable delay thresholds and alternative media objects. Due to the large expressiveness of the model, however, specifications can be generated with logical and temporary inconsistencies. For this reason, the tool also provides E-LOTOS specifications used with the purpose of analyzing and verifying the applications aiming at validating the temporal requirements defined by the author. The formalization of the specifications by means of a TDF, beyond making their validation possible, provides descriptions free of ambiguities, which may be alternatively used by authors familiarized with the formal description technique. This work is part of DAMD (Distributed Multimedia Applications Design) project, sponsored by the Brazilian research council. Its main objectives are to provide a methodology to completely cover the distributed multimedia applications development cycle and to allow authors who are not expert in formal methods to easily develop their applications.

É notável o avanço da utilização de aplicações multimídia nos diversos setores da atividade humana. Independente da área, seja ela educação ou entretenimento, a possibilidade de agregar recursos dinâmicos como áudio e vídeo aos já largamente utilizados como texto e imagem acarreta em benefícios aos usuários destas aplicações. Além disso, com a popularização da Internet, ha uma crescente demanda pela sua execução em ambientes distribuídos. Este trabalho teve como objetivo desenvolver MUSE, um ambiente gráfico para modelagem de aplicações multimídia interativas. Através de uma interface gráfica avançada e de um novo modelo de autoria de alto nível, e possível a criação de sistemas complexos de forma rápida e intuitiva. 0 modelo de autoria proposto neste trabalho e adotado pelo ambiente prevê a possibilidade de os elementos que constituem a aplicação estarem dispersos em uma rede de computadores, permitindo a definição de limiares aceitáveis de atraso e componentes alternativos. Pela grande expressividade do modelo, no entanto, podem ser geradas especificações com inconsistências lógicas e temporais. Por esta razão, o ambiente prove ainda especificações E-LOTOS - uma extensão temporal de LOTOS - utilizadas para fins de analise e verificação, permitindo a validação dos requisitos temporais das aplicações definidas pelo autor. A formalização das especificações através de uma TDF, além de viabilizar sua validação, prove descrições sem ambigüidades, que podem ser alternativamente utilizadas por autores que sejam familiarizados com a técnica de descrição formal. Este trabalho é parte do projeto DAMD (Design de Aplicações Multimídia Distribuídas) dentro do programa PROTEM fase 2, que tem por objetivo fornecer uma metodologia que cubra o ciclo completo das aplicações multimídia distribuídas e que permita a um autor não especializado em métodos formais desenvolver essas aplicações naturalmente. / It is notable the advance of multimedia applications utilization in several fields of human activity. Independent from the area, whether education or entertainment, the possibility to aggregate dynamic resources like audio and video to the ones already widely used like text and image results in benefits to the users of such applications. Besides, with the popularization of the Internet, there is an increasing demand for their execution in distributed environments. This work presents MUSE, a graphical environment for modeling interactive multimedia applications. Through an advanced graphic interface and a new high-level authoring model, it is possible to create complex systems in a fast and intuitive way. The authoring model proposed in this work and adopted by the tool deals with media objects distributed in a computer network, allowing the definition of acceptable delay thresholds and alternative media objects. Due to the large expressiveness of the model, however, specifications can be generated with logical and temporary inconsistencies. For this reason, the tool also provides E-LOTOS specifications used with the purpose of analyzing and verifying the applications aiming at validating the temporal requirements defined by the author. The formalization of the specifications by means of a TDF, beyond making their validation possible, provides descriptions free of ambiguities, which may be alternatively used by authors familiarized with the formal description technique. This work is part of DAMD (Distributed Multimedia Applications Design) project, sponsored by the Brazilian research council. Its main objectives are to provide a methodology to completely cover the distributed multimedia applications development cycle and to allow authors who are not expert in formal methods to easily develop their applications.

É notável o avanço da utilização de aplicações multimídia nos diversos setores da atividade humana. Independente da área, seja ela educação ou entretenimento, a possibilidade de agregar recursos dinâmicos como áudio e vídeo aos já largamente utilizados como texto e imagem acarreta em benefícios aos usuários destas aplicações. Além disso, com a popularização da Internet, ha uma crescente demanda pela sua execução em ambientes distribuídos. Este trabalho teve como objetivo desenvolver MUSE, um ambiente gráfico para modelagem de aplicações multimídia interativas. Através de uma interface gráfica avançada e de um novo modelo de autoria de alto nível, e possível a criação de sistemas complexos de forma rápida e intuitiva. 0 modelo de autoria proposto neste trabalho e adotado pelo ambiente prevê a possibilidade de os elementos que constituem a aplicação estarem dispersos em uma rede de computadores, permitindo a definição de limiares aceitáveis de atraso e componentes alternativos. Pela grande expressividade do modelo, no entanto, podem ser geradas especificações com inconsistências lógicas e temporais. Por esta razão, o ambiente prove ainda especificações E-LOTOS - uma extensão temporal de LOTOS - utilizadas para fins de analise e verificação, permitindo a validação dos requisitos temporais das aplicações definidas pelo autor. A formalização das especificações através de uma TDF, além de viabilizar sua validação, prove descrições sem ambigüidades, que podem ser alternativamente utilizadas por autores que sejam familiarizados com a técnica de descrição formal. Este trabalho é parte do projeto DAMD (Design de Aplicações Multimídia Distribuídas) dentro do programa PROTEM fase 2, que tem por objetivo fornecer uma metodologia que cubra o ciclo completo das aplicações multimídia distribuídas e que permita a um autor não especializado em métodos formais desenvolver essas aplicações naturalmente. / It is notable the advance of multimedia applications utilization in several fields of human activity. Independent from the area, whether education or entertainment, the possibility to aggregate dynamic resources like audio and video to the ones already widely used like text and image results in benefits to the users of such applications. Besides, with the popularization of the Internet, there is an increasing demand for their execution in distributed environments. This work presents MUSE, a graphical environment for modeling interactive multimedia applications. Through an advanced graphic interface and a new high-level authoring model, it is possible to create complex systems in a fast and intuitive way. The authoring model proposed in this work and adopted by the tool deals with media objects distributed in a computer network, allowing the definition of acceptable delay thresholds and alternative media objects. Due to the large expressiveness of the model, however, specifications can be generated with logical and temporary inconsistencies. For this reason, the tool also provides E-LOTOS specifications used with the purpose of analyzing and verifying the applications aiming at validating the temporal requirements defined by the author. The formalization of the specifications by means of a TDF, beyond making their validation possible, provides descriptions free of ambiguities, which may be alternatively used by authors familiarized with the formal description technique. This work is part of DAMD (Distributed Multimedia Applications Design) project, sponsored by the Brazilian research council. Its main objectives are to provide a methodology to completely cover the distributed multimedia applications development cycle and to allow authors who are not expert in formal methods to easily develop their applications.

Ce mémoire de thèse s'intéresse à la conception de systèmes temps-réel en s'appuyant sur la méthode formelle RT-Lotos, extension temporelle à l'algèbre de processus Lotos. Il aborde plusieurs points relatifs à la spécification, la validation et l'ordonnancement de systèmes concurrents sujets à des contraintes logiques et temporelles. La première partie propose un éventail de méthodes formelles pour la spécification et la validation de systèmes temps-réel. Elle présente également le langage RT-Lotos et la technique de vérification formelle associée basée sur une analyse d'accessibilité. Elle détaille finalement un ensemble de travaux concernant l'automate temporisé (appelé un DTA) dérivé d'une spécification RT-Lotos, avec comme objectifs d'exécuter des simulations rapides, et de s'interfacer avec des outils de vérification de type model-checker. La deuxième partie présente une étude sur la notion de cohérence temporelle et propose une technique ainsi qu'un modèle formel pour exploiter sous un nouvel angle des informations issues de la vérification formelle par analyse d'accessibilité. Cette approche propose de raffiner le graphe des régions, d'en élaguer certaines branches jugées non souhaitables, d'extraire les dates de tir possible des actions, et de présenter ces informations sous la forme d'un nouveau type d'automate temporisé (appelé un TLSA) ayant pour vocation l'ordonnancement dans le temps des actions d'un système. Enfin, la troisième partie se penche sur les liens possibles entre méthodes formelles et semi-formelles. Dans ce cadre, nous proposons une sémantique formelle pour les diagrammes UML s'appuyant sur RT-Lotos, après avoir défini une extension temps-réel à UML (appelée TURTLE). Ainsi, nous définissons une méthodologie qui s'inscrit dans les techniques de développement industriel classiques et qui permet une vérification formelle de systèmes temps-réel.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T17:49:15Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T16:06:15Z : No. of bitstreams: 1 170874.pdf: 7629183 bytes, checksum: ec1c8b396fa95453f445786726da40b6 (MD5) / Gerência de Segurança contra fraudes e intrusões será um dos principais tópicos de investigação nas próximas gerações de [sistemas distribuídos]. Um sistema seguro (secure) provê proteção contra ataques de usuários não confiáveis, enquanto um sistema correto (safe) provê proteção contra erros de usuários confiáveis. Esta tese propõe um sistema de gerenciamento seguro e correto, em sistemas distribuídos em geral, e em sistemas de comunicação sem fio em particular. Inicialmente, apresenta-se a especificação e validação formal, em [LOTOS], do sistema distribuído de segurança para provar sua correção. Então, descreve-se como [redes neurais] podem ser empregadas na [gerência de segurança] de redes de [telecomunicações] sem fio, principalmente contra fraudes de clonagem e habilitação. O emprego de redes neurais possibilita o reconhecimento do padrão de cada usuário de telecomunicação móvel, e por conseguinte, detectar intrusões. Os resultados indicam que com o emprego de redes neurais na detecção de intrusão em redes de telecomunicações é possível reduzir, significativamente, as perdas das companhias telefônicas e usuários. Em acréscimo, apresenta-se como a arquitetura [CORBA] pode ser usada para suportar e elevar a segurança do sistema. Na implementação realizada, o sistema garante controle de acesso, autenticação, confidencialidade, integridade, disponibilidade e não-repúdio. Finalmente, como uma derivação dessa pesquisa, foi desenvolvido um sistema seguro de extrato telefônico via Web, possibilitando que os próprios usuários detectem intrusões e minimizem seus prejuízos.

La présente Thèse en Intelligence Artificielle est basée sur un tout premier concept nommé “Assistant Conversationnel”, lequel est abordé par le fait qu'un utilisateur quelconque souhaitant joindre un interlocuteur doit pouvoir toujours voir sa requête se réaliser, quelque soit le moyen choisi par le terminal et sans que l'utilisateur ait à choisir lui-même le moyen adéquat. Le problème principal à résoudre se définit en conséquence par la modélisation et la conception d'une interface intelligente, personnalisée et praticable par tous les publics sur les terminaux de communication spécialisables accédant à Internet. Nous avons alors créé et développé de nouveaux procédés “intelligents”, chargés entre-autres de rendre les opérations courantes moins fastidieuses sur des applications de messagerie électronique. Pour cela, nous avons établi un état de l'art des divers terminaux de communication disponibles sur le marché mondial, ainsi qu'une classification taxinomique poussée et une nouvelle hiérarchisation efficace des interfaces intelligentes. Puis, nous avons construit un “Modèle Auto-Adaptable d'Utilisateur” sur un apprentissage comportemental, incrémental et évolutif, finalement implémenté en quatre phases : 1. Analyse, représentation et classification des différentes actions réalisées par l'utilisateur. 2. Proposition régulière à l'utilisateur d'effectuer de manière auto-adaptable les actions apprises. 3. Exécution auto-adaptable de ces différentes séquences d'actions répétitives. 4. Simplification auto-adaptable d'éventuelles “erreurs” ou incohérences de manipulation. Ainsi, cette contribution innovante à l'interfaçage homme-machine avancé a permis d'aboutir à la validation complète d'un logiciel intelligent de communication, tout-à-fait autonome et portable, capable d'assister chaque utilisateur, néophyte comme très expérimenté, dans ses divers travaux quotidiens, et ce de manière conviviale et toujours respectueuse de ses préférences.

ENGLISH:<p>The natural nitrogen cycle has been and is significantly perturbed by anthropogenic emissions of reactive nitrogen (Nr) compounds into the atmosphere, resulting from our production of energy and food. In the last century global ammonia (NH3) emissions have doubled and represent nowadays more than half of total the Nr emissions. NH3 is also the principal atmospheric base in the atmosphere and rapidly forms aerosols by reaction with acids. It is therefore a species of high relevance for the Earth's environment, climate and human health (Chapter 1). As a short-lived species, NH3 is highly variable in time and space, and while ground based measurements are possible, they are sparse and their spatial coverage is largely heterogeneous. Consequently, global spatial and temporal patterns of NH3 emissions are poorly understood and account for the largest uncertainties in the nitrogen cycle. The aim of this work is to assess distributions and saptiotemporal variability of NH3 using satellite measurements to improve our understanding of its contribution to the global nitrogen cycle and its related effects.<p><p>Recently, satellite instruments have demonstrated their abilities to measure NH3 and to supplement the sparse surface measuring network by providing global total columns daily. The Infrared Atmospheric Sounding Interferometer (IASI), on board MetOp platforms, is measuring NH3 at a high spatiotemporal resolution. IASI circles the Earth in a polar Sun-synchronous orbit, covering the globe twice a day with a circular pixel size of 12km diameter at nadir and with overpass times at 9:30 and 21:30 (local solar time when crossing the equator). An improved retrieval scheme based on the calculation of Hyperspectral Range Index (HRI) is detailed in Chapter 2 and compared with previous retrieval methods. This approach fully exploits the hyperspectral nature of IASI by using a broader spectral range (800-1200 cm-1) where NH3 is optically active. It allows retrieving total columns from IASI spectra globally and twice a day without large computational resources and with an improved detection limit. More specifically the retrieval procedure involves two steps: the calculation of a dimensionless spectral index (HRI) and the conversion of this index into NH3 total columns using look-up tables (LUTs) built from forward radiative transfer simulations under various atmospheric conditions. The retrieval also includes an error characterization of the retrieved column, which is of utmost importance for further analysis and comparisons. Global distributions using five years of data (1 November 2007 to 31 October 2012) from IASI/MetOp-A are presented and analyzed separately for the morning and evening overpasses. The advantage of the HRI-based retrieval scheme over other methods, in particular to identify smaller emission sources and transport patterns over the oceans is shown. The benefit of the high spatial sampling and resolution of IASI is highlighted with the regional distribution over China and the first four-year time series are briefly discussed.<p><p>We evaluate four years (1 January 2008 to 31 December 2011) of IASI-NH3 columns from the morning observations and of LOTOS-EUROS model simulations over Europe and Western Russia. We describe the methodology applied to account for the variable retrieval sensitivity of IASI measurements in Chapter 3. The four year mean distributions highlight three main agricultural hotspots in Europe: The Po Valley, the continental part of Northwestern Europe, and the Ebro Valley. A general good agreement between IASI and LOTOS-EUROS is shown, not only over source regions but also over remote areas and over seas when transport is observed. The yearly analyses reveal that, on average, the measured NH3 columns are higher than the modeled ones. Large discrepancies are observed over industrial areas in Eastern Europe and Russia pointing to underestimated if not missing emissions in the underlying inventories. For the three hotspots areas, we show that the seasonality between IASI and LOTOS-EUROS matches when the sensitivity of the satellite measurements is taken into account. The best agreement is found in the Netherlands, both in magnitude and timing, most likely as the fixed emission timing pattern was determined from experimental data sets from this country. Moreover, comparisons of the daily time series indicate that although the dynamic of the model is in reasonable agreement with the measurements, the model may suffer from a possible misrepresentation of emission timing and magnitude. Overall, the distinct temporal patterns observed for the three sites underline the need for improved timing of emissions. Finally, the study of the Russian fires event of 2010 shows that NH3 modeled plumes are not enough dispersed, which is confirmed with a comparison using in situ measurements.<p><p>Chapter 4 describes the comparisons of IASI-NH3 measurements with several independent ground-based and airborne data sets. Even though the in situ data are sparse, we show that the yearly distributions are broadly consistent. For the monthly analyzes we use ground-based measurements in Europe, China and Africa. Overall, IASI-derived concentrations are in fair agreement but are also characterized by less variability. Statistically significant correlations are found for several sites, but low slopes and high intercepts are calculated in all cases. At least three reasons can explain this: (1) the lack of representativity of the point surface measurement for the large IASI pixel, (2) the use of a single profile shape in the retrieval scheme over land, which does therefore not account for a varying boundary layer height, (3) the impact of the averaging procedure applied to satellite measurements to obtain a consistent quantity to compare with the in situ monthly data. The use of hourly surface measurements and of airborne data sets allows assessing IASI individual observations. Much higher correlation coefficients are found in particular when comparing IASI-derived volume mixing ratio with vertically resolved measurements performed from the NOAA WP-3D airplane during CalNex campaign in 2010. The results demonstrate the need, for validation of the satellite columns, of measurements performed at various altitudes and covering a large part of the satellite footprint.<p><p>The six-year of IASI observations available at the end of this thesis are used to analyze regional time series for the first time (Chapter 5). More precisely, we use the IASI measurements over that period (1 January 2008 to 31 December 2013) to identify seasonal patterns and inter-annual variability at subcontinental scale. This is achieved by looking at global composite seasonal means and monthly time series over 12 regions around the world (Europe, Eastern Russia and Northern Asia, Australia, Mexico, South America, 2 sub-regions for Northern America and South Asia, 3 sub-regions for Africa), considering separately but simultaneously measurements from IASI morning and evening overpasses. The seasonal cycle is inferred for the majority of these regions. The relations between the NH3 atmospheric abundance and emission processes is emphasized at smaller regional scale by extracting at high spatial resolution the global climatology of the month of maxima columns. In some region, the predominance of a single source appears clearly (e.g. agriculture in Europe and North America, fires in central South Africa and South America), while in others a composite of source processes on small scale is demonstrated (e.g. Northern Central Africa and Southwestern Asia).<p><p>Chapter 6 presents the achievements of this thesis, as well as ongoing activities and future perspectives.<p>FRANCAIS:<p>Le cycle naturel de l'azote est fortement perturbé suite aux émissions atmosphériques de composés azotés réactifs (Nr) résultant de nos besoins accrus en énergie et en nourriture. Les émissions d'ammoniac (NH3) ont doublé au cours du siècle dernier, représentant aujourd'hui plus de la moitié des émissions totales de Nr. De plus, le NH3 étant le principal composé basique de notre atmosphère, il réagit rapidement avec les composés acides pour former des aérosols. C'est dès lors un constituant prépondérant pour l'environnement, le climat et la santé publique. Les problématiques environnementales y étant liées sont décrites au Chapitre 1. En tant que gaz en trace le NH3 se caractérise par une importante variabilité spatiale et temporelle. Bien que des mesures in situ soient possibles, elles sont souvent rares et couvrent le globe de façon hétérogène. Il en résulte un manque de connaissance sur l'évolution temporelle et la variabilité spatiale des émissions, ainsi que de leurs amplitudes, qui représentent les plus grandes incertitudes pour le cycle de l'azote (également décrites au Chapitre 1).<p><p>Récemment, les sondeurs spatiaux opérant dans l'infrarouge ont démontré leurs capacités à mesurer le NH3 et par là à compléter le réseau d'observations de surface. Particulièrement, l'Interféromètre Atmosphérique de Sondage Infrarouge (IASI), à bord de la plateforme MetOp, mesure le NH3 à une relativement haute résolution spatiotemporelle. Il couvre le globe deux fois par jour, grâce à son orbite polaire et son balayage autour du nadir, avec un temps de passage à 9h30 et à 21h30 (temps solaire local quand il croise l'équateur). Une nouvelle méthode de restitution des concentrations basée sur le calcul d'un index hyperspectral sans dimension (HRI) est détaillée et comparée aux méthodes précédentes au Chapitre 2. Cette méthode permet d'exploiter de manière plus approfondie le caractère hyperspectral de IASI en se basant sur une bande spectrale plus étendue (800-1200 cm-1) au sein de laquelle le NH3 est optiquement actif. Nous décrivons comment restituer ces concentrations deux fois par jour sans nécessiter de grandes ressources informatiques et avec un meilleur seuil de détection. Plus spécifiquement, la procédure de restitution des concentrations consiste en deux étapes: le HRI est calculé dans un premier temps pour chaque spectre puis est ensuite converti en une colonne totale de NH3 à l'aide de tables de conversions. Ces tables ont été construites sur base de simulations de transfert radiatif effectuées pour différentes conditions atmosphériques. Le processus de restitution des concentrations comprend également le calcul d'une erreur sur la colonne mesurée. Des distributions globales moyennées sur cinq ans (du 1 novembre 2007 au 31 Octobre 2012) sont présentées et analysées séparément pour le passage diurne et nocturne de IASI. L'avantage de ce nouvel algorithme par rapport aux autres méthodes, permettant l'identification de sources plus faibles de NH3 ainsi que du transport depuis les sources terrestres au-dessus des océans, est démontré. Le bénéfice de la haute couverture spatiale et temporelle de IASI est mis en exergue par une description régionale au-dessus de la Chine ainsi que par l'analyse de premières séries temporelles hémisphériques sur quatre ans.<p><p>Au Chapitre 3, nous évaluons quatre ans (du 1 janvier 2008 au 31 décembre 2011) de mesures matinales de IASI ainsi que de simulations du modèle LOTOS-EUROS, effectuées au-dessus de l'Europe et de l'ouest de la Russie. Nous décrivons une méthodologie pour prendre en compte, dans la comparaison avec le modèle, la sensibilité variable de l'instrument IASI pour le NH3. Les comparaisons montrent alors une bonne concordance générale entre les mesures et les simulations. Les distributions pointent trois régions sources: la vallée du Pô, le nord-ouest de l'Europe continentale et la vallée de l'Ebre. L'analyse des distributions annuelles montre qu'en moyenne, les colonnes de NH3 mesurées sont plus élevées que celles simulées, à part pour quelques cas spécifiques. Des différences importantes ont été identifiées au-dessus de zones industrielles en Europe de l'est et en Russie, ce qui tend à incriminer une sub-estimation voire une absence de ces sources dans les inventaires d'émissions utilisés en entrée du modèle. Nous avons également montré que la saisonnalité est bien reproduite une fois la sensibilité des mesures satellites prise en compte. La meilleure concordance entre le modèle et IASI est observée pour les Pays-Bas, ce qui est certainement dû au fait que le profil temporel des émissions utilisé pour les simulations LOTOS-EUROS est basé sur des études expérimentales réalisées dans ce pays. L'étude des séries temporelles journalières indique que la dynamique du modèle est raisonnablement en accord avec les mesures mais pointe néanmoins une possible mauvaise représentation du profil temporel ainsi que de l'ampleur des émissions. Finalement, l'étude des importants feux ayant eu cours en Russie à l'été 2010 a montré que les panaches modélisés sont moins étendus que ceux observés, ce qui a été confirmé grâce à une comparaison avec des mesures sols.<p><p>Le chapitre 4 est dédié à la confrontation des mesures IASI avec différents jeux de données indépendants acquis depuis le sol et par avion. Les distributions globales annuelles sont concordantes, bien que la couverture spatiale des mesures sols soit limitée. Des mesures effectuées à la surface en Europe, en Chine et en Afrique sont utilisées pour les comparaisons mensuelles. Ces dernières révèlent une bonne concordance générale, bien que les mesures satellites montrent une plus faible amplitude de variations de concentrations. Des corrélations statistiquement significatives ont été calculées pour de nombreux sites, mais les régressions linéaires sont caractérisées par des pentes faibles et des ordonnées à l'origine élevées dans tous les cas. Au minimum, trois raisons contribuent à expliquer cela: (1) le manque de représentativité des mesures ponctuelles pour l'étendue des pixels IASI, (2) l'utilisation d'une seule forme de profil vertical pour la restitution des concentrations, qui ne prend dès lors pas en compte la hauteur de la couche limite, (3) l'impact de la procédure utilisée pour moyenner les observations satellites afin d'obtenir des quantités comparables aux mesures sols mensuelles. La prise en compte de mesures en surface effectuées à plus haute résolution temporelle ainsi que de mesures faites depuis un avion permet d'évaluer les observations IASI individuelles. Les coefficients de corrélation calculés sont bien plus élevés, en particulier pour la comparaison avec les mesures effectuées depuis l'avion NOAA WP-3D pendant la campagne CalNex en 2010. Ces résultats démontrent la nécessité de ce type d'observations, effectuées à différentes altitudes et couvrant une plus grande surface du pixel, pour valider les colonnes IASI-NH3.<p><p>Les six ans de données IASI disponibles à la fin de cette thèse sont utilisées pour tracer les premières séries temporelles sub-continentales (Chapitre 5). Plus spécifiquement, nous explorons les mesures IASI durant cette période (du 1 janvier 2008 jusqu'au 31 décembre 2013) pour identifier des structures saisonnières ainsi que la variabilité inter-annuelle à l'échelle sous-continentale. Pour arriver à cela, des moyennes saisonnières composites ont été produites ainsi que des séries temporelles mensuelles au-dessus de 12 régions du globe (Europe, est de la Russie et nord de l'Asie, Australie, Mexique, Amérique du Sud, 2 sous-régions en Amérique du nord et en Asie du sud et 3 sous-régions en Afrique), considérant séparément mais simultanément les mesures matinales et nocturnes de IASI. Le cycle saisonnier est raisonnablement bien décrit pour la plupart des régions. La relation entre la quantité de NH3 atmosphérique et ses sources d'émission est mise en exergue à l'échelle plus régionale par l'extraction à haute résolution spatiale d'une climatologie des mois de colonnes maximales. Dans certaines régions, la prédominance d'un processus source apparait clairement (par exemple l'agriculture en Europe et en Amérique du nord, les feux en Afrique du Sud et en Amérique du Sud), alors que, pour d'autres, la diversité des sources d'émissions est démontrée (par exemple pour le nord de l'Afrique centrale et l'Asie du sud-ouest).<p><p>Le Chapitre 6 reprend brièvement les principaux aboutissements de cette thèse et présente les différentes recherches en cours et les perspectives associées.<p> / Doctorat en Sciences agronomiques et ingénierie biologique / info:eu-repo/semantics/nonPublished