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

KULTURPARKEN
(2026) Bülow, Johanna
Finding Bugs in Functional Programs using Theorem Provers
(2026) Tsioka, Thaleia
This thesis investigates whether automated first-order theorem provers can be efficiently used to discover bugs in Haskell programs by extracting counterexamples to incorrect program properties. To enable counterexample extraction, we present an alternative translation from Haskell programs to first-order logic that reformulates programs to purely equational first-order theories and properties to existential conjectures. The translation to the proposed encoding builds on the pre-existing Haskell → TIP → TPTP translation pipeline by introducing a sequence of transformations that preserve the semantics of the original program with the goal of making the resulting theories better suited for equational theorem provers. The approach is evaluated using the theorem provers Twee, E and Vampire on a collection of Haskell benchmarks. The results show that provers are capable of successfully extracting counterexamples to incorrect Haskell properties, and that the proposed encoding does in fact improve their performance compared with the one produced by the pre-existing translation. Among the evaluated provers, Twee consistently produced the strongest results on the proposed encoding, while E achieved the best overall performance when combined with an appropriate lexicographic path ordering that approximates goal-directed proof search. The evaluation identifies weak goal direction as the principal practical limitation of theorem-prover counterexample extraction and the resulting time inefficiency, as its main disadvantage in comparison to property-based testing. However, our work also demonstrates that theorem-prover counterexample extraction offers capabilities which property-based testing doesn’t, including the successful extraction of counterexamples to higher-order properties, ultimately making it a promising direction for future research on automated bug finding in functional programs.
Understanding EU Legislative Development Beyond Early Indicators
Siltberg Almlöf, Arvid; Utter, Simon
This study examines how European Union legislative proposals develop after their formal introduction within the policymaking process. Using a comparative multiple-case study design, the study analyses the EU Emissions Trading System (EU ETS, the Alternative Fuels Infrastructure Regulation (AFIR), and CountEmissions EU through within-case analysis and cross-case comparison. The findings suggest that early-stage indicators, such as reasoned opinions and subsidiarity checks, may provide meaningful insight into emerging political resistance and institutional sensitivity at early stages of the legislative process. However, these indicators appear less capable of capturing the broader intensity and evolving nature of political conflict that develops during later stages of the legislative process. Instead, legislative development appears to be shaped through the interaction between policy maturity, institutional embeddedness, amendment activity, voting behaviour, and informal negotiation processes within the European Union. The comparative analysis further demonstrate that legislative proposals associated with different forms of political conflict may still follow substantially different legislative trajectories depending on institutional context, regulatory complexity, and the extent of informal coordination throughout the Ordinary Legislative Procedure. In this context, trilogues and other informal negotiation arenas appear to play a significant role in facilitating compromise and managing legislative complexity, while simultaneously raising broader questions concerning transparency and democratic accountability within EU policymaking. Rather than functioning as a predictive framework for forecasting exact legislative outcomes, the study contributes to a structured and forward-looking analytical approach for interpreting legislative development under conditions of institutional complexity, uncertainty, and political negotiation within the European Union.
Navigating Trade Policy Uncertainty
(2026) Jönsson, Carl; Stark, Gustav
International trade of goods and services has served as a cornerstone of global economic growth. However, the modern trade market has been impacted by policy shifts incentivized by protectionist strategies. In April 2025, the United States implemented the “Liberation Day” tariffs, which caused severe uncertainty in the global market, affecting industries in all countries. The study aims to evaluate and analyse how the tariffs have affected the export strategies of Swedish manufacturers of industrial machinery, specifically how it has impacted their market prioritization and product allocation strategies after the tariffs were imposed. The empirical data was collected through interviews which were conducted with persons within five different Swedish industrial manufacturing firms. The empirical data was analysed through a thematic analysis and then compared with a conceptual framework. The study reveals that the tariffs have had a significant impact on firms’ strategic decisions relating to market prioritization and product allocation. First, the uncertainty created by the tariffs has prompted firms to reevaluate their market options, where some have strategically chosen to adopt a more passive approach and not seek other markets for growth, while others divert resources to other markets where new, favourable trade agreements are emerging. Secondly, firms with production operations in the U.S. have conducted supply chain reconfigurations to decrease the costs created by the tariffs when moving goods to the U.S. or its neighbouring countries. This has been made possible through actively bypassing the tariffs by either moving production to the U.S. or localizing it by moving production to Sweden. Firms without production operation in the U.S. have instead relied on existing setups.
Numerical Heat Transfer Simulations of Brake Discs under Dyno-Test Load Cases
(2026) Chandrasekar, Vinoth Kanna
Automotive brake discs are critical safety components whose performance heavily relies on efficient thermal dissipation. Yet, conventional laboratory dynamometer testing remains costly and time-consuming. To address this challenge, this study establishes a reliable CFD methodology to simulate and visualize complex aerothermal behavior before physical dynamometer testing, enabling evaluation even during the early design and development stages. Specifically, the thesis investigates the temperature-dependent Heat Transfer Coefficients (HTCs) of brake discs across a wide temperature and velocity spectrum. The thermal simulations and analysis revealed a distinct decline in the localized HTCs of the brake disc surfaces as temperatures increased. By parameterizing the fluid boundaries, this work isolates the explicit influences of temperature-dependent fluid properties, rotor rotational speed, rotational direction, and the test-bench’s volumetric inlet airflow rate on convective dissipation. This case study approach was systematically applied across both ventilated and solid brake disc geometries to evaluate structural cooling trade-offs. Finally, an experimental validation was conducted by mapping physical thermocouple data embedded within a test rotor against a transient thermal model in Abaqus FEM software, successfully correlating the numerical boundary conditions with real-world dynamometer temperature data.