Numero 19

Fredag 20 maj 1994, årgång 23

Veckoblad om forskning, undervisning och administration m.m.
NADA - Institutionen för numerisk analys och datalogi, KTH.


Kalendarium

Aktuellt kalendarium, dvs. inte kalendariet som hör specifikt till denna Numeroutgåva.

Måndagsseminarium den 30 maj

Den 30 maj blir det ett måndagsseminarium i sal D1 med Björn Engquist (det framflyttade) under rubriken Små vågor och stora datorer.

Språkstatistik

Under våren har jag haft en programmeringsprojektkurs för cirka 200 E2-elever. Jag har rekommenderat eleverna att använda Modula-3, men det har varit fritt fram att välja vilket språk som helst som det går att skriva modulariserade program i. Av 41 projekt har 30 redovisats i tid. Statistiken nedan visar hur resultaten fördelar sej över olika programspråk. Jag överlåter åt läsaren att dra eventuella slutsatser.

Språk: Godkända, Ännu inte godkända, Andel godkända

Modula-3: 22 st,4 st,85 %

VMS-Pascal: 6 st, 2 st, 75 %

Turbopascal: 2 st, 1 st, 67 %

ANSI-C: 0 st, 4 st, 0 %

Viggo

Institutionskollegium och picknick

Glöm inte institutionskollegiet måndagen den 6 juni med efterföljande picknick.

Kollegiet börjar 10.15 och jag räknar med att picknicken kan börja vid 11.30-tiden.

Närmare information kommer nästa vecka. Vi kommer att berätta om senaste nytt, datoranskaffning och flyttnytt.

Ingrid

Seminarierum i Nadas nya lokaler

I Nadas nya lokaler finns tre seminarierum, 1537, 1625 och 1635. Rum 1537 har 22 platser vid bord och ytterligare 12 stolar längs väggen. Rum 1625 har 12 platser.

Rum 1635 har 10 platser. Alla rummen har skrivtavla, projektionsduk och stordia. Rum 1537 har dessutom teve. Det är förstås viss osäkerhet om när utrustningen är klar.

Alla tre rummen bokas t.v. genom JoAnn G.

Staffan R.

Systemgruppen på endagskonferens

För att slipa alla detaljer inför sommarens bataljer försvinner stora delar av systemgruppen till Lidingö för konferens under tisdagen.

Medel för bilateralt forskningssamarbete med Östeuropa

...kan man söka om man skyndar sig - sista ansökningsdag är fredagen den 27 maj! Numeropärmen 94.060.

Disputation: Torbjörn Keisu

Torbjörn Keisu, CS/IT/KTH & SICS disputerar under rubriken Tree Constraints. Uppgift om tid och plats har inte nått Numerored.

Datalogiseminarium: A Foundation for Concurrent Constraint Programming

Prof. Gert Smolka, DFKI and Universität des Saarlandes Saarbrucken, Germany, håller datalogiseminarium under ovanstående rubrik onsdagen den 1 juni kl. 13.15 i Uppsala, hus 1, sal 1357 (Polacksbacken).

Abstract

The talk will present a calculus providing a foundation for high-level concurrent programming. The calculus can elegantly express programming abstractions such as higher-order functions (both eager and lazy) and concurrent objects with encapsulated state and multiple inheritance. The primitives of the calculus are logic variables and names, concurrent composition, first-class relational abstraction and application, concurrent conditionals, and concurrent cells. Although the calculus is untyped, it can express privateness and authentication by means of first-class names.

The calculus can be conservatively extended to provide for constraint (logic) programming. There is a higher-order combinator that can express encapsulated search with different strategies, including demand-driven mutiple solution and branch and bound search.

The calculus is the semantic basis of Oz, a programming language and system under development at DFKI.

Disputation: A Parallel Approach to Integrated Multi-Gbit/s Communication over Multiwavelength Optical Networks

Adrian Popescu, disputerar under ovanstående rubrik fredagen den 27 maj kl. 10.00 i sal C1, Electrum, Kista.

Abstract

As the diversity and the performance of computational machinery and of communication technologies have dramatically increased, independent of each other, so have the demands on interconnection facilities. The coming of new, distributed, network-based computing paradigms and of new communication services, including multimedia, has posed a stringent need for high capacity, vastly faster and more responsive networking. Today, new multi-Gbit/s optical integrated networks are under development. However, while the Wavelength Division Multiplexing (WDM) technique has further manifoldly increased the transmission capacity on optical fiber, the performance increase of supporting nodal electronics and (software) processing needed for switching, buffering and control purposes has not matched this trend. The performance bottleneck has shifted from the transmission channel to network nodes. The main challenge is therefore to better understand and to exploit, in the most effective way, the properties of optical fibers. How can the properties of optical fibers best be employed to meet the increasing needs of emerging applications with different and conflicting performance requirements? To date, optical networks look essentially like those evolved in the pre-photonic era, with optical fiber replacing copper wiring or radio links. For reasons presented in this dissertation, this solution no longer suffices. In order to remove the fundamental bottlenecks in a vertically-oriented communication model (type OSI), new communication models are needed that exploit the network resources in such a way that the performance benefits of using optical fibers can be fully realized, and not be limited by electronics or protocol processing.

(Resten av denna text finns i Numeropärmen 94.059.)

Diskret matte-seminarium: Optimal bounds for NP-complete problems - parallel program scheduling and memory reorganization

Håkan Lennerstad, Högskolan i Karlskrona/Ronneby, håller seminarium i diskret matematik under ovanstående rubrik torsdagen den 2 juni kl. 15.15-17 i Balsalen, rum 359D (Lindstedsv. 5, 2tr.).

Abstract

Consider two multiprocessors with identical processors. The first multiprocessor has $q$ processors and allocates parallel programs dynamically. The second employs cluster allocation with $k$ clusters and $u$ processors in each cluster. Let $T_d(P,q)$ and $T_c(P,k,u)$ be execution times for the multiprogram $P$ with optimal allocations.

We compute a formula for the program independent performance function $G(k,u,q)$ which is the supremum of $T_c(P,k,u)/T_d(P,q)$$ where the supremum is taken over all parallel programs consisting of any number of processes.

Any interprocess dependency structure is allowed for the parallel programs, except deadlock. Overhead for synchronization and reallocation is neglected only.

Further a formula for $g(n,k,u,q)$ is established: here the above maximum is taken over all paralel programs of $n$ processes.

Finally we present formulas for the maximum loss when reorganizing the memory into a fewer number of units, thus inducing a larger number of simultaneous access attempts.

This is joint work with Lars Lundberg.

Anders Björner & Johan Håstad

Fotboll: Sista omgången rafflande

Utrycket "en jämn match" kan tyckas slitet, men om man däremot lägger till "en spännande match", dvs "en jämn och spännande match", så blir läget helt annorlunda.

Jag skulle däremot vilja uttrycka mig som följer:

Sista omgången i Cupspelets grundserie (!) bjöd på en mycket spännande och till sista minuten oviss historia. Stians Torpeder mötte Bangos, med bl a de före detta proffsspelarna Ralf B Edström (Jr) och Roland Sandbag.

Stians (NADAs) uppställning för dagen var... Lawrence Thomas, Tom Wadden, Stephan Prytz, Taifun Alishenas, Lasse Carlestam, Stefan Boll (import), nytillskottet Ulf Andersson samt Anders Szepessy.

Från första spelminut var det kamp om varje boll och jakt på varenda passning. Det fanns inget utrymme för eftertanke eller velighet. Hela tiden var det instinkten som fick avgöra och Kraften som styrde spelet. För båda lagen, kan tilläggas.

Först när första halvlek led mot sitt slut kontrade Bangos på vänsterkanten där Jimmy Kniven gick loss och lyckades lobba in bollen över Stians målvakt (för kvällen: Lasse C). Ett välförtjänt mål, kan inte förnekas. Dock något surt för räven och vi supporters för S T Nada Fussball Team.

Stian inledde andra halvlek pressande, framåt och uppåt var målet, och si! - efter en stund kom den efterlängtade kvitteringen. Anders Szepessy ilsknar till på högerkanten och laddar in ett stenhårt skott (som ingen såg gå i mål), jubel och klang. Och domaren blåste för avspark. Det fanns nämligen inga nät i målburarna, så det uppstod viss (inte mycket) diskussion om det verkligen VAR mål eller inte. Men, jag säger som jag brukar, om det inte var mål, så borde det ha varit det....

Efter kvitteringen ville ju båda lagen mycket och gärna ha mer mål, så nu ökade spänningskurvan drastiskt! Mycket kontringar, mycket skott och farligheter - mums för åskådarna! Bangos' backar gjorde bra ifrån sig och försvarade väl, även Stians dito. Litet (OBS litet!) extra plus för Stians målvakt som hade en rejäl dos tur med sig i bagen idag, och som Plex brukar säga: Det skall en bra målvakt ha! (Gärna lite lim i vanten också...)

När endast en minut av matchen återstod fick Stian en frispark från strax utanför straffområdet, Szepessy slog den mot mål, och där fanns Taifun (som det nu verkar ha lossnat för ordentligt (Tummens anm)) och slog raskt in returen. 2-1! Tjoho i busken! Slutligen vill jag också bara nämna nyförvärvet Ulf Andersson gjorde en tveklös debut som lugn och säker back, ibland mittfält, ibland kedja. Kul.

Ja, mina vänner, ni missar storslagen underhållning! Tänk på det när ni tittar på Magnus Härenstam och Jeopardy nästa gång!

Efter matchen gick jag ned till mitt stamlokus och skulle ödmjukast skriva ihop denna artikel, och då insåg jag med tydlig klarhet var publiken var någonstans...

Detta är Börje Heed, för Guinness och Numero, som önskar er Glad Sommar!

Ajö!

Nummeseminarium: Hydrodynamiska instabiliteter hos ytspänningsdriven konvektion i samband med zonsmältning

Mårten Levenstam, Mekanik, KTH, håller seminarium i numerisk analys under ovanstående rubrik på tisdag (24 maj) kl. 15.15 i Balsalen, rum 359D (Lindstedsv. 5, 2tr.).

Sammanfattning

Olika typer av instabiliteter hos ytspänningsdriven konvektion kan dyka upp i samband med kristalltillväxt m.h.a. zonsmältning. Dessa instabiliteter ger upphov till en ogynnsam kemisk sammansättning i den färdiga kristallen och är därför något man vill undvika.

Numeriska beräkningar av olika typer av tredimensionella instabiliteter visas. Kritiska Reynolds tal för dessa jämförs med experiment. En fysikalisk beskrivning av instabiliteterna görs m.h.a. en analogi till rökringar.


Numero utkommer på fredagar, presstopp kl 13 dagen före.

Bidrag till Numero kan lämnas i datorläsbar form - via datorpost till <numero@nada.kth.se> eller i Mac-mappen Numero-bidrag i filhanteraren Nada-arkiv - eller på papper till Numero, Nada, KTH, 100 44 STOCKHOLM (dvs. Numerofacket bland Nadapostfacken).

En typografiskt sämre version av Numero kan läsas i "netnews" på KTH i mötet "nada.numero". Man kan även på begäran få den texten skickad till sig via datorpost

Ibland refereras till "Numeropärmen". Det är en pärm som finns i Nadakorridorens fikarums bokhylla.

Numero-redaktionen består f.n. av Peter Svanberg. Ansvarig ut- givare är Ingrid Melinder. Numeros innehåll uttrycker inte institutionens officiella ståndpunkt annat än då detta anges.