Numero 33

fredag 1 november 1996, årgång 26

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


Kalendarium

Aktuellt kalendarium (inte kalendariet som hör specifikt till denna Numeroutgåva).

Datorer och nät oåtkomliga nästa helg!

Helgen 9-10 november är Nadas datorer oåtkomliga och datornätet ur funktion. Servicearbetena påbörjas kl. 10 på lördagen (9 nov.) och allt ska vara tillgängligt igen kl. 6 efterföljande måndag morgon (11 nov.).

Följande är inplanerat:

Systemen kan fungera tidvis under servicearbetet och då får de användas. Gör man det får man dock vara beredd på att det utan förvarning plötsligt kan upphöra att fungera igen, att vissa filsystem kanske inte går att nå osv.

Nadas systemgrupp

Ny medarbetare i systemgruppen

Systemgruppen har fått en ny medarbetare, Fredrik Jönsson. Han kommer närmast från Ericson Radio där han arbetat med driften av deras Sun-miljö. Fredrik kommer att jobba c:a 75%.

Anders Hillbo

Kära kolleger!

En del av er ser sig (kanske med rätta) som enastående unika exemplar av Homo Sapiens. Må så vara, men ingen av er är ensam användare av Nadas stora kopiator!

Varje sista-minuten-uppdrag för sig hade kanske kunnat expedieras om inte minst ett halvdussin kolleger tänkt likadant. Nu blev helheten förödande.

Det gick vägen den här gången (också), då personal både på Nada och på Repro lojalt ställt upp på övertidsarbete för att inte er slöhet skulle drabba studenterna. Dessutom fungerade kopiatorn den mest kritiska tiden (efter lång reparation 22-23 okt.).

Måste vi ha det så här varje periodstart?

Studierektor

Uppföljning av KTHs omorganisation

3 sidor ur skriften "Uppföljning av KTHs omorganisation" finns som bilaga till pappersversionen av veckans Numero. Hela skriften finns att läsa i Numeropärmen 96.136.

Ingrid

I korthet

Konferens: 8th Nordic Workshop on Programming Theory kommer att hållas 4-6 December 1996 i Oslo. http://www.ifi.uio- .no/~nwpt96/

Konferens: Second Annual Summer School on Nonlinear Dynamics in Biology and Medicine kommer att hållas 25 maj - 6 juni 1997 i Montreal. http://www.cn- d.mcgill.ca/Montreal97

Seminarium: Suggestions from Research for Science Didactics. 7 november kl. 15.30 - 16.30, Seminarierum 3Ö Arrheniuslaboratoriet, SU. Numeropärmen 96.133

Seminarium: Hur skall man höja kvaliteten på inlärningen och bibehålla kraven? Är Supplemental Instruction ett svar på problemen? 27 november kl. 13-17 i sal E306, Södra husen, SU. Numeropärmen 96.134

Kurs: Universitetspedagogik. Kursen ges vårterminen 1997. Anmälan senast 20 december. Numeropärmen 96.135


Kårspexet

Kårspexet har premiär 4 december på Södra Teatern. Föreställningen ges även 5,6 och 7 december. Biljetter kan beställas på tel. 10 84 30 eller köpas direkt i kassan på Södra Teatern.


Cultural Event at PDC

Sonya Salman håller pianokonsert på onsdag (6 nov.) kl. 12.15 i Kapellet (Röda korsets sjukhus, Brinellvägen 2).

Welcome to a piano recital!

Sonya Salman (piano, Moscow, Russia).

Date: November 6

Time: 12.15

The concert will be held in the Chapel, Röda korsets sjukhus, Brinellvägen 2, Stockholm (at the KTH campus)

Program: Methner, Canzona-Matinata and the Tragic Sonata

Brahms, Scherzo, op. 4

Chopin, 3 Mazurkas

Sonya Salman finished the Special Music School and Gnesin Russian Academy of Music in Moscow. She had given piano recitals in Moscow and other Russian cities as well as in Villecrose (France) and Florence (Italy). She had founded the piano trio "Novoye" and now plays with this trio. Sonya has recorded two CD:s by the Russian State Radio & TV Company. Sonyas husband is currently guest researcher at PDC.

Gert Svensson

Teoretisk datalogi-seminarium: Higher-Order Algebra and Initiality

Karl Meinke, NADA, håller seminarium i teoretisk datalogi under ovanstående rubrik på torsdag (7 nov.) kl. 15.15-16.15 i sal E32 (Osquars backe 2, plan 3).

Abstract

A higher-order algebra is a many-sorted universal algebra with at least one data or carrier set which is a function space, together with an evaluation mapping on elements of that space. Higher-order algebras can be used in computing to model a variety of phenomena found in, for example, hardware design, concurrent programming, functional and logic programming languages.

Initiality is a mathematical technique to associate an algebraic semantics with a set of axioms (usually equations or Horn clauses). It originates in the familiar construction of a group presentation.

The theory of higher-order universal algebra generalises the well known theory of first-order universal algebra in an elegant way, while the additional structure provided by function spaces yields many new results.

In this talk I will survey the basic theory of higher-order universal algebra, indicating how it relates to classical higher-order logic. Special emphasis will be placed on the higher-order initial model construction for a set of higher-order equations, and its theoretical properties. These form the basis for program specification and verification methods using higher-order algebra, and also as a semantic basis for programming constructs in e.g. functional and logic programming.

Reference.

----------

K. Meinke, A Survey of Higher-Order Algebra, UUDM Report 1995:39, Dept. of Mathematics, Uppsala University, 1995.

Johan Håstad

Nummeseminarium: Parabolic wave equations in underwater acoustics

Leif Abrahamsson, FOA, håller seminarium i numerisk analys under ovanstående rubrik på måndag (4 nov.) kl. 15.15 i seminarierum 4523 (Lindstedtsv. 5, plan 5).

Björn Sjögreen

PDC-seminarium: Numerical Modelling of Block Structure Dynamics

Prof. Alexander A. Soloviev, International Institute of Earthquake Prediction, Theory and Mathematical Geophysics, Moscow, Russia, håller PDC-seminarium under ovanstående rubrik på tisdag (5 nov.) kl. 15.15 i seminarierum 1537 (Lindstedtsv. 3, plan 5).

Abstract

A seismically active region is modelled as a system of absolutely rigid blocks separated by infinitely thin plane faults. The interaction of the blocks along fault planes and with the underlying medium is viscous-elastic. The system of blocks moves as a consequence of prescribed motion of the boundary blocks and of the underlying medium. When for some part of a fault plane the stress exceeds a certain strength level a stress drop ("a failure") occurs, and it can cause failures in other parts of the fault planes. In the model the failures represent earthquakes. As a result of the numerical simulation a synthetic earthquake catalog is produced. The results of the simulation for simple model structures and for the structures approximating the tectonic structure of real seismically active regions are presented and discussed.

Erik Aurell

Måndagsseminarium: An Introduction to Abstract Data Types

Karl Meinke, NADA, håller seminarium under ovanstående rubrik på måndag (4 nov.) kl. 15.15 i sal T12 (Osquars backe 27).

Abstract

The algebraic theory of abstract data types is some twenty two years old, and has become the most widely accepted mathematical theory which answers questions such as:

what is a (computable) data type?

what is an abstract data type?

how do we construct data types?

The theory draws on elementary results from universal algebra and category theory, and the results have applications in areas such as program specification, functional programming, symbolic computation and automated reasoning, and semantics of types and object orientation.

We give an introduction to some of the basic concepts of data type theory, with particular emphasis on the concept of initiality, which will allow the participant to appreciate more recent work in this well established but still active research area.


^ Upp till Numeros hemsida.


Senast ändrad 31 okt. 1996 <numero@nada.kth.se>