In bepaalde single-core configuraties met één processor, b.v. embedded control systems zoals robotic applications die uit vele korte processen bestaan, kunnen de context switches van een proces een aanzienlijke hoeveelheid van de beschikbare processing power verbruiken. Het verminderen van het aantal context switches vermindert de executietijd en verhoogt daardoor de prestaties van de toepassing. Bovendien is de end-to-end executietijd van de processen langer dan strict noodzakelijk, b.v. omdat de processen moeten wachten op controllers die een taak uitvoeren. Door de regels voor synchrone communicatie via kanalen in de procesalgebraïsche specificatietaal Communicating Sequential Processes te versoepelen, kunnen we de end-to-end executietijd verkorten. In ons onderzoek definiëren we verschillende graafproducten, bewijzen we dat deze producten een prestatiewinst opleveren (onder bepaalde voorwaarden) en we werken de numerieke en combinatorische aspecten van deze graafproducten uit.
DOCUMENT
In deze lectorale rede wordt eerst geschetst hoe de maritieme industrie zich op een kruispunt van wegen bevindt. Met op de ene weg de enorme opgave van het ontwerpen, bouwen en exploiteren van een revolutionair nieuwe generatie van schone en veilige schepen. En op de andere de beschikbaarheid van steeds betere ontwerpgereedschappen, die gedreven wordt door krachtige ontwikkelingen op het gebied van (numerieke) wiskunde, IT, mathematisch modelleren, visualisatie en simulaties. Vervolgens wordt aangegeven op welke wijze het lectoraat meent hierbij van dienst te kunnen zijn, en welke concrete onderwijs- en onderzoeksinspanningen daartoe voorgenomen zijn.
DOCUMENT
In het huidige statistiekonderwijs is te weinig aandacht voor het proces voorafgaand aan de dataverzameling en uitvoering van de berekeningen ten behoeve van het beantwoorden van de onderzoeksvragen; het proces van datamanagement. Datamanagement is echter cruciaal voor het garanderen van de kwaliteit van de data en dus de betrouwbaarheid van de onderzoeksbevindingen. Te weinig aandacht voor dit proces vergroot de kansen op fouten in de gegevens, met als gevolg dat onderzoeksvragen niet beantwoord kunnen worden en projectgelden worden verspild. Om in deze kennislacune te voorzien is een procedure ontwikkeld, die gebruikt kan worden om databestanden te structureren en op te bouwen voordat met de feitelijke uitvoering van het onderzoek wordt begonnen. Deze procedure is beschreven het rapport ‘Van vragenlijst tot tabel’. Daarnaast wordt in de rapportage ingegaan op hoe de gegevens in SPSS kunnen worden geanalyseerd en op hoe de output van de analyses eenvoudig in een tabel voor een onderzoeksrapport of artikel kan worden gezet.
DOCUMENT
