From: Mart Lubbers Date: Mon, 9 Oct 2023 12:43:01 +0000 (+0000) Subject: small updates X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=45b487a91253c15c661ecd43a3bea9ab05c3e386;p=martlubbers.net.git small updates --- diff --git a/_data/snippets.yml b/_data/snippets.yml index 07d85d0..b9243a2 100644 --- a/_data/snippets.yml +++ b/_data/snippets.yml @@ -23,7 +23,7 @@ backto: home: en: home nl: thuis - nds: thoos + nds: thoes languagename: en: Languages nl: Talen @@ -43,7 +43,7 @@ toc: posts: en: Posts nl: Postberichten - nds: Stu'kes + nds: Schrievsels footer: en: ' Valid HTML 5 and optimized for screen readers.
@@ -56,8 +56,8 @@ footer: tenminste ≥80x24 tekstmodus in een van deze webbrowsers.
Gedreven door Jekyll (linkt naar een Engelse site)' nds: ' - Gooien HTML 5 en optimaliseerd veur schearmlèèzers..
- Doew kanst dit et beste bekieken met nen schermresolutie van mear as ≥640x480 of + Gooien HTML 5 en optimaliseerd veur schearmleazers..
+ Doe kaanst dit et beste bekieken met nen schermresolutie van mear as ≥640x480 of mear as ≥80x24 in tekstmodus in een van disse webbrowsers. (geet noar nen Nederlaandsen webstie)
Maakt deur Jekyll (geet noar nen Engelse webstie)' diff --git a/index.md b/index.md index 8d9a546..94d6f9a 100644 --- a/index.md +++ b/index.md @@ -166,7 +166,7 @@ language_reference: home Long distance running, open water swimming, -wildplukken, +foraging, reading, heavy metal music, hacking, diff --git a/nds/thesis.md b/nds/thesis.md index 65a92d2..0eb2596 100644 --- a/nds/thesis.md +++ b/nds/thesis.md @@ -13,7 +13,7 @@ language_reference: thesis ## Details -In et openbaar verdedigd op goawnsdag 4 oktober um stipt 14:30. +In et openbaar verdedigd op gownsdag 4 oktober um stipt 14:30. Promotor: @@ -32,6 +32,45 @@ Manuscriptcommissie: ## Samenvatting -**De samenvatting mot nog oawerzet worn.** +**Dit is geels nich kloar** -Slides veur de samenvattingspresentatie kunt [hier](/files/thesispraatje.pdf) vunden worn (in et Nederlaands). +Et ontwikkelen van sekure software veur et Internet of Things (IoT, internet van dingen) is meuilijk. +Dit kump omdat ze veranderlijk bint en dr interactie bie komt kieken. +Noast dat, is et opbröken in stukkes dee op annere machines dreaien möt en met mekaar mot kuieren. +De verschillende machines liekt nich op mekoar in hardware en software iegenschappen en dat gef stried. +Dissen striend neumt ze semantiese wrieving. +Völ van disse komputers bint _randkomputers_ dee deel oet maakt van het IoT. +Randkomputers bint meesttieds goodkope _microcontrollers_ en hebt de meugelijkhied te proaten met de boetenwearld. +Dit geet met sensoren en actuatoren. +An de eene kaant is et geheugen beteun, bint ze troag in et rekken en kuieren met annere systemen. +Aanderzieds bint ze heanig en broekt ze nich völ stroom. + +Taakorienteerd programmeren (TOP) is past good bie de oetdagingen van IoT. +TOP hef abstracties veur weark, dit neumt ze de taken, boustenen. +At zonne taak gangs is kun ie de woarde zean. +Annere taken kunt hier op inspölen. +Ok kunt taken kombineert of aanpast worden en zo ku'j oetdrukn hoo at d'r samenwearkt mot worden. +Van de taak beschrieving kan 'n komputersysteem maakt worden. +Met dit programma kunt gebroekers et weark doon. +Randkomputers hebt ok verlet aan TOP, mear et is nich invoalig om TOP op disse heanige machientjes in te zetten. + +Mien dissertaasie loat zeen hoe at ie allens in nen IoT systeem in eenen moal kunt oetdrukken met TOP, as in n orkest. +Deur techniek te broeken kujnt alle lagen van n IoT systeem en hoo of ze met mekoar proat oetdrukt worden. +Dit geet ammoal in éénen abstractieniveau, programmeersproake, paradigma en typeringssysteem. +As eerste loat ik luk zeen hoo of ie inbeddende domien-specifieke sproaken maken kujnt. +Doarna beschrief ik mTask, nen TOP systeem veur randkomputers wel inbed is in iTask. +De taken, et weark, wöd bouwt tiedens n oetvuring. +Zo kunt ze afstemt worden op et weark woaran et systeem verlet hef. +Et weark wör opstuurt noar de machiens dee et interpreteert. +At disse machiens eenmoal oetrust bint met et domienspecifieke besturingssyteem dan ku'j ze altied broeken veur mTask. +Et besturingssysteem döt al et kuieren veur oe, n data-opslag, et weark. +Dit allns döt he ok nog zuunig. +Ik beschrief alle sieden van het mTask systeem. +Veurbeeldprogramma's, sproakontwerp, onnerliggende wearking, n integratie met iTask en de wieze woarup et stroomverbroek beperkt wordt. + +Ok vergeliek ik laagloos programmeren met hoe of dat aans geet in leagkes. +As ie laagloos programmeert hoof ie minner code en sproaken te broeken. +Ok he'j genog an éénen paradigma, typesysteem +Et langlaasts he'j ok hoast gen semantiese wrieving en is et stabiel en ku'j et makkelijk onnerhoalen. + +Slides veur de samenvattingspresentatie kunt [hier](/files/thesispraatje.pdf) vunden worden (in et Nederlaands). diff --git a/nds/thoos.md b/nds/thoos.md index de7321c..597d495 100644 --- a/nds/thoos.md +++ b/nds/thoos.md @@ -9,3 +9,12 @@ language_reference: home {% include toc.html %} +### Hobby's + +Langeafstandshardlopen, +[openwaterzwemmen](/nds/walrus.html), +weeldgadderen, +lèèzen, +heavymetalmuziek, +hacken, +linux. diff --git a/nds/walrus.md b/nds/walrus.md index a058aaa..d7ff9fc 100644 --- a/nds/walrus.md +++ b/nds/walrus.md @@ -1,22 +1,22 @@ --- layout: index -title: Walrusvereeniging Almere +title: Waalrusvereeniging Almere language: nds language_reference: walrus --- -Wolkom bie 'n webstie van de Walrusvereniging Almere. -Nen heanig boetenzwemclubke dat, anners dan da'j van 'n noam maj't deanken, nog -nich 'n heeln weeinter deur zwemt mear wie wolt het wa gearn. +Wolkom bie 'n webstie van de Waalrusvereniging Almere. +Nen heanig boetenzwemclubke dat, anners dan da'j van 'n naam maj't deanken, nog +nich 'n heeln weeinter deur zwemt, mear wie wolt et wa gearn. ### Stie -Noorderplassenstrand, wie komt bie mekaar op n diek ([N 52°23.681' E 005°13.202'](https://www.openstreetmap.org/?mlat=52.39467&mlon=5.22003#map=19/52.39467/5.22003)) +Noorderplassenstrand, wie komt te hoap op 'n diek ([N 52°23.681' E 005°13.202'](https://www.openstreetmap.org/?mlat=52.39467&mlon=5.22003#map=19/52.39467/5.22003)) ### Agenda -Wie hebt genne vast daagn mear zwemt twee tut dree moal in de wek. +Wie hebt genne vaste daagn mear zwemt twee tut dree moal in de wek. ### Contact diff --git a/nl/thesis.md b/nl/thesis.md index abf763b..812e5c4 100644 --- a/nl/thesis.md +++ b/nl/thesis.md @@ -46,7 +46,7 @@ Door taken te combineren of te transformeren kunnen samenwerkingsvormen uitgedru Van deze beschrijving wordt een computersysteem gegenereerd dat gebruikers begeleidt in het uitvoeren van het werk. Randcomputers hebben ook baat bij TOP, al is niet eenvoudig om TOP-systemen erop in te zetten. -Deze dissertatie laat zien hoe gehele IoT-systemen georkestreerd kunnen worden met {TOP}. +Deze dissertatie laat zien hoe gehele IoT-systemen georkestreerd kunnen worden met TOP. Gebruik makend van techniek kunnen alle lagen van een IoT-systeem en hun samenwerking uitgedrukt worden in één hoog abstractieniveau, programmeertaal, paradigma en typesysteem. Allereerst laat ik enkele technieken zien om ingebedde domein-specifieke talen te maken. Daarna beschrijf ik mTask, een TOP-systeem voor randcomputers ingebed in iTask. diff --git a/nl/thuis.md b/nl/thuis.md index d19e83e..93b5e6a 100644 --- a/nl/thuis.md +++ b/nl/thuis.md @@ -8,3 +8,13 @@ language_reference: home {% include index_header.html %} {% include toc.html %} + +### Hobby's + +Langeafstandshardlopen, +[openwaterzwemmen](/nl/walrus.html), +wildplukken, +lezen, +heavymetalmuziek, +hacken, +linux.