Productiekwaliteitsborging via nauwkeurige verificatie van onderdeelgeometrie (ACCUPART_SBO) KU Leuven
Productiekwaliteitsborging via nauwkeurige verificatie van onderdeelgeometrie
Productiekwaliteitsborging via nauwkeurige verificatie van onderdeelgeometrie
(Vertaald met www.DeepL.com/Translator (gratis versie)) Er bestaan veel gereedschappen en technieken voor de formele verificatie van imperatieve programma's. Voor de meeste daarvan geldt echter dat er een aanzienlijke ruimte is voor menselijke fouten, zowel bij de toepassing van de hulpmiddelen als bij het bouwen van de hulpmiddelen. Dit vermindert de betrouwbaarheid van de resultaten. Gemechaniseerde verificatie tracht dit probleem aan te ...
Dit proefschrift bestudeert de formele specificatie en verificatie van autonome besluitvorming van agenten, rekening houdend met veiligheidsbeperkingen, in een context van niet-deterministische acties en perceptie. Dit onderzoek kan evolueren naar begrensde modelcontrole of het genereren van correct per constructie beleid. De resultaten worden gevalideerd in een joint use case over de autonome mobiele robot.
Semi-automatische, modulaire, formele verificatie van broncode, op basis van annotaties, is een veelbelovende aanpak om veiligheids- en correctheidseigenschappen van programma's te verifiëren. Deze aanpak combineert hoge betrouwbaarheid met relatief goede bruikbaarheid voor ontwikkelaars, door het aanbieden van een debugger-achtige gebruikerservaring. In de huidige state of the art, zijn de formele verificatietools echter zelf nog niet ...
Het voorgestelde project gaat over turbulentie in een plasma, de vierde aggregatietoestand van materie. Denk aan rook die opstijgt uit een kaars: eerst stijgt de rook in een rechte kolom - en die fase begrijpen we goed. Maar dan begint de rook te kronkelen voordat hij alle kanten op gaat. Dit laatste is turbulentie. Deze turbulentie is een van de grootste onopgeloste problemen in de natuurkunde. We kennen vooral turbulentie van onze ...
In dit doctoraatsonderzoek doen we onderzoek naar de theorie en aspecten bij het bouwen van tools, van het uitvoeren van modulaire formele verificatie van veiligheids- en beveiligingseigenschappen van programma's die geschreven zijn in programmeertalen die industrieel relevant zijn, zoals C++. Het doel hierbij is om de technologie van modulaire formele verificatie meer toepasbaar te maken in de industriële praktijk. Uitdagingen zijn onder ...
Our primary objective is the develomment of a single volume scatter camera (SVSC) based on densely stacked arrays of optically segmented organic scintillators that will be used for simultaneous and efficient imaging of neutrons and PGs for the purposes of high resolution in-vivo range (1-2 mm) and dose verification in particle therapy.