Sökning: "invariant solutions"

Visar resultat 1 - 5 av 15 uppsatser innehållade orden invariant solutions.

  1. 1. Contributions to a New CBLS Backend for MiniZinc

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Maarten Lucas Flippo; [2022]
    Nyckelord :;

    Sammanfattning : MiniZinc is a language which enables the modelling of combinatorial optimisation and satisfaction problems independently from any particular problem solver and its technology. One technology for solving combinatorial optimisation and satisfaction problems is constraint-based local search (CBLS). LÄS MER

  3. 2. Holographic RG-flows and the Domain-Wall/Cosmology correspondence

    Master-uppsats, Uppsala universitet/Teoretisk fysik

    Författare :Jean-François Vaduret; [2022]
    Nyckelord :holography; cosmology; domain-wall; AdS; CFT; correspondence;

    Sammanfattning : In this master thesis we investigate implications of the Domain-Wall/Cosmology (DW/C) correspondence on one-point functions of holographic RG-flows. The thesis gives a detailed computation of linearized gauge-invariant Einstein equations in (d+1) dimensions while making the DW/C correspondence explicit. LÄS MER

  4. 3. Convergence Properties for Different Null Space Bases When Solving the Initial Margin Optimization Problem Using CMA-ES

    Master-uppsats, KTH/Matematisk statistik

    Författare :Jacob Barnholdt; Filip Carlsson; [2020]
    Nyckelord :Financial mathematics; CMA-ES; Optimization; Initial Margin; Null space representations; Finansiell matematik; CMA-ES; Optimering; Initial Margin; Nollrumsrepresentationer;

    Sammanfattning : This thesis evaluates how the evolutionary algorithm CMA-ES (Covariance Matrix Adaption Evolution Strategy) can be used for optimizing the total initial margin for a network of banks trading bilateral OTC derivatives. The algorithm is a stochastic method for optimization of non-linear and, but not limited to, non-convex functions. LÄS MER

  5. 4. Optimal Control Model for an Autonomous Underwater Vehicle

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Gustav Holm; [2020]
    Nyckelord :;

    Sammanfattning : The main goal with this thesis was to develop an optimal control model for anautonomous underwater vehicle (AUV) and evaluate whether reference trackingusing Model Predictive Control (MPC) based on a linear dynamics modeldescribing all six degrees of freedom (DOF) is a suitable method for waypointnavigation. MPC is an advanced receding horizon optimal control method capableof including constraints in the optimization. LÄS MER

  7. 5. Indoor navigation using vision-based localization and augmented reality

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Tim Kulich; [2019]
    Nyckelord :;

    Sammanfattning : Implementing an indoor navigation system requires alternative techniques to the GPS. One solution is vision-based localization which takes advantage of visual landmarks and a camera to read the environment and determine positioning. LÄS MER