Projecten
InsightProducts: Actionable Insights into Product Service Delivery Sirris, het collectief centrum van de technologische industrie
InsightProducts zal diepgaande analyse van industriële condition monitoring oplossingen uitvoeren, met het oog op het architectuurontwerp, sensoren, embedded software, communicatie en data- analytics. Focus is drievoudig:
1. Geoptimaliseerd systeemontwerp en -werking resulterend in een verbeterde productwaarde, op basis van nieuwe inzichten afgeleid van sensorgegevens gecapteerd van producten.
2. Verbeterde productkwaliteit en ...
ERC-Opvangmandaat: Laag-niveau objectmogelijkheden, formeel Vrije Universiteit Brussel
Modulaire formele verificatie van expressieve low-level objectgerichte programmeertalen KU Leuven
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 ...
Cross Layer Optimisatie Van IoT Systemen KU Leuven
Het internet der dingen (Internet of Things – IoT) integreert sensoren, actuatoren en computatie in alledaagse dingen zoals lichten, thermostaten en koffiezetmachines. Deze dingen worden gemonitord en bestuurd vanop afstand via digitale processen door ze met het internet te verbinden. Applicatieontwikkeling voor IoT blijft echter complex vanwege de beperkte systeembronnen van IoT platformen, gelimiteerde communicatie en de dynamische aard van ...
Geavanceerde technieken voor grounden en solven in het IDP kennisbanksysteem KU Leuven
Het gebied van Kennisrepresentatie en Redeneren, een onderdeel van het veld Artificiële Intelligentie, bestudeert hoe kennis kan worden voorgesteld en hoe die kan gebruikt worden voor automatische redeneertaken.
Verschillende declaratieve programmeerparadigmas implementeren dit door middel van een formele taal om kennis voor te stellen en een bijbehorende vorm van inferentie om het beoogde resultaat te behalen.
Recentelijk werd het ...
Een efficiënte hybride laser-elektrochemische microbewerkingstechniek KU Leuven
Het idee achter hybride micromachining is om verschillende bewerkingsprocessen / materiaalverwijderingsmechanismen te combineren om de capaciteit / prestaties van de modernste fabricageprocessen te verbeteren en toch economische haalbaarheid te bereiken. Hybride laser-elektrochemische microbewerking omvat coaxiale en gelijktijdige toepassing van elektrochemische en laserprocessen in dezelfde bewerkingszone. Dit project zal diepgaand onderzoek ...