Sökning: "formal method"

Visar resultat 1 - 5 av 295 avhandlingar innehållade orden formal method.

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

    Författare :Jonas Krook; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated vehicles; Formal methods; formal synthesis; tactical planning; supervisory control theory; automatic abstraction.; safety case; model checking; formal verification; reactive synthesis;

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

  3. 2. A generic construction process modelling method

    Författare :Vesa Karhu; KTH; []
    Nyckelord :process; modelling; generic; method; database; view;

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

  4. 3. Heidegger och filosofins metod : Om den filosofiska artikulationens och den filosofiska insiktens karaktär eller En introduktion till fenomenologin

    Författare :Johan Eriksson; Sören Stenlund; Hans Ruin; Einar Øverenget; Uppsala universitet; []
    Nyckelord :Theoretical philosophy; transcendental idealism; phenomenological reduction; transcendental subjectivity; Dasein; fundamental ontology; formal indication; authenticity; conscience; temporality; historicity; Teoretisk filosofi; teoretisk filosofi; Theoretical Philosophy;

    Sammanfattning : Phenomenology is a philosophical method created by Edmund Husserl at the beginning of the last century. In general terms, phenomenology is a way of investigating meaning, where ”meaning” is the most formal concept describing the way the world (with its different kind of objects) is given in every kind of experience. LÄS MER

  5. 4. A Critical Review of the Observational Method

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

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

  7. 5. Formal Female Mentoring Relationship as Health Promotion

    Författare :Madelene Larsson; Therése Skoog; Camilla Pettersson; Charli Eriksson; Ann Öhman; Örebro universitet; []
    Nyckelord :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;

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