Reading and writing is modelled in CSP using actions containing the sym- bols ? and !. These reading and writing actions are synchronous and there is a one- to-one relationship between occurrences of pairs of these actions. It is cumbersome to ease the restriction of synchronous execution of the read and write actions. For this reason we introduce the half-asynchronous parallel operator that acts on actions con- taining the symbols ¿ and ¡ and study the impact on a Vertex Removing Synchronised Product.
DOCUMENT
Reading and writing is modelled in CSP using actions containing the symbols ? and !. These reading actions and writing actions are synchronous, and there is a one-to-one relationship between occurrences of pairs of these actions. In the CPA conference 2016, we introduced the half-synchronous alphabetised parallel operator X ⇓ Y , which disconnects the writing to and reading from a channel in time. We introduce in this paper an extension of X ⇓ Y , where the definition of X ⇓ Y is relaxed; the reading processes are divided into sets which are set-wise asynchronous, but intra-set-wise synchronous, giving full flexibility to the asynchronous writes and reads. Furthermore, we allow multiple writers to the same channel and we study the impact on a Vertex Removing Synchronised Product. The advantages we accomplish are that the extension of X ⇓ Y gives more flexibility by indexing the reading actions and allowing multiple write actions to the same channel. Furthermore, the extension of X ⇓Y reduces the end-to-end processing time of the processor or coprocessor in a distributed computing system. We show the effects of these advantages in a case study describing a Controlled Emergency Stop for a processor-coprocessor combination.
DOCUMENT
Reading and writing is modelled in CSP using actions containing the symbols ? and !. These reading actions and writing actions are synchronous, and there is a one-to-one relationship between occurrences of pairs of these actions. In the CPA conference 2017, we introduced the extended half-synchronous al- phabetised parallel operator X ⇕ Y , which disconnects the writing to and reading from a channel in time; the reading processes are divided into sets which are set-wise asynchronous, but intra-set-wise synchronous, giving full flexibility to the reads. In this paper, we allow multiple writers to write to the same channel set-wise asynchronously, but intra-set-wise synchronously and we study the impact on our (Extended) Vertex Removing Synchronised Product. The advantages we accomplish are that the extension of X ⇕ Y gives more flexibility by indexing the writing actions and the reading actions, leading to a straightforward majority vote design. Furthermore, the extension of X ⇕ Y preserves the advantages of the X ⇕ Y operator.
DOCUMENT
Nederland streeft naar een verduurzaming van het energiesysteem. In 2020 moet 14% van onze energie duurzaam opgewekt zijn, waarbij de zon, naast wind, als belangrijkste duurzame energiebron gezien wordt. Systemen voor geconcentreerde zonne-energie kunnen worden ingezet voor het opwekken van elektrische en/of thermische energie. Grootschalige systemen (multi-MW) met spiegels worden reeds toegepast in zonnevelden. Het HAN Lectoraat Duurzame Energie werkt al enige jaren aan innovatieve systemen met lenzen waarbij naast het concentreren van direct licht het overblijvende diffuse licht beschikbaar is voor verlichting van de onderliggende ruimte. We willen de in eerdere projecten opgedane kennis en ervaring nu inzetten in een nieuw project, waarin we streven van prototype naar toepassing te komen. De bedrijven zijn benaderd over de nog openstaande vragen. Hieruit is een nieuwe onderzoeksvraag gevormd: Hoe kan voor systemen van geconcentreerde zonne-energie voor toepassingen in glastuinbouw en gebouwde omgevingen voor de productie van zowel elektriciteit als warmte, de energie-opbrengst verhoogd worden door een optimaler gebruik van de lichtinval en met een compacter en duurzamer systeem? In dit project, CONSOLE (acroniem voor CONcentrated SOLar Energy), gaan we werken aan het optimaliseren van de bestaande systemen en het ontwerpen van verbeterde (hybride) systemen voor het opwekken van warmte en elektriciteit in kassen en gebouwde omgeving. We gebruiken hiervoor zowel modellering als meten en testen en komen vanuit een inventarisatie tot een pakket van eisen wat uiteindelijk tot verbeterde prototypes leidt die geschikt zijn voor commerciële toepassing. We doen dit vanuit een nauwe samenwerking met 12 MKB’s, een branche-organisatie en een Centre of Expertise. Daarnaast is er een directe koppeling met het onderwijs, door de betrokkenheid van docent-onderzoekers en studenten in semesterprojecten, stages en afstudeerprojecten.
Binnen de Nederlandse publieke sector wordt in toenemende mate gebruik gemaakt van digitale applicaties. Het is echter niet altijd duidelijk welke ethische implicaties hierbij ontstaan en welke waarden in het systeem worden mee genomen. Vanuit de werkagenda waardengedreven digitaliseren wordt opgeroepen om een gezamenlijk begrip te ontwikkelen rondom publieke waarden bij digitalisering en wordt aan het werkveld gevraagd om te ondersteunen bij het ontwikkelen van instrumenten die inzicht geven in de mate waarin een systeem voldoet aan publieke waarden. In samenwerking met PublicSpaces is dit professional doctorate traject gestart om te voldoen aan deze vraag. Hierbij willen we het echter breder trekken voor zowel een wetenschappelijke als praktische bijdrage. Hierom wordt een toolbox ontwikkeld, bestaande uit a. Een methode voor het in kaart brengen van welke publieke waarden relevant zijn bij het ontwerpen van een digitale applicatie b. een bibliotheek aan code chunks en design patterns rondom deze publieke waarden om ontwikkelaars te assisteren bij het ontwikkelen van de applicatie. c. Instrumenten voor het evalueren van digitiale applicaties aan publieke waarden. Dit wordt gedaan in een iteratief proces op basis van Value Sensitive Design. Hierbij zal het project zich eerst focussen op het sub-domein AI en algoritmes om daarna te abstraheren naar bredere digitale applicaties. Hierbij is de voornaamste contributie van het onderzoek dat er een gestructureerde en valide methode ontstaat die gebruikt kan worden om publieke waarden te identificeren en operationaliseren naar de praktijk.
Bij ernstige ongevallen zoals een slagaderlijke bloeding is goede hulp in de eerste minuten van levensbelang. Dergelijke ongevallen vinden vaak plaats tijdens situaties van zwaar (industrieel) werk, bosbouw, e.d. Vóórdat professionele hulp ter plaatse kan zijn, zijn slachtoffers afhankelijk van hulp door leken en middelen uit een EHBO-doos. Die middelen bestaan hoofdzakelijk uit pleisters en verbandmateriaal, maar voldoen niet voor het stoppen van een ernstige bloeding. Het belang van een betere EHBO kit wordt nog benadrukt doordat in de bouw en verkeer de ernst van verwondingen zijn toegenomen. First15 B.V. ontwikkelde daarom een noodkit die zowel de benodigde middelen (zoals een tourniquet en traumaverband) én instructies aanreikt en daarmee beoogt dat ook ongetrainde mensen in staat zijn levensreddend te handelen in situaties van ernstige bloeding. De instructiekaart is daarom speciaal ontwikkeld om met behulp van plaatjes instructies te geven voor levensreddend handelen. Om de effectiviteit van deze nieuwe kit te beoordelen, wordt onderzocht: (a) In hoeverre wordt de instructiekaart begrepen door ‘leken’ tijdens stressvolle situaties? (b) Ondersteunt de kit daadwerkelijk voor de gewenste levensreddende handelingen tijdens het bieden van hulp? En, (c) welke verbeterpunten zijn er aan het ontwerp van de firstaid-kit en instructiekaart? Vanwege het belang van testen onder representatieve omstandigheden is in dit onderzoek een vernieuwende aanpak gekozen: Het onderzoek gebruikt het Saxion patient simulatielab in combinatie met VR-technieken. De patientsimulator bootst daarbij een bloeding na. Ervaringen gesimuleerd in VR (zoals het onder tijdsdruk uitvoeren van handelingen met een gesimuleerde interface) zorgen daarbij voor stressoren die een meetbare invloed hebben op o.a. hartslag, en huidgeleiding. Adequaat handelen bij trauma-ongevallen door leken in de tijd totdat professionele hulpverlening arriveert is levensreddend. Testen of de nieuwe firstaid-kit onder praktijkomstandigheden leken in staat stelt om levensreddende handelingen te verlenen, is daarom heel belangrijk.
