Search for dissertations about: "formal analysis"

Showing result 1 - 5 of 493 swedish dissertations containing the words formal analysis.

  2. 1. Formal Approaches to Service-oriented Design : From Behavioral Modeling to Service Analysis

    Author : Aida Čaušević; Paul Pettersson; Jonathan P. Bowen; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; service-oriented software engineering; formal modeling; service-oriented systems; resources; analysis; behavior; correctness check; Computer science; Datavetenskap; Computer Science; datavetenskap;

    Abstract : Service-oriented systems (SOS) have recently emerged as context-independent component-based systems. In contrast to components, services can be created, invoked, composed and destroyed at run-time. Services are assumed to be platform independent and available for use within heterogeneous applications. READ MORE

  4. 2. Symmetries and conservation laws

    Author : Raisa Khamitova; Börje Nilsson; Claes Jougréus; Maria Luz Gandarias; Växjö universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; conservation law; Noether s theorem; Lie group analysis; Lie-Bäcklund transformations; basis of conservation laws; formal Lagrangian; self-adjoint equation; quasi-selfadjoint; equation; nonlocal conservation law; Mathematical physics; Matematisk fysik;

    Abstract : Conservation laws play an important role in science. The aim of this thesis is to provide an overview and develop new methods for constructing conservation laws using Lie group theory. The derivation of conservation laws for invariant variational problems is based on Noether’s theorem. READ MORE

  5. 3. Military intelligence analysis : institutional influence

    Author : Martin Bang; Juha-Matti Lehtonen; Gunnar Hult; Martin Norsell; Philip Davies; Försvarshögskolan; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; intelligence analysis; military intelligence; institutions and threat assessments; Försvarssystem; Military Technology;

    Abstract : Intelligence is vital for the outcome of battles. As long as humans wage war, there will be a need for decision support to military and civilian leaders regarding adversaries or potential adversaries. However, the production of intelligence is neither easy nor without pitfalls. READ MORE

  6. 4. Learning physiotherapy : the impact of formal education and professional experience

    Author : Madeleine Abrandt Dahlgren; Linköpings universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Physiotherapy; problem-based learning; formal education; professional experience; discourse; basic concepts; qualitative analysis; phenomenography; conceptions; contextual analysis;

    Abstract : The aim is to describe and analyse physiotherapeutic learning through formal education and professional experience. The investigation focuses on the students' ways of experiencing the concepts of Health, Movement, Function and Interaction. READ MORE

  7. 5. Error analysis of summation-by-parts formulations : Dispersion, transmission and accuracy

    Author : Viktor Linders; Jan Nordström; Marco Kupiainen; Mark Carpenter; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : In this thesis we consider errors arising from finite difference operators on summation-by-parts (SBP) form, used in the discretisation of partial differential equations. The SBP operators are augmented with simultaneous-approximation-terms (SATs) to weakly impose boundary conditions. READ MORE