Search for dissertations about: "CCS"

Showing result 1 - 5 of 79 swedish dissertations containing the word CCS.

  1. 1. Linear models for multiscale materials simulations : Towards a seamless linking of electronic and atomistic models for complex metal oxides

    Author : Akshay Krishna Ammothum Kandy; Peter Broqvist; Jolla Kullgren; Eddie Wadbro; Ben Hourahine; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Force fields; Electronic structure calculations; CCS; DFTB; CCS Q; repulsive fitting; Kemi med inriktning mot materialkemi; Chemistry with specialization in Materials Chemistry;

    Abstract : Multiscale modelling approaches, connecting data from electronic structure calculations all the way towards engineering continuum models, have become an important ingredient in modern materials science. Materials modelling in a broader sense is already amply used to address complex chemical problems in academic science, but also in many industrial sectors. READ MORE

  2. 2. Opportunities and uncertainties in the early stages of development of CO2 capture and storage

    Author : Mårten Lind; Mats Westermark; Mohsen Assadi; KTH; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Acceptance; cement; CCS; CO2 capture and storage; early opportunities; enhanced oil recovery; expert opinions; hybrid power cycles; optimism; oxyfuel combustion; pressurised fluidised bed combustion; pilot plant; potassium carbonate; risk; Sargas; scenario studies; scientific uncertainty; stakeholder perceptions; Chemical process and manufacturing engineering; Kemisk process- och produktionsteknik;

    Abstract : The topic of this thesis is carbon dioxide (CO2) capture and storage (CCS), which is a technology that is currently being promoted by industries, scientists and governments, among others, in order to mitigate climate change despite a continued use of fossil fuels. Because of the complex nature of CCS and the risks it entails, it is controversial. READ MORE

  3. 3. Integrating the Z notation and behavioural formalisms

    Author : Kenji Taguchi; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; Informatics; computer and systems science; Integrated Formal Methods; CCS; Z; Informatik; data- och systemvetenskap; Informatics; computer and systems science; Informatik; data- och systemvetenskap; datorteknik; Computer Systems;

    Abstract : The last several years have witnessed an increasing interest in integrating different formalisms in the formal methods research community. Particularly a number of notations have been proposed by different authors which integrate existing state-based formalisms such as Z, VDM and B and behavioural formalisms such as CCS, CSP and Statecharts. READ MORE

  4. 4. Formalising process calculi

    Author : Jesper Bengtson; Joachim Parrow; Daniel Hirschkoff; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; process calculi; interactive theorem proving; nominal logic; pi-calculus; CCS; psi-calculi; Computer science; Datalogi; Computer Science; Datavetenskap;

    Abstract : As the complexity of programs increase, so does the complexity of the models required to reason about them. Process calculi were introduced in the early 1980s and have since then been used to model communication protocols of varying size and scope. READ MORE

  5. 5. Partial carbon capture – an opportunity to decarbonize primary steelmaking

    Author : Max Biermann; Chalmers University of Technology; []
    Keywords : TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ENGINEERING AND TECHNOLOGY; ENGINEERING AND TECHNOLOGY; excess heat; amine absorption; partial CO2 capture; process industry; cost estimation; CCS; steel making;

    Abstract : Climate change requires that all energy-related sectors drastically reduce their greenhouse gas emissions (GHG). To have a high likelihood of limiting global warming to 1.5°C, large-scale mitigation of GHG has to start being implemented and cause emissions to fall well before Year 2030. READ MORE