Sökning: "simulation-based"

Visar resultat 41 - 45 av 166 avhandlingar innehållade ordet simulation-based.

  1. 41. Mathematical modelling for optimization of truck tyres selection

    Författare :Zuzana Sabartova; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; simulation-based optimization; truck tyres selection; surrogate model; radial basis function interpolation; rolling resistance coefficient; combinatorial set of problem instances; global optimization; global optimization;

    Sammanfattning : This thesis, which consists of an introduction and three appended papers, concerns the optimal selection of tyres for a given vehicle configuration and an operating environment in which the vehicle is to be used. The optimization problem stems from an industrial project performed in cooperation between Chalmers University of Technology and Volvo Group Trucks Technology (GTT). LÄS MER

  3. 42. Dynamic Resampling for Preference-based Evolutionary Multi-objective Optimization of Stochastic Systems : Improving the efficiency of time-constrained optimization

    Författare :Florian Siegmund; Kalyanmoy Deb; Amos H.C. Ng; Sanaz Mostaghim; Högskolan i Skövde; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Evolutionary multi-objective optimization; simulation-based optimization; guided search; preference-based optimization; reference point; decision support; noise; stochastic systems; dynamic resampling; budget allocation; sequential sampling; hybrid; ranking and selection; Natural sciences; Naturvetenskap; Technology; Teknik; Production and Automation Engineering; Produktion och automatiseringsteknik;

    Sammanfattning : In preference-based Evolutionary Multi-objective Optimization (EMO), the decision maker is looking for a diverse, but locally focused non-dominated front in a preferred area of the objective space, as close as possible to the true Pareto-front. Since solutions found outside the area of interest are considered less important or even irrelevant, the optimization can focus its efforts on the preferred area and find the solutions that the decision maker is looking for more quickly, i. LÄS MER

  4. 43. Falsification of Signal-Based Specifications for Cyber-Physical Systems

    Författare :Johan Lidén Eddeland; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Simulation-Based Verification; Testing; Falsification; Cyber-Physical Systems;

    Sammanfattning : In the development of software for modern Cyber-Physical Systems, testing is an integral part that is rightfully given a lot of attention. Testing is done on many different abstraction levels, and especially for large-scale industrial systems, it can be difficult to know when the testing should conclude and the software can be considered correct enough for making its way into production. LÄS MER

  5. 44. Computational Modeling, Parameterization, and Evaluation of the Spread of Diseases

    Författare :Robin Marin; Stefan Engblom; Trevelyan J. McKinley; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Parameter estimation; Bayesian modeling; Stochastic epidemiological models; simulation-based inference; approximate bayesian computations; Scientific Computing; Beräkningsvetenskap;

    Sammanfattning : Computer simulations play a vital role in the modeling of infectious diseases. Different modeling regimes fit specific purposes, from ordinary differential equations to probabilistic formulations. LÄS MER

  7. 45. On Falsification of Large-Scale Cyber-Physical Systems

    Författare :Johan Lidén Eddeland; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Test Coverage; Testing; Optimization; Simulation-Based Verification; Formal Requirements; Cyber-Physical Systems; Falsification;

    Sammanfattning : In the development of modern Cyber-Physical Systems, Model-Based Testing of the closed-loop system is an approach for finding potential faults and increasing quality of developed products. Testing is done on many different abstraction levels, and for large-scale industrial systems, there are several challenges. LÄS MER