Practicumopgave Mehmet Oktener
|
|
- Greta de Smet
- 7 jaren geleden
- Aantal bezoeken:
Transcriptie
1 Practicumopgave Mehmet Oktener Alban Ponse Kruislaan 403, kr tel Algemeen. In deze serie opgaven komt de specificatie van data typen aan de orde. Je wordt geacht de standaard-bibliotheek voor PSF te gebruiken. Alle genoemde tools, standaard-bibliotheek files en on-line manuals zijn te vinden op gene onder /home/psf/. Verdere informatie over de PSF-toolkit is te vinden op Maak de opgaven aan de hand van de volgende principes: Correctheid van je antwoorden is meest belangrijk. Verder wordt helderheid geprefereerd boven beknoptheid. Van elke ingeleverde PSF specificatie mag de volgorde van herschrijfregels (equations) niet van invloed zijn op het resultaat van herschrijvingen. Dit kun je gedeeltelijk controleren met het trs -r commando. In de hiernavolgende twee pagina s enkele wenken voor de specificatie van PSF processen binnen dit practicum. 1
2 Het gebruik van PSF voor proces specificatie Conditional Expressions. In PSF is ook de zgn. conditional expression gedefinieerd. Deze is ook bekend onder de noemers guarded command en if - then - fi. Met deze constructie kunnen we proces-gedrag op een eenvoudige manier afhankelijk maken van data-waarden. De PSF syntax van conditional expressions is als volgt: [s = t] -> P is een proces expressie als P dat is, en s en t zijn in de betreffende module data termen van dezelfde soort. De binding van de conditional expression is sterker dan de, en zwakker dan alle andere proces-operatoren. We geven de semantiek van deze constructie eerst met behulp van een simpel voorbeeld: P = sum(n in NATURAL, [even(n) = true ] -> a. Even(n) Even(n) = Odd(n) = Hier is P een proces dat aftelbaar veel verschillende executies heeft: een a-stap naar Even(n) voor elke even waarde van n, en een b-stap naar Odd(n) voor elke oneven waarde van n. Een expressie als [even(n) = true ] heet ook wel een guard. Als even(n) en true in de initiele algebra gelijk zijn, dan is deze guard true, en anders false. In dit laatste geval evalueert de conditional expression naar deadlock. In het eerste geval is de guard transparant: bv. [true = true ] -> Q gedraagt zich hetzelfde als Q. De actierelaties voor de conditional expressions zijn als volgt gedefinieerd: x a x ; s = t ([s = t] -> x) a x x a ; s = t ([s = t] -> x) a Merk op dat als de guard s = t false is (in de initiele algebra), het proces [s = t] -> P geen stappen kan doen, en zich dus hetzelfde gedraagt als deadlock. De conditional expressions voldoen aan een aantal eenvoudige algebraïsche identiteiten. bijvoorbeeld geen volgorde tussen de evaluatie van de en van de guard, dus en [s = t] -> P [s = t] -> Q [s = t] -> (P Q) beschrijven hetzelfde proces. Zo is er 2
3 Het simuleren van PSF processen. Evenals dit het geval is met data modules, kunnen proces modules met het commando psf worden gecompileerd naar TIL zie verder de manual pages). De simulator werkt op de door psf gegenereerde TIL file van een process module, en geeft de gebruiker de gelegenheid om stap voor stap elk gedefinieerd proces te executeren. Alle volgende acties die een geselecteerd proces kan doen, worden in een menu opgesomd. Het selecteren van één van deze alternatieven brengt het proces in de volgende toestand. Een probleem dat hierbij kan optreden wordt geïllustreerd aan de hand van het proces P, als hierboven gedefinieerd. Dit proces start immers met een keuze uit aftelbaar veel acties, en is derhalve niet simuleerbaar. De oplossing die we in het practicum gebruiken is tamelijk simpel. Voor simulatie-doeleinden passen we specificaties op de volgende manier aan: in plaats van P = sum(n in NATURAL, [even(n) = true ] -> a. Even(n) Even(n) = Odd(n) = specificeren we sets of NATURAL NAT-SET = { nat(^0), nat(^1), nat(^2), nat(^3), nat(^4), nat(^5), nat(^6), nat(^7), nat(^8), nat(^9), nat(^1^0) } P = sum(n in NAT-SET, [even(n) = true ] -> a. Even(n) Even(n) = Odd(n) = waarmee we in dit voorbeeld de eerste 11 mogelijke stappen van P simuleren. In het algemeen is het specifiek toevoegen van een eindige (willekeurige) simulatie-set voor elke oneindige soort, het veranderen van de de betreffende soort in de scope van een sum-operator afdoende om simuleerbare specificaties te krijgen. Het is in dit practicum steeds de bedoeling dat simuleerbare proces modules worden ingeleverd. Een precieze beschrijving van het gebruik van de simulator is te vinden in de on-line manual; het betreffende commando heet sim. 3
4 Opgave. In deze opgave beschouwen we een eenvoudig systeem voor het sturen van een CV (centrale verwarming). We nemen aan dat een thermometer-proces E uit de module Thermometer regelmatig, zeg eens per seconde, de temperatuur t van de te verwarmen ruimte naar de thermostaat stuurt middels een actie send-et(t), en dat t {1, 2,, 30}. Het systeem bestaat uit de parallelle compositie van E en de volgende drie processen: 1. Een gebruiker G kan middels een send-actie een gewenste temperatuur van i graden Celsius instellen op de thermostaat (i {1, 2,, 30}), of de thermostaat met rust laten. 2. De ingestelde thermostaat T(n) ontvangt van E middels een read-actie de temperatuur in de te verwarmen ruimte. Verder kan de thermostaat middels een read-actie een door de gebruiker nieuw ingestelde temperatuur aflezen, en kan dit proces middels een send-actie de CV-ketel aan- en uitschakelen. 3. De CV-ketel C schakelt afwisselend aan en uit na read-acties op een boodschap van de thermostaat. De volgende proces-signatuur is gegeven: process module Kachel begin exports begin atoms send-gt, read-gt, comm-gt : NATURAL read-et, comm-et : NATURAL send-tc, read-tc, comm-tc : SIG send-nothing-gt, read-nothing-gt, comm-nothing-gt processes G T : NATURAL C SYSTEM end imports Signals, Naturals, Thermometer -- hoofdletters in de acties -- geven de source en destination -- van de boodschappen aan De geïmporteerde module Signals bevat de soort SIG met constanten aan en uit. De geïmporteerde module Naturals bevat de bekende specificatie van de natuurlijke getallen en de gebruikelijke functies hierop. De definitie van de processen G en C wordt gegeven: G = sum(t in W-temp-set, send-gt(t). G) send-nothing-gt. G C = read-tc(aan). read-tc(uit). C De set W-temp-set bevat de te meten en in te stellen temperatuur waarden: sets of NATURAL W-temp-set = {nat(^1), nat(^2), nat(^3), nat(^4), nat(^5), nat(^6), nat(^7), nat(^8), nat(^9), nat(^1^0), nat(^1^1), nat(^1^2), nat(^1^3), nat(^1^4), nat(^1^5), nat(^1^6), nat(^1^7), nat(^1^8), nat(^1^9), nat(^2^0), nat(^2^1), nat(^2^2), nat(^2^3), nat(^2^4), nat(^2^5), nat(^2^6), nat(^2^7), nat(^2^8), nat(^2^9), nat(^3^0)} a. Beschrijf in informele taal hoe de thermostaat moet functioneren. 4
5 b. Geef een definitie van het proces T voor de thermostaat in overeenstemming met je antwoord bij a. Dit proces heeft een parameter van de soort NATURAL: de door de gebruiker ingestelde temperatuur. c. Geef een definitie van het proces SYSTEEM, de parallelle compositie van de processen G, T(n), C en E, waarbij T(n) met een willekeurige W-temp-set waarde mag zijn geïnitialiseerd. Geef ook de definitie van de eventueel gebruikte sets en communicaties. 5
Practicumopgaven Gerrit-Jan Jansen & Mark Meertens
Practicumopgaven Gerrit-Jan Jansen & Mark Meertens Alban Ponse Kruislaan 403, kr. 2.45 tel. 5257592 e-mail: alban@science.uva.nl Algemeen. In deze serie opgaven komt de specificatie van data typen aan
Nadere informatieHonours projecten BSc Informatica: twee voorstellen
Honours projecten BSc Informatica: twee voorstellen mogelijk ook geschikt voor BSc Kunstmatige Intelligentie Alban Ponse section Theory of Computer Science Informatics Institute, University of Amsterdam
Nadere informatieProgrammeren A. Genetisch Programma voor het Partitie Probleem. begeleiding:
Programmeren A Genetisch Programma voor het Partitie Probleem begeleiding: Inleiding Het Partitie Probleem luidt als volgt: Gegeven een verzameling van n positieve integers, vindt twee disjuncte deelverzamelingen
Nadere informatieAFO 142 Titel Aanwinsten Geschiedenis
AFO 142 Titel Aanwinsten Geschiedenis 142.1 Inleiding Titel Aanwinsten Geschiedenis wordt gebruikt om toevoegingen en verwijderingen van bepaalde locaties door te geven aan een centrale catalogus instantie.
Nadere informatieSemantiek (2IT40) Bas Luttik. HG 7.14 tel.: Hoorcollege 8 (7 juni 2007)
Bas Luttik s.p.luttik@tue.nl http://www.win.tue.nl/~luttik HG 7.14 tel.: 040 247 5152 Hoorcollege 8 (7 juni 2007) Functionele talen Idee: een programma definieert reeks (wiskundige) functies. Programma
Nadere informatieHonours projecten BSc Informatica: twee voorstellen
Honours projecten BSc Informatica: twee voorstellen mogelijk ook geschikt voor BSc Kunstmatige Intelligentie Alban Ponse section Theory of Computer Science Informatics Institute, University of Amsterdam
Nadere informatie9.4 Aangepaste tekstberichten beheren
Aangepaste tekstberichten beheren.4 Aangepaste tekstberichten beheren U kunt uw afdruk aantrekkelijk of persoonlijk maken door een tekstbericht toe te voegen links naast de afdruk. Als supervisor kunt
Nadere informatieSemantiek (2IT40) Jos Baeten. Formele Methoden. HG 7.19 tel.: Hoorcollege 1 (29 maart 2007)
Jos Formele Methoden josb@win.tue.nl http://www.win.tue.nl/~josb/ HG 7.19 tel.: 040 247 5155 Hoorcollege 1 (29 maart 2007) 2IT40 Organisatie Colstructie: docent: wanneer: donderdagen 3 e en 4 e uur waar:
Nadere informatieGelijktijdigheid: Wederzijdse Uitsluiting & Synchronisatie Concurrency: Mutual Exclusion & Synchonization (5e ed: 5.1-5.2, Appendix A.
Gelijktijdigheid: Wederzijdse Uitsluiting & Synchronisatie Concurrency: Mutual Exclusion & Synchonization (5e ed: 51-52, Appendix A1) Processes zijn meestal niet onafhankelijk Bijvoorbeeld: 2 processen
Nadere informatieGEBRUIKERSHANDLEIDING T8530
MASTER MENU Het Master Menu geeft de bezitter van de Master Code toegang tot de volgende functies: Tijd en Datum instellen Tijdslot (T.S.) instellen (standaard week en bijzondere gebeurtenissen) Code wijzigen
Nadere informatieTake-home Tentamen Protocolvericatie. Universiteit van Amsterdam. 27 Maart 1994
Take-home Tentamen Protocolvericatie Vakgroep Programmatuur Universiteit van Amsterdam 27 Maart 1994 Algemene Opmerkingen Dit tentamen omvat zes reguliere opgaven plus een bonusopgave. Opgaves 1, 2, 5
Nadere informatiePerceptive Process. Release Notes. Version: 3.5.x
Perceptive Process Release Notes Version: 3.5.x Written by: Product Knowledge, R&D Date: December 2015 2015 Lexmark International Technology, S.A. All rights reserved. Lexmark is a trademark of Lexmark
Nadere informatieTermherschrijfsystemen en Propositie-Algebra
Termherschrijfsystemen en Propositie-Algebra Evalien IJsendijk 19 augustus 2010 Bachelorscriptie Begeleiding: dr. Alban Ponse x y z u v x y v z x u v KdV Instituut voor Wiskunde Faculteit der Natuurwetenschappen,
Nadere informatieTREVLER AIR Model GL300
HANDLEIDING TREVLER AIR Model GL300 WAARSCHUWING: Stel de Trevler niet bloot aan: - water - andere vloeibare substanties - extreme hitte of kou Open de behuizing van de Trevler nooit, om gevaar voor elektrische
Nadere informatieBeknopte handleiding SQ Vieuw software
Beknopte handleiding SQ Vieuw software Het startscherm met de verschillende opties: - Logger Set-up : het programmeren van de datalogger naar een gewenste configuratie - Download Data: het halen van data
Nadere informatieGS1 Data Source. Invoeren en wijzigen van gegevens met Excel
GS1 Data Source Invoeren en wijzigen van gegevens met Excel 1 Gebruik van Excel In de GS1 Data Source webinterface kunt u eenvoudig met Excel gegevens van meerdere artikelen tegelijk vastleggen, toevoegen
Nadere informatieEventing. Introductie. Regel verwerking. Basis structuur
Eventing Eventing...1 Introductie...1 Regel verwerking...1 Basis structuur...1 Waar of Onwaar...2 AND en OR...2 Haakjes...3 Operatoren...3 Apparaten...3 Functies...4 Acties...4 Parameters van apparaten
Nadere informatiejanuari TTNWW Handleiding TST tools voor het Nederlands als Web services in een Workflow Meertens Instituut, Joan Muyskensweg 25, 1096 CJ Amsterdam
januari 2013 TTNWW Handleiding TST tools voor het Nederlands als Web services in een Workflow Meertens Instituut, Joan Muyskensweg 25, 1096 CJ Amsterdam Table of Contents Inleiding... 3 Gebruik van de
Nadere informatieStap 1. Bepalen van invoer Het makkelijkst kun je dit vinden uit de zwarte vlakken met voorbeelden:
Stap 1. Bepalen van invoer Het makkelijkst kun je dit vinden uit de zwarte vlakken met voorbeelden: Na de opdracht Maak uw keuze: wordt er voor het eerst iets ingetypt door de gebruiker. De getallen die
Nadere informatieSemantiek (2IT40) Jos Baeten. HG 7.19 tel.: Hoorcollege 3 (12 april 2007)
Jos Baeten josb@wintuenl http://wwwwintuenl/~josb/ HG 719 tel: 040 247 5155 Hoorcollege 3 (12 april 2007) Voorbeeld [Bewijstechniek 2 niet altijd succesvol] Executie van commands is deterministisch: c
Nadere informatieVHDL overzicht. Digitale Systemen (ET1 410) VHDL? VHDL? Sequentieel vs. Concurrent 2/15/2011
VHDL overzicht Digitale Systemen (ET1 410) Arjan van Genderen Stephan Wong Faculteit EWI Technische Universiteit Delft Cursus 2010 2011 Wat is VHDL? Waarvoor gebruiken we het? Deze college Sequentieel
Nadere informatieQuick start handleiding versie 1.0
Quick start handleiding versie.0 Inleiding Beste gebruiker, Via dit document lopen we door de basis onderdelen van je eigen Mijn Kroost control panel. Dit control panel vormt de basis voor het gebruik
Nadere informatieOpgaven bij Hoofdstuk 3 - Productiesystemen
Opgaven bij Hoofdstuk 3 - Productiesystemen Top-down inferentie In de opgaven in deze paragraaf over top-down inferentie wordt aangenomen dat de feitenverzameling alleen feiten bevat die als getraceerd
Nadere informatieOntwerp van Algoritmen: opgaven weken 3 en 4
0 Ontwerp van Algoritmen: opgaven weken 3 en 4 Voor alle volgende opgaven over programmaatjes geldt de spelregel: formuleer altijd eerst alle bewijsverplichtingen. selectie 45. (tail distribution)(prima
Nadere informatieBROdeLuxe Opties. Skins. Peter Wester
BROdeLuxe Opties is een presentatie/training met als doel de Opties binnen BROdeLuxe uit te leggen. Aan bod komen de volgende onderwerpen: Opties Opties tab Algemeen Opties tab Bestanden Opties tab Recepten
Nadere informatieVERZAMELINGEN EN AFBEELDINGEN
I VERZAMELINGEN EN AFBEELDINGEN Het begrip verzameling kennen we uit het dagelijks leven: een bibliotheek bevat een verzameling van boeken, een museum een verzameling van kunstvoorwerpen. We kennen verzamelingen
Nadere informatieHeatLink HANDLEIDING 1
HeatLink HANDLEIDING 1 Inhoudsopgave Inhoud van de doos Inhoud van de doos...3 Bedien de temperatuur in huis, altijd en overal...4 Compatibiliteit met ketels en thermostaten...6 De HeatLink aansluiten
Nadere informatieBijlage Inlezen nieuwe tarieven per verzekeraar
! Bijlage inlezen nieuwe tarieven (vanaf 3.2) Bijlage Inlezen nieuwe tarieven per verzekeraar Scipio 3.303 biedt ondersteuning om gebruikers alle tarieven van de verschillende verzekeraars in één keer
Nadere informatieMidi PDF Bladmuziek lezer
Inleiding. Ruim 20 ordners aan bladmuziek, meeste daarvan uitgeprint van een PDF. Even snel een nummer opzoeken wil dan ook niet, terwijl ik alles wel op alfabetische volgorde heb. Dat was het niet helemaal
Nadere informatieProject Objectgericht Programmeren : Deel 3
Project Objectgericht Programmeren : Deel 3 Prof. Eric Steegmans Raoul Strackx Academiejaar 2010-2011 Deze tekst beschrijft het derde deel van de opgave voor het project van de cursus Objectgericht Programmeren.
Nadere informatieInleiding programmeren
Inleiding programmeren Docent: José Lagerberg Assistenten: Robin de Vries, Jordy Perlee, Dimitri Belfor, Stephen Swatman, Erik Kooistra, Daan Kruis, Daniel Louwrink Cursusinformatie: https://staff.fnwi.uva.nl/j.m.lagerberg
Nadere informatieBellen Zonder Zorgen
Bellen Zonder Zorgen Je hebt het vast wel eens gehad. Ben je lekker aan het werk op je computer loopt hij ineens vast! En natuurlijk heb je het werk niet opgeslagen. Je probeert nog van alles om te redden
Nadere informatieSelenium IDE Webdriver. Introductie
Selenium IDE Webdriver Het Wielsem 10, 5231 BW s- Hertogenbosch, telefoon 073-6409311 e- mail info@testwork.nl internet http://www.testwork.nl 1 Inhoudsopgave 1 Inhoudsopgave... 2 2 Selenium IDE... 3 3
Nadere informatieDoor: Ruud van Eeghem Datum: juni 2008 Versie: 1.0. Handleiding gebruik EPBD GIPC tool
Door: Ruud van Eeghem Datum: juni 2008 Versie: 1.0 Handleiding gebruik EPBD GIPC tool Aanleiding De EPBD GIPC tool is een database die ontwikkeld is om het gebruik van de generieke interface van de EPBD
Nadere informatieBeslisbare talen (1) IN2505-II Berekenbaarheidstheorie. Beslisbare talen (2) Beslisbare talen (3) De talen: College 7
Beslisbare talen (1) College 7 Algoritmiekgroep Faculteit EWI TU Delft 10 mei 2009 De talen: A DFA = { M, w M is een DFA die w accepteert} A NFA = { M, w M is een NFA die w accepteert} E DFA = { M M is
Nadere informatieMacro s. 4.2 Een macro maken
4.2 Een macro maken Een macro is een reeks van commando s die u kunt maken en die een programma uitvoeren. Wanneer u de macro in zijn geheel uitvoert, dan worden de acties opeenvolgend uitgevoerd. Elk
Nadere informatieHandleiding ego4: anaxis.be. Webformulieren en Loket - Workflow INFO@ANAXIS.BE ONDERNEMINGSNR. BE 0472 699 311
Handleiding ego4: Webformulieren en Loket - Workflow 1 Inhoud 2 Inleiding...3 3 Webformulieren...3 3.1 Toevoegen...3 3.2 Workflow beheren...3 3.2.1 Nieuwe stap toevoegen...4 3.2.2 Opvolging...4 3.2.3 Acties...5
Nadere informatieProgrammeermethoden NA. Week 5: Functies (vervolg)
Programmeermethoden NA Week 5: Functies (vervolg) Kristian Rietveld http://liacs.leidenuniv.nl/~rietveldkfd/courses/prna/ Bij ons leer je de wereld kennen 1 Functies Vorige week bekeken we functies: def
Nadere informatieZomercursus Wiskunde. Module 4 Limieten en asymptoten van rationale functies (versie 22 augustus 2011)
Katholieke Universiteit Leuven September 20 Module 4 Limieten en asymptoten van rationale functies (versie 22 augustus 20) Inhoudsopgave Rationale functies. Inleiding....................................2
Nadere informatieTREVLER AIR Model OBD2 AX5
HANDLEIDING TREVLER AIR Model OBD2 AX5 WAARSCHUWING: Stel de Trevler niet bloot aan: - water - andere vloeibare substanties - extreme hitte of kou Open de behuizing van de Trevler nooit, om gevaar voor
Nadere informatie11. Eenvoudige programma s schrijven in Maxima
11. Eenvoudige programma s schrijven in Maxima We zullen in dit hoofdstuk een aantal eenvoudige Maxima programma s laten zien. 11.1. Aantal wortels van een vierkantsvergelijking Het onderstaande programma
Nadere informatieVoor vloerverwarming de juiste temperatuur, op het juiste moment, op de juiste plek.
Koen Voor vloerverwarming de juiste temperatuur, op het juiste moment, op de juiste plek. plugwise.com 21ºc 09:30 uur Altijd en overal de juiste temperatuur Koen is de voordelige oplossing als je zoneverwarming
Nadere informatieGebruiksaanwijzing NL Unox Line Miss Elena & Rosella ELENA ROSELLA
Gebruiksaanwijzing NL Unox Line Miss Elena & Rosella ELENA ROSELLA AAN EN UITSCHAKELEN Het bedieningspaneel van de oven kan in twee standen werken, de handmatige stand, en de geprogrammeerde stand. In
Nadere informatieTRILLINGEN EN GOLVEN HANDOUT FOURIER
TRILLINGEN EN GOLVEN HANDOUT FOURIER Cursusjaar 2009 / 2010 2 Inhoudsopgave 1 FOURIERANALYSE 5 1.1 INLEIDING............................... 5 1.2 FOURIERREEKSEN.......................... 5 1.3 CONSEQUENTIES
Nadere informatieOffective > Verkoop > Offertes
Offective > Verkoop > Offertes Met Offective kunt u ongelimiteerd offertes maken, na het klikken op het menu item Verkoop > Offertes komt onderstaand scherm, hier heeft u direct overzicht van de verschillende
Nadere informatieElliptische krommen en digitale handtekeningen in Bitcoin
Elliptische krommen en digitale handtekeningen in Bitcoin Bas Edixhoven Universiteit Leiden KNAW Bitcoin symposium Deze aantekeningen zal ik op mijn homepage plaatsen. Bas Edixhoven (Universiteit Leiden)
Nadere informatieFormeel Denken 2014 Uitwerkingen Tentamen
Formeel Denken 2014 Uitwerkingen Tentamen (29/01/15) 1. Benader de betekenis van de volgende Nederlandse zin zo goed mogelijk (6 punten) door een formule van de propositielogica: Als het regent word ik
Nadere informatieControle structuren. Keuze. Herhaling. Het if statement. even1.c : testen of getal even of oneven is. statement1 statement2
Controle structuren De algemene vorm: 1 bloks door middel van indentatie Keuze Herhaling if expressie :...... In de volgende vorm is het else gedeelte weggelaten: if expressie :... Het if keuze- of conditioneel
Nadere informatieWORKSHOP ORANGE PI & PYTHON v september 2017
WORKSHOP ORANGE PI & PYTHON v1.1 21 september 2017 In deze workshop maak je kennis met een zogenaamde bord-computer ter grootte van een bankpas. Een bord-computer kan gebruikt worden als een normale computer
Nadere informatieAutomaten & Complexiteit (X )
Automaten & Complexiteit (X 401049) Beschrijven van reguliere talen Jeroen Keiren j.j.a.keiren@gmail.com VU University Amsterdam 5 Februari 2015 Talen Vorig college: Talen als verzamelingen Eindige automaten:
Nadere informatieFacturatie > Aanmanen
Facturatie > Aanmanen Let op: voordat u aanmaningsregels kunt toevoegen, kunt u het beste eerst een documenttemplate en e-mailtemplate aanmaken. Dit kunt u doen in respectievelijk de tabbladen 'Documenttemplates'
Nadere informatieUser accounts maken in een Wandy Hotspot, d.m.v. een batch.
User accounts maken in een Wandy Hotspot, d.m.v. een batch. Bij het in gebruik nemen van een Wandy Hotspot is het aanmaken van gebruikers een tijdrovende klus. Om snel veel accounts aan te maken hebben
Nadere informatieHANDLEIDING VAN DATARECORDER SOFTWARE (FOR WS-9010)
HANDLEIDING VAN DATARECORDER SOFTWARE (FOR WS-9010) Inleiding Dit Temperatuurstation en de bijbehorende software van de datarecorder vormen een kwalitatief hoogstaand dataverwerkingsysteem. Nadat u de
Nadere informatieHet omzetten van reguliere expressies naar eindige automaten, zie de vakken Fundamentele Informatica 1 en 2.
Datastructuren 2016 Programmeeropdracht 3: Patroonherkenning Deadlines. Woensdag 23 november 23:59, resp. vrijdag 9 december 23:59. Inleiding. Deze opdracht is gebaseerd op Hoofdstuk 13.1.7 in het boek
Nadere informatieHandleiding Site to Edit Module Header
THAR Design Kipboomweg 15 7636 RC AGELO E-mail: info@thar.nl Website: www.thar.nl KvK nummer: 08165396 BTW nummer: NL8186.22.416.B01 Rekeningnummer: 45.09.80.59 Handleiding Site to Edit Module Header Aanvulling
Nadere informatieVBA voor Doe het Zelvers deel 20
VBA voor Doe het Zelvers deel 20 Handleiding van Auteur: leofact Augustus 2015 handleiding: VBA voor Doe het Zelvers deel 20 Vorige aflevering In het vorige deel werd besproken hoe je de structuur en vensteropbouw
Nadere informatieToetsen in Blackboard
Toetsen in Blackboard Met de tool Test kun je toetsvragen maken en afnemen. In dit document wordt uitgelegd 1. Hoe een toets gemaakt kan worden. 2. Hoe een toets bewerkt kan worden. 3. Hoe een toets beschikbaar
Nadere informatieDiscrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie
Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 22 februari 2009 INDUCTIE & RECURSIE Paragrafen 4.3-4.6 Discrete Structuren Week 3:
Nadere informatieDEALER ACCOUNT & SITE LICENTIE
i3learnhub DEALER ACCOUNT & SITE LICENTIE 2 www.i3-technologies.com INHOUD Dealer account aanmaken...4 Je dealer site licentie opzetten...6 Collega s toevoegen aan de site licentie... 11 i3learnhub DEALER
Nadere informatieMADASTER PLATFORM. IFC export in BIM software. Archicad 21 & Revit 2019
MADASTER PLATFORM IFC export in BIM software Archicad 21 & Revit 2019 Juni 2018 Inleiding Deze handleiding dient ter ondersteuning van het importeren van uw gebouw naar het Madaster platform. Om u bestand
Nadere informatieTentamen IN3105 Complexiteitstheorie
Tentamen IN3105 Complexiteitstheorie 31 maart, 9.00 12.00 uur - Dit tentamen bestaat uit 10 meerkeuzevragen, 5 korte (open) vragen en 2 open vragen. - Per meerkeuzevraag kunnen 0 tot 4 alternatieven juist
Nadere informatieDisclaimer Het bestand dat voor u ligt, is nog in ontwikkeling. Op verzoek is deze versie digitaal gedeeld. Wij willen de lezer er dan ook op wijzen
Disclaimer Het bestand dat voor u ligt, is nog in ontwikkeling. Op verzoek is deze versie digitaal gedeeld. Wij willen de lezer er dan ook op wijzen dat er zowel typografische als inhoudelijke onvolkomenheden
Nadere informatieFaculteit Elektrotechniek - Leerstoel ES Tentamen Schakeltechniek. Vakcode 5A050, 17 november 2004, 9:00u-12:00u
achternaam : voorletters : identiteitsnummer : opleiding : Tijdens dit tentamen is het gebruik van rekenmachine of computer niet toegestaan. Vul je antwoorden in op dit formulier. Je dient dit formulier
Nadere informatieE- mailadressen uit doelgroepen in NC halen (Actie- lijsten).
E- mailadressen uit doelgroepen in NC halen (Actie- lijsten). Dit is een stapje verder... Hiermee gaat u niet zomaar naar bv. Alle particulieren een mailing doen. ð Je gaat hier enkel personen of bedrijven
Nadere informatieOpleiding ELEKTROMECHANICA optie Automatisatie LAB Labo Regeltechniek KLAS: 2AUa Academiejaar
en Doorniksesteenweg 145-8500 KORTRIJK - Tel. : (056)26 41 20 - Fax : (056)21 98 67 - E-mail: elektromechanica@katho.be w w w. k a t h o. b e / v h t i / e l e k t r o m e c h a n i c a Opleiding ELEKTROMECHANICA
Nadere informatieFunctioneel programmeren
Functioneel programmeren Practicumopgave 2: Mastermind Het doel van deze opgave is het implementeren van het spel Mastermind; zie http://nl.wikipedia.org/wiki/mastermind voor een uitleg. Het spel is klein
Nadere informatieHandleiding uitwisseling Tekla Structures RFEM versie: Dlubal RFEM 5.02 - Tekla Structures 19.1
Handleiding uitwisseling Tekla Structures RFEM versie: Dlubal RFEM 5.02 - Tekla Structures 19.1 1 Inhoudsopgave: 1 Rekenmodel maken... 3 2 Import in RFEM... 10 3 Export naar Tekla Structures... 15 2 Rekenmodel
Nadere informatieSoftware Test Plan. Yannick Verschueren
Software Test Plan Yannick Verschueren November 2014 Document geschiedenis Versie Datum Auteur/co-auteur Beschrijving 1 November 2014 Yannick Verschueren Eerste versie 1 Inhoudstafel 1 Introductie 3 1.1
Nadere informatieRodin installatiehandleiding (vanaf versie 2.1.xxx.x)
Rodin installatiehandleiding (vanaf versie 2.1.xxx.x) Introductie De Rodin applicatie bestaat uit een programma en een database. Het programma zal altijd lokaal op uw computer worden geïnstalleerd, terwijl
Nadere informatieGebruikers handleiding. Lizard Configuration Manager ToolTip. Installatie. Instellen. Initieel instellen
Gebruikers handleiding Lizard Configuration Manager ToolTip Installatie Installeer eerst het volgende: Installeer python 2.5.2; zie de map Breda\Tooltip\lcm\install\python-2.5.2.msi Ga naar dos (run/uitvoeren
Nadere informatieUitleg bij videocursus hoofdstuk 5
Uitleg bij videocursus hoofdstuk 5 Les 5.1 Menu We gaan eerst de titel van het hoofdmenu aanpassen. Ga naar extensies. Kies voor modulebeheer. Zet het vinkje toon titel op Ja om de titel weer te geven.
Nadere informatieBEGINNER JAVA Inhoudsopgave
Inhoudsopgave 6 Configuratie Hallo wereld! Praten met de gebruiker Munt opgooien Voorwaarden Lussen......6 Configuratie Met deze Sushi kaarten ga je een simpel spel maken met één van de meest populaire
Nadere informatieProgrammeermethoden. Controle-structuren. Walter Kosters. week 3: september kosterswa/pm/
Programmeermethoden Controle-structuren Walter Kosters week 3: 17 21 september 2018 www.liacs.leidenuniv.nl/ kosterswa/pm/ 1 Inleveren opgave 1 Inleveren: digitaal clintonobama1.cc en print van mooi.pdf.
Nadere informatiePython. Vraag 1: Expressies en types. Vraag 1 b: Types -Ingebouwde functies- Vraag 1 a 3/10/14
Python Vraag 1: Expressies en types Integrated Development Environment (IDE): Ø Wing 101 (gratis te downloaden op www.wingware.com) Oefeningen in de shell >> noemen we de prompt Python commando s = expressies
Nadere informatieInleiding Programmeren 2
Inleiding Programmeren 2 Gertjan van Noord November 26, 2018 Stof week 3 nogmaals Zelle hoofdstuk 8 en recursie Brookshear hoofdstuk 5: Algoritmes Datastructuren: tuples Een geheel andere manier om te
Nadere informatieInleiding Programmeren 2
Inleiding Programmeren 2 Gertjan van Noord November 28, 2016 Stof week 3 nogmaals Zelle hoofdstuk 8 en recursie Brookshear hoofdstuk 5: Algoritmes Datastructuren: tuples Een geheel andere manier om te
Nadere informatie1 Recurrente betrekkingen
WIS1 1 1 Recurrente betrekkingen 1.1 De torens van Hanoi De torens van Hanoi Edouard Lucas, 1884: Gegeven 3 pinnen en 64 schijven van verschillende grootte. Startsituatie: 64 op linkerpin, geordend naar
Nadere informatieZomercursus Wiskunde. Katholieke Universiteit Leuven Groep Wetenschap & Technologie. September 2008
Katholieke Universiteit Leuven September 2008 Limieten en asymptoten van rationale functies (versie juli 2008) Rationale functies. Inleiding Functies als f : 5 5, f 2 : 2 3 + 2 f 3 : 32 + 7 4 en f 4 :
Nadere informatieopgaven formele structuren tellen Opgave 1. Zij A een oneindige verzameling en B een eindige. Dat wil zeggen (zie pagina 6 van het dictaat): 2 a 2.
opgaven formele structuren tellen Opgave 1. Zij A een oneindige verzameling en B een eindige. Dat wil zeggen (zie pagina 6 van het dictaat): ℵ 0 #A, B = {b 0,..., b n 1 } voor een zeker natuurlijk getal
Nadere informatieCollege Introductie
College 2016-2017 Introductie Doaitse Swierstra (Jeroen Bransen) Utrecht University September 13, 2016 Waarom is FP anders? in plaats van opdrachten die na elkaar moeten worden uitgevoerd, definiëren we
Nadere informatieHandleiding Brunata WebMon (instellen rapportages)
Handleiding Brunata WebMon (instellen rapportages) Warmtemeterservice B.V. versie 0.9 / 2019-04-11 afrekening@wms.nl 2 Wat is Brunata WebMon? Brunata WebMon is een onderdeel van Brunata Online en staat
Nadere informatieOverzichten genereren in het FMIS
Overzichten genereren in het FMIS 1. Algemeen Het FMIS is een database-applicatie waarin een gigantische set aan gegevens zit. Deze gegevens worden beheerd door gebruik te maken van de verschillende modules:
Nadere informatieHandleiding ISaGRAF. Wil men het programma bewaren, dan is het verstandig een back-up te maken: C9 Back-up / Restore
Handleiding ISaGRAF C Handleiding ISaGRAF Deze handleiding beoogt een korte samenvatting te geven van handelingen die verricht moeten worden om met behulp van ISaGRAF een PLC-programma te schrijven en
Nadere informatieDit document beschrijft hoe notificaties werken binnen Apployed en hoe deze kunnen worden ingesteld aan de behoefte van de eigen organisatie.
Inleiding Dit document beschrijft hoe notificaties werken binnen Apployed en hoe deze kunnen worden ingesteld aan de behoefte van de eigen organisatie. Algemene werking notificaties Notificaties worden
Nadere informatieSwitch. Handleiding 200.106.110117
Switch Handleiding 200.106.110117 Hartelijk dank voor uw aanschaf van deze uitbreiding van uw Plugwise systeem. Met de Switch kunt u draadloos de elektrische stroom naar de apparaten in uw Plugwise netwerk
Nadere informatie4. Vereenvoudigen expressies
Computeralgebra met Maxima 4. Vereenvoudigen expressies 4.1. Vereenvoudigen ratsimp De grote kracht van een Computer-Algebra-Systeem als Maxima ligt daarin, dat niet alleen numerieke expressies vereenvoudigd/berekend
Nadere informatieETIM UP Handleiding Ketenstandaard Bouw en Installatie Versie:
ETIM UP Handleiding Ketenstandaard Bouw en Installatie Versie: 25-07-17 Handleiding ETIM UP 1 Inhoudsopgave Over ETIM UP...3 1 Algemeen...4 1.1 Website...4 1.2 Toegang...4 1.3 Bestandsformaten...4 2 Dashboard...5
Nadere informatieHandleiding installatie QV soft certificaat.
1. Installatie Certificaat 1.1. Open de mail met als onderwerp Registrant Invitation die u heeft gekregen van Trustlink (do-not-reply) en klik op de link. 1.2 Vul uw email adres in op de website. 1.3 Beantwoord
Nadere informatieTentamen Kunstmatige Intelligentie (INFOB2KI)
Tentamen Kunstmatige Intelligentie (INFOB2KI) 30 januari 2014 10:30-12:30 Vooraf Mobiele telefoons dienen uitgeschakeld te zijn. Het tentamen bestaat uit 7 opgaven; in totaal kunnen er 100 punten behaald
Nadere informatieDeel I Hoofdstuk 4: Modelleren van Toestand
Deel I Hoofdstuk 4: Modelleren van Toestand 2005 Prof Dr. O. De Troyer Toestandsmodel pag. 1 Berichten of boodschappen OO is gebaseerd op hoe de reële wereld werkt 2005 Prof. Dr. O. De Troyer Toestandsmodel
Nadere informatieHandleiding Rev1 2016
Handleiding Inhoud 1) Installatie 1 2) Login 2 3) Drie belangrijke stappen - wachtwoord wijzigen 2 - voertuignaam wijzigen 2 - een tag maken 3 4) kilometerstand invoeren 4 5) Ritregistratie 5 6) Automatische
Nadere informatiecolleges recursieve datastructuren college 9 prioriteit van operatoren prioriteit in recursive descent parser
colleges recursieve datastructuren college 9 interpreteren: waarde van bomen bepalen transformeren: vorm van bomen veranderen parseren herkennen van expressie in de tekst herkennen van functies onderwerp
Nadere informatieHANDLEIDING QUICKHEAT-FLOOR THERMOSTAAT
HANDLEIDING QUICKHEAT-FLOOR THERMOSTAAT Technische gegevens: Spanning: 230-240VAC + aarde Frequentie: 50-60Hz Weerstandsbelasting: 16A (3600W-230VAC) Inductieve belasting: 1A IP Waarde: IP21 Aanpassing:
Nadere informatieGenererende Functies K. P. Hart
genererende_functies.te 27--205 Z Hoe kun je een rij getallen zo efficiënt mogelijk coderen? Met behulp van functies. Genererende Functies K. P. Hart Je kunt rijen getallen op diverse manieren weergeven
Nadere informatieAutomaten. Informatica, UvA. Yde Venema
Automaten Informatica, UvA Yde Venema i Inhoud Inleiding 1 1 Formele talen en reguliere expressies 2 1.1 Formele talen.................................... 2 1.2 Reguliere expressies................................
Nadere informatie27/03/2014. GSM102 2 relais GSM OPENER PROGRAMMATIE HANDLEIDING
27/03/2014 GSM102 2 relais GSM OPENER PROGRAMMATIE HANDLEIDING 1. Aansluitschema s 2. Specificaties Voedingsspanning -24 Vac-dc Stroomverbruik Maximum 250 ma, nominaal 55 ma GSM frequentie GSM 850/900/1800/1900
Nadere informatieNieuwe 3D functionaliteiten in MicroStation V8i SelectSeries 3
Nieuwe 3D functionaliteiten in MicroStation V8i SelectSeries 3 Tijdens deze workshop ehandelen we enkele nieuwe 3D functionaliteiten van MicroStation V8i SelectSeries 3. Open de tekening workshop TMC,
Nadere informatiePRAKTICUMOPGAVE 1. De eerste prakticumopgave is het maken van een applet om een "Mandelbrotfiguur" te tekenen, zoals hieronder omschreven.
1 of 5 3-5-2006 14:58 PRAKTICUMOPGAVE 1 De eerste prakticumopgave is het maken van een applet om een "Mandelbrotfiguur" te tekenen, zoals hieronder omschreven. Het practicum moet individueel worden gemaakt
Nadere informatieTentamen Grondslagen van de Wiskunde A Met beknopte uitwerking
Tentamen Grondslagen van de Wiskunde A Met beknopte uitwerking 10 december 2013, 09:30 12:30 Dit tentamen bevat 5 opgaven; zie ook de ommezijde. Alle opgaven tellen even zwaar (10 punten); je cijfer is
Nadere informatieDISK HANDLEIDING UITVOER HOOFDSTUK 9 VERSIE 4.0
DISK HANDLEIDING HOOFDSTUK 9 UITVOER VERSIE 4.0 INHOUD 1. Inleiding... 3 2. Structuur... 3 3. Uitvoerscherm... 3 3.1 Uitvoer naar scherm...4 3.2 Uitvoer naar file...4 3.3 Gebruik sneltoetsen...5 4. Menu-overzichten...
Nadere informatie