Eindpresentatie Modelleren C Random Seeds

Slides:



Advertisements
Verwante presentaties
Test computertermen: Deze test gaat over de vorige les. Je krijgt steeds een vraag te zien waarop je het juist antwoord moet aanklikken. Is je antwoord.
Advertisements

Statistische uitspraken over onbekende populatiegemiddelden
WORKSHOP. EEN CPU MAKEN VAN UW COMPUTER. Dinsdag 05 / 04 / Door; Tom Roef, bestuurslid. Sodipa Computerclub.
HC2MFE Meten van verschillen
Toetsen van verschillen tussen twee of meer groepen
Help! Statistiek! Doorlopende serie laagdrempelige lezingen, voor iedereen vrij toegankelijk. Doel: Informeren over statistiek in klinisch onderzoek. Tijd: Derde.
Opdrachttaak kennissystemen:
BESTURINGS SYSTEMEN Vincent Naessens.
variabelen vaststellen
Het vergelijken van twee populatiegemiddelden: Student’s t-toets
Kansrekening voor wiskunde D.
Othello Inleiding Computationele Intelligentie Chris Blom Martijn van den Heuvel
Haal meer uit je Hersenen masterclass wiskunde
Een goed begin is het halve werk….
Beschrijvende en inferentiële statistiek
Tussenpresentatie Modelleren C Random Seeds Sanne Ernst Jarno van Roosmalen.
Blogs Annette Ficker Tim Oosterwijk Opdrachtgever: Matthieu Jonckheere
P-waarde versus betrouwbaarheidsinterval
Project D2: Kempenland Sander Verkerk Jeffrey van de Glind
toetsen voor het verband tussen variabelen met gelijk meetniveau
Statistiek ?! … Ronald Buyl - BISI.
Jan Talmon Medische Informatica Universiteit Maastricht
1 Datastructuren Sorteren: alleen of niet alleen vergelijkingen College 5.
Machtsverheffen als geheimschrift
Inés Carvajal Gallardo.  Salts  Nonces  Sessie-keys  Random priemgetallen “The generation of random numbers is too important to be left to chance”
Opdracht 2. premisse: het Nederlandse over in contexten waarin het vertaald wordt door about is een instantiatie van de focus-of- attention sense incorrecte.
Gegevensverwerving en verwerking
Non-parametrische technieken
Schatter voor covariantie
Continue kansverdelingen
Geheugenbeheer ICT Infrastructuren hoofdstukken 7 en 8.1.
H4 Marktonderzoek Verschillende informatiebehoeften in verschillende fasen: Analyse fase Strategische fase Implementatie fase Evaluatie fase.
Voorspellende analyse
Eenvoudige data-analyse: beschrijvende statistische
variabelen vaststellen
Voorspellende analyse
Hoofdstuk 11 Kwantitatieve gegevens analyseren Methoden en technieken van onderzoek, 5e editie, Mark Saunders, Philip Lewis, Adrian Thornhill, Marije.
6 VWO B2 deel 2 A1.1 vraag 4. u 1 + u 2 + u 3 + … + u n-1 + u n = ? Vertaal de termen van de rij naar een rekenkundige rij. n termen !!!
Nick Boogaard. Shannon van Oudenaarde. Thom Bokern.
Populatiegemiddelden: recap
Motion planning with complete knowledge using a colored SOM Jules Vleugels, Joost N. Kok, & Mark Overmars Presentatie: Richard Jacobs.
Statistiek voor Historici
Aristid Lindenmayer Hongaar, werkte in Utrecht studie naar de groei van algen en andere levende wezens: L-systemen kan ook mooie regelmatige.
1 Datastructuren Een informele inleiding tot Skiplists Onderwerp 13.
Inleiding tot recursie1 door Maarten Lemmens. Inleiding tot recursie2 Wat is recursie ?  Een procedure die zichzelf oproept.  Vb. in echte leven: Radio.
Partiële r² Predictie van y gebaseerd op z alleen
Schijvenbeheer Disk Management t/m
Context switching Chanel Mepschen Informatica 5Fvwo.
Experimentele kans javascript.
Allard Kamphuisen Hado van Hasselt Wilco Broeders
Hoorcollege 2 Enkele statistische verdelingen ED: Het experiment atoom Labels De empirische distributie.
ANALYSE 3 INFANL01-3 WEEK CMI Informatica.
Hoorcollege 1: efficiëntie en complexiteitsontwikkeling.
Hoorcollege 1: efficiëntie en complexiteitsontwikkeling.
11 NHV-werkgroep Tijdreeksanalyse Discussiemiddag 1 oktober 2015 Paul Baggelaar Belang van ruismodel bij tijdreeksmodellering Icastat.
Testen met een klein aantal testmonsters Rob Ross.
Gerandomiseerde algoritmes
Milo van der Zee
De vraag is je beste vriend
Gameprogrammeren: Willekeurigheid (Randomness)
3 Hardware 3.1 De processor en intern geheugen
Eenvoudige data-analyse: beschrijvende statistische
OPENINGSCASE: De Victoria Country Fire Authority in Australië geeft hulp met nieuwe informatiesystemen.
Bewerkingen met matrices - Deel 3
Toetsen van verschillen tussen twee of meer groepen
Voorspellende analyse
Tellen met kaarten.
Kwantitatieve kenmerken
Transcript van de presentatie:

Eindpresentatie Modelleren C Random Seeds Sanne Ernst Jarno van Roosmalen

Inhoud Inleiding Probleem Generatoren Statistische Tests Resultaten Conclusie

Random Willekeurig Onvoorspelbaar Statistisch random Kolmogorov-Random / Algorithmisch Random (onbruikbaar) Entropie

Probleem Random getallen nodig voor simulaties, encryptie, enz. Vaak gebruik (Pseudo)Random Generator Generator heeft goede seed(s) nodig

Eisen aan Seeds Uniform verdeeld Onafhankelijkheid Onvoorspelbaar (probleem): Als je het algoritme kent en de eerste n gegenereerde seeds moet de kans om goed te voorspellen wat de volgende seed zal zijn niet groter zijn dan bij willekeurig gokken Conclusie: Niet deterministisch algoritme nodig

Methoden om Seeds te genereren Bronnen die gebruikt worden om goede random seeds te maken Statische atmosferische ruis Geluid Aantal/duur toetsaanslagen en/of muisklikken Radioactief verval van elementen Andere (onvoorspelbare) fysische verschijnselen

Methoden om Seeds te genereren Bronnen in een gewone PC waaruit we goede random seeds willen genereren Tijd die nodig is voor een bepaalde berekening Systeemtijd Tijd die het kost om bepaalde data te lezen/schrijven van de harde schijf (fysisch random proces) Temperatuur CPU Enz. Of combinaties hiervan

Generatoren Tweetal zelf bedacht Generator 1 (weg schrijven naar hard disk) Generator 2 (berekening met systeemtijd) Twee referenties Generator 3 (Systeem tijd) Generator 4 (Java built-in)

Generator 1 Gebaseerd op het meten van de tijd die het kost om een bestand van 1 MB naar de harde schijf te schrijven. Tijd in nanoseconden modulo 256 Geïmplementeerd in JAVA

Generator 2 Gebaseerd op een lange berekening. Invoer is de systeemtijd en vrije geheugen van JAVA. Gebruikt ook tijd die nodig is voor berekening Resultaat ook weer modulo 256 Geïmplementeerd in JAVA

Generator 3 Generator 4 Simpel als referentie Systeemtijd (in ns) modulo 256 Monotoon stijgende rij (uniform, sterk afhankelijk) Generator 4 Ook als referentie Seeds generatie methode van de Secure random generator van JAVA

Statistische Testen Uniformiteit: Kolmogorov-Smirnov test χ2-test Onafhankelijkheid Correlatie test Serial test

Nulhypothese We laten een generator n getallen genereren: H0: De getallen hebben een uniforme verdeling en zijn onafhankelijk van elkaar

Kolmogorov-Smirnov test Verschil van de empirische verdelingsfunctie met de hypothetische verdelingsfunctie met . H0 verwerpen als Dn>dn,1- waarbij dn,1- het 1- kwantiel is van de Kolmogorov-Smirnov verdeling.

χ2-test Hoe de getallen verdeeld zijn. Verdeelt het interval [a0,ak), waarin de getallen zitten, op in k intervallen [a0,a1), [a1,a2),..., [ak-1,ak). Nj : aantal getallen in interval [aj-1,aj) n/k : verwachte aantal getallen in elk interval H0 verwerpen als χ2> χk-1,1- waarin χk-1,1- het 1- kwantiel is van de χ2-verdeling met k-1 vrijheidsgraden.

Correlatie test Test onafhankelijkheid van 2 opeenvolgende getallen. Met en het gemiddelde. H0 verwerpen als te groot is.

Serial test Twee-dimensionale versie van de χ2-test. Verdeelt de getallen in paren We verdelen nu het vierkant in k=m2 vierkantjes op. We tellen het aantal getallen dat in een vierkant voorkomt en vergelijken dat met het aantal dat we er verwachten. Net zoals bij de χ2-test.

Generator 1 getest Resultaten Schrijven 1 MB Test K Rij1 Rij2 Rij3 KS GOED Chi2 64 128 256 Correlatie Serial 144

Generator 1 getest Resultaten Schrijven 2 MB Test K Rij1 Rij2 Rij3 KS GOED Chi2 64 128 256 FOUT Correlatie Serial 144

Generator 2 getest Test K Rij1 Rij2 Rij3 Rij4 rij5 KS GOED Chi2 64 128 256 FOUT Correlatie Serial 144

Generator 3 getest Test K Rij1 Rij2 Rij3 Rij4 rij5 KS GOED Chi2 64 128 256 Correlatie FOUT Serial 144

Generator 4 getest Test K Rij1 Rij2 Rij3 Rij4 rij5 KS GOED Chi2 64 128 256 FOUT Correlatie Serial 144

Conclusie Generator 1 is goed. (beter dan java) Generator 2 is niet goed genoeg Generator 3 is uniform & afhankelijk Generator 4 is redelijk Generator 1 is best goed bruikbaar Wel langzaam

Vragen???