Chalmers Open Digital Repository

Välkommen till Chalmers öppna digitala arkiv!

Här hittar du:

Studentarbeten utgivna på lärosätet, såväl kandidatarbeten som examensarbeten på grund- och masternivå
Digitala specialsamlingar, som t ex Chalmers modellkammare
Utvalda projektrapporter

Forskningspublikationer, rapporter och avhandlingar hittar du i research.chalmers.se

Enheter i Chalmers ODR

Välj en enhet för att se alla samlingar.

Visar 1 - 2 av 2

Senast publicerade

Architects in Ambulance
(2026) Johansson, Philip
Over the last decades, following increasingly neoliberal ideology permeating all layers of political life, centralization has taken an ever increasingly rigid hold on development on urban, regional, national and global scales. Power and resources are increasingly concentrated to higher instances, and an urban norm permeates public discourse. Simultaneously, processes of urbanization must be viewed as complex, multipolar and encapsulating much more than a simplified understanding of it as a rural to urban migration. Arguing that the static, distanced and projecting nature of ordinary architecture practice is complicit with such extractive processes, this thesis attempts to challenge conceptions of what architects can do. Utilizing the idea of crossbenching as a critical spatial practice, the aim is to use an ambulatory approach to architectural work in order to enter spatial peripheries without formal mandate, and in that place invite people to engage in collective building as a para-institutional space for discourse and unofficial democracy. Learning from performance theory, it is argued that such spaces can activate latent agency through forming networks, probing the concerns and desires in people and seriously assess them and create platforms to act on them. The thesis inquiry is tackled through a two-part project: Building a framework for ambulatory work, and testing it through action in field. The first part is conducted at the Chalmers School of Architecture, using methods of case studies, interviews with practicioners, and staging participatory events to test the performative functions of the built framework. The second part is carried out during a two-week field experiment in the small rural town of Virserum, Småland, where a space of participatory building is set up in collaboration with Virserums Konsthall, attempting to engage people in discussion about their local context and the architectural questions about local public space. Rather than producing a design proposal, the thesis emphasizes a processual focus. The outcome takes the form of a ”negative” manifesto, using the incongruence between hypotheses from the first phase and the complex relationality of the in-field operations to extract learnings that form fragments of an outline of what a decentralized and ambulant architectural practice could be.
Extending the Informalization of Mathematics to Homotopy Type Theory
(2026) Ohlsson, May
The informalization of mathematics, i.e., turning formal mathematical expressions into informal natural language, is a developing area of study. Probabilistic approaches based on large language models have been used in earlier works to accomplish this task. Informath is an ongoing project to enable deterministic translation between formal and informal mathematics in multiple languages. It is built on Grammatical Framework and formalized Dedukti theory. It has not been demonstrated how this approach generalizes to advanced mathematics. We show how Informath can generate informal representations of the mathematics of Homotopy Type Theory. This is done by formalizing the book Introduction to Homotopy Type Theory by Egbert Rijke and extending the grammar to enable generation of informal expressions. We found that, while the theory could be formalized and informalized, there exist trade-offs between a natural formalization and the formalization that would produce the most accurate informalization to match the original expressions in the book. These trade-offs arise when the formal representation lacks a direct correspondence to the original informal expression. Different approaches were tested to match existing formalization and align with the informal base. The results indicate that Informath is able to informalize Homotopy Type Theory, but the structure of the formalization may need to be structured around the desired result to get a matching informalization.
Action Research: Configuration complexity in software systems - Evaluating script automation as a tool for lowering configuration time and complexity when configuring network settings.
(2026) Hagman, Max; Palm, Oscar
Previous research has shown methods and tools used for software configuration within many organisations to be unnecessarily time consuming, prone to errors, and complex. Research also shows that the complexity of tools used have a negative effect on the adoption of said tool within an organisation. This thesis investigated the effect of partially automated software configuration using scripting has on the complexity and configuration time of a system. The context of this thesis was a medium-sized software company, focusing on the configuration of their Software-as a-Service network service. The research was performed using the action research methodology, to construct a tool, partially automating the configuration of software devices. The created tool was evaluated on the difference in time, compared to the current solution, as well as the change in complexity. All the observed subjects needed slightly more, to moderately more time to complete a configuration using the created tool. The subjects also perceived the configuration process as less complex with the created tool. The actual complexity of using the created tool was also observed to be lower. The results from this study shows how the complexity of a configuration can be improved by automation, even in cases where it is not possible to fully automate the task.
Making kin with pigeons; multispecies design of urban spaces beyond anthropocentrism
(2026) Gremeaux, Lora
The relentless attempts to maintain the division between nature and culture have resulted in a loss of connection to the natural environment for urban dwellers, leading to a loss of knowledge and empathy for nonhuman species. Reinforcing the problematic belief that human beings are above nature and its ecosystems, this dichotomy also dictates which species belong in our cities, and which do not. Pigeons. Our companions, collaborators, and allies for centuries, bred, trained, and cared for, are now considered a nuisance that our buildings and public spaces must be protected from. When architects and planners consider the birds, it is often in the form of exclusion. However, emerging approaches such as more than-human design show promising potential in contributing to a shift in the architecture practice, proposing strategies and solutions to design for and with other species. In the spirit of Donna Haraway's concept of Making kin, this thesis explores the potential of architecture as an interspecies mediator and how spatial interventions in Brunnsparken, Gothenburg, can encourage mutualistic connections between humans and pigeons. The long-term aims being to (re)build our relationship with pigeons, to reconnect with nature, and to sustain our empathy for nonhumans. The process builds on more-than-human design theories and methods. Through three phases called context analysis, making kin, and multispecies placemaking, the thesis explores the spatial and social entanglement of pigeons and humans, and how design can be used as an interspecies mediator. The outcome of this thesis is four spatial interventions: multispecies fika tables, bathing fountains, stringfoot assistance benches and observatory walls, that all benefit both humans and pigeons. Together, these interventions transform Brunnsparken into a multispecies park that encourages humans and pigeons to share space and facilitates real interspecies connections. This thesis is about accountability and what we owe to the species that our anthropocentric worldview has negatively impacted. It is about taking responsibility for (re)building a relationship with pigeons, instead of blaming them for being exactly what we bred them to be.
Optimization through Automated Decision Support in District Cooling - Minimizing Electricity Use through Software-Based Start/Stop Control and Chiller Dispatch
(2026) Clase, Jacob; Lloyd, Samuel
This thesis investigates how software-based decision support can improve operational efficiency in district cooling through automated start/stop control and chiller dispatch. The study was conducted as a design science case study at Göteborg Energi’s district cooling network in Gothenburg, Sweden. The work addresses three main questions: identifying the main operational limitations in the current control strategy, designing a software-based artifact for improved dispatch decisions, and assessing which parts of the artifact are case-specific and which may be transferable to similar district cooling systems. The current operation was analyzed using historical operational data from 2025 together with input from domain experts. This analysis showed that the existing control strategy is only partly standardized in practice, since actual chiller dispatch varies under similar operating conditions and remains partly dependent on operator judgement. To address these limitations, a software-based artifact was developed consisting of empirical chiller performance models, a Mixed Integer Non-Linear Programming (MINLP) optimization engine, and an interactive dashboard for visualization and fleet management. The artifact was evaluated through simulation using historical operating conditions from 2025 as a baseline. The results indicate that the proposed control strategy can improve operational efficiency while satisfying cooling demand and limiting daily start/stop events in accordance with the defined success criteria. The largest improvements were observed during the summer period when the electricity use was reduced by as much as 41.69%. The thesis thus contributes both a practical prototype and a design-oriented approach that may be adaptable to similar district cooling systems after local recalibration of the chiller models.