Oppsummering

1. Oppsummering Pensum: Olsen, kap. 35 - 36

2. Formalisering • Krav for å anvende datamaskinen • Jo høyere formaliseringsnivå jo høyere nivås operasjoner • Aktuelt lenge før datamaskinen: • Bokholderi • Lagerstyring • Kirkebøker • Industriprosesser • Det som er formalisert kan ofte automatiseres: • Før datamaskinen – stort sett bare industrielle prosesser • Etter datamaskinen: Også administrative prosesser • Formalisering ofte vanskelig, f.eks. for naturlig språk • Men belønningen er stor!

3. Symbolske data - digitalisering • Datamaskinen kan lagre, behandle, presentere og oversende symbolske data • Data må da være digitalisert • Det er viktig å ikke fokusere på dagens representasjonsform av mange symbolske data: • Musikk kan representeres på andre måter enn som en CD eller plate • Penger kan representeres uten bruk av papir • En billett kan være en kode

4. Internett og Web • HTML tilbyr høy grad av fleksibilitet, men har et lavt formaliseringsnivå • HTML kan også brukes som brukergrensesnitt mot formaliserte databaser (bank, billetter m.m.) • XML gjør det mulig å heve formaliseringsnivået og realisere B2B applikasjoner

5. Begrensninger • Tekniske, kulturelle, økonomiske og sosiale begrensninger kan hindre bremse innføring av ny teknologi • Om teknologien er levedyktig vil den likevel få gjennomslag • Enkelte viktige gjennombrudd: VLSI, ADSL, Internett og Web standarder • Barnesykdommer som utstyrsfeil, programfeil, virus, spam… • Detaljer

6. Jobbmarkedet – lukkede jobber

7. Formaliserte jobber som ikke overlever med en ny teknologi Vi er her i dag

8. Mellomledd som kan forsvinne

9. Outsourcing til andre land

10. Åpne jobber

11. Teknologiske framskritt • Vi ser på mulighetene i nye teknologier • Men når prototypene møter den virkelige verden ser vi begrensningene • Det første mennesket gikk på månen i 1969 – hva var forventningene den gang? • Alt er ikke mulig • For eksempel: • kan vi lage en maskin som rengjør hjemmet automatisk? • hva skal til? • Ny teknologi må konkurrere med den eksisterende

12. Formalisering av datasystemer – et eksempel

13. Miniøving - formalisering • En dagligvarebutikk vil yte større service gjennom å pakke varene for kundene. • De vil da ha en ansatt ved kassen som pakker varene i poser etter at de er registrert • Vi skal lage en beskrivelse for hvordan jobben skal gjøres • I dag skal beskrivelsen brukes for å spesifisere jobben for ansatte, senere kanskje for en robot som pakker

14. Problemstillinger • Noen varer tåler ikke press og må ligge øverst • Handleposen må ikke bli for tung – tunge varer må derfor spres på flere poser • Vi vil bruke færrest mulig poser • Samtidig ønsker vi å pakke etter hvert varene kommer på transportbåndet

15. Løsninger • Vi gir attributter til varer, som: • Skjøre (kanskje på en skala fra 1 til 5) • Vekt • Dette kan brukes til å fordele varer (vekt) og til å plassere varer i posen • Vi skal konsentrere oss om “skjørhet”, vekt, etc. vil ha lignende analyser

16. Problemer • Tomater i løs vekt og i boks har helt forskjellig verdi for “skjørhet” • => Vi må også ta med innpakning (boks, plastpose, etc) • Men innpakning, som plastpose, sier ikke alt, f.eks. vil salat i lufttette poser tåle mer enn salat i en vanlig (åpen) pose: • => Vi må se på hele pakkeløsningen • Noen innpakninger, som f.eks. bokser med rømme, tåler press ovenifra men ikke fra siden • => Vi må vurdere “skjørhet” ut fra plassering i posen (fundamental ny problemstilling) • Ferske varer (som fisk, kjøtt) har annen verdi for “Skjørhet” enn frosne • => Vi må vurdere tilstand til varen • Uheldige kombinasjoner (for eksempel is og varme bakervarer)

17. Konklusjon • Når vi pakker varer i posene selv i butikken gjør vi en rekke vurderinger • Siden varene er av så mange slag og kommer i så mange varianter og innpakninger er det vanskelig å lage formaliserte regler for hvordan dette kan gjøres • Det enkleste er ofte å standardisere innpakninger (militæret gjør det med sine forsyninger) • Det vi da gjør er først å formalisere verden, deretter å løse problemet • Vi hadde et annet eksempel på dette: Kryssing av fjellet med sti, vei eller T-bane. Da så vi at problemet først lot seg formalisere med T-banen.