Le Haut-Atlas central est un bassin salifère structuré autour d’étroites rides diapiriques (i.e. salt walls) orientées ENE-OSO qui bordent de larges mini-bassins. L’impact de la compression cénozoïque étant relativement limitée, les structures diapiriques y sont particulièrement bien préservées. L’objectif de la thèse est d’analyser les relations entre la sédimentation et la croissance des rides diapiriques dans le cadre imposé par l’évolution du système sédimentaire, durant le Jurassique inférieur et moyen, dans la région d’Imilchil, au cœur du haut-Atlas central. Le Lias-Dogger enregistre le comblement du bassin atlasique à travers six séquences de transgression-régression de troisième ordre. Cette grande tendance régressive se manifeste par la succession de trois systèmes de dépôts. Un système carbonaté, du Toarcien au Bajocien supérieur, dont l’éventail de faciès oscille entre la rampe moyenne et la rampe externe distale. Au Bajocien supérieur l’apport de sédiments terrigènes dans le bassin provoque la disparition du système carbonaté qui est recouvert par une épaisse série sédimentaire mixte peu profonde. Ce système mixte perdure jusqu’au Bathonien inférieur puis il est progressivement remplacé par un système fluviatile silico-clastique. Les relations entre les mouvements diapiriques et la sédimentation peuvent être mises en évidence par une modification de la géométrie des dépôts, par des variations de faciès aux abords des diapirs, et/ou par des événements sédimentaires particuliers (surfaces d’érosion, brèches, niveau condensé). L’analyse de ces interactions en fonction des séquences de transgression-régression permet de définir une chronologie de l’activité diapirique. Elle est continue pendant le Jurassique inférieur et moyen mais connait une évolution polyphasée comprenant deux périodes d’activité majeure, du Toarcien à l’Aalénien terminal et du Bajocien supérieur jusqu’à ce que les diapirs soient scellés au Bathonien supérieur-Callovien inférieur. Ces deux périodes encadrent un épisode de plus faible intensité pendant la progradation et le développement de la rampe carbonatée bajocienne. Les interactions entre diapirisme et sédimentation sont synthétisées dans un modèle empirique à travers quatre types de prismes de dépôts, définis selon des critères géométriques et sédimentologiques, et qui rendent compte de la configuration du système sédimentaire, ainsi que de la position du diapir et de sa couverture au moment du dépôt : A plus grande échelle l’influence du développement des mini-bassins sur la sédimentation s’exprime par une distribution préférentielle des faciès sédimentaire dans les systèmes de dépôt carbonaté et mixte. Les faciès proximaux, et en particulier les faciès granulaires de haute énergie, se regroupent autour des rides diapiriques tandis que les faciès distaux de basse énergie se concentrent dans l’axe des mini-bassins. / The High-Atlas salt basin is formed by a set of ENE-WSW-trending and 15-to-80-kilometers-long narrow diapiric ridges (i.e. salt walls) bounding large mini-basins mildly deformed during Cenozoic shortening. The aim of this thesis is to analyze the relationships between sedimentation and diapiric growth during the Lower and Middle Jurassic in the Imilchil region (Central High-Atlas). In this area, the Lias and Dogger series form a large regressive trend composed by six third-order transgression-regression (T/R) sequences and characterized by the succession of three sedimentary systems. A carbonate system develop from Toarcian to Upper Bajocian, with a facies range from middle ramp to distal outer ramp. From Upper Bajocian, a terrigenous supply in the basin causes the end of the carbonate system and leads to the deposition of a thick shallow mixed unit. From Lower Bathonian, this mixed sedimentary system is gradually replaced by an alluvial silici-clastic system. Relationships between diapiric movements and sedimentation are interpreted from depositional geometries, facies variations in the vicinity of diapirs and/or particular sedimentary events (erosional surfaces, breccia, condensed levels). The analysis of these interactions, based on T/R sequences, enables to define a chronology of the diapiric activity in the Imilchil area. The activity is continuous during the Lower and Middle Jurassic but shows a non-linear development with two phases of high-intensity, one from Toarcian to Uppermost Aalenian, and one from Upper Bajocian. These two phases surround a period of low-intensity during the progradation and the development of the bajocian carbonate ramp system. Interactions between diapirism and sedimentation are summarized in an empirical model consisting of four types of depositional prisms defined by geometrical and sedimentological criteria. On a larger scale, the impact of the mini-basin on the sedimentation is characterized by a specific facies distribution in the carbonate and mixed depositional system. The high-energy granular facies are concentrated around the diapiric structures and the distal low-energy facies are deposited in the axis of the mini-basins.

La conception de systèmes embarqués devient de plus en plus complexe. Ces systèmes sont hétérogènes dans le sens où ils nécessitent l’intégration de composants décrits au moyen de plusieurs disciplines scientifiques, par exemple, l’électricité, l’optique, la thermique, la mécanique, la chimie ou la biologie. De plus, ces disciplines peuvent être représentées dans des domaines temporels différents, par exemple, le domaine des événements discrets, celui du temps discret, ou celui du temps continu. Face à cette situation, les concepteurs ont besoin d’outils de modélisation et de simulation efficaces pour décrire le comportement d’un système hétérogène dans un environnement de simulation unique. Nous examinons la possibilité de modéliser, de simuler et de synchroniser les systèmes multi-disciplines dans le même environnement, en utilisant comme référence la norme de simulation « SystemC Analog/Mixed-Signal (AMS) ». Nous analysons la méthode introduite par SystemC AMS pour synchroniser le domaine des événements discrets avec celui du temps discret, et nous identifions ses inconvénients. Nous proposons une formalisation du problème de synchronisation qui permet de détecter les problèmes existants dans un modèle avant la simulation. Nous proposons un prototype de simulateur appelé « SystemC Multi-Disciplinary Virtual Prototyping (MDVP) », qui est implémenté comme une extension de SystemC. Il permet la modélisation, l’élaboration, et la simulation hiérarchique de systèmes multi-disciplines au moyen de plusieurs modèles de calcul. Pour concevoir le simulateur MDVP, nous introduisons un nouveau principe de synchronisation entre plusieurs modèles de calcul. En outre, nous introduisons une méthodologie pour ajouter, dans le prototype de simulateur, des modèles de calcul représentés par plusieurs domaines temporels. Nous appliquons cette méthodologie pour ajouter un modèle de calcul « Timed Data Flow (TDF) » dans SystemC MDVP. Ce modèle de calcul repose sur la sémantique du temps discret introduite par SystemC AMS, et sur la formalisation du principe de synchronisation entre le domaine des événements discrets et celui du temps discret. Nous mettons en œuvre le modèle de calcul TDF, dans le cas d’un capteur de vibrations et son circuit numérique. Ce modèle comporte une boucle d’asservissement et plusieurs interactions entre le domaine des événements discrets et celui du temps discret. / The design of embedded systems is currently an increasingly complex problem. These systems tend to become heterogeneous in the sense that they require the integration of components described by means of different physical/engineering disciplines, for example, electrical, optical, thermal, mechanical, chemical, or biological. Besides, these disciplines can be described under different time domains, for example, Discrete Event (DE), Discrete Time (DT), or Continuous Time (CT). To address this problem, designers require modeling and simulation tools to describe the system’s components under different time domains and synchronize them in the same simulation environment. We explore the possibilities of modeling, simulating and synchronizing multi-disciplinary systems in the same environment, using as reference the SystemC Analog/Mixed-Signal (AMS) simulation standard. We analyze the method introduced in SystemC AMS for synchronizing the DE and DT domains, and we identify its drawbacks. Besides, we introduce a new formalization of the synchronization problem, which is used to detect issues in a model before simulation. We propose a simulator prototype called SystemC Multi-Disciplinary Virtual Prototyping (MDVP), which is implemented as an extension of SystemC. It allows the modeling, and the generic hierarchical elaboration and simulation of multi-disciplinary systems, by means of different Models of Computation (MoCs). To build the MDVP simulator, we introduce a synchronization principle to handle interactions between MoCs. In addition, we introduce a methodology to add, in the simulator prototype, MoCs described under different time domains. We apply this methodology to add a Timed Data Flow MoC in SystemC MDVP. This MoC implements the DT semantics introduced by the SystemC AMS standard, and is based on the synchronization principle between the DE and DT domains. Using the TDF MoC, we implement and simulate a case study of a vibration sensor model and its digital front end circuit. This case study includes a feedback loop and several interactions between the DE and DT domains.

Trata a presente tese da sustentação da indispensabilidade de utilização, em um sistema tributário, para almejar ser justo, da tributação indireta. E não basta a utilização dela como elemento complementar do sistema. É necessário que sua participação seja equilibrada em relação à utilização da tributação direta, igualmente indispensável à justeza do sistema. Assim, entre a tributação direta e a indireta, não se deve cogitar de qual das duas é mais justa, sim que uma e outra contribuem igualmente para que o sistema como um todo, possa ser o mais justo possível. A exposição se inicia com um escorço histórico em que se procura analisar e situar o funcionamento dos sistemas tributários na evolução e conformação das diversas sociedades que antecedem à nossa, com uma natural ênfase à civilização ocidental como a entendemos, isto é, centrada em uma corrente econômica, cultural e técnica, de linha mediterrânea e européia. Neste escorço, superada a exposição referente às origens mais remotas, foram feitos alguns destaques temáticos, o primeiro e mais importante destacando a atuação de Colbert no reinado de Luiz XIV, na França, pela sua contribuição crítica ao sistema tributário então vigente naquele país, e a reforma que implementou com a introdução de impostos indiretos e redução de impostos diretos, no sentido de institucionalizar e fortalecer o reino. Outros destaques foram feitos, merecendo especial citação Ricardo, Enno Becker e Keynes, o primeiro pela sua exposição crítica dos impostos vigentes na Inglaterra em seu tempo, o segundo pela sua notável participação na elaboração da Constituição de Weimar e o terceiro pela sua atuação nos Estados Unidos após a crise de 1929 e sua participação na conferência de Bretton Woods. Findo o escorço histórico, segue-se uma exposição de natureza pessoal, historiando a forma como a presente tese se conformou, sob o título de \"Reintrodução\". A partir da conceituação de \"justiça fiscal\", a tese propriamente dita se delineia, passando-se de uma análise crítica relacionada ao objetivo maior, a justiça, para a análise do papel dos impostos indiretos e diretos e da contribuição de melhoria. Em sua parte final cuida-se do ajustamento sistêmico do problema, inspirando, além do desejável ajuste científico e cibernético, uma profunda reforma tributária, que poderia destinar-se ao Brasil, ou a qualquer outro país, em qualquer estágio de desenvolvimento que se encontre. O modelo é inspirado na reforma que, produzida inicialmente na França com a introdução da T.V.A. (\"Taxe a la Valeur Ajoutée\"), depois estendida à comunidade econômica européia, praticamente institucionalizou naqueles quadrantes um tipo de imposto único indireto, altamente simplificador desse sistema impositivo. Propõe-se desta forma, a introdução também de um imposto único similar, direto, que aliado à uma nova contribuição de melhoria, melhor instituída, e da terceirização sistêmica das taxas, dariam estrutura final a todo o conjunto tributário nacional, tendo por objetivo maior o estado de direito democrático moderno. Esta, assim, seria a \"grande síntese\" tributária passível de ser alcançada, em qualquer sistema moderno. / Cette thèse concerne le maintien du caractère indispensable de Ia tributation indirecte dans un système tributaire qui vise à Ia justice. Cependant, il ne suffit pas I\'emploie de Ia tributation indirecte en tant qu\'élement complémentaire du système. Il faut que sa participation soit equilibrée par rapport à I\'emploie de Ia tributation directe, également indispensable à Ia justesse du système. Ainsi, entre les impôts directs et les indirects, Ia cogitation est que tous les deux contribuent également pour que le système soit juste et non qu\'an entre le deux est plus juste. L\'exposition part d\'un raccourci historique dont le but est d\'analyser et placer le fonctionnement des systèmes tributaire dan I\'évolution et Ia conformation de plusieurs societés ultérieures, comprennant surtout Ia civilisation occidentale en tant que nous I\'envisageons. Ça veut dire, dont I\'axe consiste dans une chaine économique, culturelle et technique d\'origine meditarrenée et européenne. Dans ce raccourci, apres avoir surmonté I\'exposition concernant les origines les plus lointaines, on a choisi quelques groupes thématiques, dont le premier et le plus important concerne I\'action de Colbert dans le royaume de Louis XIV, en France, en raison de sa contribution critique au système tributaire lors y en vigueur, ainsi que Ia reforme qu\'il a implanté, dont I\'innovation consistait dans I\'introduction des impôts indirects et dans Ia reduction des impôts directs, de façon à institucionaliser et rendre plus puissant le royaume. Ensuite, on passe à d\'autres souslignements, et on doit mentionner de façon spéciale ceux-Ià concernant Ricardo, Enno Becker et Keynes. Le premier en raison de son exposition critique des impôts, lors en vigueur dans l\'Angleterre. Le second en fonction de sa remarquable participation dans I\'élaboration de Ia Constitution de Weimar. Et le troisième en raison de son sction aux États Unis aprés Ia débâcle de 1929, ainsi que sa participation dans Ia réunion de Bretton Woods. Apres ce raccourci historique, on passe à une exposition d\'ordre personnel, en racontant en detail le développement de cette thèse, sous le titre \"Reintroduction\". À partir de Ia conceptualisation de \"justice fiscale\", Ia thèse, en son essence, se delinée, et on passe à une analyse critique par rapport à son but majeur - Ia justice -, par I\'analyse de Ia fonction des impôts indirects et directs et Ia contribution d\'amélioration. La dernière section est consacrée à I\'ajustement systémique du problème, qu\'inspire, au-delà d\'un souhaitable couplage scientifique et cybernétique, une reforme tributaire profonde, capable d\'être employée soit au Brésil soit à un autre pays quelconque, independamment du degrée de développement qu\'il a atteint. Le modele s\'inspire à Ia reforme qui a commencé en France, avec I\'introduction par Maurice Lauré de Ia T.V.A. (Taxe à Ia Valeur Ajoutée) et, qu\'ensuite, étendue à Ia Communauté Européenne, a contribué pour I\'institutionnalisation, dans Ia pratique, d\'un genre d\'impôt unique indirect, de façon à simplifier remarquablement de système de ces impôts. On propose, donc, I\'introduction d\'un impôt unique similaire, direct, que s\'alliant à une nouvelle contribution d\'amélioration, meilleurment instituée, et de Ia concession systématique des services, serait capable de donner une structure finale à tout I\'ensemble tributaire national, en une grande synthèse, ayant pour but majeur I\'état de droit démocratique moderne.

Dans cette thèse, on considère plusieurs problèmes issus de la modélisation macroscopique des mouvements de foule. Le premier modèle consiste en une loi de conservation avec un flux discontinu, le second est un système mixte hyperbolique-elliptique et le dernier est une équation non-locale. D'abord, on utilise le modèle de Hughes une dimension pour décrire l'évacuation d'un couloir avec deux sorties. Ce modèle couple une loi de conservation avec un flux discontinu à une équation eikonale. On implémente la méthode de suivi de fronts, qui traite explicitement le comportement de la solution non-classique au point de rebroussement, afin d'obtenir des solutions de référence. Elles serviront à tester numériquement la convergence de schémas aux volumes finis classiques. Ensuite, on modélise le croisement de deux groupes marchant dans des directions opposées avec un système de lois de conservation mixte hyperbolique-elliptique dont le flux dépend des deux densités. Le système perd son hyperbolicité pour certainement valeurs de densité. On assiste à l'apparition d'oscillations persistantes mais bornées, ce qui conduit à la reformulation du problème associé dans le cadre des mesures de probabilités. Finalement, on étudie un modèle non-local de trafic piétonnier en deux dimensions. Le modèle consiste en une loi de conservation dont le flux dépend d'une convolution de la densité. Avec ce modèle, on résout un problème d'optimisation pour une évacuation d'une salle avec une méthode de descente, évaluant l'impact du calcul explicite du gradient de la fonction coût avec la méthode de l'état adjoint plutôt que son approximation par différences finies. / In this thesis, we consider nonclassical problems brought out by the macroscopic modeling of pedestrian flow. The first model consists of a conservation law with a discontinuous flux, the second is a mixed hyperbolic-elliptic system of conservation laws and the last one is a nonlocal equation. In the first chapter, we use the Hughes model in one space-dimension to represent the evacuation of a corridor with two exits. The model couples a conservation law with discontinuous flux to an eikonal equation. We implement the wave front tracking scheme, treating explicitly the solution nonclassical behavior at the turning point, to provide a reference solution, which is used to numerically test the convergence of classical finite volume schemes. In the second chapter, we model the crossing of two groups of pedestrians walking in opposite directions with a system of conservation laws whose flux depends on the two densities. This system loses its hyperbolicity for certain density values. We assist to the rising of persistent but bounded oscillations, that lead us to the recast of the problem in the framework of measure-valued solutions. Finally we study a nonlocal model of pedestrian flow in two space-dimensions. The model consists of a conservation law whose flux depends on a convolution of the density. With this model, we solve an optimization problem for a room evacuation with a descent method, evaluating the impact of the explicit computation of the cost function gradient with the adjoint state method rather than approximating it with finite differences.