Operativsystem - Baklås

Save this PDF as:
 WORD  PNG  TXT  JPG

Storlek: px
Starta visningen från sidan:

Download "Operativsystem - Baklås"

Transkript

1 Operativsystem - Baklås Mats Björkma

2 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

3 Defiitio av baklås (boke 6.2) A set of processes is deadlocked if each process i the set is waitig for a evet that oly aother process i the set ca cause Operativsystem, Mats Björkma, MDH 3

4 Evet som vätas på Nästa alltid att e upptage resurs skall bli ledig Taebaum ämer äve (i 6.7) kommuikatiosbaklås där processer vätar på meddelade som har kommit bort Operativsystem, Mats Björkma, MDH 4

5 Resurser som vätas på Hårdvarueheter (skrivarexemplet) Delat data (kritiska avsitt) Sykroiserig (semaforer, mailboxes) Nätverkshädelser (köer, buffertar, paket, ) Semaforer och likade mekaismer som aväds för att skydda resursera ova Operativsystem, Mats Björkma, MDH 5

6 Resurser Två typer: Preemptable No-preemptable Baklås ka bara uppstå med resurser som är o-preemptable Resurse aväds så här: Begär resurse exv. wait(resource_semaphore); Utyttja resurse kritiskt avsitt... Släpp resurse exv. sigal(resource_semaphore); Operativsystem, Mats Björkma, MDH 6

7 Villkor för baklås 1. Ömsesidigt uteslutade E resurs är atige allokerad av 1 process eller tillgäglig 2. Hold ad wait (håll-och-väta) E process ka ha e resurs allokerad (hålla de) och begära (väta på) e aa 3. No-preemptio Resurser ka ite tas ifrå e process ofrivilligt 4. Cirkulär väta Varje process i e cirkel vätar på e aa i cirkel Alla fyra villkore måste vara uppfyllda för att baklås skall kua uppstå! Operativsystem, Mats Björkma, MDH 7

8 Att rita resursgrafer A S2 S1 B Exempel: Teckeförklarig: Process Resurs A S S hålls av A A S A begär S Pile pekar mot de kotrollerade ode Operativsystem, Mats Björkma, MDH 8

9 Att rita resursgrafer A S2 Exempel på mer ä bara e cykel: S1 B Äve C och D är i mägde av processer som befier sig i baklås eftersom de vätar på e resurs som edast e aa process ka släppa frå sig C S3 D Operativsystem, Mats Björkma, MDH 9

10 Problemet med de ätade filosofera Klassiskt sykroiserigsproblem Urspruglige formulerat av Edsger Dijksta (samme ma som amgav P och V som semaforoperatioer) Operativsystem, Mats Björkma, MDH 10

11 Problemet med de ätade filosofera 5 filosofer 1 rut bord E tallrik hal spaghetti 5 gafflar E filosof ka atige äta eller täka Procedur att äta: 1. Ta upp väster gaffel 2. Ta upp höger gaffel 3. Ät 4. Lägg er båda gafflara Hur ka problemet hateras? Operativsystem, Mats Björkma, MDH 11

12 Strategier för baklåshaterig 1. Strutsalgoritme 2. Deadlock detectio (upptäck baklås och åtgärda) 3. Deadlock avoidace (udvik geom försiktighet vid allokerig) 4. Deadlock prevetio (udvik geom desig) Operativsystem, Mats Björkma, MDH 12

13 Strutsalgoritme Eklaste sättet att hatera problemet på OS-ivå: Stick huvudet i sade och låtsas att problemet ite existerar Hur ka ma es komma på e såda strategi? Adra fel uppstår mycket oftare Slipper begräsigar i OS:et Avädara vet bäst hur udvika baklås i deras tillämpigar The ostrich algorithm is both Widows ad UNIX approved!! J Operativsystem, Mats Björkma, MDH 13

14 Deadlock Detectio Iga begräsigar på resursallokerig Aväd e algoritm för att upptäcka baklås Två fall: 1. E resurs av varje typ 2. Flera resurser av varje typ Lös upp baklås som hittas När skall e såda algoritm köras? När e resurs begärs Periodiskt, varje N tidseheter När systemet är idle Operativsystem, Mats Björkma, MDH 14

15 Deadlock Detectio - E resurs av varje typ Gör e resursgraf Fi evetuella cykler Bryt upp fua cykler Process Resurs A S S hålls av A A S A begär S Pile pekar mot de kotrollerade ode Övig: P A håller R och begär S P B begär T P C håller S P D håller U och begär S och T P E håller T och begär V P F håller W och begär S P G håller V och begär U Är systemet i baklås? Operativsystem, Mats Björkma, MDH 15

16 Deadlock Detectio - E resurs av varje typ R P A P B P C S P D T P E P F U BAKLÅS!!! V W P G Operativsystem, Mats Björkma, MDH 16

17 Deadlock Detectio - E resurs av varje typ Algoritm för att hitta cykler: 1. För varje od N i grafe, utför följade steg med N som startod: 2. Iitiera L som de tomma mägde och avmarkera alla bågar, sätt N som uvarade od. 3. Addera uvarade od till mägde L. Om uvarade od reda tidigare är i mägde, så har vi upptäckt ett baklås, vi oterar detta (typ spara L) och algoritme ka därefter termieras 4. Om det fis omarkerade bågar utgåede frå uvarade od, gå till 5, aars gå till Välj e omarkerad båge och markera de. Följ de seda. Sätt de ya ode till uvarade od. Gå till Om vi står vid startode, gå till 1 och aväd e y startod. Om ite: Vi har hamat i e återvädsgräd. Ta bort uvarade od ur L, backa till föregåede od, gör dea till uvarade od och gå till 4. Operativsystem, Mats Björkma, MDH 17

18 Deadlock Detectio - E resurs av varje typ R P A P B PC S P D P T E P F W U V P G N=P B L={} =>L={P B } =>L={P B, T} =>L={P B, T, P E } =>L={P B, T, P E, V} =>L={P B, T, P E, V, P G } =>L={P B, T, P E, V, P G, U} =>L={P B, T, P E, V, P G, U, P D } =>L={P B, T, P E, V, P G, U, P D, S} =>L={P B, T, P E, V, P G, U, P D, S, P C } =>L={P B, T, P E, V, P G, U, P D, S} =>L={P B, T, P E, V, P =>L={P B, T, P E, V, P G, U, P G, U, P D } D, T} Baklås!! Operativsystem, Mats Björkma, MDH 18

19 Deadlock Detectio - Alterativ uta baklås R P A P B PC S P D P T E P F W U V P G N=P B L={} =>L={P B } =>L={P B, T}. =>L={P B, T, P E, V, P G, U} =>L={P B, T, P E, V, P G } =>L={P B, T, P E, V} =>L={P B, T, P E } =>L={P B, T} =>L={P B } (iget baklås utgåede frå P B ) dito med N=P A, P C, P D, P E, P F, resp. P G Slutsats: Iget baklås existerar Operativsystem, Mats Björkma, MDH 19

20 Deadlock Detectio - Flera resurser av varje typ Lösig med matriser [ e e ] E... = 1 2 e Vektor med Existerade resurser av typ e x = [ a1 a2 a ] Vektor med tillgägliga (Available) c11 c12 c1 resurser av typ a x A... c C = R = " cm 21 1 r r " rm c c 22 " m1 r r r " m1! #!! #! Vi ka se att: c c r r 2 " m 1 r 2 " m Matris med atalet resurser av typ som process m håller (Claimed) Matris med atalet resurser av typ som process m begär (Requested) m i=1 c + a = ij Operativsystem, Mats Björkma, MDH 20 j e j

21 Deadlock Detectio - Flera resurser av varje typ För två vektorer, X och Y gäller att X Y omm x i y i för 0 i <! "! " Exempel: # $! " # $! " # $ # $ Operativsystem, Mats Björkma, MDH 21

22 Deadlock Detectio - Flera resurser av varje typ Följade algoritm körs regelbudet: 1. Hitta e omarkerad process P i där R i A. 2. Om e såda process fis, markera processe (de har möjlighet att exekvera klart), addera C i till A, och gå till steg När ige omarkerad process uppfyller villkoret i 1, termiera. Alla omarkerade processer är i baklås Hur fugerar detta? Operativsystem, Mats Björkma, MDH 22

23 Operativsystem, Mats Björkma, MDH 23 Övig 1: [ ] = E [ ] A = = C Fis det baklås i systemet? = R 1 [ ] A'= 2 [ ] ' A' = 3 [ ] '' A' = INGET BAKLÅS!!! Deadlock Detectio - Flera resurser av varje typ

24 Övig 2: E = [ ] A = [ ] C = Deadlock Detectio - Flera resurser av varje typ R = Fis det baklås i systemet? A' = SYSTEMET ÄR I BAKLÅS!!! Operativsystem, Mats Björkma, MDH 24

25 Deadlock Detectio Hur återhämta sig frå baklås? Preemptio Process rollback Termiera e av processera som är i baklås Operativsystem, Mats Björkma, MDH 25

26 Deadlock Avoidace Udviker baklås geom försiktighet vid allokerig Arbetar med säkra och osäkra tillståd E allokerig tillåts edast om systemet hamar i ett säkert tillståd efter allokerige Operativsystem, Mats Björkma, MDH 26

27 Deadlock Avoidace - Säkra och osäkra tillståd (fig. 6-8) B Both Fiished Pri t er Pl ot ter I8 I7 I6 I5 Safe Safe Safe Usafe Ureachable r s Safe Safe p q I1 I2 I3 I4 A Priter Plotter Operativsystem, Mats Björkma, MDH 27

28 Deadlock Avoidace - Säkra och osäkra tillståd Algoritmer för att beräka tillstådet Förutsäger ett värstafallsbeteede Vad är värsta fallet? Om e process vill ha alla resurser de överhuvudtaget ka täkas vilja ha i framtide, u och alla samtidigt Fråga är: Skulle systemet då gå i baklås? Svår uppgift: skatta maxatalet Operativsystem, Mats Björkma, MDH 28

29 Deadlock Avoidace - Säkra och osäkra tillståd Algoritmer för att beräka tillstådet Motsvarar baklåsdetekterig med E, A, C och R-matrisera. Exempel 1: Totalt 10 resurser, med följade allokerig: Proc Har Max A 3 9 B 2 4 C 2 7 Ledigt SÄKERT!!! Är systemet i ett säkert eller osäkert tillståd? Operativsystem, Mats Björkma, MDH 29

30 Deadlock Avoidace - Säkra och osäkra tillståd Algoritmer för att beräka tillstådet Motsvarar baklåsdetekterig med E, A, C och R-matrisera. Exempel 2: Totalt 10 resurser, med följade allokerig: Proc Har Max A 3 9 B 2 4 C 2 8 Ledigt OSÄKERT!!! Är systemet i ett säkert eller osäkert tillståd? Operativsystem, Mats Björkma, MDH 30

31 Deadlock Avoidace - Säkra och osäkra tillståd Observera att ett osäkert tillståd här ite måste leda till baklås! Maxallokerige är ett värsta fall som kaske aldrig iträffar vid e exekverig Däremot är tillstådet osäkert eftersom det fis e risk att tillstådet leder till baklås Operativsystem, Mats Björkma, MDH 31

32 Deadlock Avoidace - Baker s Algorithm Av Edsger Dijkstra Ursprugstake frå lå i e bak Avgör om e allokerig leder till ett säkert eller osäkert tillståd Körs varje gåg e resurs begärs Två fall: E typ av resurs Flera typer av resurser Operativsystem, Mats Björkma, MDH 32

33 Deadlock Avoidace - Baker s Algorithm Fråga är ifall vi skall tillåta process P att allokera e begärd resurs eller ite Take är att studera värsta fallet: OM vi tillåter process P att allokera e begärd resurs, och OM därefter alla processer vill allokera det maximala atalet resurser på e gåg, är systemet fortfarade i ett säkert tillståd? Proc Har Max A 3 9 B 2 4 C 2 7 Operativsystem, Mats Björkma, MDH 33

34 Deadlock Avoidace - Baker s Algorithm Exempel med e typ av resurs: Proc A B C Iitialt tillståd Har Ledigt: 3 Max B begär 1 Proc Har Max A B C SÄKERT! Ledigt: 2 SÄKERT! Proc A begär Ledigt: 2 OSÄKERT! Operativsystem, Mats Björkma, MDH 34 A B C Har Max C begär 1 Proc Har Max A B C Ledigt: 1 SÄKERT!

35 Deadlock Avoidace - Baker s Algorithm Motsvarade för flera typer av resurser lämas om e övig (boke 6.5.4) Aväd samma typ av matriser som vid deadlock detectio för flera resurser, och applicera Baker s Algorithm d.v.s.: OM vi tillåter e begära om resurser, och OM alla processer seda vill ha maxatalet, kommer då systemet att gå i baklås? Om ja, eka de begärda allokerige Operativsystem, Mats Björkma, MDH 35

36 Deadlock Avoidace - Baker s Algorithm Värt att otera ige är att ett osäkert tillståd ite måste leda till baklås Det är bara om alla processer verklige vill allokera maxatalet resurser som det blir ett baklås Baker s algorithm är alltså koservativ eftersom de alltid atar värsta fallet Operativsystem, Mats Björkma, MDH 36

37 Deadlock Prevetio Svårt att åstadkomma Agrip ett av villkore för baklås Agrip Ömsesidigt uteslutade Agrip Hold ad Wait Agrip No-preemptio Agrip Cirkulär väta Operativsystem, Mats Björkma, MDH 37

38 Hur skulle du göra? I ett valigt OS? I ett realtids-os? Agrip Ömsesidigt uteslutade Agrip Hold ad Wait Agrip No-preemptio Agrip Cirkulär väta Operativsystem, Mats Björkma, MDH 38

39 Filosoferas återkomst Summa summarum: OS:et haterar sälla baklås Alltså: Du som programmerare behöver hatera dem! E ekel regel: Ta alltid semaforera i e viss ordig! Låt e filosof ta höger gaffel först! Operativsystem, Mats Björkma, MDH 39

40 Summerig Vad är baklås? 4 villkor för att baklås skall riskeras: Ömsesidigt uteslutade Hold ad wait No-preemptio Cirkulär väta Operativsystem, Mats Björkma, MDH 40

41 Summerig Strategier för att hatera baklås 4 strategier: Strutsalgoritme Deadlock detectio (ad recovery) Deadlock avoidace Deadlock prevetio Operativsystem, Mats Björkma, MDH 41

42 Lärademål Vad är baklås? Villkor för baklås Strategier för att hatera baklås Operativsystem, Mats Björkma, MDH 42

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

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

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

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

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

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

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

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

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

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

Induktion och Binomialsatsen. Vi fortsätter att visa hur matematiska påståenden bevisas med induktion.

Induktion och Binomialsatsen. Vi fortsätter att visa hur matematiska påståenden bevisas med induktion. Idutio och Biomialsatse Vi fortsätter att visa hur matematisa påståede bevisas med idutio. Defiitio. ( )! = ( över ).!( )! Betydelse av talet studeras seare. Med idutio a vi u visa SATS (Biomialsatse).

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

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

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

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

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

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

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

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

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

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

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

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

CONSTANT FINESS SUNFLEX

CONSTANT FINESS SUNFLEX Luex terrassarkiser. Moterigs- och bruksavisig CONSTNT FINESS SUNFLEX 5 6 Markises huvudkopoeter och ått Placerig av kobikosol rklockor och justerig Parallelljusterig vädig och skötsel Huvudkopoeter och

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

LINJÄR ALGEBRA II LEKTION 4

LINJÄR ALGEBRA II LEKTION 4 LINJÄR ALGEBRA II LEKTION 4 JOHAN ASPLUND Iehåll Egevärde, egevektorer och egerum 2 Diagoaliserig 3 Uppgifter 2 5:4-5a) 2 Extrauppgift frå dugga 2 52:8 4 52:3 4 Extrauppgift frå teta 4 Egevärde, egevektorer

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

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

Art. 7953. Brugsanvisning

Art. 7953. Brugsanvisning Art. 7953 D GB F NL S I E DK Gebrauchsaweisug Licht- / Wasserspieldüse Operatig Istructios Light ad Waterworks Jet Mode d emploi Buse pour jet d eau avec éclairage Gebruiksaawijzig Licht- / waterspelsproeier

Läs mer

Efter tentamen För kurser med fler än 60 examinerande meddelas resultatet SENAST 20 arbetsdagar efter examinationen annars 15 arbetsdagar.

Efter tentamen För kurser med fler än 60 examinerande meddelas resultatet SENAST 20 arbetsdagar efter examinationen annars 15 arbetsdagar. Luleå tekiska uiversitet TENTAMEN Kurskod: R0009N Kursam: Modeller för iter styrig Tetamesdatum: 2015-03-16 Skrivtid: 4 timmar Tillåta hjälpmedel: Räkare. Rätetabeller bifogas lägst bak i dea teta. Jourhavade

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

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

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

Korrelationens betydelse vid GUM-analyser

Korrelationens betydelse vid GUM-analyser Korrelatoes betydelse vd GUM-aalyser Hela koceptet GUM geomsyras av atagadet att gåede mätgar är okorrelerade. Gude betoar och för sg att ev. korrelato spelar, me ger te mycket vägledg för hur ma då ska

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

(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

Enkät inför KlimatVardag

Enkät inför KlimatVardag 1 Ekät iför KlimatVardag Frågora hadlar om dia förvätigar på och uppfattigar om projektet, samt om hur det ser ut i ditt/ert hushåll idag. Ekäte är uderlag för att hushållet ska kua sätta rimliga och geomförbara

Läs mer

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

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

Föreläsning G70, 732G01 Statistik A. Föreläsningsunderlagen är baserade på underlag skrivna av Karl Wahlin

Föreläsning G70, 732G01 Statistik A. Föreläsningsunderlagen är baserade på underlag skrivna av Karl Wahlin Föreläsig 6 732G70, 732G01 Statistik A Föreläsigsuderlage är baserade på uderlag skriva av Karl Wahli Kapitel 6 Iferes om e populatio Sid 151-185 Puktskattig och itervallskattig Statistisk iferes om populatiosmedelvärde

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

Introduktion till statistik för statsvetare

Introduktion till statistik för statsvetare "Det fis iget så praktiskt som e bra teori" November 2011 Bakgrud Stadardiserig E saolikhetsekvatio Kosekves av stora tales lag Stora tales lag ger att är slumpvariablera X i är oberoede, med e och samma

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

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

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

Å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

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

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

Intervallskattning. c 2005 Eric Järpe Högskolan i Halmstad. Antag att vi har ett stickprov x 1,..., x n på X som vi vet är N(µ, σ) men vi vet ej

Intervallskattning. c 2005 Eric Järpe Högskolan i Halmstad. Antag att vi har ett stickprov x 1,..., x n på X som vi vet är N(µ, σ) men vi vet ej Itervallskattig c 005 Eric Järpe Högskola i Halmstad Atag att vi har ett stickprov x,..., x på X som vi vet är Nµ, σ me vi vet ej värdet av µ = EX. Då ka vi beräka x, vvr skattig av µ. För att få reda

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

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

Multiplikationsprincipen

Multiplikationsprincipen Kombiatori Kombiatori hadlar oftast om att räa hur måga arragemag det fis av e viss typ. Multipliatiospricipe Atag att vi är på e restaurag för att provsmaa trerättersmåltider. Om det fis fyra förrätter

Läs mer

E F. pn-övergång. Ferminivåns temperaturberoende i n-dopade halvledare. egen ledning. störledning

E F. pn-övergång. Ferminivåns temperaturberoende i n-dopade halvledare. egen ledning. störledning ÖVRGÅNG De eklaste halvledarkomoete är diode. Diode består av e doad och e doad del. Vid kotaktyta mella och doat område ustår ett ire elektriskt fält.g.a. att elektroer i ledigsbadet å sida diffuderar

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

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

Introduktion till etik (2)

Introduktion till etik (2) Itroduktio till etik (2) Niklas Möller (moller@kth.se) ETIKMOMENT DD1390 Dages program: Itroduktio till argumetatiosaalys Itroduktio till etiska teorier: q Kosekvetialism q Deotologi q Dygdetik Rullade

Läs mer

Sannolikheter 0 < P < 1. Definition sannolikhet: Definition sannolikhet: En sannolikhet kan anta värden från 0 till 1

Sannolikheter 0 < P < 1. Definition sannolikhet: Definition sannolikhet: En sannolikhet kan anta värden från 0 till 1 Saolikheter E saolikhet ka ata värde frå 0 till 1 0 < P < 1 Beteckas: P Pr Prob Saolikhete för e hädelse Hädelse A P(A) Pr(A) Prob(A) Defiitio saolikhet: De frekves med vilke hädelse av itresse iträffar

Läs mer

Föreläsning F3 Patrik Eriksson 2000

Föreläsning F3 Patrik Eriksson 2000 Föreläsig F Patrik riksso 000 Y/D trasformatio Det fis ytterligare ett par koppligar som är värda att käa till och kua hatera, ite mist är ma har att göra med trefasät. Dessa kallas stjärkopplig respektive

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

NEWTON-RAPHSONS METOD (en metod för numerisk lösning av ekvationer)

NEWTON-RAPHSONS METOD (en metod för numerisk lösning av ekvationer) Armi Halilovic: EXTRA ÖVNINGAR Newto-Raphsos metod NEWTON-RAPHSONS METOD (e metod för umeris lösig av evatioer Måga evatioer är besvärligt och iblad äve omöjligt att lösa eat. Då aväder ma umerisa metoder

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

Stokastiska variabler

Stokastiska variabler TNG006 F2 11-04-2016 Stoastisa variabler Ett slumpmässigt försö ger ofta upphov till ett tal som bestäms av utfallet av försöet. Talet är ite ät före försöet uta bestäms av vilet utfall som ommer att uppstå,

Läs mer

MS-A0409 Grundkurs i diskret matematik Sammanfattning, del I

MS-A0409 Grundkurs i diskret matematik Sammanfattning, del I MS-A0409 Gudkus i disket matematik Sammafattig, del I G. Gipebeg 1 Mägde och logik 2 Relatioe och fuktioe Aalto-uivesitetet 15 maj 2014 3 Kombiatoik etc. G. Gipebeg Aalto-uivesitetet MS-A0409 Gudkus i

Läs mer

Hur månfa indianer...? och andra gåtor Lärarmaterial. Vad handlar boken om? Mål från Lgr 11: Att arbeta med gåtor. Lek med ord och bokstäver

Hur månfa indianer...? och andra gåtor Lärarmaterial. Vad handlar boken om? Mål från Lgr 11: Att arbeta med gåtor. Lek med ord och bokstäver Lärarmaterial sida 1 Författare: Keld Peterse Vad hadlar boke om? Här får ma täka till! Ka du lösa gåtora? Mål frå Lgr 11: Lässtrategier för att förstå och tolka texter samt för att apassa läsige efter

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

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

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

= (1 1) + (1 1) + (1 1) +... = = 0

= (1 1) + (1 1) + (1 1) +... = = 0 TALFÖLJDER OCH SERIER Läs avsitte - och 5 Lös övigara, abcd, 4, 5, 7-9, -5, 7-9, -abcd, 4, 5 Läsavisigar Avsitt Defiitioe av talföljd i boe är ågot ryptis, me egetlige är det ågot väldigt eelt: e talföljd

Läs mer

Sida 1 av 12. vara ett inkonsistent system (= olösbart system dvs. ett system som saknar lösning). b =.

Sida 1 av 12. vara ett inkonsistent system (= olösbart system dvs. ett system som saknar lösning). b =. Sida av MINSAKVADRAMEODEN Låt a a a a a a a a a vara ett ikosistet sste ( olösart sste dvs. ett sste so sakar lösig). Vi ka skriva ssteet på fore A (ss ) där a a... a a a... a A, och............. a p a

Läs mer

1. (a) Eftersom X och Y har samma fördelning så har de även samma väntevärde och standardavvikelse. E(X 2 ) = k

1. (a) Eftersom X och Y har samma fördelning så har de även samma väntevärde och standardavvikelse. E(X 2 ) = k LÖSNINGAR TILL Matematisk statistik, Matematikcetrum Tetame: 5 kl 8 Luds tekiska högskola FMS, FMS, FMS, FMS 5, MAS 9 Matematisk statistik för ED, F, I, FED och fysiker. a Eftersom X och Y har samma fördelig

Läs mer

a utsöndring b upptagning c matspjälkning d cirkulation

a utsöndring b upptagning c matspjälkning d cirkulation I levade varelser bryts stora och sammasatta molekyler ed till små och ekla molekyler. Vad kallas dea process? S02_01 a utsödrig b upptagig c matspjälkig d cirkulatio S042009 Kalle hade ifluesa. Ha spelade

Läs mer

RÄKNESTUGA 2. Rumsakustik

RÄKNESTUGA 2. Rumsakustik RÄKNESTUGA Rumsakustik 1. Beräka efterklagstidera vid 15, 500 och 000 Hz i ett rektagulärt rum med tegelväggar och med betog i tak och golv. Rummets dimesioer är l x 3,0 l y 4,7 l z,5 [m].. E tom sal med

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

Lektion 3 Kärnan Bindningsenergi och massdefekt

Lektion 3 Kärnan Bindningsenergi och massdefekt Lektio 3 Kära Bidigseergi och assdefekt Några begre och beteckigar Nuklid Nukleo Isotoer Isobarer Masstal A Atouer Z E ato ed ett bestät atal rotoer och eutroer. Beteckas ofta A ed skrivsättet Z Xx där

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

Produsert for bevegelses hemmede, og er det mest fleksible og variasjonrike alternativ på markedet. Tilpasnings-mulighetene er nesten ubegrensede.

Produsert for bevegelses hemmede, og er det mest fleksible og variasjonrike alternativ på markedet. Tilpasnings-mulighetene er nesten ubegrensede. VÄSTIA DUSJROM Produsert for bevegelses hemmede, og er det mest fleksible og variasjorike alterativ på markedet. Tilpasigs-mulighetee er este ubegresede. HML Hjelpemiddel-leveradøre AS Braderudv. 90, 2015

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

Tentamen i Matematisk statistik för V2 den 28 maj 2010

Tentamen i Matematisk statistik för V2 den 28 maj 2010 Tetame i Matematisk statistik för V de 8 maj 00 Uppgift : E kortlek består av 5 kort. Dessa delas i i färger: 3 hjärter, 3 ruter, 3 spader och 3 klöver. Kortleke iehåller damer, e i varje färg. Ata att

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

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

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

Artificiell intelligens Probabilistisk logik

Artificiell intelligens Probabilistisk logik Probabilistiska resoemag Artificiell itelliges Probabilistisk logik Are Jösso HCS/IDA Osäkerhet Grudläggade saolikhetslära Stokastiska variabler Bayes teorem Bayesiaska ätverk Kostruktio Iferes Osäkerhet

Läs mer

Tentamen i EG2050/2C1118 Systemplanering, 14 mars 2009, 8:00 13:00, Q21, Q22

Tentamen i EG2050/2C1118 Systemplanering, 14 mars 2009, 8:00 13:00, Q21, Q22 Tetame i EG2050/2C1118 Systemplaerig, 14 mars 2009, 8:00 13:00, Q21, Q22 Tillåta hjälpmedel Vid dea tetame får följade hjälpmedel avädas: Miiräkare uta iformatio med akytig till kurse. E hadskrive, ekelsidig

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 A13 Deltentamen 2, 5p 5 juni 2004, kl

Tentamen i Statistik, STA A13 Deltentamen 2, 5p 5 juni 2004, kl Karlstads uiversitet Istitutioe för iformatiostekologi Avdelige för statistik Tetame i Statistik, STA A13 Deltetame, 5p 5 jui 004, kl. 09.00-13.00 Tillåta hjälpmedel: Asvarig lärare: Övrigt: Bifogad formel-

Läs mer

Tentamen i matematisk statistik

Tentamen i matematisk statistik Tetame i matematisk statistik Uppgift : På e arbetsplats skadades % av persoale uder ett år. 60% av alla skadade var mä. 0% av alla aställda var kvior. Är det maliga eller kviliga aställda som löper störst

Läs mer

vara ett polynom där a 0, då kallas n för polynomets grad och ibland betecknas n = grad( P(

vara ett polynom där a 0, då kallas n för polynomets grad och ibland betecknas n = grad( P( Armi Halilovic: EXTRA ÖVNINGAR Polyom POLYNOM OCH ALGEBRAISKA EKVATIONER Defiitio Polyom är uttrycet av type a a a 0, eller ortare a 0, ( där är ett ice-egativt heltal) Defiitio Låt P( a a a0 vara ett

Läs mer

Familje- juridik Här är dina rättigheter. Bostad& fastighet. Sambo eller gift? Sambo eller gift? Privata Affärers serie om. Del 3

Familje- juridik Här är dina rättigheter. Bostad& fastighet. Sambo eller gift? Sambo eller gift? Privata Affärers serie om. Del 3 Äkteskap& samboförhållade Huvudregel eligt sambolage är att bostad och bohag, som skaffats för Är i ekoomiskt jämställda, det vill säga har ugefär lika stora skulder eller tillgågar, har det kaske ite

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

Fråga: Erbjuder ni någon utbildning för förskrivare och apotekspersonal för att kunna använda webbapplikationerna på ett effektivt sätt?

Fråga: Erbjuder ni någon utbildning för förskrivare och apotekspersonal för att kunna använda webbapplikationerna på ett effektivt sätt? FAQ för det ya licessystemet KLAS Fråga: Hur skickar jag som förskrivare i mi licesmotiverig i KLAS? Svar: Läk fis på lv.se/lices uder Skapa licesmotiverig. Fråga: Varför ska jag som förskrivare skicka

Läs mer

Svenska Segelflygförbundet Sida 1 av 5. Datum Felmeddelande Källa Företag Användare Grupp. Form, 02 25. Form, 02 25. Form, 02 25.

Svenska Segelflygförbundet Sida 1 av 5. Datum Felmeddelande Källa Företag Användare Grupp. Form, 02 25. Form, 02 25. Form, 02 25. Sveska Sida 1 av 5 Datum Felmeddelade Källa Företag Avädare Grupp 2015-02-26 Ka ej iitiera forme BL_Lo.KuUpp SSF 15:47:01 Sveska Carli 2015-02-26 Coversio from strig "" to type BL_Lo.KuUpp SSF 15:47:00

Läs mer

Bruksanvisning. Persondator VGN-S-serien

Bruksanvisning. Persondator VGN-S-serien Bruksavisig Persodator VG-S-serie 2 Iehåll Ia du börjar aväda dator...6 För käedom...6 EERGY STAR...7 Dokumetatio...8 Ergoomisk iformatio...11 Komma igåg...13 Om idikatorlampora...14 Asluta dator till

Läs mer

Programmering Emme-makro rvinst_ic.mac version 2

Programmering Emme-makro rvinst_ic.mac version 2 Uppdragsr: 10109320 2008-08-27 Seh Svalgård PM Programmerig Emme-makro rvis_ic.mac versio 2 Iehållsföreckig Förusäigar...2 Beräkigsuryck...2 Daabaser...4 Marisplaser...4 Aropsparamerar...6 Udaa...6 L:\705x\_SAMSAM\3_Dokume\36_PM\PM

Läs mer

TMS136: Dataanalys och statistik Tentamen 2013-10-26 med lösningar

TMS136: Dataanalys och statistik Tentamen 2013-10-26 med lösningar TMS36: Dataaalys och statistik Tetame 03-0-6 med lösigar Examiator och jour: Mattias Sude, tel. 0730 79 9 79 Hjälpmedel: Chalmersgodkäd räkare och formelsamlig formelsamlig delas ut med teta). Betygsgräser:

Läs mer

Markanvisningsavtal för och försäljning av fastigheten Gesällen 25

Markanvisningsavtal för och försäljning av fastigheten Gesällen 25 TJÄNSTSKRIVLS Hadläggare atum Äredebeteckig Johaa Kidqvist -05- KS /05 50 Kommufullmäktige Markavisigsavtal för och försäljig av fastighete Gesälle 5 Förslag till beslut Kommufullmäktige godkäer förslag

Läs mer

D 45. Orderkvantiteter i kanbansystem. 1 Kanbansystem med två kort. Handbok i materialstyrning - Del D Bestämning av orderkvantiteter

D 45. Orderkvantiteter i kanbansystem. 1 Kanbansystem med två kort. Handbok i materialstyrning - Del D Bestämning av orderkvantiteter Hadbok materalstyrg - Del D Bestämg av orderkvatteter D 45 Orderkvatteter kabasystem grupp av materalstyrgsmetoder karakterseras av att behov av materal som uppstår hos e förbrukade ehet mer eller mdre

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

Kompletteringsskrivning i EG2050 Systemplanering, 17 september 2009, 9:00-11:00, stora konferensrummet

Kompletteringsskrivning i EG2050 Systemplanering, 17 september 2009, 9:00-11:00, stora konferensrummet Kompletterigsskrivig i EG2050 Systemplaerig, 17 september 2009, 9:00-11:00, stora koferesrummet Istruktioer Edast de uppgifter som är markerade på det bifogade svarsbladet behöver lösas (på de övriga uppgiftera

Läs mer

Ett enklare. sätt att arbeta. XOR Compact 4.0 Demohandledning

Ett enklare. sätt att arbeta. XOR Compact 4.0 Demohandledning Ett eklare sätt att arbeta. XOR Compact 4.0 Demohadledig 1 Mer ä 12.000 ordiska företag aväder det reda. Opartiska tester utser det till markades bästa program. Facktidige Mikrodator gör det för tredje

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