Search for dissertations about: "formal method"

Showing result 1 - 5 of 223 swedish dissertations containing the words formal method.

  2. 1. Formal Methods and Safety for Automated Vehicles: Modeling, Abstractions, and Synthesis of Tactical Planners

    Author : Jonas Krook; Chalmers University of Technology; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; formal synthesis; tactical planning; safety case; automatic abstraction.; formal verification; automated vehicles; reactive synthesis; model checking; Formal methods; supervisory control theory;

    Abstract : One goal of developing automated road vehicles is to completely free people from driving tasks. Automated vehicles with no human driver must handle all traffic situations that human drivers are expected to handle, possibly more. READ MORE

  4. 2. A generic construction process modelling method

    Author : Vesa Karhu; KTH; []
    Keywords : process; modelling; generic; method; database; view;

    Abstract : A variety of modelling methods has been used to modelconstruction processes and projects, either during normalproject planning or for process re-engineering efforts orresearch. One common method, which is widely used byconstruction industry practitioners, is scheduling. READ MORE

  5. 3. A Critical Review of the Observational Method

    Author : Johan Spross; Stefan Larsson; Fredrik Johansson; Joakim Jeppsson; Lars Rosén; KTH; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Rock mechanics; observational method; Eurocode 7; reliability analysis; dam safety; tunnelling; system reliability; Byggvetenskap; Civil and Architectural Engineering;

    Abstract : Building a sustainable structure in soil or rock that satisfies all predefined technical requirements implies choosing a rational and effective construction method. An important aspect is how the performance of the structure is verified. READ MORE

  6. 4. Formal Female Mentoring Relationship as Health Promotion

    Author : Madelene Larsson; Therése Skoog; Camilla Pettersson; Charli Eriksson; Ann Öhman; Örebro universitet; []
    Keywords : MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Health Promotion; formal mentoring; intervention; young women; female mentors; motivation; organizational context; non-governmental organization; relational-cultural theory; seöf-determination theory; Public health; Folkhälsovetenskap;

    Abstract : The transition from adolescence to adulthood can bring with it mental health problems, resulting in reduced mental well-being among young women and an increasing public health issue. Perceived mental health problems can be a major obstacle to personal development and opportunities for becoming established in society. READ MORE

  7. 5. Toward a reliability framework for the observational method

    Author : Johan Spross; Stefan Larsson; Fredrik Johansson; Rasmus Müller; John Harrison; KTH; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Rock engineering; observational method; Eurocode 7; structural safety; reliability analysis; dam safety; Bergmekanik; observationsmetoden; Eurokod 7; sannolikhetsbaserad dimensionering; dammsäkerhet; Byggvetenskap; Civil and Architectural Engineering;

    Abstract : Constructing sustainable structures in rock that satisfy all predefined technical specifications requires rational and effective construction methods. When the geotechnical behaviour is hard to predict, the Euro­pean design code, Eurocode 7, suggests application of the observational method to verify that the performance is acceptable. READ MORE