Introduktion

1
Projektforslag på modul 2ved Keld Helsgaun
2
Fagligt indhold
Projekt- og kursusarbejdet skal give de
studerende indsigt i følgende emnekredse
Teknologi
(edb-teknologi)

• Datamaskinens opbygning
• Basisprogrammel
• Programmeringssprog
• Datamatbaserede værktøjer
• Teoretiske modeller for datamaskiner
  og beregninger
• Maskinnære sprog
• Paradigmer for højniveausprog
• Syntaks og semantik for programmeringssprog

Sprog
(formaliserede sprog)
3
NESL - et sprog til
parallelprogrammering

• udviklet ved Carnegie Mellon (USA)
• tilbyder parallelle operationer på data
• programmer i sproget er lette at forstå og bevise
  (velegnet som undervisningssprog)
• Eksempel (Quicksort)
• function Quicksort(S)
• if (S lt 1) then S
• else
• let a Srand(S)
• S1 e in S e lt a
• S2 e in S e a
• S3 e in S e gt a
• R Quicksort(v) v in S1,S3
• in R0 S2 R1

4
Projektideer

• NESL-programmer er flytbare, idet de oversættes
  til en mellemkode kaldet VCODE.
• Mulige projekter
• En oversætter til NESL
• En VCODE-fortolker
• Animering af programkørsel
• Evaluering af NESL

5
Grænseflader imellem sprog- anvendelse af Javas
native interface

• Javas native interface benyttes, når
• (1)Java ikke understøtter platformsafhængige
  faciliteter,
• (2) eksisterende programmel skrevet i andre
  sprog end Java, ønskes benyttet i et Java-
  program,
• (3) størst mulig effektivitet er ønskelig.
• Projektide effektiv quicksortering i
  Java-programmer.

6
Billedkomprimering

• Motivation minimering af transporttiden ved
  overførsel af billeder på datanetværk.
• Metode (fraktal billedkomprimering) et billede
  lagres som en samling af simple transformationer.
  Kunsten er at bestemme samlingen af
  transformationer.
• Projekttide udvikling af en programpakke
  til fraktal billedanalyse.

7
Ekspertsystemer

• Et ekspertsystem er et program, der anvender sig
  af specifik viden inden for et givet område for
  derved at opnå en kompetence, der kan sidestilles
  med en eksperts.
• En ekspertsystemskal er programmel, der kan
  benyttes til at udvikle ekspertsystemer.
• Projektide implementering og afprøvning af
  en ekspertsystemskal.

8
Arkitekturen af et ekspertsystem
9
Automatisk bevisførelse

• Megen viden kan formuleres i den såkaldte
  første-ordens prædikatlogik.
• Eks. menneske(Socrates)
• "x menneske(x) ? dødelig(x)
• Heraf kan sluttes dødelig(Sokrates)
• Projektide Udvikling af et program til
  automatisk bevisførelse.

10
Databaseteknologi

• I mangle anvendelser ønskes søgning på flere
  nøgler samtidigt.
• Eks. Find alle personer i en database, der
  hedder Jensen, og som er mellem 20 og 25 år.
• I eksemplet her er der både tale om
  flernøgle-søgning og om intervalsøgning.
• Effektiv søgning kræver specielle datastrukturer.

11
Projektide

• Udvikling af et databasesystem til
  fler-nøglesøgning, f.eks. baseret på en af
  nedenstående datastrukturer
• BD-træer
• KD-træer
• Quad-træer
• BP-træer
• Flerdimensionel hashing
• Fraktionelle kaskader

12
Funktionsorienteret programmering

• I et funktionsorienteret sprog udgør funktioner
  de centrale byggeklodser.
• En funktion kan have funktioner som argumenter,
  og værdien af en funktion kan være en ny
  funktion.
• Et meget anvendt funktionsorienteret sprog er
  Lisp.
• Projektide udvikling af en oversætter og
  fortolker i Java for sproget Lisp.

13
Simulering af en maskine

• Projektideer Udvikling af en simulator
  for Javas virtuelle maskine
• Udvikling af en simulator for MIX