The ring of integers is a very interesting ring, it has the amazing property that each of its elements may be expressed uniquely, up to order, as a product of prime elements. Unfortunately, not every ring possesses this property for its elements. The work of mathematicians like Kummer and Dedekind lead to the study of a special type of ring, which we now call a Dedekind domain, where even though unique prime factorization of elements may fail, the ideals of a Dedekind domain still enjoy the property of unique prime factorization into a product of prime ideals, up to order of the factors. This thesis seeks to establish the unique prime ideal factorization of ideals in a special type of Dedekind domain: the ring of algebraic integers of an imaginary quadratic number field.

Purpose: There is a severe housing shortage in Sweden, with a deficiency of schools and preschools. At the same time, carbon dioxide emission is measuring higher than ever and the realization of environmental crisis is clear. The building sector is responsible a high percentage of carbon dioxide emissions. Calculation for the climate impact can be implemented through life cycle assessment (LCA), directives are requested on how to build through an LCA perspective. The study investigates modular buildings that constitute an efficient and flexible way of managing the building shortage. The aim of this research was to get answers from an ecologically sustainable perspective to what provides more advantageous to process modules when the time- limited building permit expires and a module is needed somewhere else, with or without extra isolation. Method: A quantitative methodology was used to accomplish the aim. The climate impact of four different types of lifecycles simulates by using the software Anavitor. Other methods used for data acquisition was document analysis, calculation of specific energy use and transmission loss.   Findings: The results present advantageous choices for stakeholders to pick after the time-limited building permits expire and a new module is demanded at another place. The study shows that less carbon dioxide emission is produced when reusing the module rather than demolish and produce a new module. Energy savings can be made which reduces the total climate impact of the module that are additionally insulated.  Implications: The conclusion the group could deduct was that the production and manufacturing stage has a significant impact on the total climate impact that a renovation and non-manufacturing scenario is always more advantageous. By adding additionell isolation savings on total carbon dioxide emission can be made despite increased material use.   Limitations: The results are limited to a life cycle assessment based on a module’s envelope as the interior and technical equipment is the same for all scenarios. The study was based on a standard module in which the equipment has no effect on the results. The result was initially specific, but with the help of calculation of the breakpoint for independent transport distances, a general validity could be given. / Syfte: I Sverige råder det brist på bostäder, skolor och förskolor, samtidigt uppmäter koldioxidutsläppen högre än någonsin och insikten om ett miljöhot är påtaglig. Byggnadssektorn ansvarar för en stor del av Sveriges koldioxidutsläpp. Beräkning av klimatpåverkan kan utföras genom livscykelanalyser (LCA), däremot efterfrågas direktiv på vad som bör göras vid byggnation kring ett LCA-perspektiv. Undersökningen har genomförts på en modulbyggnad som utgör ett effektivt och flexibelt sätt att hantera byggnadsbristen på. Målet med arbetet var att ur ett ekologiskt hållbart perspektiv få svar på vad som är mer fördelaktigt att behandla moduler på när det tidsbegränsade bygglovet löpt ut och en modul behövs på en annan plats, med eller utan en tilläggsisolering. Metod: För att uppnå målet med studien användes en kvantitativ undersökningsstrategi. Klimatpåverkan för fyra olika typer av livscykler simulerades i mjukvaruprogrammet Anavitor. Andra metoder som används för datainsamling var dokumentanalys, beräkningar av specifik energianvändning och transmissionsförluster genom vägg vid tilläggsisolering. Resultat: Det genererade resultatet presenterar vad som är fördelaktigt att välja efter att det tidsbegränsade bygglovet löpt ut och en ny modul behövs på en annan plats. Studien visar att det genererar mycket mindre koldioxidutsläpp att återanvända modulen än att kassera och bygga ny modul. En energibesparing kan ges som sänker den totala klimatpåverkan för modulerna som tilläggsisoleras. Konsekvenser: Slutsatsen av arbetet är att produktions och tillverkningsstadiet har så pass stor inverkan på den totala klimatpåverkan då utfallet att renovera och spara in på en tillverkningsfas är att föredra. För att göra valet av att tilläggsisolera eller inte krävs en LCA. Den koldioxidökningen som tillkommer på grund av volymökning av en tilläggsisolering får inte överskrida den minskning som genereras av energibesparing. Begränsningar: Studien är avgränsat till livscykelanalys gjord på modulens klimatskal då den invändiga och tekniska utrustningen är densamma för alla utfall, därför kan modulen även tillhöra en annan slags funktion. Resultatet blev till en början specifikt men med hjälp av beräkning av brytpunkt för oberoende transportsträckor kunde en generell giltighet ges.

Cette thèse a pour objectif de développer des méthodes ultrasonores pour l’END de l’adhésion de joints collés. Pour aborder ce problème, les assemblages sont réalisés avec des substrats en aluminium (isotrope, élastique) et un adhésif de type époxy(isotrope, viscoélastique). Selon la géométrie des assemblages, deux méthodes sont proposées pour obtenir une information quantitative sur le niveau d’adhésion. La première est adaptée à des échantillons de type tri-couches avec recouvrement total.Elle consiste à analyser la transmission d’ondes ultrasonores planes de volume à travers l’assemblage immergé dans l'eau.Les conséquences d'un mauvais traitement de surface des substrats sur la mesure des modules de viscoélasticité du joint adhésif sont étudiées. Il a été montré que des interphases dégradées provoquent une anisotropie apparente des modules mesurés pour le joint de colle. Cette anisotropie a été quantifiée à l'aide de deux paramètres β1 et β2 dont les valeurs permettent de révéler la qualité des interphases. Ensuite, les modules élastiques (ou raideurs kL et kT) des interphases ont été estimés, en supposant les propriétés de l'adhésif connues. On montre que leurs valeurs sont maximales lorsque l'adhésion est nominale, et qu’elles diminuent franchement lorsque l'adhésion est dégradée, mais dans des proportions différentes. Des mesures de la contrainte à rupture, réalisées sur des échantillons préparés dans les mêmes conditions, corroborent la chute des modules des interphases. La seconde méthode est adaptée à des échantillons collés avec un recouvrement partiel. Elle es tbasée sur la mesure du coefficient de transmission d'ondes de Lamb se propageant d'un substrat à l'autre, à travers la zone de recouvrement. Une étude de sensibilité numérique (par éléments finis) des coefficients de transmission des modes de Lamb a montré que les propriétés mécaniques des interphases (modélisées par des raideurs surfaciques) peuvent être évaluées si les autres caractéristiques de l’assemblage sont connues. Des mesures expérimentales de ces coefficients de transmission ont ensuite été réalisées avec deux échantillons. L’un d’eux possède des interphases à adhésion nominale et l’autre des interphases dégradées. Une confrontation entre les résultats des mesures obtenus pour les différents modes et les simulations numériques permet de déterminer les valeurs des raideurs d’interfaces pour chaque échantillon. Là encore, il est observé qu’une mauvaise adhésion se traduit par des valeurs faibles des raideurs d’interfaces, qui peuvent être quantifiées, cette fois,grâce aux ondes ultrasonores guidées. / The aim of this thesis is to develop NDT ultrasonic methods for the evaluation of the adhesion at interfaces in bonded joints.To address this problem, the assemblies are made of aluminum substrates (isotropic, elastic) and epoxy adhesive (isotropic,viscoelastic). Depending on the geometry of the studied assemblies, two methods are proposed to obtain quantitativeinformation on the adhesion level. The first method is suitable for three-layered plate-like samples. It consists in analyzingthe transmission of bulk ultrasonic plane waves through the assembly immersed in water. The consequences of a inapropriatesurface treatment of the substrates on the measurement of viscoelastic moduli of the joint are studied. It has been shown thatdegraded interphases cause an apparent anisotropy of the measured elastic moduli of the joint. This anisotropy was quantifiedusing two parameters β1 and β2 whose values can reveal the quality of the interphases. Then, the elastic moduli (or stiffnesseskL and kT) of the interphases were estimated, assuming that the adhesive layer properties are known. It was shown that theirvalues are higher when the adhesion is nominal, and are strongly decreased when the adhesion is degraded. Measurements ofthe mechanical strength, on samples prepared under the same conditions, confirmed the drops in these elastic moduli. Thesecond method is more suitable for lap joint samples. It is based on the Lamb wave transmission coefficient measured fromone substrate to the other, across the overlap zone. A numerical sensitivity analysis (finite element model) of the transmissioncoefficients of Lamb waves showed that the mechanical properties of the interphases (modeled by interfacial stiffnesses) canbe evaluated if the other characteristics of the assembly are well known. Experimental measurements of the transmissioncoefficients were then performed on two samples. One of them has interphases with nominal adhesion and the other hasdegraded interphases. A comparison between the measured results obtained for the different modes and numericalsimulations was used to determine the values of the interfacial stiffnesses for each sample. Again, it was observed that pooradhesion leads to low values of the interfacial stiffnesses of the interphases, that can be quantified using guided ultrasonicwaves.

Les développements récents du génie civil créent de multiples problèmes d'interaction entre structures et sols. La compréhension du comportement des sols et des ouvrages et de leurs interactions joue donc un rôle croissant et important dans les études géotechniques. Cela suppose une estimation fiable et pertinente des caractéristiques de déformation et de résistance des sols. La détermination des paramètres mécaniques, notamment modules de déformation des sols et la connaissance de leur évolution des petites aux grandes déformations, et de leur variation suivant les chemins de contraintes deviennent donc des enjeux importants. Pour l'obtention de valeurs appropriées des paramètres caractérisant la rupture et la déformabilité, deux voies actuellement sont offertes :<br>- le prélèvement d'éprouvettes « intactes » et l'exécution d'essais sophistiqués en laboratoire,<br>- les essais sur le sol en place, plus ou moins rustiques. Ce mémoire de thèse expose une étude du comportement d'un sol argileux naturel prélevé sur le site expérimental de Cubzac-les-Ponts en combinant différents types de chargement aptes à explorer le domaine des petites déformations au moyen d'essais au laboratoire et in situ. L'idée est de réaliser des essais en laboratoire à l'aide d'appareils tels que l'oedomètre, l'appareil triaxial de précision avec système de mesure locale, les capteurs piézo-électriques et la colonne résonnante et les essais en place en utilisant des matériels innovants comme le pressiomètre autoforeur (P.A.F 2000), le triaxial in situ (T.I.S) et le système de tubage autoforé (S.T.A.F). Le programme d'essais en laboratoire a permis de déterminer la forme de la surface de charge et le comportement des sols lorsque le chemin de contraintes atteint cette surface, à analyser l'évolution des surfaces de charge en fonction de l'histoire de chargement du matériau et de la procédure d'essai ainsi la variation des modules de déformation en fonction du niveau des déformations, de la profondeur et du chemin de contraintes. Lors des essais réalisés en place, le pressiomètre autoforeur de nouvelle génération (P.A.F 2000), équipé de palpeurs et de géophones, a permis de déterminer un profil continu de modules de déformation des très petites déformations aux grandes déformations. Le triaxial in situ (T.I.S) a essayé de récréer in situ les conditions aux limites maîtrisées d'un essai triaxial de laboratoire et de réaliser des essais triaxiaux. Ce mémoire présente également une synthèse des données collectées avec différents types d'essais de laboratoire et en place des méthodes d'essais adaptés pour tester les différentes échelles de déformations ainsi que l'évolution des modules de déformation.

Cette thèse a pour but l'étude de la propriété de platitude sur des modèles bond graphs (BGs) non linéaires et de contribuer à la résolution des problèmes rencontrés en pratique qui sont liés principalement à l'identification des sorties plates et le calcul de la paramétrisation différentielle. <br />Pour atteindre cet objectif, de nouveaux concepts et outils graphiques ont été introduits. En particulier, grâce à l'introduction de la notion de modèle BG tangent ou variationnel à l'aide de l'utilisation des différentielles de Kähler, il est possible de calculer les sorties plates d'un modèle BG non linéaire par intégration des bases du module qui lui est associé.<br />Par ailleurs, en définissant la notion d'anneau BG non commutatif, une nouvelle règle de gain connue sous le nom de "règle de Riegle" est introduite en BG. En montrant alors qu'un modèle BG variationnel est un cas particulier d'anneau BG non commutatif, l'obtention graphique de la paramétrisation différentielle en utilisant la règle de Riegle et la notion de bicausalité est rendue possible.<br />Enfin, pour aller plus loin dans l'introduction de l'outil d'algèbre et de modules différentiels aux BGs, le cas des modèles BGs non linéaires régis par des équations différentielles polynômiales a été abordé. Dans ce contexte, le BG permet de faire une analyse directe des propriétés principales du système telles que le choix des variables d'entrée, les dynamiques correspondant à un choix d'entrée, le calcul des degrés de transcendance (non différentiel) différentiel, etc. à partir de son modèle BG associé. Il est également montré que la règle graphique de Riegle peut être étendue à cette classe de modèles BGs.

Afin d'étendre à un cadre singulier des résultats de la théorie du polynôme de Bernstein-Sato, nous étudions ici les polynômes de Bernstein d'une fonction analytique f associée aux sections du module de cohomologie locale algébrique R à support une intersection complète locale X définie par un morphisme analytique g. En effet, il résulte de la construction algébrique des cycles évanescents que les racines de ces polynômes sont étroitement liées aux valeurs propres de la monodromie locale de f sur X.<br /><br />Après avoir donné des résultats sur les polynômes de Bernstein associés aux sections d'un D-Module holonome, nous faisons l'étude du cas g lisse à l'origine, puis f lisse et X hypersurface. Nous étudions ensuite l'existence de polynômes de Bernstein génériques et relatifs des sections de R associées à une déformation analytique, reliant ces questions à la géométrie d'espaces conormaux.<br /><br />Reprenant des idées de B. Malgrange, nous donnons ensuite une construction adaptée à l'étude des polynômes de Bernstein des sections de R lorsque les morphismes g et (f,g) définissent des intersections complètes à singularité isolée à l'origine. Cette construction impose notamment la quasi-homogénéité de g et nécessite des calculs d'annulateurs. Nous nous consacrons enfin aux calculs de polynômes de Bernstein basés sur ces résultats. Nous donnons d'abord un algorithme de calcul lorsque en plus des hypothèses adéquates, nous supposons que la partie initiale de f définit une singularité isolée sur X. Quand de plus f est quasi-homogène, nous obtenons des formules explicites. Nous terminons notre étude par des exemples de calculs lorsque X est un cône quadratique non dégénéré.

Ce travail se fonde sur le lien entre le corps des modules d'un revêtement et les espaces de Hurwitz. Pour un revêtement donné, l'arithmétique de ces espaces fournit des résultats sur la ramification du corps des modules au-dessus du corps de rationalité des points de branchement. Le théorème de Beckmann, qui circonscrit la ramification dans cette extension à certaines places, les mauvaises places, trouve ainsi une démonstration naturelle. Une analyse plus fine des espaces de Hurwitz fournit des informations sur les mauvaises places ne divisant pas l'ordre du groupe de monodromie du revetement (mais où les points de branchement se rencontrent) : l'idée consiste à considérer le revêtement du complété de l'espace de Hurwitz au-dessus du complété de l'espace de configuration de points. Pour une telle place, le lieu de branchement du revêtement se prolonge en une section arithmétique sur ce dernier espace, et la restriction du revêtement de Hurwitz à cette section fournit de l'information sur la ramification dans le corps des modules en la place considérée. Nous étudions ce problème de restriction dans un cadre plus général, en considérant le cas d'un revêtement modérément ramifié le long de diviseurs à croisements normaux restreint à une section, et en nous basant sur le théorème d'Abhyankar. Nous donnons une version effective de ce résultat de ramification dans le corps des modules, en fonction d'entiers qui dépendent des relations de congruence entre les points de branchement, ainsi que d'un choix de générateurs de l'inertie autour des composantes du bord de l'espace de configuration de points croisant la section. À cet effet, nous introduisons un certain type de twists de Dehn, les twists sarments, et nous décrivons leur action sur l'ensemble des classes de Nielsen. Une dernière partie de ce travail regroupe des résultats divers de descente du corps de définition d'un revêtement, qui utilisent des gerbes au-dessus des espaces de Hurwitz.

This thesis consists of two papers on the spectral geometry of locally symmetric spaces of Riemannian and Lorentzian signature. Both works are concerned with the idea of relating analysis on such spaces to structures on their boundaries. The first paper is motivated by a conjecture of Patterson on the Selberg zeta function of Kleinian groups. We consider geometrically finite hyperbolic cylinders with non-compact Riemann surfaces of finite area as cross sections. For these cylinders, we present a detailed investigation of the Bunke-Olbrich extension operator under the assumption that the cross section of the cylinder has one cusp. We establish the meromorphic continuation of the extension of Eisenstein series and incomplete theta series through the limit set. Furthermore, we derive explicit formulas for the residues of the extension operator in terms of boundary values of automorphic eigenfunctions. The motivation for the second paper comes from conformal geometry in Lorentzian signature. We prove the existence and uniqueness of a sequence of differential intertwining operators for spherical principal series representations, which are realized on boundaries of anti de Sitter spaces. Algebraically, these operators correspond to homomorphisms of generalized Verma modules. We relate these families to the asymptotics of eigenfunctions on anti de Sitter spaces.

Este trabajo ha estado dirigido al estudio de un proceso eficaz de separación que posibilite la recuperación de zinc de efluentes de decapado ácido de elevada toxicidad, así como su posterior concentración en una fase de características físico-químicas adecuadas para posibilitar su reciclado en baños electrolíticos. Para ello se propone la extracción líquido-líquido no dispersiva como tecnología limpia de elevada eficacia y con bajo requerimiento energético.Tras una exhaustiva revisión bibliográfica, se seleccionan el fosfato de tributilo y el agua de red como agentes extractante y reextractante respectivamente. A lo largo del trabajo y tras una etapa previa dirigida a la evaluación de la viabilidad técnica del proceso, se caracterizaron experimentalmente las reacciones responsables de las etapas de extracción y reextracción, así como la cinética del proceso de separación, para a continuación plantear el modelo matemático y determinar los parámetros característicos del sistema necesarios para el diseño y optimización del proceso de separación-concentración de zinc de efluentes de decapado ácido metálico. / The work was focused on the study of the recovery of zinc from spent pickling effluents, under conditions that permitted the recovery of electrolytic grade metal, thus, reducing the effluent toxicity and with valorisation, at the same time, of the component of higher added value. After a deep literature review, non dispersive solvent extraction using tributyl phosphate (TBP) and service water as extraction and back extraction agents, respectively, was selected as the best separatión alternative. The work started with the analysis of the process viability and included an experimental design of the equilibrium, and kinetics of the phenomena involved in the metal valorisation. The kinetic analysis of the membrane assisted process of zinc recovery from spent pickling effluents was carried out, obtaining the mathematical model and parameters needed for design and optimisation of the metal separation step in a valorisation process.

This dissertation focuses on high-performance LC-tank CMOS VCO design at 2 GHz. The high-Q inductors are realized using wiring metal lines in advanced packages. Those inductors are used in the resonator of the VCO to achieve low phase noise, low power consumption, and a wide frequency tuning range. In this dissertation, a fine-pitch ball-grid array (FBGA) package, a multichip module (MCM)-L package, and a wafer-level package (WLP) are incorporated to realize the high-Q inductor. The Q-factors of inductors embedded in packages are compared to those of inductors monolithically integrated on Si and GaAs substrates. All the inductors are modeled with a physical, simple, equivalent two-port model for the VCO design as well as for phase noise analysis. The losses in an LC-tank are analyzed from the phase noise perspective. For the implementation of VCOs, the effects of the interconnection between the embedded inductor and the VCO circuit are investigated. The VCO using the on-chip inductors is designed as a reference. The performance of VCOs using the embedded inductor in a FBGA and a WLP is compared with that of a VCO using the on-chip inductor. The VCO design is optimized from the high-Q perspective to enhance performance. Through this optimization, less phase noise, lower power consumption, and a wider frequency tuning range are obtained simultaneously.