Pour les roches saturées, la comparaison entre les mesures ultrasoniques (1 MHz) au laboratoire et les mesures sismiques (100 Hz) ou de diagraphie (10 kHz) sur le terrain n’est pas directe à cause de la dispersion des vitesses des ondes. Les mécanismes impliqués dans la dépendance en fréquence sont les écoulements de fluides à différentes échelles provoqués par le passage de l’onde. La dispersion et l’atténuation des modules élastiques de roches carbonatées ont été étudiées expérimentalement. Les calcaires étudiés sont : un Lavoux, un Indiana intact et craqué thermiquement, un calcaire Urgonien de Provence (Rustrel), et un coquina pré-sel du Congo. Les mesures ont été faites sur une large gamme de fréquence, en combinant les techniques d’oscillations forcées (10-3 to 102 Hz) et ultrasoniques (1 MHz) dans une presse triaxiale, pour différentes pressions effectives. Le forçage peut être hydrostatique pour mesurer un module d’incompressibilité, ou axial pour mesurer le module de Young et le coefficient de Poisson. Pour étudier l’effet de la viscosité, les mesures ont été faites en condition sèche, puis saturée en glycérine et en eau. Le drainage global et le mécanisme d’écoulement crack-pore ont été caractérisés, en termes d’amplitude de dispersion, d’atténuation viscoélastique, et de fréquence de coupure. Pour nos échantillons, la théorie de Biot-Gassmann s’est montrée valide pour les fréquences sismiques (10-100 Hz) sauf pour l’Indiana craqué thermiquement. La dispersion liée à des écoulements crackspores a été observée pour tous les échantillons sauf le Lavoux. Les fréquences de coupures de ceux-ci sont toutes dans la gamme des fréquences des diagraphies (10 kHz) pour des conditions de saturation en eau. Un modèle simple, combinant poroélasticité et milieux effectifs, a été développé pour prédire la dispersion des modules sur toute la gamme de fréquence, et s’est montré généralement en accord avec les résultats expérimentaux. / For fluid-saturated rocks, comparing ultrasonic measurements (1 MHz) in the laboratory and seismic (100 Hz) or logging (10 kHz) measurements in the field is not straightforward due to dispersion of the bodywave velocities. The frequency-dependent mechanisms involved are wave-induced fluid flows that occur at different scales. The dispersion and the attenuation of the elastic moduli of four fluid-saturated carbonate rocks have been studied experimentally. The selected limestones were a Lavoux, an intact and thermally cracked Indiana, a Urgonian limestone from Provence (Rustrel), and a presalt coquina from offshore Congo. Measurements were done over a large frequency range, by the combination of forced oscillations (10-3 to 102 Hz) and ultrasonic measurements (1 MHz) in a triaxial cell, at various effective pressures. The forced oscillations were either hydrostatic to deduce the bulk modulus, or axial to deduce Young’s modulus and Poisson’s ratio. The measurements were done in dry-, glycerinand water-saturated conditions to investigate the effect of viscosity. For all our samples, the global drainage and the squirt-flow mechanisms were characterized experimentally, in terms of amplitude of dispersion, amount of viscoelastic attenuation, and cut-off frequencies. Biot- Gassmann’s theory was found to be valid at seismic frequencies (10-100 Hz) for all the samples except the thermally cracked Indiana. Squirt-flow transitions were observed for all the samples, except the Lavoux. The cut-off frequencies were all in the range of logging frequencies (10 kHz), for watersaturated conditions. A simple model, combining poroelasticity and the noninteraction approximation effective medium, was developed to predict the dispersion of the moduli over the whole frequency range, and was generally in agreement with the experimental results.

Este trabalho tem dois objetivos principais. Primeiramente, estudamos as cópias complementadas de co(T) em espaços de Banach, onde T é um cardinal infinito. Estendemos ao caso não-enumerável um resultado clássico obtido por T. Schlumprecht que caracteriza as cópias complementadas de co em um espaço de Banach X. Usamos esta nova caracterização para estender resultados de G. Emmanuele, F. Bombal, D. Leung e F. Räbiger envolvendo as cópias complementadas de co nos espaços de Banach clássicos `p(I,X), onde p T[1, &#8734 ] e I é um conjunto não-vazio. Nós também provamos um novo resultado sobre as cópias complementadas de co(T) nos espaços Co(K,X), onde K é um espaço de Hausdor localmente compacto. Em seguida, estudamos uma extensão vetorial do clássico Teorema de Banach-Stone obtida por K. Jarosz. Estudando várias constantes introduzidas por R. James, J. Schäer, M. Baronti, E. Casini e P. Pappini, nós provamos uma nova relação entre os módulos de convexidade dos espaços Xe X*, que possui interesse independente. Esta relação é usada para provar uma nova reneralização vetorial do Teorema de Banach-Stone que simultaneamente estende o Teorema de Jarosz e também mostra que este último resultado é, de fato, uma consequência de um teorema obtido recentemente por F. Cidral, E. Galego e M. RincónVillamizar. / The goal of this work is two-fold. First, we study the complemented copies of co(T) in Banach spaces, where T is an innite cardinal. We extend to the uncountable case a classical result by T. Schulmprecht that characterizes the complemented copies of co in a Banach space X. We use this new characterization to extend results by G. Emmanuele, F. Bombal, D. Leung and F. Räbiger concerning the complemented copies of co in the classical Banach spaces `p(I,X), where p T[1, &#8734 ] and I is a non-empty set. We also obtain a new result involving the complemented copies of co(T) in Co(K,X) spaces, where Kis a locally compact Hausdor space. Next, we turn our attention to a vector-valued extension of the classical Banach-Stone theorem obtained by K. Jarosz. Studying several constants introduced by R. James, J. Schäffer, M. Baronti, E. Casini and P. Pappini, we obtain a new relationship between the moduli of convexity of Xand X*, which has independent interest. We then apply this relationship to prove a new X-valued generalization of the Banach-Stone theorem that simultaneously extends the aforementioned result by Jarosz and also shows that this result is, in fact, a consequence of a theorem obtained recently by F. Cidral, E. Galego and M. Rincón-Villamizar.

Este trabalho tem dois objetivos principais. Primeiramente, estudamos as cópias complementadas de co(T) em espaços de Banach, onde T é um cardinal infinito. Estendemos ao caso não-enumerável um resultado clássico obtido por T. Schlumprecht que caracteriza as cópias complementadas de co em um espaço de Banach X. Usamos esta nova caracterização para estender resultados de G. Emmanuele, F. Bombal, D. Leung e F. Räbiger envolvendo as cópias complementadas de co nos espaços de Banach clássicos `p(I,X), onde p T[1, &#8734 ] e I é um conjunto não-vazio. Nós também provamos um novo resultado sobre as cópias complementadas de co(T) nos espaços Co(K,X), onde K é um espaço de Hausdor localmente compacto. Em seguida, estudamos uma extensão vetorial do clássico Teorema de Banach-Stone obtida por K. Jarosz. Estudando várias constantes introduzidas por R. James, J. Schäer, M. Baronti, E. Casini e P. Pappini, nós provamos uma nova relação entre os módulos de convexidade dos espaços Xe X*, que possui interesse independente. Esta relação é usada para provar uma nova reneralização vetorial do Teorema de Banach-Stone que simultaneamente estende o Teorema de Jarosz e também mostra que este último resultado é, de fato, uma consequência de um teorema obtido recentemente por F. Cidral, E. Galego e M. RincónVillamizar. / The goal of this work is two-fold. First, we study the complemented copies of co(T) in Banach spaces, where T is an innite cardinal. We extend to the uncountable case a classical result by T. Schulmprecht that characterizes the complemented copies of co in a Banach space X. We use this new characterization to extend results by G. Emmanuele, F. Bombal, D. Leung and F. Räbiger concerning the complemented copies of co in the classical Banach spaces `p(I,X), where p T[1, &#8734 ] and I is a non-empty set. We also obtain a new result involving the complemented copies of co(T) in Co(K,X) spaces, where Kis a locally compact Hausdor space. Next, we turn our attention to a vector-valued extension of the classical Banach-Stone theorem obtained by K. Jarosz. Studying several constants introduced by R. James, J. Schäffer, M. Baronti, E. Casini and P. Pappini, we obtain a new relationship between the moduli of convexity of Xand X*, which has independent interest. We then apply this relationship to prove a new X-valued generalization of the Banach-Stone theorem that simultaneously extends the aforementioned result by Jarosz and also shows that this result is, in fact, a consequence of a theorem obtained recently by F. Cidral, E. Galego and M. Rincón-Villamizar.

Cette thèse traite de la classification analytique du déploiement de systèmes différentiels linéaires ayant une singularité irrégulière. Elle est composée de deux articles sur le sujet: le premier présente des résultats obtenus lors de l'étude de la confluence de l'équation hypergéométrique et peut être considéré comme un cas particulier du second; le deuxième contient les théorèmes et résultats principaux. Dans les deux articles, nous considérons la confluence de deux points singuliers réguliers en un point singulier irrégulier et nous étudions les conséquences de la divergence des solutions au point singulier irrégulier sur le comportement des solutions du système déployé. Pour ce faire, nous recouvrons un voisinage de l'origine (de manière ramifiée) dans l'espace du paramètre de déploiement $\epsilon$. La monodromie d'une base de solutions bien choisie est directement reliée aux matrices de Stokes déployées. Ces dernières donnent une interprétation géométrique aux matrices de Stokes, incluant le lien (existant au moins pour les cas génériques) entre la divergence des solutions à $\epsilon=0$ et la présence de solutions logarithmiques autour des points singuliers réguliers lors de la résonance. La monodromie d'intégrales premières de systèmes de Riccati correspondants est aussi interprétée en fonction des éléments des matrices de Stokes déployées. De plus, dans le second article, nous donnons le système complet d'invariants analytiques pour le déploiement de systèmes différentiels linéaires $x^2y'=A(x)y$ ayant une singularité irrégulière de rang de Poincaré $1$ à l'origine au-dessus d'un voisinage fixé $\mathbb{D}_r$ dans la variable $x$. Ce système est constitué d'une partie formelle, donnée par des polynômes, et d'une partie analytique, donnée par une classe d'équivalence de matrices de Stokes déployées. Pour chaque valeur du paramètre $\epsilon$ dans un secteur pointé à l'origine d'ouverture plus grande que $2\pi$, nous recouvrons l'espace de la variable, $\mathbb{D}_r$, avec deux secteurs et, au-dessus de chacun, nous choisissons une base de solutions du système déployé. Cette base sert à définir les matrices de Stokes déployées. Finalement, nous prouvons un théorème de réalisation des invariants qui satisfont une condition nécessaire et suffisante, identifiant ainsi l'ensemble des modules. / This thesis deals with the analytic classification of unfoldings of linear differential systems with an irregular singularity. It contains two papers related to this subject: the first paper presents results concerning the confluence of the hypergeometric equation and may be viewed as a particular case of the second one; the second paper contains the main theorems and results. In both papers, we study the confluence of two regular singular points into an irregular one and we give consequences of the divergence of solutions at the irregular singular point for the unfolded system. For this study, a full neighborhood of the origin is covered (in a ramified way) in the space of the unfolding parameter $\epsilon$. Monodromy of a well chosen basis of solutions around the regular singular points is directly linked to the unfolded Stokes matrices. These matrices give a complete geometric interpretation to the well-known Stokes matrices: this includes the link (existing at least for the generic cases) between the divergence of the solutions at $\epsilon=0$ and the presence of logarithmic terms in the solutions for resonant values of $\epsilon$. Monodromy of first integrals of related Riccati systems are also interpreted in terms of the elements of the unfolded Stokes matrices. The second paper goes further into the subject, giving the complete system of analytic invariants for the unfoldings of nonresonant linear differential systems $x^2y'=A(x)y$ with an irregular singularity of Poincaré rank $1$ at the origin over a fixed neighborhood $\mathbb{D}_r$ in the space of the variable $x$. It consists of a formal part, given by polynomials, and an analytic part, given by an equivalence class of unfolded Stokes matrices. For each parameter value $\epsilon$ taken in a sector pointed at the origin of opening larger than $2\pi$, we cover the space of the variable, $\mathbb{D}_r$, with two sectors and, over each of them, we construct a well chosen basis of solutions of the unfolded differential system. This basis is used to define the unfolded Stokes matrices. Finally, we give a realization theorem for the invariants satisfying a necessary and sufficient condition, thus identifying the set of modules.

Parmi les polytypes les plus connus du carbure de silicium (SiC), le polytype cubique (3C-SiC), est le seul qui peut croitre sur des substrats silicium. L’hétérostructure 3C-SiC/Si est intéressante non seulement pour son faible coût de production mais aussi pour la conception de Systèmes Micro-Electro-Mécaniques (« MEMS »). La valeur élevée du module de Young du 3C-SiC, comparé à celui du silicium, permettrait à des cantilevers submicroniques, fabriqués à partir de films minces de 3C-SiC, de vibrer à ultra-hautes fréquences (>100MHz). Cette haute fréquence de résonance est la clé pour obtenir un système AFM non-contact ultra-sensible et rapide. Cependant, il n’existe pas de cantilever en SiC disponible sur le marché en raison de la difficulté à élaborer des films minces de 3C-SiC de bonne qualité, la technique de synthèse la plus utilisée étant le Dépôt Chimique en phase Vapeur (CVD). La raison première de cette difficulté à obtenir un matériau de bonne qualité réside essentiellement dans l’important désaccord de maille et la différence de dilatation thermique entre le 3C-SiC et Si qui génèrent des défauts cristallins à l’interface et jusqu’à la surface du film de 3C-SiC, la zone la plus défectueuse se localisant auprès de l’interface……. / Among aIl the well known polytypes ofihe silicon carbide (SiC), the cubic polytype (3C-SiC) is the only one that min be grown on silicon substrates. This heterostructure 3C SiC/Si ta interesting not only for its low production cost but also for the design of tise Micro-Electro-Mechanical Systems (MEMS). The high value ofthe Young’s modulis the 3C-SiC, compared to the silicon, allows submicronic cantilevers, fabrmcated from tIse 3C-SiC thin filins, to resonate at ultra-high frequency (>100MHz). The high resonant frequency is the key to obtain s fast, ultra-sensitive non-contact AFM systein.However, there isn’t any SiC cantilevers available on the market because of the difficulty to elaborate gond quality 3C-SiC thin films, with tIse Chemical Vapor Deposition (CVD) technique being tIse most frequently used synthesis technology. Tise first reason of tIse difficulty with the CVD technology to obtain gond quality thin film rests essentially in the important lattice mismatch and the difference in thermal expansion coefficient existing between 3C SiC and Si which generate crystalline defects at the interface and propagating tilI the 3C-SiC filin surface, with the inost defective zone localizing near the interface…….

L’objet de cette thèse est de comprendre comment se généralise la théorie de la ramification pour des actions par des schémas en groupes affines avec un intérêt particulier pour la notion de modération. Comme contexte général pour ce résumé, considérons une base affine S := Spec(R) où R est un anneau unitaire, commutatif, X := Spec(B) un schéma affine sur S, G := Spec(A) un schéma en groupes affine, plat et de présentation finie sur S et une action de G sur X que nous noterons (X, G). Enfin, nous notons [X/G] le champ quotient associé à cette action et Y := Spec(BA) où BA est l’anneau des invariants pour l’action (X, G). Supposons de plus que le champ d’inertie soit fini.Comme point de référence, nous prenons la théorie classique de la ramification pour des anneaux munis d’une action par un groupe fini abstrait. Afin de comprendre comment généraliser cette théorie pour des actions par des schémas en groupes, nous considérons les actions par des schémas en groupes constants en se rappelant que la donnée de telles actions est équivalente à celle d’un anneau muni d’une action par un groupe fini abstrait nous ramenant au cas classique. Nous obtenons ainsi dans ce nouveau contexte des notions généralisant l’anneau des invariants en tant que quotient, les groupes d’inertie et toutes leurs propriétés. Le cas non ramifié se généralise naturellement avec les actions libres. En ce qui concerne le cas modéré, qui nous intéresse particulièrement pour cette thèse, deux généralisations sont proposées dans la littérature. Celle d’actions modérées par des schémas en groupes affines introduite par Chinburg, Erez, Pappas et Taylor dans l’article [CEPT96] et celle de champ modéré introduite par Abramovich, Olsson et Vistoli dans [AOV08]. Il a été alors naturel d’essayer de comparer ces deux notions et de comprendre comment se généralisent les propriétés classiques d’objets modérés à des actions par des schémas en groupes affines.Tout d’abord, nous avons traduit algébriquement la propriété de modération sur un champ quotient comme l’exactitude du foncteur des invariants. Ce qui nous a permis d’obtenir aisément à l’aide de [CEPT96] qu’une action modérée définit toujours un champ quotient modéré. Quant à la réciproque, nous avons réussi à l’obtenir seulement lorsque nous supposons de plus que G est fini et localement libre sur S et que X est plat sur Y . Nous pouvons voir que la notion de modération pour l’anneau B muni d’une action par un groupe fini abstrait Γ est équivalente au fait que tous les groupes d’inertie aux points topologiques sont linéairement réductifs si l’on considère l’action par le schéma en groupes constant correspondant à Γ sur X. Il a été donc naturel de se demander si cette propriété est encore vraie en général. Effectivement, l’article [AOV08] caractérise le fait que le champ quotient [X/G] est modéré par le fait que les groupes d’inertie aux points géométriques sont linéairement réductifs.À nouveau, si l’on considère le cas des anneaux munis d’une action par un groupe fini abstrait, il est bien connu que l’action peut être totalement reconstruite à partir de l’action d’un groupe inertie. Lorsque l’on considère le cas des actions par les schémas en groupes constants, cela se traduit comme un théorème de slices, c’est-à-dire une description locale de l’action initiale par une action par un groupe d’inertie. Par exemple, lorsque G est fini, localement libre sur S, nous établissons que le fait qu’une action soit libre est une propriété locale pour la topologie fppf, ce qui peut se traduire comme un théorème de slices. Grâce à [AOV08], nous savons déjà qu’un champ quotient modéré [X/G] est localement isomorphe pour la topologie fppf à un champ quotient [X/H] où H est une extension du groupe d’inertie en un point de Y. Lorsque G est fini sur S, il nous a été possible de montrer que H est aussi un sous-groupe de G. / The purpose of this thesis is to understand how to generalize the ramification theory for actions by affine group schemes with a particular interest for the notion of tameness. As general context for this summary, we consider an affine basis S := Spec(R) where R is a commutative, unitary ring, an affine, finitely presented, Noetherian scheme X := Spec(B) over S, a flat, finitely presented, affine group scheme G := Spec(A) over S and an action of G on X that we denote by (X, G). Finally, we denote [X/G] the quotient stack associated to this action and we set Y := Spec(BA) where BA is the ring of invariants for the action (X, G). Moreover, we suppose that the inertia stack is finite.As reference point, we take the classical theory of ramification for rings endowed with an action of a finite, abstract group. In order to understand how to generalize this theory for actions of group schemes, we consider the actions of constant group schemes knowing that the data of such actions is equivalent to the data of rings endowed with an action of a finite abstract group, this being the classical case. We obtain thus in this new context notions generalizing the ring of invariants as a quotient, the inertia group and all their properties. The unramified case is generalized naturally by the free actions. For the tame case, which interests us particularly here, two generalizations are proposed in the literature: the one of tame actions of affine group schemes introduced by Chinburg, Erez, Pappas et Taylor in the article [CEPT96] and the one of tame stacks introduced by Abramovich, Olsson and Vistoli in [AOV08]. It was then natural to compare these two notions and to understand how to generalize the classical properties of tame objects for the actions of affine group schemes. First of all, we traduced algebraically the tameness property on a quotient stack as the exactness of the functor of invariants. This permits to obtain easily thanks to [CEPT96] that tame actions define always tame quotient stacks. For the converse, we only manage to prove it when we suppose G to be finite, locally free over S and X flat over Y . We are able to see that the notion of tameness for a ring endowed with an action of a finite, abstract group Γ is equivalent to the fact that all the inertia group schemes at the topological points are linearly reductive if we consider the action of the constant group scheme corresponding to Γ over X. It was thus natural to wonder if this property was also true in general. In fact, the article [AOV08] characterizes the fact that the quotient stack [X/G] is tame by the fact that the inertia group schemes at the geometric points are linearly reductive.Again, if we consider the case of rings endowed with an action of a finite, abstract group, it is well known that these actions can be totally reconstructed from an action involving an inertia group. When we consider actions by constant group schemes, this is translated as a slice theorem, that is, a local description of the initial action by an action involving an inertia group. For example, we establish that the fact that an action is free is a "local property" for the fppf topology and this can be translated also as a "local" slice theorem. Thanks to [AOV08], we already know that a tame quotient stack [X/G] is locally isomorphic for the fppf topology to a quotient stack [X/H], where H is an extension of the inertia group in a point of Y . When G is finite over S, it was possible to show that H is also a subgroup of G. In this thesis, it was not possible to obtain a slice theorem in this generality. However, when G is commutative, finite over S, it is possible to prove the existence of a torsor, if we suppose [X/G] to be tame. This permits to prove a slice theorem when G is commutative, finite over S and [X/G] is tame. / Lo scopo di questa tesi è capire come si generalizza la teoria della ramificazione per azioni di schemi in gruppi affini con un interesse particolare per la nozione di moderazione. Come contesto generale per questo riassunto, consideriamo una base affine S := Spec(R) dove R è un anello unitario e commutativo, X := Spec(B) uno schema affine, noetheriano e di presentazione finita su S, G := Spec(A) uno schema in gruppi affine, piatto e di presentazione finita su S e un’azione di G su X che denoteremo (X, G). Infine, denotiamo con [X/G] lo stack quoziente associato a questa azione e Y := Spec(BA) dove BA è l’anello degli invarianti per l’azione (X, G). Supponiamo inoltre che il campo d’inerzia sia finito.Come punto di riferimento prendiamo la teoria classica della ramificazione per anelli muniti d’un’azione d’un gruppo finito astratto. Al fine di comprendere come generalizzare questa teoria per azioni di schemi in gruppi, consideriamo le azioni di schemi in gruppi costanti ricordando che il dato di tali azioni è equivalente al dato d’un anello dotato d’un’azione d’un gruppo finito astratto, riconducendosi al caso classico. Otteniamo così in questo nuovo contesto delle nozioni che generalizzano l’anello degli invarianti in quanto quoziente, i gruppi d’inerzia e tutte le loro proprietà. Il caso non ramificato si generalizza in modo naturale con le azioni libere. Per qual che riguarda il caso moderato, al quale siamo particolarmente interessati in questa tesi, due generalizzazioni sono proposte nella letteratura: quella delle azioni moderate di schemi in gruppi affini introdotta da Chinburg, Erez, Pappas e Taylor nell’articolo [CEPT96] e quella di stack moderato introdotta da Abramovich, Olsson e Vistoli in [AOV08]. È stato quindi naturale cercare di confrontare queste due nozioni e capire come si generalizzano le proprietà classiche degli oggetti moderati ad azioni di schemi in gruppi affini.Per cominciare, abbiamo tradotto algebricamente la proprietà di moderazione su un stack quoziente come l’esattezza del funtore degli invarianti. Ciò ha permesso d’ottenere agevolmente, usando [CEPT96], che un’azione moderata definisce sempre uno stack quoziente moderato. Quanto al viceversa, siamo riusciti ad ottenerlo solamente sotto l’ulteriore ipotesi che G sia finito e localmente libero su S e che X sia piatto su Y . Possiamo vedere che la nozione di moderazione per l’anello B dotato d’un’azione d’un gruppo finito astratto Γ è equivalente al fatto che tutti i gruppi d’inerzia sui punti topologici siano linearmente riduttivi se si considera l’azione dello schema in gruppi costante corrispondente a Γ su X. È stato quindi naturale domandarsi se questa proprietà sia vera in generale. In effetti, l’articolo [AOV08] caratterizza il fatto che lo stack quoziente [X/G] è moderato tramite il fatto che i gruppi d’inerzia sui punti geometrici siano linearmente riduttivi.Di nuovo, se consideriamo il caso degli anelli muniti d’un’azione d’un gruppo finito astratto, è ben noto che quest’azione può essere totalmente ricostruita a partire da un’azione in cui interviene un gruppo d’inerzia. Quando consideriamo il caso delle azioni degli schemi in gruppi costanti, questo si traduce come un teorema di slices, cioè una descrizione locale dell’azione di partenza (X,G) tramite un’azione in cui interviene un gruppo d’inerzia. Per esempio quando G è finito e localmente libero su S, stabiliamo che il fatto che un’azione è libera è una proprietà locale per la topologia fppf, ciò si può interpretare come un teorema di slices. Grazie a [AOV08] sappiamo già che uno stack quoziente moderato [X/G] è localmente isomorfo per la topologia fppf a uno stack quoziente [X/H], dove H è un’estensione d’un gruppo d’inerzia in un punto di Y.

The work consists of two parts. The first part is focused on the determination of an anti-skid properties of the test section on Vídenská street. The anti-skid properties will be measured using a pendulum tester and macrotexture will be set at the same time. Microtexture will be measured using a volumetric patch technique. In the second part we will try to gain an initial experience with design and testing of a low noise stone mastic asphalt. We will set basic characteristics and at the same time compare with a standard stone mastic asphalt. For the comparison two various bituminous binders are used. The water sensitivity, resistance against rutting and stiffness moduli are compared.

Předkládaná disertační práce se zabývá návrhem základních bloků v systému zbytkových tříd pro zvýšení výkonu aplikací určených pro digitální zpracování signálů (DSP). Systém zbytkových tříd (RNS) je neváhová číselná soustava, jež umožňuje provádět paralelizovatelné, vysokorychlostní, bezpečné a proti chybám odolné aritmetické operace, které jsou zpracovávány bez přenosu mezi řády. Tyto vlastnosti jej činí značně perspektivním pro použití v DSP aplikacích náročných na výpočetní výkon a odolných proti chybám. Typický RNS systém se skládá ze tří hlavních částí: převodníku z binárního kódu do RNS, který počítá ekvivalent vstupních binárních hodnot v systému zbytkových tříd, dále jsou to paralelně řazené RNS aritmetické jednotky, které provádějí aritmetické operace s operandy již převedenými do RNS. Poslední část pak tvoří převodník z RNS do binárního kódu, který převádí výsledek zpět do výchozího binárního kódu. Hlavním cílem této disertační práce bylo navrhnout nové struktury základních bloků výše zmiňovaného systému zbytkových tříd, které mohou být využity v aplikacích DSP. Tato disertační práce předkládá zlepšení a návrhy nových struktur komponent RNS, simulaci a také ověření jejich funkčnosti prostřednictvím implementace v obvodech FPGA. Kromě návrhů nové struktury základních komponentů RNS je prezentován také podrobný výzkum různých sad modulů, který je srovnává a determinuje nejefektivnější sadu pro různé dynamické rozsahy. Dalším z klíčových přínosů disertační práce je objevení a ověření podmínky určující výběr optimální sady modulů, která umožňuje zvýšit výkonnost aplikací DSP. Dále byla navržena aplikace pro zpracování obrazu využívající RNS, která má vůči klasické binární implementanci nižší spotřebu a vyšší maximální pracovní frekvenci. V závěru práce byla vyhodnocena hlavní kritéria při rozhodování, zda je vhodnější pro danou aplikaci využít binární číselnou soustavu nebo RNS.

This thesis is a study of certain aspects of quantum gravity in two- and three-dimensional de Sitter spaces. The model used in dS2 is the Jackiw- Tetitelboim gravity which involves a scalar coupling. At low-energy limit this model becomes Schwarzian theory for which one can compute one-loop partition function. Along the way, the model is recasted into the first order formalism which helps to find an appropriate measure for the partition function. The layout for quantum gravity in dS3 is practically the same and many results appear to be quite similar. Although, there are as many dissimilarities. Ultimately, the goal is different, namely to determine one-loop correction to the central charge of the theory dual to dS3 . Additionally, a putative genus expansion for Jackiw-Teitelboim gravity is investigated along with some concrete computations being done. / Detta examensarbete ̈ar en studie av vissa aspekter av kvantgravita-tion i två och tredimensionella de Sitter-rummen. Den behandlar Jackiw-Teitelboim gravitation i dS2 , en model med en skalär koppling. Vid lågenergigränns blir modellen till Schwarzian teorin som används för att beräkna första ordningskorrektionen till partitionsfunktion. På vägen dit skrivs om modelen till första ordningens formalism som sedan hjälper att hitta ett lämpligt mått för partitionsfunktionen. Plannen för dS3 ser ut i princip likadant och en stor del av resultater är liknande. Emellertid finns det lika många olikheter. I slut änden, målet är annorludna, nämligen att beräkna första ordningens korrektion till centrala laddningen av teorin som dual till dS3 . Dessutom, en förmodad genus expansion för Jackiw-Teitelboim gravitation är undersökt och vissa konkreta beräkningar är gjorda.