Oefeningen:Verificatie en validatie

Uit Systeemmodellering
Naar navigatie springen Naar zoeken springen

Oefeningen bij het artikel Verificatie en validatie

Herhalingsvragen

  1. Wat is het verschil tussen verificatie en validatie?

Meerkeuzevragen

    Het heliocentrische model uit Copernicus' De revolutionibus
  1. Welke van de volgende twee uitspraken zijn waar?
    (i) Het model van Copernicus (zie hiernaast) is niet valide.
    (ii) Verificatie van dit model vereist astronomische waarnemingen.
    Alleen (i) is waar.
    Alleen (ii) is waar.
    Zowel (i) als (ii) is waar.
    Noch (i) noch (ii) is waar.
  2. Welke van de volgende twee uitspraken zijn waar?
    (i) Dimensieanalyse doe je om een computationeel model te valideren.
    (ii) Validatie van een computationeel model is alleen mogelijk wanneer je een door empirische waarneming verkregen dataset over het systeem hebt.
    Alleen (i) is waar.
    Alleen (ii) is waar.
    Zowel (i) als (ii) is waar.
    Noch (i) noch (ii) is waar.

Oefenopgaven

  1. Beschrijf voor elk van de volgende modellen wat je zou doen ter verificatie van het model.
    • Een personenvervoersmodel waarmee voorspeld kan worden welke invloed bepaalde beleidsmaatregelen kunnen hebben op het gebruik van het openbaar vervoer. Dit model berekent het aantal reizigerskilometers dat per jaar afgelegd wordt in de tram, de bus, de trein en de auto en presenteert aan de probleemeigenaar de fractie reizigerskilometers in het openbaar vervoer ten opzichte het aantal reizigerskilometers afgelegd in de auto. De invoer van het model bestaat uit de hoogte van de motorrijtuigenbelasting en de omvang van subsidies voor de NS. De verwachte verandering van de benzineprijs is ook meegenomen in het model.
    • Een model voor prestatie-analyse van een netwerk voor elektronisch berichten-verkeer dat inzicht geeft in de verzendtijd van berichten (zowel kortere als langere berichten) en de kans dat een bericht onvolledig of helemaal niet aankomt. Zowel de tussenstations als de verbindingen binnen het netwerk kunnen verschillende capaciteiten hebben. Verhoging van capaciteiten brengt uiteraard kosten met zich mee. Met behulp van het model wil men beslissen hoeveel en waar men het beste kan investeren.
    • Een schaalopstelling van een petrochemisch productieproces in een laboratorium van een oliemaatschappij dat kan worden gebruikt om na te gaan welke (al dan niet giftige) bijproducten in de loop van dit proces ontstaan, waar dit gebeurt en in welke hoeveelheden..
  2. Beschrijf voor elk van de drie voorbeelden uit de vorige vraag wat je zou doen ter validatie van het model.
  3. Geef voor elk van de voorbeeldmodellen aan waar je op moet letten bij verificatie van dat model.
  4. Geef voor elk van de voorbeeldmodellen aan waar je op moet letten bij validatie van dat model.