Sökning: "model of computation"
Visar resultat 11 - 15 av 356 avhandlingar innehållade orden model of computation.
11. The revolutionary partnership of computation and biology
Sammanfattning : 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. LÄS MER
12. Model-Integrated Engineering of Smart Energy Distribution Systems
Sammanfattning : 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. LÄS MER
13. Rainflow Analysis of Switching Markov Loads
Sammanfattning : 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. LÄS MER
14. Model Checking Parameterized Timed Systems
Sammanfattning : 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. LÄS MER
15. Model-Integrated Engineering of Smart Energy Distribution Systems
Sammanfattning : 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. LÄS MER