The task of a reformed apologetics is the application of both theology and philosophy in the confrontation with unbelievers, bridging the gap between the natural man and the Gospel of Christ and trying to do justice to the multi-aspectual, existential and constitutive sides of created reality. In the Festschrift of Cornelius Van Til, two well-known reformational philosophers, Herman Dooyeweerd of the Netherlands and Hendrik Stoker of South Africa, among others, discussed with Van Til the methodology of Christian apologetics (Jerusalem and Athens 1971: viii). The investigation focus on the reflections of Dooyeweerd and Stoker on Van Til’s method, which attempted to break away from classical methods and to reform apologetics biblically. Thence, constructive criticisms, methodological integration of reformational insights and the opening up of new avenues of apologetic discourse follows after a structural evaluation of the dialogue between the three thinkers, leading to a Trinitarian, Modal-spherical method (TMSA) of apologetics, while still presupposing the biblical and triune essence of Van Til’s pressuppositional apologetics. After absorbing and integrating inter-related elements in its Trinitarian framework, the new method of apologetics will be introduced to broader Christianity via two integralist accounts of traditional Christian philosophy, both inspired by an interpretation Neo-Thomism, which in many respects correspond to the Neo-Calvinist vision. So that after non-dualistically expanding TMSA’s methodological foundation and scope of interaction non-, it can be briefly introduced to other nuances of apologetics at the final step of the thesis, in the hope of contributing for the ongoing reformation of the Church and its apologetic endevour. / MA (Missiology), North-West University, Potchefstroom Campus, 2014

The task of a reformed apologetics is the application of both theology and philosophy in the confrontation with unbelievers, bridging the gap between the natural man and the Gospel of Christ and trying to do justice to the multi-aspectual, existential and constitutive sides of created reality. In the Festschrift of Cornelius Van Til, two well-known reformational philosophers, Herman Dooyeweerd of the Netherlands and Hendrik Stoker of South Africa, among others, discussed with Van Til the methodology of Christian apologetics (Jerusalem and Athens 1971: viii). The investigation focus on the reflections of Dooyeweerd and Stoker on Van Til’s method, which attempted to break away from classical methods and to reform apologetics biblically. Thence, constructive criticisms, methodological integration of reformational insights and the opening up of new avenues of apologetic discourse follows after a structural evaluation of the dialogue between the three thinkers, leading to a Trinitarian, Modal-spherical method (TMSA) of apologetics, while still presupposing the biblical and triune essence of Van Til’s pressuppositional apologetics. After absorbing and integrating inter-related elements in its Trinitarian framework, the new method of apologetics will be introduced to broader Christianity via two integralist accounts of traditional Christian philosophy, both inspired by an interpretation Neo-Thomism, which in many respects correspond to the Neo-Calvinist vision. So that after non-dualistically expanding TMSA’s methodological foundation and scope of interaction non-, it can be briefly introduced to other nuances of apologetics at the final step of the thesis, in the hope of contributing for the ongoing reformation of the Church and its apologetic endevour. / MA (Missiology), North-West University, Potchefstroom Campus, 2014

Thèse par articles. / La présente thèse fait état des avancées en logique déontique et propose des outils formels pertinents à l'analyse de la validité des inférences légales. D'emblée, la logique vise l'abstraction de différentes structures. Lorsqu'appliquée en argumentation, la logique permet de déterminer les conditions de validité des inférences, fournissant ainsi un critère afin de distinguer entre les bons et les mauvais raisonnements. Comme le montre la multitude de paradoxes en logique déontique, la modélisation des inférences normatives fait cependant face à divers problèmes. D'un point de vue historique, ces difficultés ont donné lieu à différents courants au sein de la littérature, dont les plus importants à ce jour sont ceux qui traitent de l'action et ceux qui visent la modélisation des obligations conditionnelles. La présente thèse de doctorat, qui a été rédigée par articles, vise le développement d'outils formels pertinents à l'analyse du discours juridique. En première partie, nous proposons une revue de la littérature complémentaire à ce qui a été entamé dans Peterson (2011). La seconde partie comprend la contribution théorique proposée. Dans un premier temps, il s'agit d'introduire une logique déontique alternative au système standard. Sans prétendre aller au-delà de ses limites, le système standard de logique déontique possède plusieurs lacunes. La première contribution de cette thèse est d'offrir un système comparable répondant au différentes objections pouvant être formulées contre ce dernier. Cela fait l'objet de deux articles, dont le premier introduit le formalisme nécessaire et le second vulgarise les résultats et les adapte aux fins de l'étude des raisonnements normatifs. En second lieu, les différents problèmes auxquels la logique déontique fait face sont abordés selon la perspective de la théorie des catégories. En analysant la syntaxe des différents systèmes à l'aide des catégories monoïdales, il est possible de lier certains de ces problèmes avec des propriétés structurelles spécifiques des logiques utilisées. Ainsi, une lecture catégorique de la logique déontique permet de motiver l'introduction d'une nouvelle approche syntaxique, définie dans le cadre des catégories monoïdales, de façon à pallier les problèmes relatifs à la modélisation des inférences normatives. En plus de proposer une analyse des différentes logiques de l'action selon la théorie des catégories, la présente thèse étudie les problèmes relatifs aux inférences normatives conditionnelles et propose un système déductif typé. / The present thesis develops formal tools relevant to the analysis of legal discourse. When applied to legal reasoning, logic can be used to model the structure of legal inferences and, as such, it provides a criterion to discriminate between good and bad reasonings. But using logic to model normative reasoning comes with some problems, as shown by the various paradoxes one finds within the literature. From a historical point of view, these paradoxes lead to the introduction of different approaches, such as the ones that emphasize the notion of action and those that try to model conditional normative reasoning. In the first part of this thesis, we provide a review of the literature, which is complementary to the one we did in Peterson (2011). The second part of the thesis concerns our theoretical contribution. First, we propose a monadic deontic logic as an alternative to the standard system, answering many objections that can be made against it. This system is then adapted to model unconditional normative inferences and test their validity. Second, we propose to look at deontic logic from the proof-theoretical perspective of category theory. We begin by proposing a categorical analysis of action logics and then we show that many problems that arise when trying to model conditional normative reasoning come from the structural properties of the logic we use. As such, we show that modeling normative reasoning within the framework of monoidal categories enables us to answer many objections in favour of dyadic and non-monotonic foundations for deontic logic. Finally, we propose a proper typed deontic system to model legal inferences.

Ce travail de recherche propose une description du style mélodique et harmonique du groupe britannique Portishead et s’appuie sur l’analyse du répertoire complet, soit 33 chansons réparties sur trois albums (11 chansons par albums). Étant donné que le corpus étudié est restreint, il est possible de procéder à une analyse statistique qui permet de dégager une grammaire mélodico-harmonique. L’hypothèse de ce travail de recherche repose sur l’idée que l’évolution du langage musical de Portishead s’articule autour de procédés mélodiques et harmoniques favorisant un élargissement d’un cadre tonal équivoque. Pour ce faire, Portishead a recours à plusieurs procédés mélodiques et harmoniques qui entretiennent l’équivoque tonale. Or, ces procédés sont similaires, sans toutefois être identiques, aux six procédés répertoriés par Sylvain Caron (Caron 2002) au sujet de la grammaire de Gabriel Fauré. Par la mise en œuvre de plusieurs outils d’analyses, nous procédons à une étude comparée et contextualisée de certains mécanismes mélodique et harmonique qui font émerger l’équivoque, tant chez Fauré que chez Portishead. Ces outils d’analyse, comme l’analyse des vecteurs de ruptures mélodico-harmoniques, l’analyse paradigmatique ou l’analyse néo-riemannienne, ont été bonifiés afin de rendre compte de certaines particularités liées au corpus étudié. Ce travail de recherche est divisé en deux parties précédés d’une introduction, d’une notice biographique et d’une revue de littérature analytique. La première partie se divise en trois chapitres et s’intéresse spécifiquement au traitement mélodique équivoque. La deuxième partie, constituée des deux derniers chapitres, abordent les procédés d’équivoque harmonique. Ce travail de recherche a démontré que même si un siècle sépare les compositions de Gabriel Fauré et Portishead, l’équivoque se manifeste par une grammaire musicale commune. Nous constatons aussi que l’équivoque articule le discours formel et conditionne les rapports structurants de tension – détente de l’œuvre. / This research provides a description of the melodic and harmonic style of the British band Portishead. It is based on analysis of the full repertoire or 33 songs over three albums (11 songs per album). Since the entire corpus is analyzed, one may be able to detect chronologically trends and perform statistical analysis of the evolution of the melodic- harmonic grammar and aesthetics of the group. The hypothesis of this research work is based on the idea that the evolution of the musical language of Portishead revolves around melodic and harmonic processes favoring an expansion of tonal ambiguity frame. To do this, Portishead uses several melodic and harmonic processes that maintain tonal ambiguity. However, these processes are similar, but not identical, to the six processes listed by Sylvain Caron (Caron 2002) about the grammar of Gabriel Fauré. For the implementation of various analysis tools, we perform a comparative and contextualized study of certain melodic and harmonic mechanisms that brings out the ambiguity, both in Fauré than Portishead. These analysis tools, such as analysis of melodic-harmonic vectors of ruptures, paradigmatic analysis or neo-Riemannian analysis were enhanced to reflect certain particularities of the studied corpus. This research consists of two parts preceded by an introduction, a manual and a review of literature analystique. The first part is divided into three chapters and focuses specifically on clear melodic treatment. The second part, consisting of the last two chapters address the ambiguity of harmonic processes. This research has shown that even if a century separates the compositions of Gabriel Fauré and Portishead, ambiguity is manifested by a common grammar. We also notice that ambiguity revolves formal speeches and determines the structuring of tension – release relationships.

Depuis l'identification par Brown \& Roshko, en 1974, de structures jouant un rôle majeur dans le mélange d'un écoulement turbulent, la recherche de structures cohérentes a été un des principaux axes d'étude en mécanique des fluides.Les travaux présentés dans ce manuscrit s'inscrivent dans cette voie.La première partie du manuscrit traite ainsi de l'identification de structures cohérentes. Elle se compose de trois chapitres abordant deux techniques d’identification. La Décomposition en mode dynamique (DMD), ainsi que des variantes généralisant son champ applicatif est présenté dans le premier chapitre. Cette méthode propose une représentation par modes spatiaux et temporels d'un ensemble de données. Une méthode pour la sélection de composantes particulièrement représentatives de la dynamique, i.e. présentant de bonnes qualités d'observabilité, se basant sur cette décomposition est également décrite dans ce chapitre.Le deuxième chapitre traite de la détection de structures cohérentes lagrangienne, par suivi de particules. Ces structures permettent d'identifier les frontières matérielles et apportent des éclaircissements sur les mécanismes du mélange au sein de l'écoulement considéré.Ces méthodes sont appliquées, dans le chapitre trois, au cas d’un écoulement incompressible affleurant une cavité ouverte.La seconde partie du manuscrit traite des questions de représentation et discrimination de données scientifiques.Une réponse à la question de la représentation de structures cohérentes a été la mise en place d'outils permettant la visualisation interactive de jeux de données scientifiques, qui dont la présentation fait l'objet du chapitre quatre. En particulier, l'utilisation d'objets tangibles, représentant les données dans le monde réel, permet une exploration plus efficace des ensembles de volumétriques de données scientifiques. La question d'une perception et discrimination efficace de données représentées, e.g. la différentiation entre deux valeurs proches, est abordée dans le cinquième chapitre. / Brown \& Roshko identify the key role, as soon as 1974, of coherent structures in the mixing of a turbulenet jet. Since, the seek for coherent structures has been a major field in fluid mechanics. This manuscript follows this path, and aims at describing algorithm to compute and explore coherent structures from fluid mechanics dataset.The first part of this manuscript is dedicated to present algorithms for the computations of coherent structures from dataset. The first chapter exposes the Dynamical Modes Decomposition, and presents improvements of the method. A criterion to estimate the observability properties of components of the state vector is also presented.The second chapter aims at describing an efficient algorithm to compute Lagrangian Coherent Structures, which are somewhat equivalent to material frontiers in fluid flows, and highlight mixing dynamics.This methods are applied, in a third chapter, to caracterize the dynamics of an open cavity flow.The second parti of this manuscript is dedicated to the representation and discrimination of scientific dataset.The fourth chapter presents metaphors for the interactive exploration of scientific and volumetric dataset. The use of tangible interfaces is investigated. The last chapter deals with the differenciation between represented data, by proposing an algorithm for the differenciation between close but different signals.

Dans cette thèse, nous nous proposons d’investiguer les signaux expérimentaux provenant des transmissions par courroie, afin d’envisager par exemple le diagnostic de la tension. N’étant pas issu du domaine de la Mécanique, nous présentons donc une bibliographie exhaustive et thématique sur la théorie et l’expérimentation dans les systèmes transmissions par courroie. Le résumé de ce travail a permis de choisir une approche de modélisation mécanique correspondant au mieux aux conditions réelles de fonctionnement de notre système. Elle inclut les variations temporelles dans la vitesse de rotation du moteur qui entraîne la transmission entière et des changements dans la tension de la courroie. Malheureusement, nous n’avons pas réussi à implémenter numériquement les équations de simulation. Néanmoins, les conclusions que nous en tirons nous aident par la suite à mieux comprendre et interpréter les résultats expérimentaux obtenus, après application de l’ensemble des procédures de Traitement du signal. Notre panoplie d’outils de traitements numériques est tirée d’une longue analyse comparative des différents algorithmes de Traitement du Signal existants, dédiés à la surveillance, au diagnostic et au pronostic des défaillances observées sur les roulements et les engrenages. Nous les avons réadaptés pour convenir à l'étude des paramètres variables (tension, charge et/ou vitesse) qui peuvent apparaître dans les transmissions par courroie. Le principal intérêt de notre travail est le développement d’une procédure automatisée et efficace, permettant un suivi fiable des défaillances, dans les domaines d’analyses : modale, traditionnelle (temporelle, fréquentielle, spectrale), synchrone, temps-fréquence et surtout « cyclostationnaire » . Dans ce dernier domaine, avec des méthodes d’extraction de sources à partir d’un signal préalablement rééchantillonné, nous étudions spécifiquement les composantes périodique et aléatoire. Chaque type de défaut (variations au niveau de la tension, la charge et/ou la vitesse) a une signature que nous cherchons à distinguer avec des indicateurs de condition(temporels, fréquentiels et spectraux). Nous essayons de comparer les résultats expérimentaux à la théorie sur les transmissions par courroie. Grâce aux méthodes et algorithmes développés dans ce travail de thèse, nous apportons une contribution permettant de traiter un certain nombre de problèmes inhérents aux transmissions par courroies, à partir de leurs signaux expérimentaux acquis sur des accéléromètres, des jauges de contraintes et des codeurs optiques / In this PHD, we investigate experimental signals recorded from belt drives with a diagnosis aim of belt tension. Our research works present an exhaustive and thematic bibliography on theory and experimentation in belt drive to complete our insufficient knowledges in mechanical domain. We choosed a theoritical approach nearest real conditions of our belt drives bench. We included time fluctuaction in drive shaft speed and blet changes. Unfortunately, we could not resolve motion equations because existence of numerical limits. All conclusions will be used to understand and interprate experimental results after our signal processing numerical procedures. Our tools panel of numerical process comes from a comparative analysis extracted in several scientific documents and differents algorithms. They dedicate to surveillance, diagnosis and pronostic oriented toward bear and gear defaults. A adaptation in our belt case is necessary with variables parameters (tension, load and/or speed) affecting our case. In our automatic approach, we study several faults in analysis domains : modal, traditionnal (time, frequency, spectrum), synchronous, time-frequency and « cyclostationary » . In this last domain, we extract both comopnent (discret and random), after an previous resmapling operation applying to raw collected signal. Each falut type has a specific signature to discriminate with pertinent condition indications (time, frequency and spectrum domains). All results are discussed at the end of this PHD document. Our developped methods and algorithms are a contribution to process belt drives problems, from exprerimental signals recording with acceleromertes, constraint gauges and optical coders

Ce travail de recherche traite de la problématique des transports dans les villes d’Indonésie, Jakarta et Bandung, mais également de la grande concurrence modale du trajet Jakarta-Bandung et Bandung-Jakarta. Les préférences des passagers sont des variables très importantes à connaître en raison de leurs impacts pour choisir un mode de transport parmi d’autres. Dans les transports, le modèle Logit est largement utilisé comme une méthode pour aborder la problématique du choix de transport multimodal comportant de multiples variables, mais dans la présente recherche, ces modèles ne sont pas appropriés pour la résolution de nos problèmes, car il y a des variables particulières à identifier et à prendre en compte. Par conséquent, nous avons développé pour nos besoins le modèle « Logit Mixed Multinomial Adapté (LMMA) » comme outil dédié à l’analyse décisionnelle dans le choix des modes de transport des passagers. La première partie de nos travaux de recherches porte sur l’identification et la compréhension des problèmes de transports intra-cité d’origine et de destination pour le choix du mode de transport entre Jakarta et Bandung (et puis entre Bandung et Jakarta). La seconde partie concerne le processus de décision final en proposant et en analysant les résultats d’un questionnaire adressé à de nombreux utilisateurs de la liaison Jakarta-Bandung (et Bandung-Jakarta). L’analyse permet pour chaque situation d’origine et de destination, et en tenant compte des services offerts par chaque mode inter-cité, d’identifier quel est le mode le plus compétitif. / An ideal city or intercity transport system is one where all the transport networks, involving in general different modes of transport, could serve together the cities connections to fulfill a passenger demand and satisfaction. Each transport network should have a logical layout (as possible with minimum discontinuities) to meet the required demands. Also in that ideal system, the different modes of transport should not only have their own good performances but also the exchange between modes should be done with harmony. The conditions as mentioned above are worldwide challenges. The present work deals with the transportation problematic between two Indonesian cities, and also with the high modal competition on the Jakarta-Bandung corridor. On that corridor, road transport is currently the main demanding mode for passengers transportation. The airlines cannot compete and discontinued their operations to this route. Nowadays, railway transport is decaying. Passengers preferences are the main variables for the final modal choice. It is necessary to know preferences due to their decisions impacts to choose one mode over the others. Those preferences are in fact not simple to express in a complex city and intercity transport system. In transportation, the Logit model is widely used as a method to explore the problematic of modal choices involving a lot of different variables. There are several Logit models already developed, such as “General Extreme Value”, “Probit”, and “Nested model”, but in this research, they are not compatible to solve our defined problems because there are some particular identified variables to be taken into account. Therefore we propose the "Adapted Mixed Multinomial Logit (AMML)" Model as a tool for analysis towards passenger's decision in modal choices. On the Jakarta-Bandung corridor, modal choices are influenced by the encountered problems in intercity transport at origin and destination. One part on this research deals with identification and understanding of the intracity transport problems of origin and destination on the choice of transport mode in Jakarta-Bandung corridor (Jakarta-Bandung and Bandung-Jakarta direction). The second part of this research deals with the final decision process by analyzing the results of questionnaires addressed to many users of the Jakarta-Bandung corridor. The five main variables of the last questionnaire are travel time, overall cost, security conditions, quality of travel information and connectivity conditions relevant to intercity transport and intracities transport conditions as well. After validation of the questionaires, this research uses the AMML model to get final decision result by comparing one mode among three intercity transport mode (train, minibus, and car) using the values of the variables. Taking into account the characteristics of each intercity mode of transportation, the analysis identifies the most competitive intercity transport mode for each situation from departure city to arrival city. Using alternative public and private transport modes policies, one could in the future modify passenger choice on intercity transport mode. Therefore, this study is relevant for improving of intracity and intercity transport systems.

L’Emission Acoustique (EA) est une technique de contrôle non-destructif consistant en la mesure et l’interprétation de la signature acoustique de mécanismes d’endommagement. Dans l’approche conventionnelle (approche phénoménologique), l’interprétation des données issues des mesures par EA s’appuie sur des corrélations empiriques entre des caractéristiques de la source (le mécanisme d’endommagement) et le signal mesuré. Les modifications dues à la chaine d’acquisition de l’EA sont donc ignorées. Or, la propagation dans le matériau, la mesure par le capteur et le traitement par le système d’acquisition modifient la forme du signal et l’information qu’il transporte. Cela rend difficile l’identification de la source, et la comparaison des résultats issus d’essais effectués dans des conditions différentes. Une partie de la réponse à ces problèmes réside dans la prise en compte des étapes de transformation du signal d’EA. C’est l’objectif de l’approche quantitative de l’EA. Cette approche repose sur l’utilisation de techniques de modélisation pour évaluer l’impact de chaque étape de transformation sur le signal. Le premier volet de cette étude porte sur la validation des techniques utilisées pour simuler les étapes de transformation du signal d’EA. La méthode des éléments finis (MEF) est utilisée pour simuler la propagation du signal au sein du matériau. L’effet du capteur est quant à lui simulé par sa fonction de sensibilité, mesurée par la méthode de réciprocité, et utilisée comme fonction de transfert. Le second volet porte sur l’utilisation de ces techniques pour évaluer l’impact, sur le signal d’EA, des paramètres (position, temps de montée, amplitude) d’une source simple modélisée par des dipôles de force. Trois géométries d’éprouvette sont étudiées : une première éprouvette assimilable à une plaque, une seconde assimilable à une poutre de section rectangulaire et une dernière dont les dimensions sont intermédiaires entre une plaque et une poutre. Les résultats obtenus montrent que les signaux se propagent au sein des éprouvettes suivant des modes bien définis. Ces modes de propagation sont dépendants de la géométrie de l’éprouvette. Chaque source sollicite les modes différemment. Ainsi leur étude permet de réunir des informations sur la source afin de l’identifier. Par ailleurs, cette étude a permis de mettre en évidence des descripteurs pertinents pour l’identification des sources d’EA. Les descripteurs, corrélés entre eux, permettent une nette séparation des signaux en classes en fonction de la source. Ces résultats, obtenus en surface matériau, ne prennent pas en compte l’effet du capteur. Lorsque celui-ci est pris en compte, la signature modale des sources est modifiée ainsi que la valeur des descripteurs calculés. Cela conduit à un recouvrement des classes de signaux rendant plus difficile l’identification des sources. / Acoustic emission (AE) is a non-destructive testing technique consisting in measuring and interpreting the acoustic signature of damage mechanisms. In a conventional treatment approach (phenomenological approach), the interpretation of data measured by AE is based on empirical correlations between the source (the damage mechanism) parameters and the measured signal. Therefore, the modifications due to the acquisition chain of acoustic emission are ignored. Yet, propagation of the waves in the material, measures made by the sensor and signal treatments made by the acquisition system modify the signal and the information it carries. As a consequence, identification of the source and comparison with results from other tests made in different conditions are difficult. To find a solution to these problems, one can take into account the different steps of the acquisition chain. This is the goal of Quantitative Acoustic Emission (QAE). This approach is based on modelling techniques to evaluate the impact of each step of the acquisition chain on the AE signal. The first part of this study concerns the experimental validation of the modelling techniques that were used in simulating the steps of the acquisition chain. The Finite Element Method (FEM) is used in simulating the signal propagation inside the material. The sensor effect on the signal is simulated by its sensitivity function, measured by the reciprocity method and used as a transfer function. The second part deals with using these techniques to evaluate the impact of simple AE sources on the AE signal. These simple sources are considered as a point source and modelled by dipole forces. Three tensile specimen geometries are studied: a first specimen that can be compared to a plate, a second specimen that can be compared to a beam and a third specimen of intermediate dimensions. The obtained results show the mechanical waves propagate inside the specimens as modes. These modes depend on the specimen geometry. Each source excites the wave propagation modes in a different manner. Consequently, studying the excited modes, one can gather useful information on the AE source to identify it. In addition, this study highlighted relevant signal parameters to identify AE sources. The correlation of these parameters allows segregating the signals as a function of the source. These results obtained at the material surface don’t take into account the sensor modifications on the signal. The sensor modifies the modal signature of the sources as well as the value of the calculated parameters. This leads to more difficulties in identifying the AE sources.

Ce travail a pour but le développement de techniques de séparation des contributions acoustique et aérodynamique de champs de pression pariétale sous des écoulements turbulents. Ces techniques de séparation, dites en nombre d'onde, se basent sur les propriétés spatiales de ces fluctuations. La compréhension des phénomènes de chacun des deux types fluctuations de pression pariétale s'exerçant sur la vitre latérale d'un véhicule vient servir un enjeu industriel de réduction du niveau sonore intérieur du bruit de forme des automobiles. Pour ce faire, des expérimentations en soufflerie anéchoïque sont menées afin d'obtenir des mesures de pression pariétale fluctuante pour divers types d'écoulements. Ainsi un écoulement de couche limite turbulente pleinement développée sur plaque plane, des écoulements décollés en aval de trois géométries de marches montantes, ainsi qu'en aval d'un montant de baie sur véhicule réel sont considérés. Une représentation des spectres en nombre d'onde-fréquence (obtenue par la méthode du corrélogramme spatial) est choisie pour séparer les deux contributions. Cette technique ne s'appliquant que sur des écoulements stationnaires et homogènes, de nouvelles techniques basées sur la Décomposition Modale Empirique (EMD) sont utilisées, d'une part pour améliorer la séparation des deux contributions (grâce à l'EMD spatiale), d'autre part pour obtenir une décomposition multi-échelle au cours du temps (grâce à l'Ensemble-EMD). Grâce à ces méthodes, une observation plus précise des phénomènes pariétaux convectifs et acoustiques est proposée.

L'influence des effets de site sur la réponse sismique des barrages-voûtes a été étudiée récemment par différents auteurs. Dans les travaux effectués jusqu'à présent l'excitation sismique est utilisée de différentes façons, mais toujours en se limitant à quelques angles d'incidence d'ondes sismiques, définis à l'avance. Les réponses des barrages-voûtes dans ces conditions ne représentent que des cas particuliers sur lesquels sont basées les conclusions. La méthode des surfaces d'énergie présentée dans ce travail, représente une méthode générale (et en même temps économique) qui se sert du balayage tridimensionnel fin sur tous les angles d'incidence dans l'espace, pour différents types d'ondes sismiques et leurs différentes célérités de propagation. L'excitation sismique est représentée par les ondes P, SV, SH et ondes de Rayleigh. Leurs expressions ont été développées en séries limitées et remplacées par différentes combinaisons de fonctions de forme dont les coefficients sont les fonctions d'angles d'incidence et de direction. Cette méthode nous permet de définir les intervalles d'angles d'incidence les plus dangereux et ceux les moins dangereux pour un barrage ainsi que l'influence et l'importance des effets de site sur la réponse sismique des barrages-voûtes. Dans les conditions générales d'angles d'incidence, plusieurs paramètres ont été variés et analysés à l'aide de 12 différents modèles qui représentent des systèmes complexes du barrage-voûte avec son réservoir et la masse rocheuse qui les entoure. Ces paramètres sont : les angles d'incidence , la position du noeud dans le barrage, les célérités de propagation d'ondes du champ proche dans la roche, les célérités de propagation d'ondes du champ lointain, les effets de site, les types d'ondes, la compressibilité de l'eau, la présence de la retenue pleine, le changement de la taille et de la forme du réservoir, la direction de la vallée, des petites modifications de la forme de la frontière du modèle numérique, l'utilisation des éléments fluides pour modéliser le réservoir. La méthode d'énergie maximale traite le problème extrémal de l'énergie dans le barrage sur l'espace des fonctions de forme. L'excitation sismique est représentée par un signal plus complexe que celui obtenu par des ondes P, S V, SH et ondes de Rayleigh. Dans les analyses sismiques sur les effets maxima on détermine également des mouvements "éventuels" de la roche qui donnent l'énergie maximale dans le barrage. Les conclusions donnent un apport théorique basé sur les analyses paramétriques effectuées dans ces conditions générales d'angles d'incidence, ainsi qu'un apport pratique qui montre le moyen de détermination de la position du barrage la plus favorable par rapport aux intervalles d'angles prédominants de séismes (en remplissant en même temps les autres conditions nécessaires: statiques, géologiques etc.). Dans le domaine théorique cette thèse élargit et classifie nos connaissances sur les phénomènes des effets de site, en premier lieu l'influence sur le barrage (structure étendue) du massif rocheux, dont les propriétés mécaniques sont exprimées par la célérité de propagation d'ondes sismiques et de l'interaction barrage-fluide du lac de retenue. La méthode présentée dans ce travail ainsi que le logiciel entièrement créé pour le même travail peuvent être applicables, avec peu de modifications, sur d'autres structures étendues dont le comportement sismique est décrit dans le domaine linéaire de façon suffisamment correcte.