Publikationer från Mälardalens högskola
Not a member yet
16964 research outputs found
Sort by
Idéflöde inom bank- och försäkringsbranschen : En kvalitativ studie om medarbetares erfarenheter av idéflöden och innovationsarbete
No full textStudiens syfte är att undersöka vilka faktorer som dels möjliggör eller hindrar medarbetares delande av idéer inom bank- och försäkringsbranschen, dels hur digital teknik påverkar dessa idéflöden utifrån medarbetares erfarenheter. I en bransch präglad av snabb teknologisk utveckling, förändrade arbetsformer och höga krav på ständig utveckling blir medarbetares erfarenheter, initiativ och kreativitet viktiga för organisationers innovationsförmåga. Trots detta tar man inte alltid vara på medarbetarnas idéer till följd av organisatoriska, kulturella eller tekniska hinder. Studien har ett kvalitativt angreppssätt och en induktiv ansats med ett tolkande perspektiv. Data samlades in genom semistrukturerade intervjuer med anställda med olika yrkesroller på ett bank- och försäkringsbolag. Det insamlade datamaterialet analyserades genom tematisk analys där fem teman identifierades, vilka inkluderar: delande av idéer, möjliggörande faktorer, hinder för idéflöden, innovationskultur samt användning av digital teknik. Resultatet pekar på att tydliga strukturer, givande av återkoppling och trygghet bland medarbetare alla ses som faktorer som främjar delning av idéer, medan osäkerhet vart man ska förmedla sina idéer, låg delaktighet, tidsbrist och ett stort informationsflöde alla ses som hinder för idéflöden. Resultaten pekar även på att digital teknik kan främja delning av idéer, men enbart om det används och integreras i det dagliga arbetet på rätt sätt
”När alla vill hitta en lösning…” : En kvalitativ studie om SIG-samordnares erfarenheter av samverkan i det brottsförebyggande arbetet mot ungdomskriminalitet
No full textI det brottsförebyggande arbetet mot ungdomskriminalitet är samverkan en viktig nyckel. Denna kvalitativa studie syftar således till att undersöka hur SIG-samordnare uppfattar samverkan i det brottsförebyggande arbetet med ungdomskriminalitet. Vidare syftar uppsatsen till att undersöka framgångsfaktorer och utmaningar som påverkar samverkan samt vilka utvecklingsmöjligheter som SIG-samordnarna uppfattar finns. Utifrån syftet har en kvalitativ ansats valts för uppsatsen där 8 semistrukturerade intervjuer har genomförts med SIG-samordnare från 6 olika kommuner och en stadsdel, vilka har analyserats tematiskt. Resultatet har analyserats utifrån tidigare forskning samt två teoretiska utgångspunkter; systemteori med samverkansprocessen som modell, och resursberoendeteorin. Resultatet visar att SIG-samordnarna upplever samverkan som en central del i det brottsförebyggande arbetet. Framgångsfaktorerna har visat sig vara engagemang, förtroende, samsyn och gemensamma mål, samtycke, kompetens samt kontinuitet mellan deltagande aktörer. Särskilt sekretessregler, bristande samsyn och engagemang framträder som centrala utmaningar, tillsammans med faktorer såsom mandat, organisatoriska begränsningar, motivation och mottaglighet. Slutligen har intervjupersonerna lyft utvecklingsmöjligheter såsom att SIG ska påbörjas kring ungdomen i ett tidigare skede, mer tid och resurser, kompetenshöja aktörerna, stärka de teoretiska ramarna kring arbetet samt ge beslutsfattare ökad förståelse kring SIG. Nyckelord: samverkan, sociala insatsgrupper (SIG), brottsförebyggande arbete, samsynCollaboration is considered a key component in crime prevention work targeting youth crime. This qualitative study aims to explore how SIG-coordinators perceive collaboration in crime prevention work involving young people. The study also examines perceived success factors and challenges affecting collaboration, as well as development opportunities identified by the coordinators. A qualitative approach was adopted, involving eight semi-structured interviews with SIG coordinators from six municipalities and one city district. The interviews were analyzed thematically. The analysis was conducted by previous research and two theoretical points of departure: systems theory, using collaboration process as an analytical model, and resource dependency theory. The results indicate that SIG-coordinators perceive collaboration as a central element of crime prevention work. Identified success factors include commitment, trust, consensus and shared goals, consent, professional competence and continuity among participation actors. Confidentiality regulations, together with a lack of consensus and commitment between actors, emerge as particularly central challenges, alongside factors such as mandate, organizational constraints, motivation and receptivity. Finally, the coordinators highlight development opportunities, including initiating SIG interventions at an earlier stage, allocating more time and resources, strengthening actor’s competence, reinforcing the theoretical frameworks guiding SIG work, and increasing decision-makers understanding of SIG. Keywords: collaboration, social action groups (SIG), crime prevention work, consensu
Dynamic Thermal Modeling of Permanent Magnet Synchronous Motors using Physics-Informed Neural Networks
No full textTo prevent component failures like magnet demagnetization and insulation degradation, thermal analysis is important for ensuring electric motors operate within safe temperature limits. While current industrial standards rely on Lumped Parameter Thermal Network (LPTN) models, these often lack the accuracy needed to capture complex thermal dynamics effectively. This thesis investigates whether Physics-Informed Neural Networks (PINNs) can enhance dynamic temperature prediction accuracy in Battery Electric Vehicle propulsion motors compared to traditional LPTNs, with a specific focus on Permanent Magnet Synchronous Motors (PMSM). The performance of a PINN is compared to the Feedforward Neural Network (FNN) foundation model and a 4-node LPTN. Models were trained and evaluated on data from a PMSM motor prototype, utilizing dynamic random walk driving cycles to simulate realistic thermal behavior. To enhance the performance of the PINN, the dataset was enriched with physically relevant features, such as copper and residual losses. Exponentially Weighted Moving Averages were added to capture temporal patterns. The PINN uniquely integrates physics by embedding LPTN derived Ordinary Differential Equations (ODEs) directly into its composite loss function. The results demonstrate that both neural network architectures significantly outperform the traditional LPTN, which exhibited an average Root Mean Square Error (RMSE) of 2.074. The purely data-driven FNN achieved the highest overall precision with an RMSE of 0.709, while the PINN followed closely with an RMSE of 0.824. This thesis demonstrates the feasibility of using hybrid physics-informed machine learning for real-time thermal monitoring of a PMSM. It addresses a gap in research by applying PINNs to motor thermal analysis using ODE-based constraints rather than standard Partial Differential Equations. The findings offer key insights into the limitations of physical regularization
Förbättrad mjukvarutestning med kodtäckning och formella metoder
No full textInom mjukvarutestning skapas ofta enhetstester som verifierar programmets funktion. Dessa tester är skapade för att upptäcka potentiella fel, vilket är särskilt viktigt inom säkerhetskritiska tillämpningar där fel kan leda till förödande konsekvenser. Kodtäckning är ett mått på hur stor andel av kod som har testats av ett testfall. Traditionella kodtäckningsmått mäter ofta hur stor andel av kod som har exekverats, vilket kan leda till att vissa typer av fel inte upptäcks. I detta arbete föreslås bevistäckning som alternativt mått på kodtäckning, vilket använder formella metoder och SMT-lösare för att markera logiskt relevant kod. Syftet är att upptäcka redundant kod och fel som exekveringsbaserade mått missar, och därmed öka kvaliteten på mjukvarutester. För att undersöka detta har de olika måtten jämförts i en mängd program skrivna i programmeringsspråket C, för att illustrera de mönster och skillnader som finns. För att besvara frågeställningarna har en matematisk formalisering konstruerats som beskriver program och de olika måtten i form av grafer. Sedan utvärderades metoderna på en mängd program för att se hur måtten kompletterar varandra. Arbetet avslutades med en prestandaevaluering för att evaluera den praktiska användbarheten hos bevistäckning. Resultatet visar att bevistäckning ofta täcker mindre kod än de traditionella måtten, och att det är ett strängare mått som visar vilken kod som faktiskt krävs för att assertions ska hålla. Genom att använda bevistäckning kan det fungera som ett komplement till de traditionella måtten. Det kan användas till att identifiera redundant kod som påverkar prestandan, men även att hitta kod som inte testas trots att den täcks av de traditionella måtten.
Evaluating VLAN Segmentation as a Defense Against VLAN Hopping,DHCP and DNS Spoofing
No full textNetwork segmentation using Virtual Local Area Networks (VLANs) is a widely adopted securitypractice in small and medium-sized enterprise environments. However, VLANs can still beexploited through layer‑two attack vectors when not properly configured. This thesisinvestigates the extent to which basic VLAN segmentation limits the lateral spread of DHCPspoofing and DNS spoofing attacks, examines the susceptibility of segmented networks to VLANhopping, and evaluates which configuration‑level security mechanisms are required totransition from attack mitigation to full attack prevention. To answer these questions, two GNS3virtual environments were developed to isolate the effects of network hardening. The firstserved as a baseline VLAN segmented network, tested both in its default state and with VLANhopping enabled. The second was an identically structured hardened network, reinforced withdisabled DTP negotiation, DHCP snooping, and DNS interface restrictions to evaluatedefensive performance. Attacks such as DHCP spoofing, DNS spoofing, and VLAN hopping(via DTP manipulation and double‑tagging) were performed using tools such as Yersinia andEttercap, while Wireshark was used to validate and analyze the results. The results indicatedthat basic VLAN segmentation can mitigate certain attacks by restricting their impact to asingle broadcast domain, thereby limiting the spread. Attackers could break isolation if theswitch was spoofed through DTP exploitation, and with additional safety configurations,mainly disabling DTP, adding DHCP snooping, and DNS packet filtering on the switch,prevented all attacks carried out in this work. The conclusion drawn was that VLANsegmentation can mitigate attacks such as DHCP and DNS spoofing but not prevent them.VLAN hopping attacks couldn't be mitigated or prevented, meaning all attacks need additionalsupport for prevention
Mellan frustration och meningsfullhet : En kvalitativ studie om yrkesverksammas upplevelser av känslomässig belastning i arbetet med personer med samsjuklighet.
No full textDet sociala arbetet med personer med samsjuklighet avseende samtidig psykisk ohälsa och beroende utgörs av en komplexitet som ställer höga krav på yrkesverksammas professionella och emotionella förmåga. Syftet med studien är att undersöka yrkesverksammas upplevelser av känslomässig belastning i arbetet med personer med samsjuklighet. Studien bygger på en kvalitativ metod med semistrukturerade intervjuer. Materialet har analyserats genom en reflexiv tematisk analys och tolkats med hjälp av det teoretiska begreppet KASAM och copingteorin samt tidigare forskning. Urvalet bestod av fem yrkesverksamma som arbetar med personer med samsjuklighet. Resultatet pekar på att arbetet med personer med samsjuklighet präglas av en hög emotionell belastning, där frustration, sorg och maktlöshet är återkommande känslor till följd av målgruppens komplexa livssituationer och organisatoriska begränsningar. Parallellt med dessa känslor framkommer positiva känslor av meningsfullhet, tacksamhet och professionellt engagemang. Utifrån detta konstateras att den känslomässiga belastningen kan förstås som en återkommande aspekt i arbetet med personer med samsjuklighet.Social work with individuals who experience both mental illness and addiction is complex and places high demands on professionals' emotional and professional abilities. The aim of this study is to explore professionals' experiences of emotional distress in their work with individuals with comorbidity. The study uses a qualitative approach based on five semi-structured interviews. The data were analysed using reflexive thematic analysis and interpreted through the Sense of Coherence, coping theory, and previous research. The study consisted of five professionals working with individuals with comorbidity involving mental illness and addiction. The results show that the work involves a high level of emotional distress, where feelings of frustration, sadness, and lack of control are common due to clients' complex life situations and organisational constraints. At the same time, professionals also experience positive emotions such as meaningfulness, gratitude, and professional motivation. Overall, the findings indicate that emotional distress is a central part of social work involving individuals with comorbidity.
Språkanvändning i engelskundervisningen och dess betydelse för elevers språkutveckling : En studie om språkanvändning i låg- och mellanstadiet i den svenska grundskolan
No full textSyftet med denna studie var att undersöka hur språkanvändningen såg ut hos lärare och elever samt i undervisningsmaterialet i några svenska engelskklassrum pålåg- och mellanstadiet, samt vilka faktorer som kan påverka språkanvändningen, enligt lärarna. Studien bygger på klassrumsobservationer och semistruktureradeintervjuer med sex lärare vid två skolor i Mellansverige. Resultaten visar att svenska dominerade i engelskundervisningen hos både lärare och elever. Undervisningsmaterialet var på engelska men det visade sig att lärarens didaktiska val hade stor påverkan på undervisningen och språkanvändningen. Även andrafaktorer såsom tidsramar, klassrumsklimat, elevernas förkunskaper och lärarnas trygghet och kompetens påverkade språkanvändningen, enligt de efterföljandeintervjuerna.
Test Automation for Industrial Programmable Logic Controller Software: From Requirements to Executable Tests
No full textProgrammable Logic Controllers (PLCs), which are specialized computers used to control machines and processes in industrial settings, play a vital role in the automation industry. Testing these systems to identify faults during the development phase, especially for safety-critical applications such as crane control in ports or train control systems, is crucial to ensuring the system's safety in operation. Current PLC testing practices are mostly manual, and it has been a challenge for both practitioners and researchers to develop robust, applicable test automation techniques and tools that are relevant in practice. This thesis proposes test automation solutions for PLC programs, which can improve current testing practices by augmenting manual testing. We first propose a method for selecting an appropriate test automation framework for PLCs, derived from a grey literature review and a set of empirically validated evaluation criteria. To achieve practical integration of test automation solutions, we design a method and tool, PyLC+, for automated program-to-program translation from PLC to Python. Our tool automatically translates a PLC program into executable Python code, and then verifies the latter against given assertions, using an automated Python program verifier called Nagini. PyLC+ then uses metaheuristic algorithms for automated test generation. In addition, we introduce a domain-specific LLM, PyLC-M1, which serves as an interactive test-automation assistant within PyLC+. It assists the generation of verification harnesses for formal PLC analysis while operating entirely in secure, offline environments. Investigating the applicability of a well-known syntax notation pattern for semi-formal requirements specification, called Easy Approach to Requirements Syntax, for specification-based testing through a controlled experiment is another contribution of this thesis. The applicability and efficiency of the proposed testing and verification solutions in this thesis have been evaluated on real-world industrial use cases.Programmerbara logikstyrenheter (PLC), som är specialiserade datorer som används för att styra maskiner och processer i industriella miljöer, spelar en viktig roll inom automationsindustrin. Att testa dessa system för att identifiera fel under utvecklingsfasen, särskilt för säkerhetskritiska applikationer som kranstyrning i hamnar eller tågstyrningssystem, är avgörande för att säkerställa systemets säkerhet i drift. Nuvarande PLC-testmetoder är mestadels manuella, och det har varit en utmaning för både praktiker och forskare att utveckla robusta, tillämpliga testautomationstekniker och verktyg som är relevanta i praktiken. Denna avhandling föreslår testautomationslösningar för PLC-program, vilka kan förbättra nuvarande testmetoder genom att utöka manuell testning. Vi föreslår först en metod för att välja ett lämpligt testautomationsramverk för PLC, härlett från en grå litteraturgenomgång och en uppsättning empiriskt validerade utvärderingskriterier. För att uppnå praktisk integration av testautomationslösningar designar vi en metod och ett verktyg, PyLC+, för automatiserad program-till-program-översättning från PLC till Python. Vårt verktyg översätter automatiskt ett PLC-program till körbar Python-kod och verifierar sedan det senare mot givna påståenden med hjälp av en automatiserad Python-programverifierare som heter Nagini. PyLC+ använder sedan metaheuristiska algoritmer för automatiserad testgenerering. Dessutom introducerar vi en domänspecifik LLM, PyLC-M1, som fungerar som en interaktiv testautomationsassistent inom PyLC+. Den hjälper till att generera verifieringsverktyg för formell PLC-analys samtidigt som den arbetar helt i säkra offline-miljöer. Att undersöka tillämpligheten av ett välkänt syntaxnotationsmönster för semiformell kravspecifikation, kallat Easy Approach to Requirements Syntax, för specifikationsbaserad testning genom ett kontrollerat experiment är ytterligare ett bidrag från denna avhandling. Tillämpligheten och effektiviteten hos de föreslagna test- och verifieringslösningarna i denna avhandling har utvärderats på verkliga industriella användningsfall
Nitrous oxide formation in membrane bioreactor (MBR) systems : Occurrence and Mitigation of N₂O in the MBR Line: A Comparison with the Activated Sludge Line at Henriksdal Wastewater Treatment Plant, Stockholm
No full textNitrous oxide (N₂O) emissions from wastewater treatment plants represent a significant contribution to greenhouse gas emissions and are strongly influenced by biological nitrogen removal processes and operational conditions. This thesis investigates the occurrence and drivers of N₂O emissions at Henriksdal wastewater treatment plant in Stockholm, Sweden, through a comparison between a membrane bioreactor (MBR) line and a conventional activated sludge (CAS) line. Two monitoring scenarios were evaluated: Scenario A representing the baseline sensor placement used at the plant, and Scenario B involving relocation of sensors to assess the influence of monitoring location and potential emission hotspots. Continuous water-phase N₂O measurements were conducted in both treatment lines. N₂O emissions were quantified using gas–liquid mass transfer modelling based on the Unisense methodology and expressed as emission factors relative to influent nitrogen load to enable direct comparison between the treatment lines. The monitoring was complemented by grab sampling of key nitrogen species, including ammonium, nitrite, nitrate, phosphate, and volatile fatty acids. In addition, historical data from the CAS line were analysed, including both gas-phase and water-phase N₂O measurements together with corresponding operational parameters, to evaluate their impact on emission dynamics. Under Scenario A, the emission factor for the CAS line was higher than for the MBR line, and the CAS line also exhibited greater temporal variability and higher emission peaks. Following sensor relocation in Scenario B, substantially lower emission factors were obtained for both treatment lines, demonstrating the strong influence of sensor placement on calculated emissions. Variations in ammonium load, dissolved oxygen availability, and aeration conditions were identified as key drivers of N₂O formation. Finally, an energy assessment showed higher specific energy consumption for the MBR line compared with the CAS line, indicating differences in energy demand between the two treatment technologies
Undervisning under måltidssituationerna : En observationsstudie om hur förskollärare använder måltidssituationerna pedagogiskt
No full textDet är tydligt i läroplanen för förskolan Lpfö18 (Skolverket, 2025) att omsorg, utveckling och lärande ska bilda en helhet i förskolan, samt att vardagliga aktiviteter ska vara en del av undervisningen. Läroplanen innehåller inte tydliga riktlinjer som beskriver hur måltidssituationerna ska användas på ett pedagogiskt sätt. Därför valde vi att genomföra en kvalitativ observationsstudie med syftet att ta reda på hur förskollärare använder måltidssituationerna pedagogiskt. Vi har därför genomfört 8 deltagande observationer på två olika förskolor med fyra förskollärare under både lunchtiden och mellanmålet i förskolan. Studiens resultat visar att förskollärarna använder måltiderna som utgångspunkt i lärande kring hållbar utveckling, barns sociala färdigheter samt språkutveckling. Studien har analyserats utifrån socialkonstruktivismen som teori med centrala begrepp. Studiens slutsats är att förskollärarens kompetens och egenskaper är avgörande för att skapa undervisningstillfällen under måltidssituationen, där barnen är delaktiga