Sökning: "formal analysis"

Visar resultat 1 - 5 av 702 avhandlingar innehållade orden formal analysis.

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

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

   Sammanfattning : 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. LÄS MER

3. 2. Symmetries and conservation laws

   Författare :Raisa Khamitova; Börje Nilsson; Claes Jougréus; Maria Luz Gandarias; Växjö universitet; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

4. 3. Military intelligence analysis : institutional influence

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

   Sammanfattning : 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. LÄS MER

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

   Författare :Madeleine Abrandt Dahlgren; Linköpings universitet; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER