AGENTBASERAD MODELLERING
|
|
- Kristin Berg
- för 7 år sedan
- Visningar:
Transkript
1 AGENTBASERAD MODELLERING! Ändliga automater! Cellulära automater! Några illustrationer av variationsbredden! Conway s Game of Life! Gliders! Glider guns! Gliders som informationsbärare! Logiska operationer! Turingmaskin! Universell Turingmaskin! Sammanfattning Ändlig automat! Ändliga automater är den allra enklaste typen av abstrakta automater i andra änden av skalan finner vi Turingmaskiner, de mest avancerade! En ändlig automat har ett ändligt antal tillstånd Q = {q 0, q 1, q K } (för något heltal K!0)! Den får som input symboler som hör till ett ändligt alfabet! = {s 0, s 1, s M } (för något heltal M!0)! Varje gång den tar emot en symbol s som input går den över i ett tillstånd q som entydigt bestäms av det nuvarande tillståndet och vilken inputsymbolen är i enlighet med automatens Transitionsfunktion " ": Q"!#Q "(q gammalt, s) = q nytt
2 En transitionsfunktion! kan åskådliggöras i tabellform! Q = {q 0, q 1, q 2 }!! ={00, 01, 10, 11} " q 0 q 1 q 2 q 0 q 2 q 1 q 1 q 0 q 1 q 2 q 2 q 2 q 2 q 1 q 1 Cellulära automater! En cellulär automat är ett en- eller fler-dimensionellt gitter med en likadan ändlig automat i varje nodpunkt " ofta 1-dimensionellt eller kvadratiskt gitter! Varje enskild automat tar som input det sammansatta tillståndet hos alla dess grannautomater " grannskapet (neighborhood) definieras enligt en bestämd grannskapsschablon! i ett kvadratiskt gitter används vanligen s.k. von Neumann-grannskap (4 grannar) eller Moore-grannskap (8 grannar)! ur teknisk synpunkt kan man förenkla notationen genom att baka in även automatens eget tillstånd i grannskapet, vi avstår dock från det här för tydlighetens skull " med K möjliga tillstånd hos varje automat och med N grannar i grannskapet, blir antalet totala grannskapstillstånd K N detta är alltså antalet symboler i automatens inputalfabet,!
3 Stor variationsrikedom! Transitionsfunktionen " ger automaternas nya tillstånd (motsvarande en tabell med K rader och K N kolumner, vilket ger K! K N = K N+1 tabellplatser att fylla med något tillstånd) " antalet möjliga olika " blir K (KN+1 )! med K=8, N=4 (von Neumann) blir det ! med K=2, N=8 (Moore) blir det ! Även fördelningen av olika starttillstånd över gittret av automater kan ha mer eller mindre stor betydelse för utvecklingen över tiden! Har gittret en yttre gräns, eller inte? Det kan ge lite olika resultat " En vanlig metod om man vill ha ett ändligt gitter men ingen gräns (som komplicerar tillämpningen av " just där) är i fallet med ett kvadratiskt gitter att foga ihop den nordliga gränsen med den sydliga, och den västliga med den östliga så att man får vad topologer kallar en torus Olika startbetingelser
4 Självreproducerande mönster Begränsad tillväxt
5 Omröstning Härdning
6 Skapade artefakter En cellulär automat av andra ordningen
7 Reversering efter en liten störning Conway s Game of Life! En av de cirka olika cellulära automater i ett kvadratiskt gitter som kan bildas med automater som har två tillstånd och Moore-grannskap! Två tillstånd: död och levande " kan visualiseras som två olika färger, exvis svart för levande och vit för död cell! I stället för att beskriva " i tabellform kan man sammanfatta automatens beteende i följande två regler: 1. DÖD: en levande cell förblir vid liv endast när den omges av 2 eller 3 levande grannar 2. FÖDELSE: en död cell kommer till liv när den omges av exakt 3 levande grannar
8 Utveckling Translaterande mönster, glidare
9 Exempel oscillatorer Den enklaste typen av translaterande mönster, glidare! Cirklar markerar levande celler " fyllda (svarta) överlever i nästa generation " ihåliga (ringar) dör i nästa generation! Punkter markerar (nu döda) celler som kommer till liv i nästa generation! Enskilda celler föds och dör! Men mönstret överlever en sorts liv av andra ordningen
10 Glider gun genererar nya glidare med jämna mellanrum Lätt rymdskepp! Ett annat exempel på självtranslaterande mönster rör sig rakt i förhållande till rutnätet
11 Glidare som binära siffror i en dataström Olika kollisionsscenarior för glidare! Scenario (b) kan användas för att skapa ett statiskt block i kollisionspunkten! Scenario (d) kan användas för att fullständigt förstöra en glidare utan något splitter
12 Skicka tillbaka Negera en binär dataström! bitströmmen ! komplementeras här till
13 Logiska operationer Glesa ut en dataström
14 En Turingmaskin Universella Turingmaskiner kan konstrueras! Sammanfattning! Cellulära automater kan användas för agentbaserad modellering: simulering av interaktioner mellan autonoma individer (av något slag) i ett nätverk för att studera effekten på systemet som helhet " nätverksstrukturer i terroristorganisationer, krig, börskrascher, social segregering, strukturer på webben, under vilka betingelser samarbete uppstår eller inte! Cellulära automater består av ett gitter av ändliga automater, alla med samma transitionsregler! Cellulära automater används bl.a. för modellera biologiska och sociologiska system och ingår som en av standardteknikerna inom Artificiellt Liv " olika former av liv och livsprocesser eller livsliknande beteenden, utveckling av liv, skogsbränder, kemi, fysik,
15 Sammanfattning! Cellulära automater kan också i vissa fall användas som substrat för regelrätta beräkningar i klassisk mening! Conway s Game of Life är ett exempel: denna oerhört enkla cellulära automat ger en miljö tillräckligt rik på dynamik men samtidigt också tillräckligt stabil för att möjliggöra full Turingmaskinberäkningsbarhet
Programmeringsuppgift Game of Life
CTH/GU STUDIO TMV06a - 0/0 Matematiska vetenskaper Programmeringsuppgift Game of Life Analys och Linär Algebra, del A, K/Kf/Bt Inledning En cellulär automat är en dynamisk metod som beskriver hur komplicerade
Läs merAutomater. Matematik för språkteknologer. Mattias Nilsson
Automater Matematik för språkteknologer Mattias Nilsson Automater Beräkningsmodeller Beräkning - (eng) Computation Inom automatateorin studeras flera olika beräkningsmodeller med olika egenskaper och olika
Läs merConways Game of life: Att simulera några av livets egenskaper genom en datorprogram
Conways Game of life: Att simulera några av livets egenskaper genom en datorprogram Mario Natiello Centre for Mathematical Sciences Lund University Sweden Conways Game of life: Att simulera några av livets
Läs merTuringmaskiner och oavgörbarhet. Turingmaskinen. Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen.
Turingmaskiner och oavgörbarhet Turingmaskinen Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen. Data är ett oändligt långt band där nollor och ettor står skrivna: Oändligt
Läs merGrafik. TDDC66 Datorsystem och programmering Föreläsning 4. Peter Dalenius Institutionen för datavetenskap
Grafik TDDC66 Datorsystem och programmering Föreläsning 4 Peter Dalenius Institutionen för datavetenskap 2013-09-16 Anmälan till laborationer Från och med laboration 3 ska ni arbeta i par. Anmälan sker
Läs merFöreläsning 9: Turingmaskiner och oavgörbarhet. Turingmaskinen. Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen.
Föreläsning 9: Turingmaskiner och oavgörbarhet Turingmaskinen Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen. Data är ett oändligt långt band där nollor och ettor står
Läs merLABORATION 4 OBJEKTORIENTERAD PROGRAMMERING I C++ I
LABORATION 4 OBJEKTORIENTERAD PROGRAMMERING I C++ I Vt 2002 Mål: Lära sig: Filhantering Stränghantering Vektorer Funktioner Programstruktur Tid: Läroboken: 6 timmars handledd laborationstid. Beräknad klar
Läs merSymboler och abstrakta system
Symboler och abstrakta system Warwick Tucker Matematiska institutionen Uppsala universitet warwick@math.uu.se Warwick Tucker, Matematiska institutionen, Uppsala universitet 1 Vad är ett komplext system?
Läs merRepetition och sammanfattning av syntes och analys av sekvensnät
Repetition och sammanfattning av syntes och analys av sekvensnät Sekvensnät = ihopkoppling av sekvenskretsar Består i praktiken av - minnesdel (sekvenskretsar) - kombinatorisk del. Sekvenskretsar = kretsar
Läs merTuringmaskinen - en abstrakt datormodell
Turingmaskinen - en abstrakt datormodell Modeller är viktiga hjälpmedel vid studiet av många fenomen. En bra modell fyller oftast följande krav: Den fångar upp det centrala i sin fysiska motsvarighet Den
Läs merGrunderna i C++ T A. Skapad av Matz Johansson BergströmLIMY
Grunderna i C++ ARK 385: Virtuella Verktyg i en Materiell värld AT Arkitektur & Teknik Chalmers Tekniska Högskola 2009 - Kursen skapades (3 förel.) 2010-6 förel. + 2 projekt 2011-8 förel. Helt omarbetade
Läs mer1, 2, 3, 4, 5, 6,...
Dagens nyhet handlar om talföljder, ändliga och oändliga. Talföljden 1,, 3, 4, 5, 6,... är det första vi, som barn, lär oss om matematik över huvud taget. Så småningom lär vi oss att denna talföljd inte
Läs merNonogram
Nonogram. Vad är nonogram? Nonogram är små enkla men fascinerande pyssel som ursprungligen kommer från Japan. De har också givits ut i söndagsbilagan i engelska dagstidningar under flera år. Idén bakom
Läs merIdag: Reguljära språk Beskrivs av Reguljära uttryck DFA Grammatik
Idag: Reguljära språk Beskrivs av Reguljära uttryck DFA Grammatik Först några definitioner: Alfabet = en ändlig mängd av tecken. Ex. {0, 1}, {a,b}, {a, b,..., ö} Betecknas ofta med symbolen Σ Sträng =
Läs merFaktorisering med hjälp av kvantberäkningar. Lars Engebretsen
Faktorisering med hjälp av kvantberäkningar Lars Engebretsen 003-11-18 Bakgrund Vanliga datorer styrs av klassiska fysikens lagar. Vanliga datorer kan simuleras av turingmaskiner i polynomisk tid. Kanske
Läs merFaktorisering med hjälp av kvantberäkningar. Lars Engebretsen
Faktorisering med hjälp av kvantberäkningar Lars Engebretsen 00-1-03 Lars Engebretsen 00-1-03 Bakgrund Vanliga datorer styrs av klassiska fysikens lagar. Vanliga datorer kan simuleras av turingmaskiner
Läs merD. x 2 + y 2 ; E. Stockholm ligger i Sverige; F. Månen är en gul ost; G. 3 2 = 6; H. x 2 + y 2 = r 2.
Logik Vid alla matematiskt resonemang måste man vara säker på att man verkligen menar det man skriver ner på sitt papper. Därför måste man besinna hur man egentligen tänker. Den vetenskap, som sysslar
Läs merDAB760: Språk och logik
DAB76: Språk och logik /4: Finita automater och -7 reguljära uttryck Leif Grönqvist (leif.gronqvist@msi.vxu.se) Växjö Universitet (MSI) GSLT (Sveriges nationella forskarskola i språkteknologi) Göteborg
Läs merVinjetter TDDC91 Datastrukturer och algoritmer
Vinjetter TDDC91 Datastrukturer och algoritmer 17 augusti 2015 2 Scenario 1 Man har inom Posten Logistik AB skrivit programvara för sortering av kundinformation och vill standardisera användningen av sorteringsalgoritmer.
Läs merÖREBRO UNIVERSITET Handelshögskolan - Informatik Anders Avdic 2010-01-26. Svenssons metod manual
ÖREBRO UNIVERSITET Handelshögskolan - Informatik Anders Avdic 2010-01-26 Svenssons metod manual Innehåll: 1 RAPPORTERA PROBLEM MED SYSTEMET 1 2 INNAN SYSTEMET SVENSSONS METOD STARTAS 1 3 VÄLJA SYSTEM 1
Läs merUpprepade mönster kan talen bytas ut mot bokstäverna: A B C A B C eller mot formerna: Anna-Lena Ekdahl, Högskolan i Jönköping
Algebra Del 1 Upprepade mönster Anna-Lena Ekdahl, Högskolan i Jönköping Det är välkänt att barn långt innan de börjat skolan utforskar och skapar mönster på olika sätt och med olika material. Ofta skapas
Läs merSats 1. En direkt isometri är en translation eller en rotation.
263 Mönster Johan Philip K T H Överallt i naturen och på konstruerade föremål ser man reguljära figurer. Blomblad sitter systematiskt i en ring och på hyreshusen sitter fönstren i rader och kolumner. Trästavarna
Läs merIntroduktion till formella metoder Programmeringsmetodik 1. Inledning
Introduktion till formella metoder Programmeringsmetodik 1. Inledning Fokus på imperativa program (ex. C, Java) program betyder härefter ett imperativt program Program bestäms i en abstrakt mening av hur
Läs merSIMULERING. Vad är simulering?
SIMULERING Simulering är utan tvivel ett av de områden vi (dvs. Trilogik Konsult) ser som våra största specialiteter! Vi skulle därför kunna skriva sida upp och sida ner i ämnet, men skall ändå försöka
Läs merMÄLARDALENS HÖGSKOLA. CD5560 Formella språk, automater och beräkningsteori. Användarmanual. för simulatorn JFLAP
MÄLARDALENS HÖGSKOLA CD5560 Formella språk, automater och beräkningsteori Användarmanual för simulatorn JFLAP Innehållsförteckning Att komma igång med JFLAP... 3 Att köra en sträng... 5 Att köra flera
Läs merinte följa någon enkel eller fiffig princip, vad man nu skulle mena med det. All right, men
MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Christian Gottlieb Gymnasieskolans matematik med akademiska ögon Induktion Dag 2. Explicita formler och rekursionsformler. Dag mötte vi flera talföljder,
Läs merSammanfattning Arv och Evolution
Sammanfattning Arv och Evolution Genetik Ärftlighetslära Gen Information om ärftliga egenskaper. Från föräldrar till av komma. Tillverkar proteiner. DNA (deoxiribonukleinsyra) - DNA kan liknas ett recept
Läs merEn parallellogram har delats i två delar P och Q som figuren visar. Vilket av följande påståenden är säkert sant?
En parallellogram har delats i två delar P och Q som figuren visar. Vilket av följande påståenden är säkert sant? P har större omkrets än Q. P har mindre omkrets än Q. P har mindre area än Q Q och P har
Läs merFöreläsning 11 - Automater, textsökning, tillstånd
Föreläsning 11 - Automater, textsökning, tillstånd Automater Textsökning KMP-automat (Knuth-automat) Boyer-Moore Rabin-Karp Sökning på webben Automater En portkodsautomat med nio knappar kan se ut så här:
Läs merGrunderna i programmering - loopar 3 av 6
Grunderna i programmering - loopar 3 av 6 Lektionen handlar om att konstruera och beskriva stegvisa instruktioner. Lektionsförfattare: Anna Eriksson Till läraren En digital lektion från https://digitalalektioner.iis.se
Läs merJordbävningar en enkel modell
9 september 05 FYTA Simuleringsuppgift 3 Jordbävningar en enkel modell Handledare: André Larsson Email: andre.larsson@thep.lu.se Telefon: 046-34 94 Bakgrund Jordbävningar orsakar fruktansvärda tragedier
Läs merF5 Introduktion till digitalteknik
Exklusiv eller XOR F5 Introduktion till digitalteknik EDAA05 Roger Henriksson Jonas Wisbrant På övning 2 stötte ni på uttrycket x = (a b) ( a b) som kan utläsas antingen a eller b, men inte både a och
Läs merRegressionsmodellering inom sjukförsäkring
Matematisk Statistik, KTH / SHB Capital Markets Aktuarieföreningen 4 februari 2014 Problembeskrivning Vi utgår från Försäkringsförbundets sjuklighetsundersökning och betraktar en portfölj av sjukförsäkringskontrakt.
Läs merInnehåll. Mina målsättningar. Vad krävs för att nå dit? Obligatoriska uppgifter. Websajten. Datastrukturer och algoritmer
Innehåll Datastrukturer och algoritmer Föreläsning 1! Introduktion och begrepp Kurspresentation! - Målsättning! - Kursutvärdering! - Upplägg! - Översikt! Viktiga begrepp "1 "2 Mina målsättningar Alla ska
Läs merFunktioner och kombinatoriska tillämpningar. Mars
Mars 27 2006 Lådprincip Om kn + 1 eller fler kulor skall läggas i n lådor då måste någon låda innehålla minst k + 1 kulor. Exempel I en liksidig triangel med sidan 1 väljes 5 punkter. Visa att det finns
Läs merLite mer psykologi. L2: Automater, Sökstrategier. Top-down. Kimballs sju principer
Lite mer psykologi Perception: yntaktiskt bearbetning: emantisk bearbetning PERON() & LIKE(, y) L2: Automater, ökstrategier Korttidsminnet D4510 Parsningsalgoritmer Höstterminen 200 Långtidsminne Anders
Läs merBakgrund. Bakgrund. Bakgrund. Håkan Jonsson Institutionen för systemteknik Luleå tekniska universitet Luleå, Sverige
Är varje påstående som kan formuleras matematiskt*) alltid antingen sant eller falskt? *) Inom Institutionen för systemteknik Luleå tekniska universitet Luleå, Sverige Exempel: 12 = 13 nej, falskt n! >
Läs merDigitalitet. Kontinuerlig. Direkt proportionerlig mot källan. Ex. sprittermometer. Elektrisk signal som representerar ljud.
Analog Digitalitet Kontinuerlig Direkt proportionerlig mot källan Ex. sprittermometer Elektrisk signal som representerar ljud Diskret Digital Representation som siffror/symboler Ex. CD-skiva Varje siffra
Läs merSchellings segregationsmodell - en simuleringsstudie
Schellings segregationsmodell - en simuleringsstudie Jessika Djäknegård Kandidatuppsats i matematisk statistik Bachelor Thesis in Mathematical Statistics Kandidatuppsats 2015:23 Matematisk statistik September
Läs merKenguru 2019 Cadet (åk 8 och 9)
Sida 0 / 8 NAMN KLASS Poängssumma: Känguruskrutt: Kod (läraren fyller): Lösgör svarsblanketten. Skriv ditt svarsalternativ under uppgiftsnumret. Ett rätt svar ger 3, 4 eller 5 poäng. I varje uppgift är
Läs merShannon-Fano-Elias-kodning
Datakompression fö 5 p.1 Shannon-Fano-Elias-kodning Antag att vi har en minnesfri källa X i som tar värden i {1, 2,...,L}. Antag att sannolikheterna för alla symboler är strikt positiva: p(i) > 0, i. Fördelningsfunktionen
Läs merAnteckningar propp SMT2
Anteckningar propp SMT2 Lars Åström 11 december 2015 Under proppen ska följande gås igenom: Induktion - dominoeffekten Falluppdelning Extremprincipen Invarians Andra knep som används Induktion Vi använder
Läs merFöreläsning 1. Introduktion. Vad är en algoritm?
Några exempel på algoritmer. Föreläsning 1. Introduktion Vad är en algoritm? 1. Häll 1 dl havregryn och ett kryddmått salt i 2 1 2 dl kallt vatten. Koka upp och kocka gröten ca 3minuter. Rör om då och
Läs merLAB 1. FELANALYS. 1 Inledning. 2 Flyttal. 1.1 Innehåll. 2.1 Avrundningsenheten, µ, och maskinepsilon, ε M
TANA21+22/ 5 juli 2016 LAB 1. FELANALYS 1 Inledning I laborationerna används matrishanteringsprogrammet MATLAB. som genomgående använder dubbel precision vid beräkningarna. 1.1 Innehåll Du ska 1. bestämma
Läs merProgrammeringsprojekt, STS1
Programmeringsprojekt, STS1 1. Inledning Nedan följer ett antal större programmeringsuppgifter. En av dessa uppgifter ska lösas och senare presenteras på ett seminarium (se särskilda anvisningar för detta).
Läs merKängurun Matematikens hopp Gymnasiets Cadet 2006 A: 0 B: 2006 C: 2014 D: 2018 E: 4012
3-poängsproblem 1: Vad är 2 0 0 6 + 2006? A: 0 B: 2006 C: 2014 D: 2018 E: 4012 2: På bilden ser du en talblomma. Maria drog loss alla kronblad med tal som ger rest 2 vid division med 6, dvs där det blir
Läs merMatematisk modellering - Projekt. djurförflyttningar. Viktor Griph Anders Jonsson
Matematisk modellering - Projekt djurförflyttningar Viktor Griph Anders Jonsson juni Bakgrund Detta projekt är tänkt att simulera hur en population djur förflyttar sig över ett geografiskt område beroende
Läs merStrategier för urval av sjöar som ska ingå i den sexåriga omdrevsinventeringen av vattenkvalitet i svenska sjöar
Strategier för urval av sjöar som ska ingå i den sexåriga omdrevsinventeringen av vattenkvalitet i svenska sjöar Rapportering av uppdrag 216 0648 från Naturvårdsverket Ulf Grandin Department of Environmental
Läs mer.I Minkowskis gitterpunktssats
1.I Minkowskis gitterpunktssats Minkowskis sats klarar av en mängd problem inom den algebraiska talteorin och teorin för diofantiska ekvationer. en kan ses som en kontinuerlig, eller geometrisk, variant,
Läs merVad är rättvisa skatter?
Publicerad i alt., #3 2008 (med smärre redaktionella ändringar) Vad är rättvisa skatter? Det är uppenbart orättvist att många rika privatpersoner och företag genom skatteplanering och rent fusk lägger
Läs merDATORER OCH PROGRAM. Datorn är en symbolmaskin
DATORER OCH PROGRAM Datorn är en symbolmaskin men kan ha såväl symboliska som fysiska gränssnitt till omvärlden Program beteendeplan och beteendegenerator Programmerade maskiner Generalitet och portabilitet
Läs merProgrammering för språkteknologer II. OH-serie: Ändliga automater. reguljära uttryck i Java. Deterministiska ändliga automater
Programmering för språkteknologer II OH-serie: ändliga automater reguljära uttryck i Java Mats Dahllöf Ändliga automater Abstrakt maskin, tillståndsmaskin, transitionssystem. (Den enklaste typ man brukar
Läs merTrepoängsproblem. Kängurutävlingen 2019 Cadet. 1 Vilket moln innehåller endast jämna tal? A B C D E
Trepoängsproblem Vilket moln innehåller endast jämna tal? 5 0 4 0 58 En kub med kantlängden är byggd av enhetskuber. Några kuber tas bort rakt igenom, från vänster till höger, uppifrån och ner samt från
Läs merArbeta vidare med aritmetik 2018
Arbeta vidare med aritmetik 2018 I det här materialet har vi samlat problem inom aritmetik från flera olika tävlingsklasser, från Ecolier till Student. Årtal Varje år förekommer det problem som utgår från
Läs merMöjligheternas dag årskurs F-1
Möjligheternas dag årskurs F-1 1. Skriv upp några udda heltal. 2. Skriv upp några jämna heltal. 3. Ett av talen i raden hör inte dit, de andra har något gemensamt. Vilket hör inte dit och varför? a) 8
Läs merLäsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik
Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik Mats Boij 18 november 2001 13 Grupper Det trettonde kapitlet behandlar grupper. Att formulera abstrakta begrepp som grupper
Läs merVinjetter TDDC91 Datastrukturer och algoritmer
Vinjetter TDDC91 Datastrukturer och algoritmer 30 augusti 2013 2 Scenario 1 Man har inom Posten Logistik AB skrivit programvara för sortering av kundinformation och vill standardisera användningen av sorteringsalgoritmer.
Läs merModeller och simulering av språkprocessning
Modeller och simulering av språkprocessning Seriell processmodell + parallell processmodell Parallell modell med 2-vägsförbindelser Artificiellt neuralt nätverk (ANN) Interaktiv aktiverings-modell (IAM)
Läs merSub-symbolisk kognition & Konnektionism. Kognitionsvetenskaplig Introduktionskurs (729G01) Mats Andrén,
Sub-symbolisk kognition & Konnektionism Kognitionsvetenskaplig Introduktionskurs (729G01) Mats Andrén, mats.andren@liu.se 1 Konnektionism Neutrala nät baseras på en (förenklad) modell av hur hjärnan fungerar.
Läs merPYTHAGORAS Q U E S T
PYTHAGORAS Q U E S T Distriktsfinal 2018 Del 1. Tid: 60 min 6 frågor Max poäng: 18 poäng (3p/uppgift). Hjälpmedel: Papper, penna och radergummi (ej miniräknare). Skriv varje uppgift på ett separat blad.
Läs merTentamen i EDA320 Digitalteknik för D2
CHALMERS TEKNISKA HÖGSKOLA Institutionen för datorteknik Tentamen i EDA320 Digitalteknik för D2 Tentamenstid: onsdagen den 2 mars 997 kl 4.5-8.5. Sal: vv Examinator: Peter Dahlgren Tel. expedition 03-772677.
Läs mer7, Diskreta strukturer
Objektorienterad modellering och diskreta strukturer 7, Diskreta strukturer Sven Gestegård Robertz Datavetenskap, LTH 2015 Modeller Matematiska modeller Kontinuerliga modeller Kontinuerliga funktioner
Läs merHur implementera algoritmerna på maskinnivå - datorns byggstenar
Hur implementera algoritmerna på maskinnivå - datorns byggstenar Binära tal Boolesk logik grindar och kretsar A A extern representation intern representation minnet i datorn extern representation 1000001
Läs merP(X nk 1 = j k 1,..., X n0 = j 0 ) = j 1, X n0 = j 0 ) P(X n0 = j 0 ) = etc... P(X n0 = j 0 ) ... P(X n 1
Kaitel 1 Mer Markovkedjor Med att secificera en Markovkedja menar vi att man bestämmer övergångsmatrisen P. Detta säger ju allt om dynamiken för rocessen. Om vi dessutom vet hur kedjan startar, dvs startfördelningen
Läs merTentamen i Digitalteknik, EIT020
Elektro- och informationsteknik Tentamen i Digitalteknik, EIT020 18 december 2010, kl 8-13 Skriv namn och årskurs på alla papper. Börja en ny lösning på ett nytt papper. Använd bara en sida av pappret.
Läs merÅldersbestämning av träd
Åldersbestämning av träd För att få veta exakt hur gammalt ett träd är så måste man borra i det med en tillväxtborr och räkna årsringarna. Men man kan lära sig att uppskatta ålder på träd genom att studera
Läs merDIG IN TO Administration av nätverk- och serverutrustning
DIG IN TO Administration av nätverk- och serverutrustning CCNA 1 1.- CISCO 2.- Router 3.- IOS 4.- Grundkonfigurationer 5.- Routing och Ethernet 5a.- Statisk routing 5b.- Route summarization i classful
Läs merKombinatorik. Kapitel 2. Allmänt kan sägas att inom kombinatoriken sysslar man huvudsakligen med beräkningar av
Kapitel 2 Kombinatorik Allmänt kan sägas att inom kombinatoriken sysslar man huvudsakligen med beräkningar av det antal sätt, på vilket elementen i en given mängd kan arrangeras i delmängder på något sätt.
Läs merb) S Ø aa, A Ø aa» bb, B Ø aa» bc, C Ø ac» bc» 2. Låt L vara språket över 8a< som nedanstående NFA accepterar.
Salling, 070-6527523 TID : 9-14 HJÄLPMEDEL : Inga BETYGSGRÄNSER : G 18p, VG 28p SKRIV TYDLIGT OCH MOTIVERA NOGA! PROV I MATEMATIK AUTOMATEORI & FORMELLA SPRÅK DV1, 4 p 20 MARS 2002 1. Språket L över alfabetet
Läs merOptimering av olika slag används inom så vitt skilda områden som produktionsplanering,
Anders Johansson Linjär optimering Exempel på användning av analoga och digitala verktyg i undervisningen Kursavsnittet linjär optimering i Matematik 3b kan introduceras med såväl analoga som digitala
Läs merStudent för elever på kurs Ma 4 och Ma 5
Till läraren Välkommen till Kängurutävlingen Matematikens hopp 16 mars 2017 Student för elever på kurs Ma 4 och Ma 5 Tävlingen genomförs under perioden 16 24 mars. Uppgifterna får inte användas tidigare.
Läs merBlock 1 - Mängder och tal
Block 1 - Mängder och tal Mängder Mängder och element Venndiagram Talmängder Heltalen Z Rationella talen Q Reella talen R Räkning med tal. Ordning av talen i R Intervall Absolutbelopp Olikheter 1 Prepkursen
Läs merSJÄLVSTÄNDIGA ARBETEN I MATEMATIK
SJÄLVSTÄNDIGA ARBETEN I MATEMATIK MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET Turings maskin, beräkningsbarhet och avgörbarhetsproblemet av Simon Wikander 2009 - No 9 MATEMATISKA INSTITUTIONEN, STOCKHOLMS
Läs merDe mänskliga rättigheterna, deras innebörd och betydelse, inklusive barnets rättigheter i enlighet med barnkonventionen.
Barnkonventionen - med Mattecentrum Uppdrag 3 Introduktion I Mattecentrums sista uppdrag om barnkonventionen får eleverna fördjupa sig i barnkonventionens artikel 6 som handlar om barns rätt till liv,
Läs merMatematik klass 2. Höstterminen. Anneli Weiland Matematik åk 2 HT 1
Matematik klass 2 Höstterminen Anneli Weiland Matematik åk 2 HT 1 Minns du från klass 1? Tiokamraterna 10=5+ 10=1+ 10=2+ 10=5+ 10=4+ 10=0+ 10=9+ 10=4+ 10=7+ 10=3+ 10=6+ 10=10+ 10=2+ 10=1+ 10=3+ 10=7+ 10=6+
Läs merSannolikhetslära. 1 Enkel sannolikhet. Grunder i matematik och logik (2015) 1.1 Sannolikhet och relativ frekvens. Marco Kuhlmann
Marco Kuhlmann Detta kapitel behandlar grundläggande begrepp i sannolikhetsteori: enkel sannolikhet, betingad sannolikhet, lagen om total sannolikhet och Bayes lag. 1 Enkel sannolikhet Den klassiska sannolikhetsteorin,
Läs merTATM79: Föreläsning 1 Notation, ekvationer, polynom och summor
TATM79: Föreläsning 1 Notation, ekvationer, polynom och summor Johan Thim 22 augusti 2018 1 Vanliga symboler Lite logik Implikation: P Q. Detta betyder att om P är sant så är Q sant. Utläses P medför Q
Läs merEpisoderna i denna artikel är hämtade
JONAS EMANUELSSON Berätta vad du tänker! Två berättelser om rätt och fel svar Artikeln handlar om de frågor lärare ställer till sina elever i klassrummet och vad som händer i den efterföljande interaktionen.
Läs merÖvningshäfte 1: Logik och matematikens språk
GÖTEBORGS UNIVERSITET MATEMATIK 1, MMG200, HT2014 INLEDANDE ALGEBRA Övningshäfte 1: Logik och matematikens språk Övning A Målet är att genom att lösa och diskutera några inledande uppgifter få erfarenheter
Läs merSkurlängdskodning. aaaabbbbbbbccbbbbaaaa. Man beskriver alltså sekvensen med ett annat alfabet än det ursprungliga.
Datakompression fö 4 p1 Skurlängdskodning Ibland har man källor som producerar långa delsekvenser av samma symbol Det kan då vara praktiskt att istället för att beskriva sekvensen som en följd av enstaka
Läs merAtt fånga den akustiska energin
Att fånga den akustiska energin När vi nu har en viss förståelse av vad ljud egentligen är kan vi börja sätta oss in i hur det kan fångas upp och efterhand lagras. När en ljudvåg sprider sig är det inte
Läs merkvoten mellan två på varandra följande tal i en talföljd är konstant alltid lika stor.
Turen har kommit till geometriska talföljder och summan av en geometrisk talföljd. Talföljden 1,, 4, 8, 16, 3,... är ett exempel på en geometrisk talföljd. Utmärkande för en geometrisk talföljd är att
Läs merArkitektur och teknik, Teknisk fysik, Teknisk matematik Antagningsprov MATEMATIK
Chalmers tekniska högskola Matematik- och fysikprovet Arkitektur och teknik, Teknisk fysik, Teknisk matematik Antagningsprov 008 - MATEMATIK 008-05-17, kl. 9.00-1.00 Skrivtid: 180 min Inga hjälpmedel tillåtna.
Läs merFöreläsning G60 Statistiska metoder
Föreläsning 8 Statistiska metoder 1 Dagens föreläsning o Chi-två-test Analys av enkla frekvenstabeller Analys av korstabeller (tvåvägs-tabeller) Problem med detta test o Fishers exakta test 2 Analys av
Läs merSF1900 Sannolikhetsteori och statistik, HT 2017 Laboration 1 för CINEK2
Matematisk Statistik SF1900 Sannolikhetsteori och statistik, HT 2017 Laboration 1 för CINEK2 1 Introduktion Denna laboration är inte poänggivande utan är till för den som vill bekanta sig med MATLAB. Fokusera
Läs merKapitel 10. Vätskor och fasta faser
Kapitel 10 Vätskor och fasta faser Kapitel 10 Innehåll 10.1 10.2 Det flytande tillståndet 10.3 En introduktion till olika strukturer i fasta faser 10.4 Struktur och bindning i metaller 10.5 Kol och kisel:
Läs merMaskar finess viktigt!
Maskar finess viktigt! Spela mot styrka: INGA UNDANTAG! 1. Ev. spela 3 från bordet till Ess 2. Spela 5/6 från handen mot D 3. Lägger Väst K kryper du på bordet 4. Annars spela D och be! Har V kungen får
Läs merGÖTEBORGS UNIVERSITET Institutionen för fysik Curt Nyberg, Igor Zoric
GÖTEBORGS UNIVERSITET 06-11 10 Institutionen för fysik Curt Nyberg, Igor Zoric PROJEKTTENTAMEN I FASTA TILLSTÅNDETS FYSIK FYN160, ht 2006 Inlämningsuppgifterna ersätter tentamen. Du skall lösa uppgifterna
Läs merLaboration 1 - Utjämning med Makehams formel
Laborationer OBS: Texten i laborationerna är till viss del formulerad för att passa med Excel. Valet av verktyg för att genomföra laborationerna är emellertid ingalunda nödvändigt att vara Excel. För att
Läs merVisualisering av samverkan
Visualisering av samverkan 18 december 2017 En viktig aspekt i samverkan är att inte bara ha koll på vilka andra aktörer du själv samverkar med, utan även veta om vilka aktörer du inte samverkar med, men
Läs merNeurovetenskap 30/08/2013. Kognitiv neurovetenskap. Lober. Olika färg, olika vävnadsstruktur. Hjärnbarken
729G01 Kognitionsvetenskaplig introduktionskurs: Kognitiv neurovetenskap och kognitiv modellering Rita Kovordanyi, Institutionen för datavetenskap (IDA) rita.kovordanyi@liu.se Kognitiv neurovetenskap Baseras
Läs merAritmetisk kodning. F (0) = 0 Exempel: A = {1, 2, 3} k=1. Källkodning fö 5 p.1/12
Aritmetisk kodning Vi identifierar varje sekvens av källsymboler med ett tal i intervallet [0, 1). Vi gör det med hjälp av fördelningsfunktionen (cumulative distribution function) F. För enkelhets skull
Läs merTentamen i Digitalteknik, EITF65
Elektro- och informationsteknik Tentamen i Digitalteknik, EITF65 3 januari 2018, kl. 14-19 Skriv anonymkod och identifierare, eller personnummer, på alla papper. Börja en ny uppgift på ett nytt papper.
Läs merGrundläggande programmeringsteknik Datorsystem
Datorsystem Från abakus till Z3 Datorsystem Från kursplanen Moment 3, Datorsystem 3hp I detta moment ges en introduktion till datorsystem och dess uppbyggnad. Minneshantering, vad en CPU är och gör samt
Läs merVARFÖR FINNS DET INGA RIKTIGA
VARFÖR FINNS DET INGA RIKTIGA ROBOTAR? Peter Gärdenfors och Christian Balkenius Kognitionsforskning, Lunds Universitet, S 223 50 Lund e-mail: peter.gardenfors@fil.lu.se christian.balkenius@fil.lu.se Här
Läs merTMV166 Linjär algebra för M. Datorlaboration 2: Matrisalgebra och en mekanisk tillämpning
MATEMATISKA VETENSKAPER TMV66 07 Chalmers tekniska högskola Datorlaboration Examinator: Tony Stillfjord TMV66 Linjär algebra för M Datorlaboration : Matrisalgebra och en mekanisk tillämpning Allmänt Den
Läs merKapitel 10. Vätskor och fasta faser
Kapitel 10 Vätskor och fasta faser Kapitel 10 Innehåll 10.1 Mellanmolekylära krafter 10.2 Det flytande tillståndet 10.3 En introduktion till olika strukturer i fasta faser 10.4 Struktur och bindning i
Läs merAtt orientera i den närliggande natur- och utemiljön med hjälp av kartor, såväl med som utan digitala verktyg. Kartors uppbyggnad och symboler.
Centralt innehåll 4-6 DIGITALISERING Idrott och hälsa Att orientera i den närliggande natur- och utemiljön med hjälp av kartor, såväl med som utan digitala verktyg. Kartors uppbyggnad och symboler. Matematik
Läs merGolv, Tapeter, och andra Mönster
Golv, Tapeter, och andra Mönster De Arkimediska plattläggningarna Tänk dig att du ska lägga ett golv. Till ditt förfogande har du plattor av varierande utseende, men alla är så kallade reguljära månghörningar,
Läs merOptimering och simulering: Hur fungerar det och vad är skillnaden?
Optimering och simulering: Hur fungerar det och vad är skillnaden? Anders Peterson, Linköpings universitet Andreas Tapani, VTI med inspel från Sara Gestrelius, RIS-SIS n titt i KAJTs verktygslåda Agenda
Läs mer