Search for dissertations about: "model of computation"

Showing result 11 - 15 of 355 swedish dissertations containing the words model of computation.

  2. 11. The revolutionary partnership of computation and biology

    Author : Salvador Daniel Rivas-Carrillo; Tanel Punga; Manfred Grabherr; Jan Komorowski; Mauno Vihinen; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES;

    Abstract : The organization of living beings is complex. Science uses modeling in order to gain a deeper understanding, and to be able to manipulate the processes of living organisms. To this purpose, I used and developed computational tools to investigate and model different relevant biological phenomena. READ MORE

  4. 12. Model-Integrated Engineering of Smart Energy Distribution Systems

    Author : Nikolai Galkin; Valeriy Vyatkin; Nicholas Etherden; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Digital Twin; Data Centre; Automation; IEC 61850; IEC 61499; MATLAB; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

    Abstract : Model-Based Systems Engineering (MBSE) is a formal method that is used to support analysis, design, independent verification, and validation inherent in the development of software and hardware systems. MBSE applications are present in many areas of our daily lives, including manufacturing, robotics, healthcare, automation, etc. READ MORE

  5. 13. Rainflow Analysis of Switching Markov Loads

    Author : Pär Johannesson; Matematisk statistik; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; actuarial mathematics; programming; operations research; Statistics; rainflow matrix; fatigue; vehicle load; hidden Markov model; random load; Markov model; Switching process; Statistik; operationsanalys; programmering; aktuariematematik;

    Abstract : Rainflow cycles are often used in fatigue analysis of materials for describing the variability of applied loads. Therefore, an important characteristic of a random load process is the intensity of rainflow cycles, also called the expected rainflow matrix (RFM), which can be used for evaluation of the fatigue life. READ MORE

  6. 14. Model Checking Parameterized Timed Systems

    Author : Pritha Mahata; Parosh Abdulla; Jean-Francois Raskin; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Model Checking; Parameterized Systems; Undecidability; Timed Petri Nets; Timed Networks; Computer science; Datavetenskap;

    Abstract : In recent years, there has been much advancement in the area of verification of infinite-state systems. A system can have an infinite state-space due to unbounded data structures such as counters, clocks, stacks, queues, etc. It may also be infinite-state due to parameterization, i.e. READ MORE

  7. 15. Model-Integrated Engineering of Smart Energy Distribution Systems

    Author : Nikolai Galkin; Valeriy Vyatkin; Chen-Wei Yang; Tatiana Liakh; Joao Martins; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

    Abstract : Model-Based Systems Engineering (MBSE) is a method that is used to support analysis, design, independent verification, and validation inherent in the development of software and hardware systems. MBSE applications are present in many areas of our daily lives, including manufacturing, robotics, healthcare, automation, etc. READ MORE