The experimental studies performed on the behaviour of very thick concrete beams subjected to static loads have revealed that the shear mechanisms play an important role in the overall response and failure behaviour. The aim of this thesis is to recommend suitable design methods for thick concrete beams subjected to off-centre static concentrated load according Eurocode 2 by using non-linear finite element analysis (NLFEA). To achieve this task, Abaqus/Explicit has been used by employing constitutive material models to capture the material non-linearity and stiffness degradation of concrete. Concrete damaged plasticity model and perfect plasticity model has been used for concrete and steel respectively. Three dilation angles (30º, 38º and 45º) and fracture energy from FIB 1990 (76 N/m) and FIB 2010 (142 N/m) has been used to investigate their influence on the finite element model. The dilation angle of 38º and FIB 2010 fracture energy was adopted as the suitable choice that reasonably matched with the experimental results. In verifying and calibrating the finite element model, the experimental results of the thick reinforced concrete beam conducted by the American Concrete Institute have been used. Three design approaches in the ultimate and serviceability limit state according to Eurocode 2 recommendations have been used namely; the beam method, strut and tie method and shell element method. Using the reinforcement detailing of the hand calculations of beam method and strut and tie method and linear finite element analysis of shell element method, non-linear finite element models have been pre-processed and analysed in Abaqus/Explicit. During the post-processing, the results have been interpreted and compared between the three design methods. The results under consideration are hand-calculated load at 0.3 mm crack width, FE-load at 0.3 mm crack width, amount of reinforcement and FE-failure load. The comparison of the results between the three design approaches (beam method, strut and tie method and shell element method) indicates that strut and tie method is better design approach, because it is relatively economic with regards to the quantity of reinforcement bars, has the higher load capacity and has a higher load at crack width of 0.3 mm crack width. / De experimentella studier som utförts på tjocka betongbalkar som utsätts för statisk last har visat att skjuvning spelar en viktig roll i brottmekanismen. Syftet med detta examensarbete är att rekommendera lämpliga dimensioneringsmetoder för tjock betongbalkar utsatt for statisk koncentrerad last enligt Eurokod 2 med hjälp av ickelinjära finita element metod. Abaqus/Explicit användes genom att utnyttja konstitutiva materialmodeller för att fånga materialens icke-linjäritet och minskad styvhet. Tre dilatationsvinklar (30°, 38° och 45°) och två brottenergi från FIB 1990 (76 N/m) och FIB 2010 (142 N/m) tillämpas för att kontrollera deras inverkan på FE-modellerna. Dilatationsvinkel med 38° och FIB 2010 med högre brottenergi valdes i de icke-linjära finita elementanalyserna. Kontroll av FE-modellerna är baserad på ”American Concret Institutes” experimentella resultat på de tjocka betongbalkarna. Handberäkningar av tjocka betongbalkar har utförts i brott- och bruksgränstillstånd med tre dimensioneringsmetoder i Eurokod 2 nämligen balk metoden, fackverksmetoden och linjära-FE skalelementmetoden. Jämförelse har gjorts för de olika dimensioneringsmetoderna, genom att använda de armeringsdetaljer av handberäkningar i de verifierade och kalibrerade icke linjära FE-modellerna i Abaqus/Explicit. Resultaten i fråga är last för 0.3 mm handberäknad sprikvidd, FE-last för 0.3 mm sprikvidd, armeringsmängd och FE-brottlast. Jämförelse av resultaten mellan de tre dimensioneringsmetoder (balkmetod, fackverksmetod och skalelementmetod) visar att fackverksmetod är bättre design metod, eftersom det är relativt ekonomiskt med avseende på armeringsmängd, har högre lastkapacitet och last på 0.3 mm sprickvidd.

Today's automotive requirements have resulted in complex Sheet Metal Forming (SMF) processes of Sheet Metal (SM) with reduced formability, and thus it is crucial to be able to predict formability accurately to prevent material failure during SMF. Formability predictions today utilize Forming Limit Curves (FLC)s in Finite Element Analysis (FEA), but  FLCs are not valid for the Non-Linear Strain Paths (NLSP)s generated during SMF. One purpose of this thesis is thus to increase the knowledge on FP handling NLSP,  which was obtained through providing suggestions of failure models for handling NLSP effects, based upon literature on the subject. Generating NLSP experimentally is both time and material costly with the conventional method, thus the second purpose of this thesis was to increase the knowledge on test procedures for generating NLSP in SM. Based upon the findings of Chandramohan \cite{chandramohan_study_2021} five test procedures for generating NLSP were put forward, and the Nakajima test with modified punch geometry was chosen for further study.   In this thesis, the NLSP characteristics of two modified punch geometries were evaluated by FEA performed using LS-DYNA. For the FEA three specimens with blank width of 50, 100 and 200 mm was used, and the anisotropic Barlat yld2000  was used as the material model. This material model was calibrated to material data of Mild steel CR4, Aluminium alloy AA6016, and Dual-phase steel DP800. The results for all materials showcased similar reacquiring general NLSP characteristics at the corners of the punch features, which are unfavorable positions when failure by necking is evaluated, and thus it was concluded that the tested punch geometries are not favorable and more development of the punch geometry is needed. / Dagens fordonskrav, har lett till komplexa plåtformnings processer av plåtmaterial med reducerad formbarhet, och det är därför väsenligt att kunna förutsäga formbarhet noggrant för att förhindra materialbrott under plåtformning. Försträckning och brott förutses idag genom Formgränskurvor (FGK) i finita element analyser (FEA), men dessa gäller inte för icke-linjära töjningsvägar som uppkommer under plåtformning. Ett syfte av denna avhandling är därför att öka kunskapen kring modeller för att förutsäga formbarhet under icke-linjära töjningsbanors effekter, vilket uppnådes genom att  presenteras  förslag på brott modeller för att hantera de icke-linjära töjningsvägar baserade på  literatur inom området. Att generera icke-linjära töjningsvägar experimentellt är både tids och materialkrävande med den konventionella metoden, således är det andra syftet av denna avhandling att öka kunskapen kring test metoder för att generera icke-linjär töjningsbvägar i plåt. Baserat på Chandramohans \cite{chandramohan_study_2021} resultat diskuteras fem test procedurer för att generera icke-linjära töjningsvägar, och Nakajima test med modifierad stämpelgeometri valdes för vidare studie.  I denna avhandling studerades töjningsignaturen av två stämpelgeometrier med FEA i LS-DYNA. Till FEA:n användes tre ämnen med bredd av 50, 100 och 200mm, och anisotropiska Barlat yld2000 användes som materialmodell. Denna materialmodell kalibrerades mot experimentella mätvärden för mjukt stål CR4, Aluminiumlegering AA6016 och Stål DP800. Resultaten visade för alla material återkommande generella icke-linjära töjningsbanor enbart för hörnorna på stansgeometrierna, vilket är icke önskvärda positioner då brott pga. midjebildning utvärderas, och således drogs slutsatsen att nuvarande stansgeometri inte är gynnsam och ytterligare utveckling behövs.

This is a literature study, in linear algebra, about positive and nonnegative matrices and their special properties. We say that a matrix or a vector is positive/nonnegative if all of its entries are positive/nonnegative. First, we study some generalities and become acquainted with two types of nonnegative matrices; irreducible and reducible. After exploring their characteristics we investigate and prove the two main theorems of this subject, namely Perron's and Perron-Frobenius' theorem. In short Perron's theorem from 1907 tells us that the spectral radius of a positive matrix is a simple eigenvalue of the matrix and that its eigenvector can be taken to be positive. In 1912, Georg Frobenius generalized Perron's results also to irreducible nonnegative matrices. The two theorems have a wide range of applications in both pure mathematics and practical matters. In real world scenarios, many measurements are nonnegative (length, time, amount, etc.) and so their mathematical formulations often relate to Perron-Frobenius theory. The theory's importance to linear dynamical systems, such as Markov chains, cannot be overstated; it determines when, and to what, an iterative process will converge. This result is in turn the underlying theory for the page-ranking algorithm developed by Google in 1998. We will see examples of all these applications in chapters four and five where we will be particularly interested in different types of Markov chains.  The theory in this thesis can be found in many books. Here, most of the material is gathered from Horn-Johnson [5], Meyer [9] and Shapiro [10]. However, all of the theorems and proofs are formulated in my own way and the examples and illustrations are concocted by myself, unless otherwise noted. / Det här är en litteraturstudie, inom linjär algebra, om positiva och icke-negativa matriser och deras speciella egenskaper. Vi säger att en matris eller en vektor är positiv/icke-negativ om alla dess element är positiva/icke-negativa. Inledningsvis går vi igenom några grundläggande begrepp och bekanta oss med två typer av icke-negativa matriser; irreducibla och reducibla. Efter att vi utforskat deras egenskaper så studerar vi och bevisar ämnets två huvudsatser; Perrons och Perron-Frobenius sats. Kortfattat så säger Perrons sats, från 1907, att spektralradien för en positiv matris är ett simpelt egenvärde till matrisen och att dess egenvektor kan tas positiv. År 1912 så generaliserade Georg Frobenius Perrons resultat till att gälla också för irreducibla icke-negativa matriser.  De två satserna har både många teoretiska och praktiska tillämpningar. Många verkliga scenarios har icke-negativa mått (längd, tid, mängd o.s.v) och därför relaterar dess matematiska formulering till Perron-Frobenius teori. Teorin är betydande även för linjära dynamiska system, såsom Markov-kedjor, eftersom den avgör när, och till vad, en iterativ process konvergerar. Det resultatet är i sin tur den underliggande teorin bakom algoritmen PageRank som utvecklades av Google år 1998. Vi kommer se exempel på alla dessa tillämpningar i kapitel fyra och fem, där vi speciellt intresserar oss för olika typer av Markov-kedjor. Teorin i den här artikeln kan hittas i många böcker. Det mesta av materialet som presenteras här har hämtats från Horn-Johnson [5], Meyer [9] och Shapiro [10]. Däremot är alla satser och bevis formulerade på mitt eget sätt och alla exempel, samt illustrationer, har jag skapat själv, om inget annat sägs.

In the past decade, the integration of spatiotemporal constraints into control systems has emerged as a crucial necessity, driven by the demand for enhanced performance, guaranteed safety, and the execution of complex tasks. Spatiotemporal constraints involve criteria that are dependent on both space and time, which can be represented by time-varying constraints in nonlinear control systems. Funnel-based control methods provide computationally tractable and robust feedback control laws to enforce time-varying constraints in uncertain nonlinear systems. This thesis begins by exploring the application of funnel-based control designs to address performance specifications in coordinate-free formation control of multi-agent systems. Moreover, we develop new robust feedback control schemes dealing with coupled spatiotemporal constraints in uncertain nonlinear systems that cannot be directly addressed by conventional funnel-based control methods. In the first part of the thesis, we present a novel coordinate-free formation control scheme for directed leader-follower multi-agent systems, exhibiting almost global convergence to the desired shape. The synthesis of fully decentralized robust controllers for agents is achieved through the application of the Prescribed Performance Control (PPC) method. This method imposes spatiotemporal funnel constraints on each agent's formation errors, ensuring a predefined transient and steady-state performance while maintaining robustness to system uncertainties. The core idea in this work is the utilization of bipolar coordinates to achieve orthogonal (decoupled) formation errors for each follower agent. This approach not only ensures the global convergence to the desired shape but also facilitates the effective application of the PPC method. In the second part of the thesis, first, we introduce a novel approach that extends funnel-based control schemes to deal with a specific class of time-varying hard and soft constraints. In this work, we employ an online Constraint Consistent Funnel (CCF) planning scheme to tackle couplings between hard and soft constraints. By satisfying these CCF constraints, we ensure adherence to hard (safety) constraints, while soft (performance) constraints are met only when they do not conflict with the hard constraints. Subsequently, we directly employ the PPC design method to craft a robust, low-complexity control law, ensuring that the system's outputs consistently stay within the online planned CCF constraints. In subsequent work, we tackle the challenge of satisfying a generalized class of potentially coupled time-varying output constraints. We show that addressing multiple constraints effectively boils down to formulating a single consolidating constraint. Ensuring the fulfillment of this consolidating constraint guarantees both convergence to and invariance of the time-varying output-constrained set within a user-defined finite time. Building on the PPC design method, we introduce a novel, robust low-complexity feedback control framework to handle this issue in uncertain high-order MIMO nonlinear control systems. Additionally, we present a mechanism for online modification of the consolidating constraint to secure a least-violating solution when constraint infeasibilities occur for an unknown time interval. / Under det senaste decenniet har integrationen av bivillkor i tid och rum för reglersystem framstått som en nödvändighet, driven av efterfrågan på förbättrad prestanda, garanterad säkerhet och utförandet av komplexa uppgifter. Bivillkor i tid och rum för icke-linjära reglersystem kan representeras av tidsvarierande bivillkor. Trattbaserade reglermetoder ("funnel-based control") tillhandahåller beräkningsmässigt hanterbara och robusta återkopplingslagar för att garantera tidsvarier-ande bivillkor i osäkra icke-linjära system. Denna avhandling börjar med att utforska tillämpningen av trattbaserade kontrollmetoder för att hantera prestanda-specifikationer i koordinatfri formationskontroll av multiagentsystem. Dessutom utvecklar vi nya robusta återkopplingslagar som hanterar kopplade bivillkor i tid och rum för osäkra icke-linjära system som inte direkt kan hanteras av konventionella trattbaserade kontrollmetoder. I den första delen av avhandlingen presenterar vi en ny koordinatfri formationskontrollmetod för riktade ledare-följare multiagentsystem, vilken uppvisar nästan global konvergens till den önskade formen. Syntesen av helt decentraliserade robusta regulatorer för agenter uppnås genom tillämpning av Prescribed Performance Control (PPC)-metoden. Denna metod lägger på trattbivillkor i tid och rum på varje agents formationsfel och säkerställer en fördefinierad transient och stationär prestanda samtidigt som robusthet mot systemosäkerheter bibehålls. Kärnan i detta arbete är användningen av bipolära koordinater för att uppnå ortogonala (frikopplade) formationsfel för varje följande agent. Detta tillvägagångssätt säkerställer inte bara global konvergens till den önskade formen utan underlättar också en effektiva tillämpning av PPC-metoden. I den andra delen av avhandlingen introducerar vi först ett nytt tillvägagångssätt som utökar trattbaserade kontrollmetoder för att hantera en specifik klass av tidsvar-ierande hårda och mjuka bivillkor. I detta arbete använder vi en online Constraint Consistent Funnel (CCF)-planeringsmetod för att tackla sammankopplingar mellan hårda och mjuka bivillkor. Genom att uppfylla dessa CCF-bivillkor säkerställer vi efterlevnad av hårda (säkerhets-) bivillkor, medan mjuka (prestanda-) bivillkor uppfylls endast när de inte strider mot de hårda bivillkoren. Därefter tillämpar vi direkt PPC-designmetoden för att utforma en robust reglerlag med låg komplexitet som säkerställer att systemets utsignal konsekvent håller sig inom de online planerade CCF-bivillkoren. Därefter hanterar vi utmaningen med att uppfylla en generaliserad klass av potentiellt kopplade tidsvarierande utsignals-bivillkor. Vi visar att effektiv hantering av flera bivillkor i grund och botten handlar om att formulera ett sammanfattande bivillkor. Uppfyllandet av detta sammanfattande bivillkor garanterar både konvergens till och invarians av den tidsvarierande mängden som uppfyller utsignalsbivillkoren, inom en användardefinierad begränsad tid. Baserat på PPC-designmetoden introducerar vi en ny, robust återkopplingsregulatorstruktur för att hantera detta problem i osäkra högordnings MIMO icke-linjära reglersystem. Dessutom presenterar vi en mekanism för online-modifiering av det sammanfattande bivillkoret för att säkra en lösning med minsta möjliga kränkning då bivillkoren blir omöjliga att uppfylla under en okänd tidsperiod. / <p>QC 20231229</p>

Railway safety is an issue that is closely related to people. Hazards such as a collision between two trains can result in severe casualties, necessitating the utmost level of safety measures. Linear actuators control the direction of the train and are critical devices in train operation. Therefore, the safety requirements for linear actuators are high; several internationally accepted standards can help regulate the design of railways and specify safety standards. EN 50129 and EN 50126 are critical standards to follow. This thesis presents two motor controller designs that can be used in linear actuators with high safety quality. This thesis contains two designs, a basic design and an advanced design. The first part of the thesis is the basic design. The basic design is based on the full bridge structure and combines two out of two logic. After integrating metal-oxide-semiconductor field-effect transistors, gate drivers, and DC-DC converter, the basic design is presented following the safety integrated level 4 requirements of EN 50129. A fault tree analysis and a common cause failure analysis are added. The failure rate after fault tree analysis is 2E −14 . The second part of the thesis presents an advanced design based on the basic design and introduces an Automotive Safety Integrated Level D-compliant gate driver according to ISO 26262. It improves the previous design of the DC full bridge to have about 50 percent fewer components. Meanwhile, the advanced design also gives a supplement and refinement of the basic design to advance the possibility of practical application. Failure tree analysis failure mode effects, criticality analysis analysis, and availability argument are then carried out with the advanced design. According to fault tree analysis, the failure rate of the advanced design is 2E−14. / Järnvägssäkerhet är en fråga som är nära relaterad till människor. Faror som en kollision mellan två tåg kan resultera i allvarliga olyckor, vilket kräver högsta möjliga säkerhetsåtgärder. Linjära ställdon styr tågets riktning och är kritiska enheter i tågdrift. Därför är säkerhetskraven för linjära ställdon höga; flera internationellt accepterade standarder kan hjälpa till att reglera utformningen av järnvägar och specificera säkerhetsstandarder. EN 50129 och EN 50126 är kritiska standarder att följa. Denna avhandling presenterar två motorstyrningskonstruktioner som kan användas i linjära ställdon med hög säkerhetskvalitet. Detta examensarbete innehåller två designs, en grundläggande design och en avancerad design. Den första delen av examensarbetet är den grundläggande designen. Den grundläggande designen är baserad på hela brostrukturen och kombinerar två av två logik. Efter att ha integrerat metall-oxid-halvledarfälteffekttransistorer, gate-drivrutiner och DC-DC-omvandlare presenteras den grundläggande designen enligt de säkerhetsintegrerade nivå 4-kraven i EN 50129. En felträdsanalys och en analys av vanlig orsaksfel läggs till. Felfrekvensen efter felträdsanalys är 2E−14. Den andra delen av avhandlingen presenterar en avancerad design baserad på den grundläggande designen och introducerar en Automotive Safety Integrated Level D-kompatibel grinddrivare enligt ISO 26262. Den förbättrar den tidigare designen av DC-fullbryggan för att ha cirka 50 procent färre komponenter. Samtidigt ger den avancerade designen också ett komplement och förfining av den grundläggande designen för att främja möjligheten till praktisk tillämpning. Felträdanalys fellägeseffekter, analys av kritikalitet och tillgänglighetsargument utförs sedan med den avancerade designen. Enligt felträdsanalys är felfrekvensen för den avancerade designen 2E−14.

In this thesis we present research on mathematical properties of methods for solv- ing symmetric systems of linear equations that arise in various optimization problem formulations and in methods for solving such problems. In the first and third paper (Paper A and Paper C), we consider the connection be- tween the method of conjugate gradients and quasi-Newton methods on strictly convex quadratic optimization problems or equivalently on a symmetric system of linear equa- tions with a positive definite matrix. We state conditions on the quasi-Newton matrix and the update matrix such that the search directions generated by the corresponding quasi-Newton method and the method of conjugate gradients respectively are parallel. In paper A, we derive such conditions on the update matrix based on a sufficient condition to obtain mutually conjugate search directions. These conditions are shown to be equivalent to the one-parameter Broyden family. Further, we derive a one-to-one correspondence between the Broyden parameter and the scaling between the search directions from the method of conjugate gradients and a quasi-Newton method em- ploying some well-defined update scheme in the one-parameter Broyden family. In paper C, we give necessary and sufficient conditions on the quasi-Newton ma- trix and on the update matrix such that equivalence with the method of conjugate gra- dients hold for the corresponding quasi-Newton method. We show that the set of quasi- Newton schemes admitted by these necessary and sufficient conditions is strictly larger than the one-parameter Broyden family. In addition, we show that this set of quasi- Newton schemes includes an infinite number of symmetric rank-one update schemes. In the second paper (Paper B), we utilize an unnormalized Krylov subspace frame- work for solving symmetric systems of linear equations. These systems may be incom- patible and the matrix may be indefinite/singular. Such systems of symmetric linear equations arise in constrained optimization. In the case of an incompatible symmetric system of linear equations we give a certificate of incompatibility based on a projection on the null space of the symmetric matrix and characterize a minimum-residual solu- tion. Further we derive a minimum-residual method, give explicit recursions for the minimum-residual iterates and characterize a minimum-residual solution of minimum Euclidean norm. / I denna avhandling betraktar vi matematiska egenskaper hos metoder för att lösa symmetriska linjära ekvationssystem som uppkommer i formuleringar och metoder för en mängd olika optimeringsproblem. I första och tredje artikeln (Paper A och Paper C), undersöks kopplingen mellan konjugerade gradientmetoden och kvasi-Newtonmetoder när dessa appliceras på strikt konvexa kvadratiska optimeringsproblem utan bivillkor eller ekvivalent på ett symmet- risk linjärt ekvationssystem med en positivt definit symmetrisk matris. Vi ställer upp villkor på kvasi-Newtonmatrisen och uppdateringsmatrisen så att sökriktningen som fås från motsvarande kvasi-Newtonmetod blir parallell med den sökriktning som fås från konjugerade gradientmetoden. I den första artikeln (Paper A), härleds villkor på uppdateringsmatrisen baserade på ett tillräckligt villkor för att få ömsesidigt konjugerade sökriktningar. Dessa villkor på kvasi-Newtonmetoden visas vara ekvivalenta med att uppdateringsstrategin tillhör Broydens enparameterfamilj. Vi tar också fram en ett-till-ett överensstämmelse mellan Broydenparametern och skalningen mellan sökriktningarna från konjugerade gradient- metoden och en kvasi-Newtonmetod som använder någon väldefinierad uppdaterings- strategi från Broydens enparameterfamilj. I den tredje artikeln (Paper C), ger vi tillräckliga och nödvändiga villkor på en kvasi-Newtonmetod så att nämnda ekvivalens med konjugerade gradientmetoden er- hålls. Mängden kvasi-Newtonstrategier som uppfyller dessa villkor är strikt större än Broydens enparameterfamilj. Vi visar också att denna mängd kvasi-Newtonstrategier innehåller ett oändligt antal uppdateringsstrategier där uppdateringsmatrisen är en sym- metrisk matris av rang ett. I den andra artikeln (Paper B), används ett ramverk för icke-normaliserade Krylov- underrumsmetoder för att lösa symmetriska linjära ekvationssystem. Dessa ekvations- system kan sakna lösning och matrisen kan vara indefinit/singulär. Denna typ av sym- metriska linjära ekvationssystem uppkommer i en mängd formuleringar och metoder för optimeringsproblem med bivillkor. I fallet då det symmetriska linjära ekvations- systemet saknar lösning ger vi ett certifikat för detta baserat på en projektion på noll- rummet för den symmetriska matrisen och karaktäriserar en minimum-residuallösning. Vi härleder även en minimum-residualmetod i detta ramverk samt ger explicita rekur- sionsformler för denna metod. I fallet då det symmetriska linjära ekvationssystemet saknar lösning så karaktäriserar vi en minimum-residuallösning av minsta euklidiska norm. / <p>QC 20150519</p>

The introduction of initial margin requirements for non-cleared OTC derivatives has made it possible to optimize initial margin when considering a network of trading participants. Applying CMA-ES, this thesis has explored a new method to handle the nonlinear constraints present in the initial margin optimization problem. The idea behind the method and the research question in this thesis are centered around leveraging data created during optimization. Specifically, by creating a linear approximation of the feasible region using support vector machines and in turn applying a repair strategy based on projection. The hypothesis was that by repairing solutions an increase in convergence speed should follow. In order to answer the research question, a reference method was at first created. Here CMA-ES along with feasibility rules was used, referred to as CMA-FS. The proposed method of optimization data leveraging (ODL) was then appended to CMA-FS, referred to as CMA-ODL. Both algorithms were then applied to a single initial margin optimization problem 100 times each with different random seeds used for sampling in the optimization algorithms. The results showed that CMA-ODL converged significantly faster than CMA-FS, without affecting final objective values significantly negatively. Convergence was measured in terms of iterations and not computational time. On average a 5% increase in convergence speed was achieved with CMA-ODL. No significant difference was found between CMA-FS and CMA-ODL in terms of the percentage of infeasible solutions generated. A reason behind the lack of a reduction in violations can be due to how ODL is implemented with the CMA-ES algorithm. Specifically, ODL will lead to a greater number of feasible solutions being available during recombination in CMA-ES. Although, due to the projection, the solutions after projection are not completely reflective of the actual parameters used for that generation. The projection should also bias the algorithm towards the boundary of the feasible region. Still, the performative difference in terms of convergence speed was significant. In conclusion, the proposed boundary constraint handling method increased performance, but it is not known whether the method has any major practical applicability, due to the restriction to only considering the number of iterations and not the computational time. / Införandet av initial margin för non-cleared OTC derivatives har gjort det möjligt att optimera initial margin när ett flertal marknadsdeltagare tas till hänsyn. Denna uppsats har applicerat CMA-ES och specifikt undersökt en ny metod för hantering av de icke-linjära bivillkoren som uppstår när initial margin optimeras. Idén bakom metoden och forskningsfrågan i rapporten bygger på att utnyttja data som generas vid optimering. Detta görs specifikt genom att den icke-linjära tillåtna regionen approximeras linjärt med support vector machines. Därefter används en reparationsstrategi bestående av projicering för att reparera otillåtna lösningar. Hypotesen i uppsatsen var att genom att reparera lösningar så skulle konvergenshastigheten öka. För att svara på forskningsfrågan så togs en referensmetod fram, där CMA-ES och feasibility rules användes för att hantera icke-linjära bivillkor. Denna version av CMA-ES kallades CMA-FS. Sedan integrerades den nya metoden med CMA-FS, denna version kallades för CMA-ODL. Därefter så applicerades båda algoritmer 100 gånger på ett initial margin optimeringsproblem, där olika seeds användes för generering av lösningar i algoritmerna. Resultaten visade att CMA-ODL konvergerade signifikant snabbare än CMA-FS utan att påverka optimeringsresultatet negativt. Med CMA-ODL så ökade konvergenshastigheten med ungefär 5%. Konvergens mättes genom antal iterationer och inte beräkningstid. Ingen signifikant skillnad mellan CMA-ODL och CMA-FS observerades när de jämfördes med avseende på mängden icke-tillåtna lösningar genererade. En anledning varför ingen skillnad observerades är hur den nya metoden var integrerad med CMA-ES algoritmen. Den tilltänkta metoden leder till att fler tillåtna lösningar är tillgängliga när CMA-ES ska bilda nästa generation men eftersom lösningar projiceras så kommer dom inte att reflektera dom parametrar som användes för att faktiskt generera dom. Projiceringen leder också till att fler lösningar på randen av det tillåtna området kommer att genereras. Sammanfattningsvis så observerades fortfarande en signifikant ökning i konvergenshastighet för CMA-ODL men det är oklart om algoritmen är praktiskt användbar p.g.a. restriktionen att enbart betrakta antalet iterationer och inte total beräkningstid.