Sökning: "mathematical challenge"

Visar resultat 21 - 25 av 69 avhandlingar innehållade orden mathematical challenge.

  1. 21. On Provably Correct Decision-Making for Automated Driving

    Författare :Yuvaraj Selvaraj; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; deductive verification; formal methods; supervisory control theory; formal verification; Automated driving; model checking; hybrid systems.; decision-making;

    Sammanfattning : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings several other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. LÄS MER

  3. 22. A Multi-Scale Approach To Adhesive Mixing

    Författare :Duy Nguyen; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Adhesive particle mixing; CFD simulation; multiscale; dry particle coating; regime map.; DEM simulation; dry powders for inhalation;

    Sammanfattning : Adhesive particle mixing is a fundamental process in many applications, especially in dry powders for inhalation. Despite its importance, a mechanistic process description for designing the structure of interest is still lacking. LÄS MER

  4. 23. Spatial and Numerical Abilities in Infants and Toddlers

    Författare :Elin Schröder; Gustaf Gredebäck; Linda Forssman; Nora Newcombe; Uppsala universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

    Sammanfattning : Having a basic understanding of numbers and math is important for functioning in society. The first mathematical challenge children meet is to learn to understand the natural numbers (the positive integers 1, 2 ,3…). Children must learn what number words symbolize and how to use counting to determine the number of elements in a set. LÄS MER

  5. 24. A Functional Approach to Hardware Software Co-Design

    Författare :Markus Aronsson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; domain specific languages; functional programming; signal processing; code generation;

    Sammanfattning : Developing software for embedded systems presents quite the challenge---not only do these systems demand good knowledge of the hardware they run on, but their limited resources also make it difficult to achieve efficiency. For embedded systems with different kinds of processing elements, the challenge is even greater; the presence of heterogeneous elements both raises all of the issues associated with homogeneous systems, and may also cause non-uniform system development and capability. LÄS MER

  7. 25. System identification of large-scale linear and nonlinear structural dynamicmodels

    Författare :Vahid Yaghoubi Nasrabadi; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Finite element model; Surrogate modeling; Bootstrapping; Polynomial chaos expansion; System identification; Exponential integration; Uncertainty quantification;

    Sammanfattning : System identification is a powerful technique to build a model from measurement data by using methods from different fields such as stochastic inference, optimization and linear algebra. It consists of three steps: collecting data, constructing a mathematical model and estimating its parameters. LÄS MER