Sökning: "linear program"

Visar resultat 21 - 25 av 175 avhandlingar innehållade orden linear program.

  1. 21. Sound Modular Extraction of Control Flow Graphs from Java Bytecode

    Författare :Pedro de Carvalho Gomes; Dilian Gurov; Wolfgang Ahrendt; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Verification; Static Analysis; Program Models; Compositional Verification;

    Sammanfattning : Control flow graphs (CFGs) are abstract program models that preserve the control flow information. They have been widely utilized for many static analyses in the past decades. LÄS MER

  3. 22. Infinite-state Stochastic and Parameterized Systems

    Författare :Noomene Ben Henda; Parosh Abdulla; Christel Baier; Uppsala universitet; []
    Nyckelord :program verification; model checking; stochastic games; infinite-state systems; Markov chains; reachability; repeated reachability; parameterized systems; approximation; safety; tree systems;

    Sammanfattning : A major current challenge consists in extending formal methods in order to handle infinite-state systems. Infiniteness stems from the fact that the system operates on unbounded data structure such as stacks, queues, clocks, integers; as well as parameterization. LÄS MER

  4. 23. Att finna sin egen kraft. Hälsopromotion på arbetsplatsen utifrån BELE- ett program för att främja ett salutogent livspussel bland kvinnlig vård-, stöd- och omsorgspersonal

    Författare :Madelaine Törnquist Agosti; Allmänmedicin och samhällsmedicin; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Woman´s health; Workplace health promotion; Work-life balance; Human service employees; Intervention;

    Sammanfattning : AbstractThe overall aim of this thesis was threefold; first, to explore resources associated with work-life balance (WLB), with a focus on the work and private lives of human service employees. Second, to develop a workplace health promotion (WHP) intervention with a WLB focus. LÄS MER

  5. 24. On Complexity Certification of Active-Set QP Methods with Applications to Linear MPC

    Författare :Daniel Arnström; Daniel Axehill; Anders Hansson; Mikael Johansson; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : In model predictive control (MPC) an optimization problem has to be solved at each time step, which in real-time applications makes it important to solve these efficiently and to have good upper bounds on worst-case solution time. Often for linear MPC problems, the optimization problem in question is a quadratic program (QP) that depends on parameters such as system states and reference signals. LÄS MER

  7. 25. Implementation of complex polarization propagator theory for linear response properties of large molecular systems

    Författare :Manuel Brand; Patrick Norman; Berta Fernández Rodríguez; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Theoretical Chemistry and Biology; Teoretisk kemi och biologi;

    Sammanfattning : Since its beginning, the remarkable development from the first commercially available computers toward exascale supercomputers just within the span of a lifetime has been closely intertwined with the perpetual quest for the utilization of the arising computing power for the avail of theoretical chemistry. With the aim of further pushing the limits of computationally accessible molecular system sizes, this thesis includes the presentation of programming efforts, which brought forth two quantum chemical software codes, as well as a range of ab initio studies on carbon-based systems, enabled by the former. LÄS MER