In this thesis we prove existence and uniqueness for reflected stochastic differential equation on a specific non-smooth, time-dependent domain. The domain is the intersection of a finite number of smooth domains that are allowed to vary in time. The reflection is oblique to the domain and at the corners more than one direction of reflection is allowed. The time restrictions on the domain is firstly the existence of a semiconcave family of sets that are C¹;+ in time. Secondly that the distance function to the domain is in W¹;p. The first part of the proof is to construct of three kinds of test functions with desired properties. Using these test functions, existence is proved to the Skorokhod problem. Finally uniqueness is proved for the reflected stochastic differential equation. / I den här mastersuppsatsen så bevisar vi existens och entydighet för reflekterade stokastiska differentialekvation på ett icke slätt, tidsberoende område. Området är snittet mellan ett ändligt antal släta områden som tillåts variera i tiden. Reflektionen är ej nödvändigtvis vinkelrät till området och i hörnen finns det mer än en tillåten riktning. Tidsrestriktionen på området är dels existensen av en familj av semikonkava mängder som är C¹;+ i tiden. Dessutom att avståndet till området är W¹;p i tiden. Första delen av beviset är att konstruera tre hjälp funktioner med eftersökta egenskaper. Med hjälp av de här funktionerna så bevisas sedan existens av lösningar till Skorokhod problemet. Slutligen så bevisas entydighet av den reflekterade stokastiska differentialekvationen.

Modelling and simulation of complex and multi-domain mechanical systems has become of major importance in the last few years to address energy and fuel consumption performance evaluation. The goal is to unify the available modelling languages aiming to improve scalability and easiness of handling complex multi-domain models. Modelica Modelling Language was born in 1997. It has three main features: object-oriented, equation based with non-causal design structure and multi-domain environment. This thesis aims to give an overview of using Modelica on Modelon Impact software to model and simulate a complete 3D wheel loader dynamic system. The project wants to show how the model has been developed focusing on each sub-system implementation. The 3D wheel loader model is designed following the top-down and bottom-up design approaches and focusing on the powertrain sub-system with the engine, transmission and driveline blocks. The combination of the two logics is used to smooth the modelling path and exploit all the benefits. For the simulation experiments, test rig models are implemented to verify the dynamics of individual sub-systems. The model is simulated giving a set of input signals and solving the dynamic equations using different numerical solvers and comparing the elapsed simulation time. The simulation results show that the Radau5ODE explicit solver achieves faster simulation with stable solution given by the variable step size parameter. However, more studies and specific background are needed to update the complexity of the model and compare it with the already existing one. / Modellering och simulering av komplexa mekaniska system med flera domäner har fått stor betydelse under de senaste åren för att utvärdera energi och bränsleförbrukning. Målet är att förena de tillgängliga modelleringsspråken för att förbättra skalbarheten och underlätta hanteringen av komplexa modeller med flera områden. Modelica-modelleringsspråket föddes 1997. Det har tre huvudfunktioner: objektorienterat, ekvationsbaserat med icke-kausal designstruktur och en miljö med flera områden. Syftet med denna avhandling är att ge en översikt över användningen av Modelica i programvaran Modelon Impact för att modellera och simulera ett komplett dynamiskt 3D-system för hjullastare. Projektet vill visa hur modellen har utvecklats med fokus på varje delsystems genomförande. 3D-modellen för hjullastaren har utformats enligt top-down och bottom-up principerna och fokuserar på delsystemet drivlina med motor, transmission och drivlina. Kombinationen av de två logikerna används för att jämna ut modelleringsvägen och utnyttja alla fördelar. För simuleringsförsöken har testriggmodeller införts för att kontrollera dynamiken hos enskilda delsystem. Modellen simuleras med en uppsättning insignaler och de dynamiska ekvationerna löses med hjälp av olika numeriska lösare, varefter den förflutna simuleringstiden jämförs. Simuleringsresultaten visar att den explicita lösaren Radau5ODE ger en snabbare simulering med en stabil lösning som ges av parametern variabel stegstorlek. Det behövs dock fler studier och mer specifik bakgrund för att uppdatera modellens komplexitet och jämföra den med redan existerande modeller.

This thesis aims to explore if multibody simulations is a suitable method to investigate vibrations in the steering system of trucks. Vibrations in the steering system and subsequently in the steering wheel is a common issue that automotive manufacturers face. The vibration levels in the steering wheel are in some countries regulated and some vibration phenomena can even cause issues with the handling properties of the whole vehicle. Therefore being able to predict and reduce these with the help of multibody simulations would be of great value. The thesis does this by comparing the simulations to measurements. It investigates what parts can be approximated as rigid, what the effects different numerical solvers have and compares different driving scenarios. This can however be quite challenging, one reason being that the differential equations arising when performing multibody simulations of trucks are very stiff. The numerical challenges of this must be overcome while still keeping the resolution of the accelerations in the solution high enough to still be representative of reality. The thesis also explains how to mathematically model a physical system such that the numerical analysis of it can be efficient. The results show that the success of multibody simulations is very dependent on the test case. However, they also show that together with physical measurements multibody simulations can be a powerful complementary tool. The thesis also presents improvements that could be made to the model as well as certain key areas that need to be studied more in order to align the multibody simulations results with measurements. The multibody simulations software used to perform the calculations and the modelling in the report is Adams developed by Hexagon AB. / Den här rapporten syftar till att ge inblick i om flerkroppssimuleringar kan vara ett användbart verktyg för att undersöka styrsystemsvibrationer i lastbilar. Dessa vibrationer är orsaken till en mängd styrningsproblem samt att rattvibrationer har lagkrav att inte vara för stora. Att kunna förutspå och efterlikna dessa vibrationer med flerkroppssimulering skulle därmed vara till stor fördel. Detta undersöks genom att jämföra simuleringarna med mätdata. Det undersöks vilken påverkan stelkroppsapproximationer av vissa komponenter har, påverkan av olika numeriska integrationmetoder samt steglängder och även olika körningslastfall. Att genomföra flerkroppssimuleringar av lastbilar är dock inte alltid helt enkelt, på grund av differentialekvationernas styva karaktär uppstår ofta konvergensproblem. Ska man sedan använda resultaten för att undersöka styrsystemsvibrationer måste man överkomma dessa konvergensproblem men bibehålla en tillräckligt fin upplösning av resultatet för att resultatet fortfarande ska vara representativt av den fysiska lastbilens dynamiska egenskaper. Rapporten beskriver även hur man kan gå tillväga för att matematiskt modellera ett fysisk system så att det effektivt går att utföra dynamisk analys av det. Resultaten visar att flerkroppssimulering kan vara väldigt beroende på vad körfallet är, med vissa körfall där simuleringar och mätningar stämmer väl överens och andra där detta inte är fallet. På grund av detta kan det vara otillräckligt att endast använda flerkroppssimulering för att utvärdera styrsystemsvibrationer, men resultaten visar att tillsammans med mätdata kan flerkroppssimulering vara ett kraftfullt komplement. I rapporten presenteras även exempel av viktiga komponenter att ta hänsyn till för att bättre kunna simulera styrsystemsvibrationer samt områden där mer forskning har potential att förbättra flerkroppssimuleringar i hänsyn till styrsystemsvibrationer. Mjukvaran som används för att utföra flerkroppssimulering är Adams som utvecklas av Hexagon AB.

There are several algorithms for solving the linear system of equations that arise from the finite element method with linear or near-linear computational complexity. One way is to find an approximation of the stiffness matrix that is such that it can be used in a preconditioned conjugate residual method, that is, a preconditioner to the stiffness matrix. We have studied two preconditioners for the conjugate residual method, both based on writing the stiffness matrix in block form, factorising it and then approximating the Schur complement block to get a preconditioner. We have studied the stationary reaction-diffusion-advection equation in two dimensions. The mesh is refined adaptively, giving a hierarchy of meshes. In the first method the Schur complement is approximated by the stiffness matrix at one coarser level of the mesh, in the second method it is approximated as the assembly of local Schur complements corresponding to macro triangles. For two levels the theoretical bound of the condition number is 1/(1-C²) for either method, where C is the Cauchy-Bunyakovsky-Schwarz constant. For multiple levels there is less theory. For the first method it is known that the condition number of the preconditioned stiffness matrix is O(l²), where l is the number of levels of the preconditioner, or, equivalently, the number mesh refinements. For the second method the asymptotic behaviour is not known theoretically. In neither case is the dependency of the condition number of C known. We have tested both methods on several problems and found the first method to always give a better condition number, except for very few levels. For all tested problems, using the first method it seems that the condition number is O(l), in fact it is typically not larger than Cl. For the second method the growth seems to be superlinear.

Inom matematikdidaktik beskrivs matematisk modellering som en process bestående av olika delprocesser. Forskare inom området menar att ett holistiskt förhållningssätt behövs i undervisningen för att alla delprocesser i modelleringsprocessen ska kunna utvecklas. Syftet med denna studie är att undersöka kursplaners synliggörande (intended curriculum) av olika delprocesser vid matematisk modellering med differentialekvationer i svenska lärosätens ämneslärarprogram för gymnasiet med matematik som huvudämne. För att analysera kursplanerna används ett teoretiskt ramverk formulerat av Blomhøj & Jensen (2003). Resultatet visar stora skillnader i vilka delprocesser som synliggörs. Från nästan alla kursplaner som analyserades kunde man tydligt utläsa att i kursplanen synliggjordes delprocesser om matematisering av modelleringsproblem samt undersökning och lösning av uppkomna matematiska problem, medan andra delprocesser som speglar identifiering av ett verklighetsnära modelleringsproblem och tolkning av beräkningsresultatsynliggörs i mycket liten utsträckning. Delprocessen om analys av modellens giltighet synliggjordes i några enstaka kursplaner. En slutsats är att alla delprocesser inte synliggörs i kursplaner för matematikkurser i ämneslärarprogram för gymnasiet som behandlar modellering med differentialekvationer. Studien belyser behov av fortsatt forskning inom området, till exempel av det tillämpade genomförandet eller det uppnådda kursresultatet. / In mathematics education, mathematical modelling is described as a process consisting of different sub-processes. Researchers in the area believe that a holistic approach needs to be included in teaching where all sub-processes in the modelling process can be developed. The aim of this study is to investigate the visibility of different sub-processes in mathematical modelling in curricula (intended curriculum) with differential equations for Swedish teachers’programme with mathematics as core subject. To analyse the curricula, a theoretical framework formulated by Blomhøj & Jensen (2003) is used. The results show that there is a difference in the visibility of the sub-processes. From almost all curricula that were analysed, sub-processes on mathematization of modelling problems and investigation and solution of emerging mathematical problems could be clearly seen, while other sub-processes such as identification of a realistic modelling problem, interpretation and analysis of results could be seen to a lesser extent. The sub-process of analysing the validity of modelswas visible in a few curricula. Hence possible conclusions can be drawn, one is that curricula in modelling with differential equations for Swedish secondary education teacher programme in mathematics do not showcase all modellingsub-processes. The thesis highlights further need in studies of the implemented and attained curricula.

This work entails studying unfitted finite element discretizations for convection-diffusion equations in domains that evolve in time. In particular, these partial differential equations model the evolution of the concentration of soluble surfactants in bulk-interface domains. The work in this thesis docuses on developing numerical methods which conserve the modeled physical quantities. In this work, we propose cut finite element discretizations based on the Discontinuous Galerkin framework which are both locally and globally conservative. Local conservation is achieved on so-called macro elements, and we investigate macro element partitioning of the mesh for both stationary and time-dependent domains. Additionally, we develop globally conservative methods for time-dependent problems. We analyze the proposed methods by studying the convergence of the L2-error with respect to mesh size, condition numbers of the associated linear system matrices, and the conservation error. In numerical experiments for time-dependent problems, we show that the proposed methods have optimal convergence and that the developed macro element stabilization for time-dependent problems leads to increased accuracy while retaining stable condition numbers. Moreover, the measured conservation errors verify the global conservation of the proposed methods. / Detta arbete undersöker diskretiseringar av partiella differentialekvationer i tidsberoende domäner där beräkningsnätet inte behöver anpassas till domänens rörelse. I synnerhet betraktar vi partiella differentalekvationer som modellerar koncentrationen av lösliga ytaktiva ämnen, och skurna finita elementmetoder baserade på den Diskontinuerliga Galerkinmetoden som bevarar de modellerade fysikaliska storheterna. I detta arbete föreslås diskretiseringar som är både lokalt och globalt konservativa. Lokal konservering uppnås i så kallade makroelement, och vi undersöker makroelementpartitionering för både stationära och tidsberoende domäner. Även globalt konservativa metoder utvecklas för tidsberoende problem. De föreslagna metoderna analyseras med hjälp av numeriska exempel. Vi studerar konvergensen av L2-felet med avseende på nätstorlek, konditionstalen för de linjära systemmatriserna samt konserveringsfelet. Metoderna uppvisar optimal konvergens och makroelementstabilisering som utvecklas för tidsberoende problem leder till ökad noggrannhet, samtidigt som konditionstalen förblir stabila. Dessutom veritifierar de uppmättta konserveringsfelen den globala konserveringen hos de föreslagna metoderna.

This report formulates the boundary conditions and discretization method for conducting a simulation of heat with liquids and solids through the finite element method. It introduces the reader to the movement that is due today with optimization of heat transport and mitigation generally described as the fourth generation of district heating. It presents the scope: calculating the heat release from pipes in hydronic underfloor heating, and presents the belonging question: how does heat release from different heating pipe patterns affect the body’s heat transfer? Simulation of the work is conducted with the delimitations of using a single boundary slip condition addressing friction and only using water as pipe flow medium. It focuses on the pattern’s ability to affect the heat to the body, of which characteristically manifests a square concrete slab in the running simulations. By using different cases, it analyses how patterns using the same length of pipes emit their average heat to the covering top surface differently, both as the heating level alternates, and duration for response changes. This meanwhile they are affected by analog boundary temperature conditions.    A sensitivity analysis is done answering how the various patterns tested are affected by change of propagation speed for the flowing medium, showing that a spiral formed pattern with evenly spread piping is the least affected. The results show that the pattern with alternating pipe spacing gives the best average heat emission in the simulated cases. It also concludes that minor changes in the pattern area will have profound effect on the average transferred heat from the body’s top surface.

Grey-box models are constructed by combining model components that are derived from first principles with components that are identified empirically from data. In this thesis a grey-box modelling method for describing distributed parameter systems is presented. The method combines partial differential equations with a multi-layer perceptron network in order to incorporate prior knowledge about the system while identifying unknown dynamics from data. A gradient-based optimization scheme which relies on the reverse mode of automatic differentiation is used to train the network. The method is presented in the context of modelling the dynamics of a chemical reaction in a fluid. Lastly, the grey-box modelling method is evaluated on a one-dimensional and two-dimensional instance of the reaction system. The results indicate that the grey-box model was able to accurately capture the dynamics of the reaction system and identify the underlying reaction. / Hybridmodeller konstrueras genom att kombinera modellkomponenter som härleds från grundläggande principer med modelkomponenter som bestäms empiriskt från data. I den här uppsatsen presenteras en metod för att beskriva distribuerade parametersystem genom hybridmodellering. Metoden kombinerar partiella differentialekvationer med ett neuronnätverk för att inkorporera tidigare känd kunskap om systemet samt identifiera okänd dynamik från data. Neuronnätverket tränas genom en gradientbaserad optimeringsmetod som använder sig av bakåt-läget av automatisk differentiering. För att demonstrera metoden används den för att modellera kemiska reaktioner i en fluid. Metoden appliceras slutligen på ett en-dimensionellt och ett två-dimensionellt exempel av reaktions-systemet. Resultaten indikerar att hybridmodellen lyckades återskapa beteendet hos systemet med god precision samt identifiera den underliggande reaktionen.

Today, a large amount of time series data is being produced from a variety of different devices such as smart speakers, cell phones and vehicles. This data can be used to make inferences and predictions. Neural network based methods are among one of the most popular ways to model time series data. The field of neural networks is constantly expanding and new methods and model variants are frequently introduced. In 2018, a new family of neural networks was introduced. Namely, Neural Ordinary Differential Equations (Neural ODEs). Neural ODEs have shown great potential in modelling the dynamics of temporal data. Here we present an investigation into using Neural Ordinary Differential Equations for anomaly detection. We tested two model variants, LSTM-ODE and latent-ODE. The former model utilises a neural ODE to model the continuous-time hidden state in between observations of an LSTM model, the latter is a variational autoencoder that uses the LSTM-ODE as encoding and a Neural ODE as decoding. Both models are suited for modelling sparsely and irregularly sampled time series data. Here, we test their ability to detect anomalies on various sparsity and irregularity ofthe data. The models are compared to a Gaussian mixture model, a vanilla LSTM model and an LSTM variational autoencoder. Experimental results using the Human Activity Recognition dataset showed that the Neural ODEbased models obtained a better ability to detect anomalies compared to their LSTM based counterparts. However, the computational training cost of the Neural ODE models were considerably higher than for the models that onlyutilise the LSTM architecture. The Neural ODE based methods were also more memory consuming than their LSTM counterparts. / Idag produceras en stor mängd tidsseriedata från en mängd olika enheter som smarta högtalare, mobiltelefoner och fordon. Denna datan kan användas för att dra slutsatser och förutsägelser. Neurala nätverksbaserade metoder är bland de mest populära sätten att modellera tidsseriedata. Mycket forskning inom området neurala nätverk pågår och nya metoder och modellvarianter introduceras ofta. Under 2018 introducerades en ny familj av neurala nätverk. Nämligen, Neurala Ordinära Differentialekvationer (NeuralaODE:er). Neurala ODE:er har visat en stor potential i att modellera dynamiken hos temporal data. Vi presenterar här en undersökning i att använda neuralaordinära differentialekvationer för anomalidetektion. Vi testade två olika modellvarianter, en som kallas LSTM-ODE och en annan som kallas latent-ODE.Den förstnämnda använder Neurala ODE:er för att modellera det kontinuerliga dolda tillståndet mellan observationer av en LSTM-modell, den andra är en variational autoencoder som använder LSTM-ODE som kodning och en Neural ODE som avkodning. Båda dessa modeller är lämpliga för att modellera glest och oregelbundet samplade tidsserier. Därför testas deras förmåga att upptäcka anomalier på olika gleshet och oregelbundenhet av datan. Modellerna jämförs med en gaussisk blandningsmodell, en vanlig LSTM modell och en LSTM variational autoencoder. Experimentella resultat vid användning av datasetet Human Activity Recognition (HAR) visade att de Neurala ODE-baserade modellerna erhöll en bättre förmåga att upptäcka avvikelser jämfört med deras LSTM-baserade motsvarighet. Träningstiden förde Neurala ODE-baserade modellerna var dock betydligt långsammare än träningstiden för deras LSTM-baserade motsvarighet. Neurala ODE-baserade metoder krävde också mer minnesanvändning än deras LSTM motsvarighet.

The production and consumption of information and communication technology (ICT) products and services continue to grow worldwide. This trend is accompanied by a corresponding increase in electricity use by ICT, as well as direct environmental impacts of the technology. Yet a more complicated picture of ICT’s effects is emerging. Positive indirect effects on environmental sustainability can be seen in substitution and optimization (enabling effects), and negative indirect effects can be seen in additional demand due to efficiency improvements (rebound effects). A variety of methods can be employed to model and assess these direct and indirect effects of ICT on environmental sustainability. This doctoral thesis explores methods of modeling and assessing environmental effects of ICT, including electronic media. In a series of five studies, three methods were at times applied in case studies and at others analyzed theoretically. These methods include life cycle assessment (LCA) and complex systems modeling approaches, including System Dynamics (SD) and agent-based (AB) modeling. The first two studies employ the LCA approach in a case study of an ICT application, namely, the tablet edition of a Swedish design magazine. The use of tablets has skyrocketed in recent years, and this phenomenon has been little studied to date. Potential environmental impacts of the magazine’s tablet edition were assessed and compared with those of the print edition. The tablet edition’s emerging version (which is marked by a low number of readers and low reading time per copy) resulted in higher potential environmental impacts per reader than did the print edition. However, the mature tablet edition (with a higher number of readers and greater reading time per copy) yielded lower impacts per reader in half the ten impact categories assessed. While previous studies of electronic media have reported that the main life-cycle contributor to environmental impacts is the use phase (which includes operational electricity use as well as the manufacture of the electronic device), the present study did not support those findings in all scenarios studied in this thesis. Rather, this study found that the number of readers played an important role in determining which life-cycle phase had the greatest impacts. For the emerging version, with few readers, content production was the leading driver of environmental impacts. For the mature version, with a higher number of readers, electronic storage and distribution were the major contributors to environmental impacts. Only when there were many readers but low overall use of the tablet device was the use phase the main contributor to environmental impacts of the tablet edition of the magazine. The third study goes beyond direct effects at product- and service-level LCAs, revisiting an SD simulation study originally conducted in 2002 to model indirect environmental effects of ICT in 15 European countries for the period 2000-2020. In the current study, three scenarios of the 2002 study were validated in light of new empirical data from the period 2000–2012. A new scenario was developed to revisit the quantitative and qualitative results of the original study. The results showed, inter alia, that ICT has a stimulating influence on total passenger transport, for it makes it more cost- and time-efficient (rebound effects). The modeling mechanism used to represent this rebound effect is further investigated in the fourth study, which discusses the feedback loops used to model two types of rebound effects in passenger transport (direct economic rebound and time rebound). Finally, the role of systems thinking and modeling in conceptualizing and communicating the dynamics of rebound effects is examined. The aim of the fifth study was to explore the power of systems modeling and simulation to represent nonlinearities of the complex and dynamic systems examined elsewhere in this thesis. That study reviews previous studies that have compared the SD and AB approaches and models, summarizing their purpose, methodology, and results, based on certain criteria for choosing between SD and AB approaches. The transformation procedure used to develop an AB model for purposes of comparison with an SD model is also explored. In conclusion, first-order or direct environmental effects of ICT production, use, and disposal can be assessed employing an LCA method. This method can also be used to assess second-order or enabling effects by comparing ICT applications with conventional alternatives. However, the assessment of enabling effects can benefit from systems modeling methods, which are able to formally describe the drivers of change, as well as the dynamics of complex social, technical, and environmental systems associated with ICT applications. Such systems methods can also be used to model third-order or rebound effects of efficiency improvements by ICT. / Den ökande produktionen och konsumtionen av produkter och tjänster inom informations- och kommunikationsteknik (IKT) leder till en ökning av den globala elanvändningen samt direkta miljökonsekvenser kopplade till IKT. Men IKT har även indirekta miljömässiga effekter. Dessa kan vara positiva till exempel genom substitutions- och optimeringseffekter eller negativa genom att till exempel ge upphov till ytterligare efterfrågan på grund av effektivisering (så kallade reboundeffekter). Olika metoder kan användas för att modellera och bedöma både direkta och indirekta effekter av IKT. Syftet med denna avhandling är att undersöka metoder för modellering samt att studera miljöeffekter av IKT och elektronisk media med hjälp av livscykelanalys (LCA) och även modellering av komplexa och dynamiska system, samt simuleringsteknik, så som System Dynamics (SD) och agentbaserad (AB) modellering. Avhandlingen omfattar fem artiklar (artikel I-V). Artikel I &amp; II beskriver resultaten från en fallstudie där miljöeffekter kopplade till en svensk tidskrift studeras med LCA. Tidskriftens version för surfplatta samt motsvarande tryckta version studeras och jämförs. Artikel III går ett steg vidare från produktnivåns LCA. Artikeln återkopplar till en SD simuleringsstudie som ursprungligen genomfördes under 2002. Simuleringsstudien gällde framtida miljöeffekter av IKT i 15 europeiska länder med tidspespektivet 2000-2020. I artikeln valideras tre scenarier från simuleringsstudien med hjälp av nya empiriska data från 2000-2012 och ett nytt scenario modelleras. Kvantitativa och kvalitativa resultat från den ursprungliga studien diskuteras. Till exempel visar artikel III att IKT har en stimulerande effekt på den totala persontrafiken genom att göra den mer kostnads- och tidseffektiv (reboundeffekt). Modelleringsmekanismen som används för att representera denna reboundeffekt diskuteras vidare i artikel IV. Artikeln belyser och diskuterar den återkopplingsslinga (feedback-loop) som används för att modellera två typer av reboundeffekter kopplade till persontrafik (direkt ekonomisk rebound och tidsrelaterad rebound) samt jämför med en tidigare studie. Artikel IV behandlar också den roll systemtänkande och modellering kan spela i konceptualisering och kommunikation av reboundeffekters dynamik. För att ytterligare undersöka systemmodelleringens och simuleringens möjligheter att representera icke-linjära komplexa och dynamiska system (exempel på sådana diskuteras i artikel III och IV), sammanställer artikel V tidigare studier som jämför SD och AB-metoder och -modeller.  Studiernas mål och metod summeras och resultaten med avseende på vilka kriterier som presenteras för att välja mellan SD och AB sammanställs. Även processen för att omvandla en befintlig SD-modell till en AB-modell beskrivs. Avhandlingens slutsats är att LCA och systemmodelleringsmetoder kan vara användbara för att studera IKTs direkta effekter så väl som indirekta effekter på miljön. / <p>QC 20150813</p>