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.
Nonprofit organizations (NPOs) have deployed various strategies in motivating businesses to source sustainably, such as the co-development and promotion of sustainability certification and direct collaboration in cross-sector partnerships (CSPs). This is an important current-day priority, given the ambitions set out in the Sustainable Development Goals (SDGs). Increasingly, NPOs have taken up a role as conveners of such CSPs. Research on CSPs has, to date, often considered conveners as a ‘resource’ to the CSP, contributing to its effectiveness. In this study, we shift the focus towards the convener by considering a case of a ‘mission-driven convener’, an NPO that initiates CSPs as a strategy to realize its own sustainability objectives. Our explorative case study—comparing the NPO’s efforts across six countries in setting up national coffee platforms—reviews the concept of a mission-driven convener vis-à-vis established notions on convening and identifies which strategies it applies to realize a CSP. These strategies comprise productively combining certification-driven efforts with CSPs, combining process and outcomes of CSPs, and drawing on cross-level dynamics derived from outsourcing of convening work to local actors. With our study, we contribute to research on CSP conveners by offering an alternative interpretation to the relation between the CSP and the convener, attributing more agency to the convener as a mission-driven organization. Strengthening our understanding of CSPs and conveners is an important means to advance the Sustainable Development Goals (SDGs).
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.
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.
