Rektor Linda Nielsen Københavns Universitet Nørregade 10 1017 ...

More documents

Recommendations

Info

A. Beskrivelse af kernefeltet: A.1 Institutionens navn: Københavns Universitet, Datalogisk Institut A.2 Kontaktperson: Stig Skelboe A.3 Tlf 35 32 14 49 A.4 E-mail: stig@diku.dk A.5 Kernefeltets navn: Distribuerede Software Nuværende kernefelt A.6 Fagligt fokus: Moderne praktiske anvendelser af datalogi præges i stigende grad af opgaver, hvor data skal indsamles og beregninger foretages på mange separate computere, der må kommunikere indbyrdes, såkaldt distributed computing. Eksempler, der kendes af offentligheden i bred forstand, inkluderer Internet, fildelingsnetværk, sensornetværk, og kommunikation og koordination mellem husholdningsapparater ("det intelligente hus"). Endvidere spiller distribution en stadig større rolle i sammenhænge hvor en beregningsmæssig opgave ikke i sig selv er af distribueret karakter, men kræver så megen regnekraft (f.eks. analyse af satellitdata eller acceleratoreksperimenter), at den i praksis bedst løses ved at distribuere regnearbejdet over flere, ofte geografisk adskilte, computere ("grid computing"). Denne model er også interessant for mindre virksomheder, der ikke har et konstant højt forbrug af regnekraft, men lejlighedsvis har behov for at trække på store beregningsressourcer (f.eks. ifm. biokemiske simulationer). Omvendt kan en virksomhed i perioder sælge evt. overskudskapacitet på det åbne marked, på linie med f.eks. elektricitetsproduktion. Sådanne opgavetyper fordrer metoder, der i høj grad adskiller sig fra traditionel datalogi baseret på arbejde i en maskine med kun én processor. Mange års erfaring har afdækket, at kommunikation og koordination af mange processer og brugere er vanskelig at gøre korrekt (uden fejl i output eller opførsel), og konsekvent effektivt (da der uhyre let introduceres unødig ventetid). Imidlertid har de sidste 20 års forskning inden for programmeringssprog og distribution også frembragt såvel matematiske modeller som praktiske erfaringer, der faciliterer, eller endda garanterer korrekt og effektiv software. Tillige har forskning inden for grafisk simulation (til f.eks. videnskabelig visualisering eller computerspil) i stigende grad benyttet sig af metoder, der er specialiseret til afvikling på distribuerede strukturer. Kernefeltets forskning sigter derfor dels mod at understøtte infrastrukturen i distribuerede anvendelser, med særligt fokus på formaliseret sikkerhed, tilgængelighed og korrekthed, og dels mod parallelisering af konventionelle beregningsprocesser, så de med stadig større fordel kan fordeles ud over flere processorer. Kernefeltet omfatter i sagens natur også metodologier for distribueret konstruktion af software, herunder integration af uafhængigt udviklede komponenter, og understøttelse af kollaborativ udvikling efter f.eks. open-source modellen. Flere forskningsgrupper ved DIKU undersøger aspekter af distribution med anvendelse af egne resultater og forskningsmetoder. Den traditionelle ekspertise Dok-id. 354956
inden for emnet (datanetværk og operativsystemer) leveres af DIKUs forskningsgruppe for distribuerede systemer, mens andre centrale perspektiver bibringes af grupperne for programmeringssprog (formelle modeller for beregning og kommunikation), algoritmik (paralleliserbare algoritmer til løsning af beregningstunge problemer), samt billedbehandling (algoritmer for distribueret analyse og syntese af f.eks. grafikdata). A.7 Forskerskoler m.v.: Copenhagen Image and Signal Processing Graduate School (CISP) Foundations for Innovative Research-based Software Technologies (FIRST Graduate School) A.8 Myndighedsopgaver og –beredskab: B. Kernefeltets omfang: B.1 Antal videnskabelige medarbejdere (gerne fordelt på stillingskategorier): 8 professorer, 12 lektorer, 2 adjunkter (personantal) B.2 Antal ph.d.er: 11 B.3 Samlet budget: 23.2 Mkr. (2004) C. Begrundelse for valg af kernefelt: C.1 Publicering. Angiv antal peer review-publikationer over de seneste 3 år (2002-2004): 111 C.2 Citationer. Angiv gns. antal citationer per artikel (i en nærmere specificeret periode): 5,1 C.3 Erhvervsmæssig betydning. Angiv omfanget af samarbejde med private virksomheder, herunder antal patenter i de seneste 3 år: Inden for de sidste par år har DIKU samarbejdet, i stærkt varierende omfang, med ca. 30 virksomheder i ind- og udland. Kernefeltets deltagere har været involveret i de fleste af disse samarbejder. Ingen patenter. C.4 Samfundsmæssig betydning. Beskriv kernefeltets betydning for det omgivende samfund, herunder uddannelse. Angiv antal kandidater og antal ph.d.er uddannet per år i de seneste 3 år: Som det fremgår af A.6 Fagligt fokus, så har forskningsresultaterne fra kernefeltet stor betydning i mange avancerede EDB systemer. Det er ikke muligt at henføre kandidater til kernefeltet, men DIKU har færdiggjort i gennemsnit 39 kandidater årligt i perioden 2002-2004. Inden for kernefeltet er der uddannet 2 Ph.D. kandidater årligt. C.5 Eksterne forskningsindtægter. Angiv omfanget af eksterne forskningsmidler tildelt over de seneste 3 år: Ialt 19,7 Mkr. til hele DIKU C.6 Formaliseret internationalt forskningssamarbejde. Angiv omfanget af formaliseret internationalt forskningssamarbejde, herunder antal fælles publikationer og/eller fælles forskningsansøgninger og –bevillinger inden for de seneste 3 år: De sidste tre år har DIKUs forskere haft 101 publikationer med en eller flere udenlandske medforfattere. 2
Page 1 and 2:
DET NATURVIDENSKABELIGE FAKULTET K
Page 3 and 4:
Bilag 1 Kernefelter i dansk forskni
Page 5 and 6:
Bilag 2 til Danmarks Forskningspoli
Page 7 and 8:
00100). Et af gruppens medlemmer va
Page 9 and 10:
periode): 2002-2004: 3.2 citationer
Page 11 and 12:
Page 13 and 14:
Grønland, ændringer af Grønlands
Page 15 and 16:
B.1 Antal videnskabelige medarbejde
Page 17 and 18:
Page 19 and 20:
QUANTOP - Danmarks Grundforskningfo
Page 21 and 22:
subject of active investigation, in
Page 23 and 24:
RNA’er, som inkluderer familier a
Page 25 and 26:
Page 27 and 28: Bilag 2 til Danmarks Forskningspoli
Page 29 and 30: A. Beskrivelse af kernefeltet: A.1
Page 31 and 32: C.6 Formaliseret internationalt for
Page 33 and 34: B. Kernefeltets omfang: B.1 Antal v
Page 35 and 36: C.6 Formaliseret internationalt for
Page 37 and 38: A.7 Forskerskoler m.v. : Under fors
Page 41: som forplantning og aldring. C.5 Ek
Page 44 and 45: kernefelt under det større etabler
Page 48 and 49: A. Beskrivelse af kernefeltet: A.1
Page 50 and 51: Biologi, har i perioden 2002-2004 f
Page 52 and 53: Perspektivet er, at man ved denne s
Page 56 and 57: (Deutsche Forschungsgemeinschaft) -
Page 58 and 59: FRL er en af de internationa lt fø
Page 62 and 63: Den matematisk/numeriske forskning,
Page 64 and 65: B.2 Antal ph.d.er: 12 B.3 Samlet bu
Page 68 and 69: Gruppen har aktivt forskningssamarb
Page 70 and 71: B. Kernefeltets omfang: B.1 Antal v
Page 80 and 81: Ialt 12 udenlandske forskere har ti
Page 82 and 83: etydeligt arbejde. Således er 5 ka
Page 84 and 85: B.2 Antal ph.d.-stude rende: 3 (200
Page 89 and 90: C.3 Erhvervsmæssig betydning. Angi
Page 93 and 94: computer-modeller i stand til at do
Page 95: (2) DMI, samarbejde omkring ”Effe
Page 100: Forskningsfeltet yder også bistand
show all

Rektor Linda Nielsen Københavns Universitet Nørregade 10 1017 ...

Create successful ePaper yourself

Delete template?

Save as template?