Vi har... Diskuterat olika objektorienterade mekanismer. Ha också tagit upp några krav på hur dom här mekanismerna ska användas

Save this PDF as:
 WORD  PNG  TXT  JPG

Storlek: px
Starta visningen från sidan:

Download "Vi har... Diskuterat olika objektorienterade mekanismer. Ha också tagit upp några krav på hur dom här mekanismerna ska användas"

Transkript

1 Desig priciper

2 Vi har... Diskuterat olika objektorieterade mekaismer Nedärvig Delegerig Typ-parametriserig Kotrakt baserad desig Ha också tagit upp ågra krav på hur dom här mekaismera ska avädas Hur ska ma då desiga mjukvara?

3 Vad är bra desig Är e bra desig Lätt att förstå och implemetera? Uderlättar återavädig, och är lätta att få e överblick över? Lätt att återaväda? Full med desig möster, måga kommetarer? Åtföljs av måga sygga diagram?...

4 Bra desig Eligt Coad ad Yourdo 1991 A good desig is oe that balaces trade-offs to miimize the total cost of the system over its etire lifetime Och Järvi har att tillägga [Järvi 2005]...ad mitigates developmet ad busiess risks, promotes ew busiess opportuities ad cotributes to future high level reuse Det fis ite e eda korrekt desig. Det fis bara mera och midre avädbara desiger

5 Desig mål Måga olika mäskor som prioriterar olika saker kommer att ha att göra med systemet uder dess livstid Till exempel Vi vill spara tid och pegar, miska itroduktioe av ya defekter och miska börda för utvecklara Vi desigar då systemet för att miimera effektera av ädrigar Alltså behöver systemet vara löst kopplat Desigar för att hatera all möjlig variatio

6 Modularitet Mjukvarusystem är för stora för att kua förstås i si helhet Måste delas upp i midre delar E metod som stöder detta behövs Objekt orieterad programmerig Modulär utvecklig eligt Meyer [Meyer 1997]...method is modular, the if it helps desigers produce software systems made of autoomous elemets [modules] coected by coheret, simple structure.

7 Typisk desig Dela upp systemet i kompoeter Defiiera beroede mella kompoeter (asvarsområde, beroede och kommuikatio) Specificera grässitt Beskriv kompoeteras grässitt Måga defiitioer på kompoet eller modul, måga kriterier för uppdelig

8 Dekompositio / Modularitet Ett modulärt system är uppdelat i idetifierbara abstraktioer som kallas moduler moduler ska ha hög kohesio och lite kopplig till varadra Moduler ska ha väldefiierade abstrakta grässitt Fördelar med e välgjord modulär desig Lätt att utvidga systemet Återavädbarhet pga. hög kohesio och låg kopplig Uppdelig av asvar Uppdelig av utvecklig parallell utvecklig Haterig av komplexitet Viktigt för e bra desig Meyer ger 5 kriterier, 5 regler och 5 priciper som täcker de viktigaste krave för e modulär desig metod [Meyer 1997] Krave ite specifika för objektorieterig

9 Fem kriterier: Modular decomposability Metode delar upp problemet i midre problem som också har midre komplexitet Subprobleme är kopplade med e ekel struktur Miimalt och explicit beroede mella olika delproblem Subprobleme ka lösas idividuellt med samma metod Till exempel traditioell top-dow desig

10 Fem kriterier: Modular composability Metode producerar moduler modulera ka fritt kombieras med varadra för att producera ya system modulera ka fritt avädas äve i omgivigar som de ite var plaerade för modulera bör vara tillräckligt autooma (delar ka återavädas för adra ädamål) Till exempel mjukvarubibliotek

11 Fem kriterier: Modular uderstadability Metode uppmutrar skapadet av moduler som också mäskor förstår Beskrivige av e modul ka förstås uta beskrivig av adra moduler (eller i värsta fall edast ågra adra ärliggade moduler) Nödvädigt för effektivt uderhålla ett mjukvarusystem Atar att det fis ett gemesamt språk och termiologi, gör systemet lättare att uderhålla

12 Fem kriterier: Modular cotiuity Metode producerar strukturer av moduler så att e lite ädrig i problemspecifikatioe kräver edast små ädrigar i ågra (ärliggade)moduler Atar delig av asvar. Gör det möjligt att utvidga systemet Exempel 1: Symboliska kostater Exempel 2: Uified access priiciple

13 Fem kriterier: Modular protectio Om ett oormalt tillståd (fel) uppstår uder exekverig så ska effektera av de staa iaför module (eller i värsta fall hållas iom de ärmaste graara) Fel måste upptäckas och isoleras (hårdvarufel, resursbrister ) Exempel 1: Validerig av iput data vid källa

14 Fem regler: Direct mappig Varje mjukvarusystem försöker lösa problem frå ågo problemdomä Strukture för implemetatioe av systemet ska vara likade till strukture på modelle som skapats för att modellera problemdomäe Problem och lösig har likade struktur Följer frå: cotiuity ad decomposability

15 Fem regler: Few iterfaces Varje modul ska kommuicera med så få adra moduler som möjligt Följder av ädrigar och fel propagerar edast geom grässittet Följer frå: cotiuity och protectio Också till e del frå de adra

16 Fem regler: Small iterfaces Om två moduler kommuicerar så ska dom utbyta så lite iformatio som möjligt Följer frå: Cotiuity och protectio

17 Fem regler: Explicit iterfaces Om två moduler kommuicerar med varadra så måste detta vara klart syligt frå programkode för modulera Måste vara lätt se vad för moduler e ädrig påverkar E modul ka ite förstås om de beror på ågo aa på ågot märkligt ej syligt sätt Följer frå: Decomposability, Composability, Cotiuity och Uderstadability

18 Fem regler: Iformatio hidig E modul måste erbjuda e delmägd av sia egeskaper som officiell iformatio om module Modules grässitt De officiella iformatioe är tillgäglig för alla adra moduler Klietmoduler ska ite bero på de icke-officiella iformatioe Publicera bara desigbeslut som är stabila ite såa som ma äu ädrar Följer frå: Cotiuity

19 Fem priciper: Liguistic modular uit Moduler ska motsvara sytaktiska eheter i språket Förhidrar mauell översättig och strukturerig Java har klasser och paket (packages) Implemetera objekt orieterad desig i t. ex. C är ite ödvädigtvis e bra idé

20 Fem priciper: Self-documetatio priciple All iformatio om module är del av module själv Det fis ige begräsig på hur iformatioe är represeterad eller hur ma kommer åt de Viktigt för modular uderstadability Viktigt för att hålla kod och dokumetatio sykroiserad

21 Fem priciper: Uiform access Varje service i e modul måste vara åtkomliga med e ehetlig otatio Ska ite vara ågo skillad om resultatet åstadkoms geom beräkig eller om det fas lagrat Varje service döljer iformatio som ite är del av dess grässitt

22 Fem priciper: Ope-closed Moduler ska vara både öppa och sluta Det ska vara möjligt att utvidga moduler (öppa) Moduler ska vara tillgägliga för adra moduler. Alltså behöver modulera väldefiierade och stabila grässitt (sluta) Detta är e mycket viktig pricip för objektorieterade system

23 Fem priciper: Sigle choice När systemet måste stöda e mägd alterativ, ska exakt e modul käa till de kompletta lista alterativ Att sätta till ett alterativ kräver då (förhoppigsvis) ädrigar i bara e modul De här type av problem uppstår ofta då det fis ett atal alterativ Lista på alterativ kommer ataglige att förädras Desige ska ite påverkas av detta

24 SCP - Exempel class Publicatio{ eum Type {joural, book, proceedigs}; public Type type;... } Vilka typer av publikatioer det fis måste käas till överallt... switch (p.type){ case joural: //hatera tidskrifter case book: //hatera böcker case proceedigs: //hatera koferespublikatioer... }

25 Ett sceario Du börjar kostruera systemet. Det är väldesigat och de första versioe släpps Då börjar det gå fel... Ädrigar och ya fuktioer blir svårare och svårare att göra De ursprugliga desige måste överges Också små ädrigar orsakar ovätade fel Till slut skrivs hela systemet om frå grude Ädå var allt gjort eligt bästa förmåga. Så vad gick fel?

26 Tecke på dålig desig Rigidity Det är svårt att göra ädrigar i systemet eftersom ädrigar propagerar till måga moduler Motvillighet till att göra ädrigar då ma ite vet på förhad vad som behöver ädras Fragility Ädrigar i systemet orsakar fel i moduler som ite har ågot koceptuellt förhållade till de ädrade module Lösigar på dom första probleme skapar ya problem på adra ställe Ige vill göra ädrigar eftersom resultatet är omöjligt att förutsäga

27 Tecke på dålig desig Immobility Modulera i systemet är så hårt kuta till varadra att det är omöjligt att återaväda dem Omöjligt att förstå på grud av alla beroede Viscosity (två typer) Viskositet i systemet Att göra saker på rätt sätt är svårare ä att göra dom fel Att göra saker så att desige bevaras är svårare ä att göra sabba hacks Viskositet i omgivige Utveckligsmiljö lågsam och ieffektiv Låga kompilerigstider, dålig källkodshaterig

28 Tecke på dålig desig Needless complexity Systemet har strukturer som ite tillför ågo ytta Resultat av att ha försökt förutsäga vad som behövs i framtide till e för stor utsträckig Needless repetitio Systemet iehåller repeterade strukturer Opacity Kode är svår att läsa och förstå. Meige framgår ite klart Kode blir mera komplicerad och svårhaterlig med tide

29 Orsaker till dålig desig... Ädrade krav har ite tagits i beaktade Sabba hacks förstör de uderliggade strukture Om desige ite är ekel att förstå, kommer de att bli förstörd Beroede mella kompoeter är ite haterade Det är e aturlag för utvecklig av mjukvara?

30 Exempel på ruttade desig Ett mycket ekelt program som kopierar tecke frå tagetbordet till e priter Illustrerar poäge char Read Keybord Copy char Write priter void copy(){ it c; while( (c=rdkbd())!=eof ) WrtPrt(c); }

31 Exempel (forts.) Krave förädras Programmet ska u också kua läsa frå e pappersbadläsare (?) Grässittet till Copy fuktioe ka ite ädras Har reda måga öjda avädare Aväd globala variabler! bool ptflag=false //kom ihåg att sätta de här flagga void Copy(){ it c; while( (c=(ptflag? RdPt() : RdKdb()))!= EOF) WrtPrt(c); }

32 Exempel (forts.) Krave ädras äu mera Nu ska ma också kua skriva till e paper tape puch bool ptflag=false; bool puchflag=false; //kom ihåg att sätta flaggora void Copy(){ it c; while( (c=(ptflag? RdPt() : RdKdb()))!= EOF) puchflag? WrtPuch(c) : WrtPrt(c); }

33 Exempel desig Desige var ekel och bra för orgialproblemet Förädrigar gjorde att programmet började visa alla tecke på dålig desig Förädrigar måste beaktas

34 Objektorieterad desig iterface Reader{ it read(); } iterface Writer{ write(it c); } class KeyboardReader implemets Reader{ it read(){ retur RdKbd(); } } class TapeReader implemets Reader{... } void Copy(Reader r, Writer w){ it c; while( (c=r.read())!=eof) w.write(c); }

35 Hur motverka ruttade desiger Måga olika utveckligsprocesser Agile methods (Extreme programmig, etc...) RUP Skapa desige med take på att systemet kommer att modifieras Krave ädras Ny fuktioalitet kommer sättas till Refaktoriserig Omstrukturerig av kode som bevarar futioalitet me förbättrar strukture Kvalitete på desige ska alltid hållas hög uder systemets utvecklig Det är omöjligt att desiga ett perfekt system på första försöket

Systemdesign fortsättningskurs

Systemdesign fortsättningskurs Systemdesig fortsättigskurs Orgaisatio Föreläsare Potus Boström Assistet? Tider mådagar och tisdagar kl. 8-10 Börjar 3.9 och slutar 16.10 Rum B3040 Orgaisatio Iga föreläsigar 24.9, 25.9, 1.10 och 2.10

Läs mer

Design mönster. n n n n n n. Command Active object Template method Strategy Facade Mediator

Design mönster. n n n n n n. Command Active object Template method Strategy Facade Mediator Desig möster Desig möster Commad Active object Template method Strategy Facade Mediator Commad Ett av de eklaste desig möstre Me också mycket avädbart Ett grässitt med e metod Comm ad do()

Läs mer

Subsystem. Klasser är ett bra sätt att organisera små system. Klasser är för små enheter för att organisera stora system

Subsystem. Klasser är ett bra sätt att organisera små system. Klasser är för små enheter för att organisera stora system Desig av subsystem Subsystem Klasser är ett bra sätt att orgaisera små system Klasser är för små eheter för att orgaisera stora system Större eheter behövs för orgaiserige Subsystem Sex priciper diskuteras

Läs mer

Återanvändning. Två mekanismer. Nedärvning av egenskaper (inheritance) Objekt komposition

Återanvändning. Två mekanismer. Nedärvning av egenskaper (inheritance) Objekt komposition Iheritace Återavädig Två mekaismer Nedärvig av egeskaper (iheritace) Objekt kompositio A A +a +b B B Iheritace Återavädig geom att skapa subklasser kallas ofta white box reuse Ekelt att aväda Relatioe

Läs mer

Mönster. n n n n n. Visitor Decorator Extension Object State Taskmaster

Mönster. n n n n n. Visitor Decorator Extension Object State Taskmaster Desig möster Möster Visitor Decorator Extesio Object State Taskmaster Visitor Aväds för komplicerade datastrukturer där det fis e växade mägd operatioer på dea Grafik exempel ige: Shape draw() ps() ik()

Läs mer

Webprogrammering och databaser. Begrepps-modellering. Exempel: universitetsstudier Kravspec. ER-modellen. Exempel: kravspec forts:

Webprogrammering och databaser. Begrepps-modellering. Exempel: universitetsstudier Kravspec. ER-modellen. Exempel: kravspec forts: Webprogrammerig och databaser Koceptuell datamodellerig med Etitets-Relatiosmodelle Begrepps-modellerig Mål: skapa e högivå-specifikatio iformatiosiehållet i database Koceptuell modell är oberoede DBMS

Läs mer

Databaser - Design och programmering. Programutveckling. Programdesign, databasdesign. Kravspecifikation. ER-modellen. Begrepps-modellering

Databaser - Design och programmering. Programutveckling. Programdesign, databasdesign. Kravspecifikation. ER-modellen. Begrepps-modellering Databaser desig och programmerig Desig processe ER-modellerig Programutvecklig Förstudie, behovsaalys Programdesig, databasdesig Implemetatio Programdesig, databasdesig Databasdesig Koceptuell desig Koceptuell

Läs mer

Databaser - Design och programmering. Databasdesign. Kravspecifikation. Begrepps-modellering. Design processen. ER-modellering

Databaser - Design och programmering. Databasdesign. Kravspecifikation. Begrepps-modellering. Design processen. ER-modellering Databaser desig och programmerig Desig processe Databasdesig Förstudie, behovsaalys ER-modellerig Kravspecifikatio För att formulera e kravspecifikatio: Idetifiera avädare Studera existerade system Vad

Läs mer

Kontrakt baserad design. Design by contract

Kontrakt baserad design. Design by contract Kotrakt baserad desig Desig by cotract Motiverig Objekt ka valige ite avädas på ett godtyckligt sätt Metoder ska aropas med vissa parametervärde I rätt ordig Svårt att veta hur ett objekt ka avädas uta

Läs mer

Tentamen 19 mars, 8:00 12:00, Q22, Q26

Tentamen 19 mars, 8:00 12:00, Q22, Q26 Avdelige för elektriska eergisystem EG225 DRIFT OCH PLANERING AV ELPRODUKTION Vårtermie 25 Tetame 9 mars, 8: 2:, Q22, Q26 Istruktioer Skriv alla svar på det bifogade svarsbladet. Det är valfritt att också

Läs mer

Datastrukturer och algoritmer

Datastrukturer och algoritmer Iehåll Föreläsig 6 Asymtotisk aalys usammafattig experimetell aalys uasymtotisk aalys Lite matte Aalysera pseudokode O-otatio ostrikt o Okulärbesiktig 2 Mäta tidsåtgåge uhur ska vi mäta tidsåtgåge? Experimetell

Läs mer

Universitetet: ER-diagram e-namn

Universitetet: ER-diagram e-namn Databaser Desig och programmerig Fortsättig på relatiosmodelle: Normaliserig fuktioella beroede ormalformer iformatiosbevarade relatiosschemauppdelig Varför ormalisera? Metod att skydda oss frå dum desig

Läs mer

Datorövning 2 Fördelningar inom säkerhetsanalys

Datorövning 2 Fördelningar inom säkerhetsanalys Luds tekiska högskola Matematikcetrum Matematisk statistik STATISTISKA METODER FÖR SÄKERHETSANALYS FMS065, HT-15 Datorövig 2 Fördeligar iom säkerhetsaalys I dea datorövig ska vi studera ågra grudläggade

Läs mer

MS-A0409 Grundkurs i diskret matematik Sammanfattning, del I

MS-A0409 Grundkurs i diskret matematik Sammanfattning, del I MS-A0409 Grudkurs i diskret matematik Sammafattig, del I G. Gripeberg Aalto-uiversitetet 2 oktober 2013 G. Gripeberg (Aalto-uiversitetet) MS-A0409 Grudkurs i diskret matematiksammafattig, del 2Ioktober

Läs mer

REGULJÄRA SPRÅK (8p + 6p) 1. DFA och reguljära uttryck (6 p) Problem. För följande NFA över alfabetet {0,1}:

REGULJÄRA SPRÅK (8p + 6p) 1. DFA och reguljära uttryck (6 p) Problem. För följande NFA över alfabetet {0,1}: CD58 FOMEA SPÅK, AUTOMATE, OCH BEÄKNINGSTEOI, 5 p JUNI 25 ÖSNINGA EGUJÄA SPÅK (8p + 6p). DFA och reguljära uttryck (6 p) Problem. För följade NFA över alfabetet {,}:, a) kovertera ovaståede till e miimal

Läs mer

Analys av algoritmer. Beräkningsbar/hanterbar. Stora Ordo. O(definition) Datastrukturer och algoritmer. Varför analysera algoritmer?

Analys av algoritmer. Beräkningsbar/hanterbar. Stora Ordo. O(definition) Datastrukturer och algoritmer. Varför analysera algoritmer? Datastrukturer och algoritmer Föreläsig 2 Aalys av Algoritmer Aalys av algoritmer Vad ka aalyseras? - Exekverigstid - Miesåtgåg - Implemetatioskomplexitet - Förstålighet - Korrekthet - - 29 30 Varför aalysera

Läs mer

2. Konfidensintervall för skillnaden mellan två proportioner.

2. Konfidensintervall för skillnaden mellan två proportioner. Föreläsig 12 LV1, Torsdag 12/10 Upplägg 1. Kofidesitervall för proportioer. 2. Kofidesitervall för skillade mella två proportioer. 3. Grafteori Kofidesitervall för proportioer Atag att vi vill skatta adele

Läs mer

Remiss Remissvar lämnas i kolumnen Tillstyrkes term och Tillstyrkes def(inition) och eventuella synpunkter skrivs i kolumnen Synpunkter.

Remiss Remissvar lämnas i kolumnen Tillstyrkes term och Tillstyrkes def(inition) och eventuella synpunkter skrivs i kolumnen Synpunkter. 1(10) Svar lämat av (kommu, ladstig, orgaisatio etc.): Remiss Remissvar lämas i kolume Tillstyrkes term och Tillstyrkes (iitio) och evetuella sypukter skrivs i kolume Sypukter. Begreppe redovisas i Socialstyrelses

Läs mer

Mönster. n n n n n n n n n n. Singleton Monostate Null object Factory Composite Observer Abstract server Adapter Bridge Proxy

Mönster. n n n n n n n n n n. Singleton Monostate Null object Factory Composite Observer Abstract server Adapter Bridge Proxy Desig möster Möster Sigleto Moostate Null object Factory Composite Observer Abstract server Adapter Bridge Proxy Sigleto Preseterades reda Exempel: objekt med kofiguratios data Avädig: Cofig.getIstace().

Läs mer

Extrem prestanda Nu utan BPA UPPLEV DEN FANTASTISKA STYRKAN HOS VÅRA BPA-FRIA PRODUKTER

Extrem prestanda Nu utan BPA UPPLEV DEN FANTASTISKA STYRKAN HOS VÅRA BPA-FRIA PRODUKTER Extrem prestada Nu uta BPA UPPLEV DEN FANTASTISKA STYRKAN HOS VÅRA BPA-FRIA PRODUKTER Formar för kall och varm mat BPA-fritt kommersiellt produktsortimet för livsmedelsservice Rubbermaid Commercial har

Läs mer

Universitetet: ER-diagram e-namn

Universitetet: ER-diagram e-namn Databaser Desig och programmerig Fortsättig på relatiosmodelle: Normaliserig fuktioella beroede ormalformer iformatiosbevarade relatiosschemauppdelig Varför ormalisera? Metod att skydda oss frå dum desig

Läs mer

Föreläsning 3. 732G04: Surveymetodik

Föreläsning 3. 732G04: Surveymetodik Föreläsig 3 732G04: Surveymetodik Dages föreläsig Obudet slumpmässigt urval (OSU) Populatiosparametrar och stickprovsstatistikor Vätevärdesriktighet Ädliga och oädliga populatioer Medelvärde, adel Kofidesitervall

Läs mer

Exempel. En klass för att inkapsla funktionen hos ett tangentbord. Nu kan många objekt skapas av klassen

Exempel. En klass för att inkapsla funktionen hos ett tangentbord. Nu kan många objekt skapas av klassen Desigmöster Exempel E klass för att ikapsla fuktioe hos ett tagetbord E applikatio aväder edast ett tagetbord public class Keyboard{... public char getcurretchar(){...}... } Nu ka måga objekt skapas av

Läs mer

Statistisk analys. Vilka slutsatser kan dras om populationen med resultatet i stickprovet som grund? Hur säkra uttalande kan göras om resultatet?

Statistisk analys. Vilka slutsatser kan dras om populationen med resultatet i stickprovet som grund? Hur säkra uttalande kan göras om resultatet? Statistisk aalys Vilka slutsatser ka dras om populatioe med resultatet i stickprovet som grud? Hur säkra uttalade ka göras om resultatet? Mats Guarsso Tillämpad matematik III/Statistik - Sida 83 Exempel

Läs mer

2015-10-22. Ca 415.000m 3 = 600.000 ton. Masshantering Sven Brodin. Dessa mängder ska Stockholms Stad transportera varje månad.

2015-10-22. Ca 415.000m 3 = 600.000 ton. Masshantering Sven Brodin. Dessa mängder ska Stockholms Stad transportera varje månad. Masshaterig Ca 415.000m 3 = 600.000 to Dessa mägder ska Stockholms Stad trasportera varje måad. The Capital of Scadiavia Sida 2 Till varje km väg som ska byggas behövs ytor på ca 4000m 2 för: Etablerig

Läs mer

Operativsystem - Baklås

Operativsystem - Baklås Operativsystem - Baklås Mats Björkma 2017-02-01 Lärademål Vad är baklås? Villkor för baklås Strategier för att hatera baklås Operativsystem, Mats Björkma, MDH 2 Defiitio av baklås (boke 6.2) A set of processes

Läs mer

Jag läser kursen på. Halvfart Helfart

Jag läser kursen på. Halvfart Helfart KOD: Kurskod: PC106/PC145 Kurs 6: Persolighet, hälsa och socialpsykologi (15 hp) Datum: 3/8 014 Hel- och halvfart VT 14 Provmomet: Socialpsykologi + Metod Tillåta hjälpmedel: Miiräkare Asvarig lärare:

Läs mer

Ny lagstiftning från 1 januari 2011

Ny lagstiftning från 1 januari 2011 Ny lagstiftig frå 1 jauari 2011 1. Ny lag lage om allmäyttiga kommuala bostadsaktiebolag 2. Förädrigar i hyreslage De ya lagstiftige - Bakgrud Klicka här för att ädra format på uderrubrik i bakgrude q

Läs mer

Leica Lino. Noggranna, självavvägande punkt- och linjelasers

Leica Lino. Noggranna, självavvägande punkt- och linjelasers Leica Lio Noggraa, självavvägade pukt- och lijelasers Etablera, starta, klart! Med Leica Lio är alltig lodat och perfekt apassat Leica Lios projekterar lijer eller pukter med millimeterprecisio och låter

Läs mer

Räkning med potensserier

Räkning med potensserier Räkig med potesserier Serier (termiologi fis i [P,4-4]!) av type P + + + + 4 +... k ( om < ) k + + + + P 4 4 +... k k! ( e för alla ) k och de i [P, sid.9, formler 7-] som ärmast skulle kua beskrivas som

Läs mer

MS-A0409 Grundkurs i diskret matematik I

MS-A0409 Grundkurs i diskret matematik I MS-A0409 Grudkurs i diskret matematik I G. Gripeberg Mägder och logik Relatioer och fuktioer Aalto-uiversitetet oktober 04 Kombiatorik etc. G. Gripeberg (Aalto-uiversitetet MS-A0409 Grudkurs i diskret

Läs mer

PTKs stadgar. Fastställda vid stämman 2009 06 16

PTKs stadgar. Fastställda vid stämman 2009 06 16 PTKs stadgar Fastställda vid stämma 2009 06 16 INNEHÅLLSFÖRTECKNING SYFTE OCH UPPGIFTER Syfte och uppgifter 3 Medlemskap 4 Orgaisatio 7 Stämma 8 Överstyrelse 12 Styrelse 15 Förhadligsorgaisatio 17 PTK-L

Läs mer

Parsningsalgoritmer. Parsningsalgoritmer: inledning. OH-serie 1: introduktion. Parsningalgoritmer I. Algoritmer. Vad är parsning? Vad är en algoritm?

Parsningsalgoritmer. Parsningsalgoritmer: inledning. OH-serie 1: introduktion. Parsningalgoritmer I. Algoritmer. Vad är parsning? Vad är en algoritm? Parsigsalgoritmer OH-serie 1: itroduktio http://stp.ligfil.uu.se/~matsd/uv/uv12/pa/ Mats Dahllöf Istitutioe för ligvistik och filologi April 2012 Parsigsalgoritmer: iledig Vad är parsig? Vad är e algoritm?

Läs mer

SANNOLIKHETER. Exempel. ( Tärningskast) Vi har sex möjliga utfall 1, 2, 3, 4, 5 och 6. Därför är utfallsrummet Ω = {1, 2, 3, 4, 5,6}.

SANNOLIKHETER. Exempel. ( Tärningskast) Vi har sex möjliga utfall 1, 2, 3, 4, 5 och 6. Därför är utfallsrummet Ω = {1, 2, 3, 4, 5,6}. rmi Halilovic: EXTR ÖVIGR SOLIKHETER GRUDLÄGGDE BEGRE OH BETEKIGR Utfall Resultat av ett slumpmässigt försök. Utfallsrummet ägde av alla utfall (beteckas oftast med Ω ). Hädelse E delmägd av utfallsrummet.

Läs mer

Solgläntans föräldrakooperativ Kvalitet och måluppfyllelse läsåret 2012/13

Solgläntans föräldrakooperativ Kvalitet och måluppfyllelse läsåret 2012/13 1 s föräldrakooperativ Kvalitet och måluppfyllelse läset 2012/13 Iehåll: Iledig 2 Förutsättigar...2 Bedömig av kvalitet och måluppfyllelse 3 Beslutade mål och åtgärder 6 Slutord 7 Bilaga: Resultat - seaste

Läs mer

Linjär Algebra (lp 1, 2016) Lösningar till skrivuppgiften Julia Brandes

Linjär Algebra (lp 1, 2016) Lösningar till skrivuppgiften Julia Brandes Lijär Algebra (lp 1, 2016) Lösigar till skrivuppgifte Julia Brades Uppgift 1. Betecka mägde av alla matriser med M(). Vi har e elemetvist defiierad additio av två matriser A, B M(). De är defiierad geom

Läs mer

Genomsnittligt sökdjup i binära sökträd

Genomsnittligt sökdjup i binära sökträd Iformatiostekologi Tom Smedsaas 10 augusti 016 Geomsittligt sökdjup i biära sökträd Detta papper visar att biära sökträd som byggs upp av slumpmässiga data är bra. Beteckigar och defiitioer Defiitio De

Läs mer

Plattformshissar från Cibes Lift för alla byggnader

Plattformshissar från Cibes Lift för alla byggnader Plattformshissar frå Cibes Lift för alla byggader Smarta, säkra och ekla att istallera DESIGN - RELIABILITY - EXPERIENCE Iehåll Om Cibes Lift 3 Kudperspektiv 4 Service och uderhåll 5 Miljöfokus 6 De lilla

Läs mer

Hambley avsnitt 12.7 (även 7.3 för den som vill läsa lite mer om grindar)

Hambley avsnitt 12.7 (även 7.3 för den som vill läsa lite mer om grindar) 1 Föreläsig 6, Ht 2 Hambley avsitt 12.7 (äve 7.3 för de som vill läsa lite mer om gridar) Biära tal Vi aväder ormalt det decimala talsystemet, vilket har base 10. Talet 2083 rereseterar då 2 10 3 0 10

Läs mer

Kollektivt bindande styre på global nivå

Kollektivt bindande styre på global nivå Iteratioell ivå Global, regioal eller mellastatlig? Allt fler viktiga politiska frågor går ite lägre att lösa på atioell ivå. Folk över hela världe berörs exempelvis av växthuseffekte. Vad fis det för

Läs mer

Tentamen i Statistik, STA A13 Deltentamen 2, 5p 20 januari 2007, kl. 09.00-13.00

Tentamen i Statistik, STA A13 Deltentamen 2, 5p 20 januari 2007, kl. 09.00-13.00 0.01.007 Tetame i Statistik, STA A13 Deltetame, 5p 0 jauari 007, kl. 09.00-13.00 Tillåta hjälpmedel: Bifogad formel- och tabellsamlig (skall retureras) samt miiräkare. Asvarig lärare: Haah Hall Övrigt:

Läs mer

Borel-Cantellis sats och stora talens lag

Borel-Cantellis sats och stora talens lag Borel-Catellis sats och stora tales lag Guar Eglud Matematisk statistik KTH Vt 2005 Iledig Borel-Catellis sats är e itressat och avädbar sats framför allt för att bevisa stora tales lag i stark form. Vi

Läs mer

INSTALLATIONSMANUAL COBRA 8800/8900 CAN

INSTALLATIONSMANUAL COBRA 8800/8900 CAN INSTALLATIONSMANUAL COBRA 8800/8900 CAN DRA UT MITTSEKTIONEN MED INSTALLATIONSSCHEMAT. INNEHÅLL 8808 8805 Larmehet 03CB0364A 10SA0623A Kablage Moterigspåse KA0001STSAA Ultraljudsesorer 04PC3600B 8800USER

Läs mer

Mätbar vetskap om nuläget och tydliga målbilder om framtiden. Genomför en INDICATOR självvärdering och nulägesanalys inom tre veckor

Mätbar vetskap om nuläget och tydliga målbilder om framtiden. Genomför en INDICATOR självvärdering och nulägesanalys inom tre veckor Mätbar vetskap om uläget och tydliga målbilder om framtide Geomför e INDICATOR självvärderig och ulägesaalys iom tre veckor Självvärderig e del av dokumetatioskravet i ya skollage Skollage ställer också

Läs mer

Sannolikheten. met. A 3 = {2, 4, 6 }, 1 av 11

Sannolikheten. met. A 3 = {2, 4, 6 }, 1 av 11 rmi Halilovic: EXTR ÖVIGR SOLIKHETER GRUDLÄGGDE EGRE OH ETEKIGR Utfall Resultat av ett slumpmässigt försök. Utfallsrummet ägde av alla utfall (beteckas oftast medd Ω ). Hädelse E delmägd av utfallsrumm

Läs mer

god stiftelsepraxis www.saatiopalvelu.fi

god stiftelsepraxis www.saatiopalvelu.fi god stiftelsepraxis SÄÄTIÖIDEN JA RAHASTOJEN NEUVOTTELUKUNTA RY DELEGATIONEN FÖR STIFTELSER OCH FONDER RF www.saatiopalvelu.fi 1 Cotets God stiftelsepraxis 1 Iledig 3 2 God stiftelsepraxis 3 Stipedier

Läs mer

Identfiera orsaker och ge förslag på åtgärder och resultatmått Åtgärdstyp Ska risken åtgärdas genom att orsaken: Bakomliggande orsaker

Identfiera orsaker och ge förslag på åtgärder och resultatmått Åtgärdstyp Ska risken åtgärdas genom att orsaken: Bakomliggande orsaker Risk (möjlighet att e egativ RiskID Beskrivig av risk 4.1 R1 Öskemåle kommer osorterat och geererar måga aalyser - ökad arbetsisats och kostader Ma hittar ite 4.1 R2 produktera i lista 4.2 R3 Svårigheter

Läs mer

Repetition: Enkel sampling. Systemplanering VT11. Repetition: Enkel sampling. Repetition: Enkel sampling

Repetition: Enkel sampling. Systemplanering VT11. Repetition: Enkel sampling. Repetition: Enkel sampling Systemplaeri VT Föreläsi F6: Mote Carlo Iehåll:. Repetitio av ekel sampli 2. Sampli av elmarkader 3. Multi-areamodelle 4. Räka exempel Repetitio: Ekel sampli Mål: Få fram E[X] Defiitio av E[X]: EX [ ]

Läs mer

Örserumsviken. Förorenade områden Årsredovisning. Ansvar för sanering av förorenade områden. Årsredovisningslagen och god redovisningssed

Örserumsviken. Förorenade områden Årsredovisning. Ansvar för sanering av förorenade områden. Årsredovisningslagen och god redovisningssed Föroreade område Årsredovisig Örserumsvike Birgit Fleig Auktoriserad revisor Sustaiability Director birgit.fleig@se.ey.com 19 september 2005 1 2 Årsredovisigslage och god redovisigssed Föroreade område

Läs mer

Tentamen i Kunskapsbaserade system, 5p, Data 3

Tentamen i Kunskapsbaserade system, 5p, Data 3 Kuskapsbaserade system, tetame 2000-03-0 Istitutioe för tekik Tetame i Kuskapsbaserade system, 5p, Data 3 Datum: 2000-03-0 Tid: 8.00-3.00 Lärare: Potus Bergste, 3365 Hjälpmedel: Miiräkare Uppgiftera ska

Läs mer

Konsoliderad version av. Styrelsens för ackreditering och teknisk kontroll föreskrifter (STAFS 1993:18) om EEG-märkning av färdigförpackade varor

Konsoliderad version av. Styrelsens för ackreditering och teknisk kontroll föreskrifter (STAFS 1993:18) om EEG-märkning av färdigförpackade varor Kosoliderad versio av Styrelses för ackrediterig och tekisk kotroll föreskrifter (STAFS 1993:18) om EEG-märkig av färdigförpackade varor Rubrike har dea lydelse geom (STAFS 2008:11) Ädrig iförd: t.o.m.

Läs mer

Funktionsteori Datorlaboration 1

Funktionsteori Datorlaboration 1 Fuktiosteori Datorlaboratio 1 Fuktiosteori vt1 2013 Rekursiosekvatioer och komplex aalys Syftet med datorövige Öviges ädamål är att ge ett smakprov på hur ett datoralgebrasystem ka avädas för att att lösa

Läs mer

AMF. I princip är det bara möjligt att flytta privat sparande och sparande där avtalet tecknats efter den 2 februari i fjol.

AMF. I princip är det bara möjligt att flytta privat sparande och sparande där avtalet tecknats efter den 2 februari i fjol. Välj att flytta dia Utyttja di flytträtt om du ka. Det är Privata Affärers råd u är regeriges tillfälliga flyttstopp hävs de 1 maj. Flyttstoppet ifördes i februari i fjol som e direkt följd av Damarksmålet.

Läs mer

KONSEKVENSANALYS 1 (5) INDIVID ALT ORGANISATION (markera vad bedömningen avser)

KONSEKVENSANALYS 1 (5) INDIVID ALT ORGANISATION (markera vad bedömningen avser) KONSEKVENSANALYS 1 (5) INDIVID ALT ORGANISATION (markera vad bedömige avser) Orgaisatio Faktorer att bedöma Påverkar förädrige? Kosekves av förädrige Kosekvesbeskrivig Åtgärdsförslag Asv. sig Klart datum

Läs mer

(a) om vi kan välja helt fritt? (b) om vi vill ha minst en fisk av varje art? (c) om vi vill ha precis 3 olika arter?

(a) om vi kan välja helt fritt? (b) om vi vill ha minst en fisk av varje art? (c) om vi vill ha precis 3 olika arter? Lösigar Grudläggade Diskret matematik 11054 Tid: 1.00-17.00 Telefo: 036-10160, Examiator: F Abrahamsso 1. I de lokala zoo-affäre fis 15 olika fiskarter med mist 0 fiskar utav varje art). På hur måga sätt

Läs mer

SveTys. Affärskultur i Tyskland. Vad är det? Och vad ska jag tänka på?

SveTys. Affärskultur i Tyskland. Vad är det? Och vad ska jag tänka på? SveTys Affärskultur i Tysklad Vad är det? Och vad ska jag täka på? 2 Affärskultur i Tysklad Vad är det? Och vad ska jag täka på? 2008 SveTys, Uta Schulz, Reibek 3 Iledig När ma gör affärer i Tysklad eller

Läs mer

7 Sjunde lektionen. 7.1 Digitala filter

7 Sjunde lektionen. 7.1 Digitala filter 7 Sjude lektioe 7. Digitala filter 7.. Flera svar Ett lijärt tidsivariat system ka karakteriseras med ett flertal svar, t.ex. impuls-, steg- och amplitudsvare. LTI-system ka ju äve i de flesta fall beskrivas

Läs mer

Smärtlindring vid medicinsk abort

Smärtlindring vid medicinsk abort Smärtlidrig vid medicisk abort EN JÄMFÖRANDE STUDIE VETENSKAPLIGT ARBETE UNDER ST ELIN SJÖLANDER HANDLEDARE MARIE BOLIN Itroduktio Smärta vid medicisk abort valig, smärtlidrig vid medicisk abort dåligt

Läs mer

För rörformiga instrument, slangar och liknande krävs speciella insatser för genomspolning för att få ett fullgott resultat.

För rörformiga instrument, slangar och liknande krävs speciella insatser för genomspolning för att få ett fullgott resultat. Sida 1 av 6 Avisig för kvalitetssäkrig av spol- och diskdesifektorer 141203 Avisig primärvård Föremål och istrumet avsedda för flergågsbruk ska regöras och desifekteras efter avädig i e värmedesifektor.

Läs mer

Grammatik för språkteknologer

Grammatik för språkteknologer Grammatik för språktekologer Språktekologi och grammatiska begrepp http://stp.ligfil.uu.se/~matsd/uv/uv11/gfst/ Mats Dahllöf Istitutioe för ligvistik och filologi November 2011 Dea serie Frasstrukturaalys

Läs mer

Digital signalbehandling Fönsterfunktioner

Digital signalbehandling Fönsterfunktioner Istitutioe för data- och elektrotekik Digital sigalbehadlig Fösterfuktioer 2-2-7 Fösterfuktioer aväds för att apassa mätserie vid frekvesaalys via DFT och FFT samt vid dimesioerig av FIR-filter via ivers

Läs mer

Z-Testet. Idè. Repetition normalfördelning. rdelning. Testvariabel z

Z-Testet. Idè. Repetition normalfördelning. rdelning. Testvariabel z Repetitio ormalfördelig rdelig Z-Testet X i. Medelvärdets fördelig:.stadardiserad ormalfördelig: N (, ) X N, X X N (, ) N (,) X N, X N(,) 3. Kvatiler: uwe.meel@math.uu.se Vad gör g r Z-testetZ? H : e ormalfördelad

Läs mer

Allmänna avtalsvillkor för konsument

Allmänna avtalsvillkor för konsument Godkäare 7.2 Kudakuta Godkät Kommuikatio Distributio Kudservice Kommuikatio, deltagade och samråd Allmäa avtalsvillkor för kosumet för leveras av fjärrvärme Allmäa avtalsvillkor för kosumet för leveras

Läs mer

Sannolikhetslära. c 2015 Eric Järpe Högskolan i Halmstad

Sannolikhetslära. c 2015 Eric Järpe Högskolan i Halmstad Saolikhetslära c 201 Eric Järpe Högskola i Halmstad Saolikhetslära hadlar om att mäta hur saolikt (dvs hur ofta ) ma ka förväta sig att ågot iträffar. Därför sorterar saolikhetslära uder de matematiska

Läs mer

Duo HOME Duo OFFICE. Programmerings manual SE 65.044.20-1

Duo HOME Duo OFFICE. Programmerings manual SE 65.044.20-1 Duo HOME Duo OFFICE Programmerigs maual SE 65.044.20-1 INNEHÅLL Tekiska data Sida 2 Motage Sida 3-5 Programmerig Sida 6-11 Admiistrerig Sida 12-13 Hadhavade Sida 14-16 TEKNISKA DATA TEKNISK SPECIFIKATION

Läs mer

Stat. teori gk, ht 2006, JW F13 HYPOTESPRÖVNING (NCT ) Ordlista till NCT

Stat. teori gk, ht 2006, JW F13 HYPOTESPRÖVNING (NCT ) Ordlista till NCT Stat. teori gk, ht 2006, JW F13 HYPOTESPRÖVNING (NCT 10.1-10.3) Ordlista till NCT Hypothesis testig Null hypothesis Alterative hypothesis Simple / composite Oe-sided /two-sided Reject Test statistic Type

Läs mer

Armin Halilovic: EXTRA ÖVNINGAR

Armin Halilovic: EXTRA ÖVNINGAR Stokastiska rocesser Defiitio E stokastisk rocess är e mägd (familj) av stokastiska variabler X(t) arameter t är oftast (me ite alltid) e tidsvariabel rocesse kallas diskret om X(t) är e diskret s v för

Läs mer

Inledande matematisk analys (TATA79) Höstterminen 2016 Föreläsnings- och lekionsplan

Inledande matematisk analys (TATA79) Höstterminen 2016 Föreläsnings- och lekionsplan Iledade matematisk aalys TATA79) Hösttermie 016 Föreläsigs- och lekiospla Föreläsig 1 Logik, axiom och argumet iom matematik, talbeteckigssystem för hetal, ratioella tal, heltalspoteser. Lektio 1 och Hadledigstillfälle

Läs mer

Många tror att det räcker

Många tror att det räcker Bästa skyddet Måga vet ite hur familje drabbas ekoomiskt om ågo dör eller blir allvarligt sjuk. Här berättar Privata Affärer vilket skydd du har och hur du ka förbättra det. Av Aika Rosell och Igrid Kidahl

Läs mer

Tentamen i Statistik, STA A10 och STA A13 (9 poäng) 26 mars 2004, klockan

Tentamen i Statistik, STA A10 och STA A13 (9 poäng) 26 mars 2004, klockan Karlstads uiversitet Istitutioe för iformatiostekologi Avdelige för Statistik Tetame i Statistik, STA A10 och STA A13 (9 poäg) 6 mars 004, klocka 14.00-19.00 Tillåta hjälpmedel: Bifogad formelsamlig (med

Läs mer

Vikingen FutureLook. Delphi Finansanalys AB

Vikingen FutureLook. Delphi Finansanalys AB Vikige FutureLook by Delphi Fiasaalys AB Referesmaual för Vikig FutureLook Översikt Futurelook är ett uikt och mycket kraftfult verktyg för fiasaalytiker och kapitalplacerare. Med FutureLook är det möjligt

Läs mer

För att minimera de negativa hälsokonsekvenserna av tunnelluft finns i dagsläget tre metoder;

För att minimera de negativa hälsokonsekvenserna av tunnelluft finns i dagsläget tre metoder; MKB till detaljpla Förbifart Stockholm Hälsoeffekter av tuelluft Studier idikerar att oöskade korttidseffekter, blad aat ökat atal iflammatiosmarkörer, börjar uppstå vid e expoerig som motsvaras av tuelluft

Läs mer

Hamnbanan Göteborg Dubbelspår Eriksbergsmotet - Pölsebobangården

Hamnbanan Göteborg Dubbelspår Eriksbergsmotet - Pölsebobangården Järvägsutredig med miljökosekvesbeskrivig Hambaa Göteborg Dubbelspår Eriksbergsmotet - Pölsebobagårde Utställigshadlig 2011-03-04 Yta för bild eller möster Titel: Järvägsutredig Hambaa Göteborg dele Eriksbergsmotet

Läs mer

Bo Andersson, IF Metall, Sven Bergström, LO, Jörgen Eriksson, Byggnads, Björn Hammar, Teknikföretagen, Björn Samuelson, Sveriges Byggindustrier

Bo Andersson, IF Metall, Sven Bergström, LO, Jörgen Eriksson, Byggnads, Björn Hammar, Teknikföretagen, Björn Samuelson, Sveriges Byggindustrier Säkra persolyft 1 Prevet är e ideell föreig iom arbetsmiljöområdet med Sveskt Närigsliv, LO och PTK som huvudmä. Vår uppgift är att tillsammas med huvudmäe förmedla kuskap krig arbetsmiljöfrågor och utveckla

Läs mer

Kompletterande kurslitteratur om serier

Kompletterande kurslitteratur om serier KTH Matematik Has Thuberg 5B47 Evariabelaalys Kompletterade kurslitteratur om serier I Persso & Böiers.5.4 itroduceras serier, och serier diskuteras också i kapitel 7.9. Ia du läser vidare här skall du

Läs mer

TRIBECA Finansutveckling

TRIBECA Finansutveckling TRIBECA Rådgivare iom fiasiella helhetslösigar TRIBECA a s k r e i v g S f a s k r i e v g S f g g r r e e a r a r e e i i f f TRIBECA s målsättig är att bidra med råd & produkter som hela tide gör att

Läs mer

MARKNADSPLAN Kungälvs kommun 2010-2014

MARKNADSPLAN Kungälvs kommun 2010-2014 MARKNADSPLAN Kugälvs kommu 2010-2014 Fastställd av KF 2010-06-17 1 Iehåll Varför e markadspla? 3 Mål och syfte 4 Markadsförutsättigar 5 Processer, styrig och orgaisatio 6 Politisk styrig 7 Politisk styrig,

Läs mer

Geometriska summor. Aritmetiska summor. Aritmetiska talföljder kallar vi talföljder som. Geometriska talföljder kallar vi talföljder som

Geometriska summor. Aritmetiska summor. Aritmetiska talföljder kallar vi talföljder som. Geometriska talföljder kallar vi talföljder som Aritmetiska summor Aritmetiska talföljder kallar vi talföljder som, 4, 6, 8, 10, 1, 14, 000, 1996, 199, 1988, 0.1, 0., 0.3, 0.4, för vilka differese mella på varadra följade tal kostat. Aritmetiska summor

Läs mer

Innanför skalet på centralenheten: Mikroprogrammering

Innanför skalet på centralenheten: Mikroprogrammering Iaför skalet på cetralehete: Mikroprogrammerig 1997 Stefa Gustavso, ITN-LiTH Lätt uppdaterat 2004-09-06-1 - 1. Iledig Det fis måga olika abstraktiosivåer ma ka välja att lägga sig på är ma skall förklara

Läs mer

Digitalteknik F6. Några sammansatta digitala komponenter och lite designmetodik. Digitalteknik F6 bild 1

Digitalteknik F6. Några sammansatta digitala komponenter och lite designmetodik. Digitalteknik F6 bild 1 Digitaltekik F6 Några sammasatta digitala kompoeter och lite desigmetodik Digitaltekik F6 bild Sammasatta kompoeter Problem: E större kostruktio är praktiskt omöjlig att mauellt realisera med bara gridar.

Läs mer

Datorlingvistisk grammatik I

Datorlingvistisk grammatik I Datorligvistisk grammatik I (OH-serie 1) Mats Dahllöf Istitutioe för ligvistik och filologi 060905 (Med ej visade bilder!) LEKTION 1: iehåll Kursformalia Grammatik formell grammatik. Metod och data (lite).

Läs mer

Uppsala Universitet Matematiska Institutionen Bo Styf. Genomgånget på föreläsningarna Föreläsning 26, 9/2 2011: y + ay + by = h(x)

Uppsala Universitet Matematiska Institutionen Bo Styf. Genomgånget på föreläsningarna Föreläsning 26, 9/2 2011: y + ay + by = h(x) Uppsala Uiversitet Matematiska Istitutioe Bo Styf Evariabelaalys, 0 hp STS, X 200-0-27 Föreläsig 26, 9/2 20: Geomgåget på föreläsigara 26-30. Att lösa de ihomogea ekvatioe. De ekvatio vi syftar på är förstås

Läs mer

Innehållsförteckning

Innehållsförteckning YH-utbildigar 2017 Iehållsförteckig Sida 3 Om IT-Högskola Sida 4-5 Framtidsbrasch Sida 6-7.NET-utvecklare Sida 8-9 Applikatiosutvecklare till iphoe och Adroid Sida 10-11 Mjukvarutestare Sida 12-13 Webbutvecklare

Läs mer

Hisslösningar från Cibes Lift för alla byggnader

Hisslösningar från Cibes Lift för alla byggnader Hisslösigar frå Cibes Lift för alla byggader Smarta, säkra och ekla att istallera DESIGN - PÅLITLIGHET - ERFARENHET Iehåll Om Cibes Lift 3 Kudperspektiv 4 Service och uderhåll 5 Miljöfokus 6 De lilla plattformshisse

Läs mer

Tolkning av sannolikhet. Statistikens grunder, 15p dagtid. Lite mängdlära. Lite mängdlära, forts. Frekventistisk n A /n P(A) då n

Tolkning av sannolikhet. Statistikens grunder, 15p dagtid. Lite mängdlära. Lite mängdlära, forts. Frekventistisk n A /n P(A) då n Tolkig av saolikhet Statistikes gruder, 15p dagtid HT 01 Föreläsigar F4-F6 Frekvetistisk A / A) då Klassisk atal(a) / atal(ω) = A) storlek(a) / storlek(ω) = A) Subjektiv (persolig) isats/total vist = A)

Läs mer

Samtal med Karl-Erik Nilsson

Samtal med Karl-Erik Nilsson Samtal med Karl-Erik Nilsso,er Ert av Svesk Tidskrifts redaktörer, Rolf. Ertglud, itejuar här Karl-Erik Nilsso, ar kaslichej på TCO och TCO:s represetat ed i litagarfodsutredige. er e t or så å g. ). r

Läs mer

Finansiell Statistik (GN, 7,5 hp,, HT 2008) Föreläsning 4 (del 1)

Finansiell Statistik (GN, 7,5 hp,, HT 2008) Föreläsning 4 (del 1) Fiasiell Statistik (GN, 7,5 hp,, HT 008) Föreläsig 4 (del 1) Sampligfördeligar (LLL Kap 8) Departmet of Statistics (Gebreegus Ghilagaber, PhD, Associate Professor) Fiacial Statistics (Basic-level course,

Läs mer

IGCT effektbrytare i megawattklassen för mellanspänningstillämpningar

IGCT effektbrytare i megawattklassen för mellanspänningstillämpningar IGCT effektbrytare i megawattklasse för mellasäigstillämigar Att kostruera utrustig för att bryta effekter i storleksordige megawatt å mellasäigsivå är e svår ugift. De ieboede egeskaera hos de två kiselbaserade

Läs mer

Applikationen kan endast användas av enskilda användare med förtroenderapportering.

Applikationen kan endast användas av enskilda användare med förtroenderapportering. Aktiverig mobil app 1 Aktiverig mobil app Aktiverig mobil app aväds för att koppla e eskild avädare till Visma Agdas mobilapplikatio. Applikatioe ka edast avädas av eskilda avädare med förtroederapporterig.

Läs mer

Lärarhandledning Att bli kvitt virus och snuva - När Lisa blev av med förkylningen

Lärarhandledning Att bli kvitt virus och snuva - När Lisa blev av med förkylningen Lärarhadledig Att bli kvitt virus och suva - När Lisa blev av med förkylige För ytterligare iformatio kotakta projektledare: Charlotte.Kristiasso@phs.ki.se 1 Iledig Atibiotikaresistes är ett växade problem

Läs mer

Frasstrukturgrammatik

Frasstrukturgrammatik UALA UNIVERITET Metoder och tillämpigar i språktekologie Istitutioe för ligvistik och filologi Föreläsigsateckigar Mats Dahllöf http://stp.lig.uu.se/~matsd/uv/uv07/motist/ Oktober 2007 Frasstrukturgrammatik

Läs mer

Så här kommer byggherren och entreprenören överens om energianvändningen

Så här kommer byggherren och entreprenören överens om energianvändningen Så här kommer byggherre och etrepreöre överes om eergiavädige Så här kommer byggherre och etrepreöre överes om eergiavädige Sveby står för Stadardisera och verifiera eergiprestada i byggader och är ett

Läs mer

Utlandskyrkans krisberedskap

Utlandskyrkans krisberedskap Utladskyrkas krisberedskap hadbok för beredskapsplaerig Kyrkokasliet Uppsala Sveska kyrkas kriscetrum 2 Kotaktiformatio veska kyrka i utladet S Kyrkokasliet 751 70 Uppsala Tel. 018-16 95 00 www.sveskakyrka.se

Läs mer

Finansiell Statistik (GN, 7,5 hp,, HT 2008) Föreläsning 4 (del 2)

Finansiell Statistik (GN, 7,5 hp,, HT 2008) Föreläsning 4 (del 2) Fiasiell Statistik (GN, 7,5 hp,, HT 008) Föreläsig 4 (del ) Pukt- och itervallskattig (LLL Kap 10) Departmet of Statistics (Gebreegus Ghilagaber, PhD, Associate Professor) Fiacial Statistics (Basic-level

Läs mer

Föreskrift. om publicering av nyckeltal för elnätsverksamheten. Utfärdad i Helsingfors den 2. december 2005

Föreskrift. om publicering av nyckeltal för elnätsverksamheten. Utfärdad i Helsingfors den 2. december 2005 Dr 1345/01/2005 Föreskrift om publicerig av yckeltal för elätsverksamhete Utfärdad i Helsigfors de 2. december 2005 Eergimarkadsverket har med stöd av 3 kap. 12 3 mom. i elmarkadslage (386/1995) av de

Läs mer

Översikt. Modern C++ Generisk programmering vs OOP. En titt i backspegeln... Generisk programmering. Objektorienterad programmering.

Översikt. Modern C++ Generisk programmering vs OOP. En titt i backspegeln... Generisk programmering. Objektorienterad programmering. Moder C++ Översikt Mattias Flodi Geerisk programmerig vs OOP Stadard Template Library (STL) Partiell specialiserig Metaprogrammerig med templates Policybaserad desig Expressio templates Geerativ programmerig

Läs mer

Stort massflöde Liten volym och vikt Hög verkningsgrad. Utföranden Kolv (7) Skruv (4) Ving (4) Roots (1,5) Radial (2-4) Axial (1,3) Diagonal.

Stort massflöde Liten volym och vikt Hög verkningsgrad. Utföranden Kolv (7) Skruv (4) Ving (4) Roots (1,5) Radial (2-4) Axial (1,3) Diagonal. Komressorer F1 F Skillad mot fläktar: Betydade desitetsförädrig, ryk mäts ormalt som absolut totaltryk. vå huvudgruer av komressorer: Förträgigskomressorer urbokomressorer Egeskaer Lågt massflöde Höga

Läs mer

LÖSNINGSFÖRSLAG TILL UPPGIFTER I PROBLEMSAMLINGEN I MATEMATISK STATISTIK

LÖSNINGSFÖRSLAG TILL UPPGIFTER I PROBLEMSAMLINGEN I MATEMATISK STATISTIK LÖSNINGSFÖRSLAG TILL UPPGIFTER I PROBLEMSAMLINGEN I MATEMATISK STATISTIK Versio 9 december 4 Fel i lösigara mottages tacksamt till mattsso@math.kth.se. Notera att lösigara på vissa ställe utyttjar adra,

Läs mer

Innehåll Grafräknaren och diskret matematik...1 Vad handlar diskret matematik om?...1 Permutationer och kombinationer...3 Något om heltalsräkning...

Innehåll Grafräknaren och diskret matematik...1 Vad handlar diskret matematik om?...1 Permutationer och kombinationer...3 Något om heltalsräkning... Iehåll Grafräkare och diskret matematik...1 Vad hadlar diskret matematik om?...1 Permutatioer och kombiatioer...3 Något om heltalsräkig...4 Modulusoperator...4 Faktoriserig i primfaktorer...5 Talföljder...7

Läs mer

Visst kan man faktorisera x 4 + 1

Visst kan man faktorisera x 4 + 1 Visst ka ma faktorisera + 1 Per-Eskil Persso Faktoriserig av polyomuttryck har alltid utgjort e svår del av algebra. Reda i slutet av grudskola möter elever i regel dea omvädig till multiplikatio med hjälp

Läs mer