3 Bijdrage van de faculteit aan het Wetenschappelijk Verslag TUE 1991

3

Bijdrage van de faculteit aan het Wetenschappelijk Verslag TUE 1991 (Vergelijk Wetenschappelijk Verslag TUE 1991)

3.0

Hoogtepunten in het verslagjaar -

-

-

-

De TUE heeft ter gelegenheid van haar 35-jarig bestaan een eredoctoraat verleend aan drs. C. Scholten, o.a. vanwege zijn pioniersrol in de Nederlandse computertechnologie. Onder zijn bezielende leiding werden in ons land zeer geavanceerde rekenautomaten ontworpen en gebouwd. Een tweede reden is de wijze waarop hij als een der eersten ter wereld een wiskundige onderbouwing gaf aan het ontwerpen en bestuderen van apparatuur en programmatuur. De Mignotprijs voor de beste afstudeerscriptie in de industrie in Zuid Nederland is toegekend aan ir. P. Tas. Hij kreeg zijn onderscheiding voor zijn scriptie 'Modelvorming voor het folieblaasproces'. In zijn afstudeerproject, uitgevoerd bij DSM, heeft hij het computerprogramma 'Blafol' geschreven, waarmee het folieblaasproces met een model beschreven wordt. Het bestuur van de Afdeling Petroleumtechniek van het KIvI heeft een tweede prijs Petroleumtechniek 1991 uitgereikt aan dr. E.F. Kaasschieter. Dr. Kaasschieter ontving de prijs voor zijn proefschrift getiteld 'Preconditioned conjugate gradients and mixed-hybrid finite elements for the solution of potential flow problems'. Het proefschrift handelt over problemen die zich kunnen voordoen wanneer potentiaalstromingsproblemen numeriek worden opgelost. Prof.dr. N.G. de Bruijn ontving de jaarlijkse AKZO-prijs voor zijn baanbrekend onderzoek in de wiskunde en de natuurkunde, en in het bijzonder voor zijn werk op het gebied van de typentheorie en de theorie van de vijfvoudige symmetrie.

3.1

Beschrijving van het gevoerde onderzoekbeleid op facultair niveau

3.1.1

Algemeen Doelstellingen. Het onderzoek van de faculteit is gericht op industriële en maatschappelijke toepassingen van de wiskunde en de informatica. De faculteit streeft naar handhaving van de hoge kwaliteit van het onderzoek op de gebieden fundamentele programmering, discrete wiskunde en besliskunde. De faculteit streeft ernaar dat de wiskundesector zich manifesteert als een wiskundig centrum in een technische omgeving. Daarom kiest de faculteit met betrekking tot het wetenschappelijk onderzoek voor die terreinen waar het duidelijk is dat zij de mogelijkheid heeft onderzoek op internationaal niveau te bedrijven. Het informatica-onderzoek van de faculteit richt zich op het specificeren, ontwerpen en het construeren van systemen en programma's. De zwaartepunten van het informatica-onderzoek blijven programmeren, parallellisme en informatiesystemen. De aandacht voor technische toepassingen zal toenemen en een nauwere samenwerking met de wiskundesector wordt beoogd. Personeelsbeleid. Het gevoerde personeelsbeleid is een afgeleide van de afstemming van de taken van de faculteit op de beschikbare middelen. Dit heeft in de sector Wiskunde geleid tot een vermindering van het totaal van taken en tot een verschuiving van de aandacht voor onderwijs naar onderzoek. In de informatica ontstaan steeds weer nieuwe takken in onderzoek en toepassingen,

Lotgevallen W&I 1991 – p.53

waarvan een deel zeker in de universitaire onderwijs- en onderzoekprogramma's terecht zal komen. Welke dat zullen zijn is vaak niet duidelijk. De faculteit speelt hierop in door de instelling van een aantal deeltijdhoogleraarschappen. Resultaten. De faculteit voert een krachtig stimuleringsbeleid m.b.t. onderzoek. De aan de faculteit toegewezen middelen worden gesplitst in een vast deel ter financiering van structurele taken en een met de toewijzing fluctuerend deel (marge) ter financiering van tijdelijke activiteiten. Deze marge wordt met succes aangewend om extra aio's, research fellows en postdocs aan te stellen. De faculteit heeft 21 structurele aio-plaatsen beschikbaar. Eind december waren 26 aio-plaatsen vacant. In het verslagjaar hebben 13 research fellows en 1 postdoc de faculteit bezocht. De duur van hun verblijf was resp. 1 à 2 maanden (6 fellows), 4 à 5 maanden (3 fellows), 1 jaar (3 fellows en de postdoc) en 2 jaar (1 fellow). Knelpunten. -

-

Een groot probleem is om voldoende gekwalificeerd seniorpersoneel te vinden, vooral in de meer technische richtingen. De zuigkracht van het bedrijfsleven is hier nog steeds heel groot. De faculteit, vooral de sector Informatica, kampt met een te klein toegewezen autonoom onderzoeksdeel. Dit komt doordat de vaststelling van de B-delen heeft plaatsgevonden in de periode dat de studierichting Technische Informatica nog maar net van start was gegaan. Voor de handhaving van de vooraanstaande plaats die de wiskunde en informatica nu op onderzoekgebied hebben, is een vergroting van de autonome onderzoeksdelen noodzakelijk. De in het ontwikkelingsplan TUE 1991-1994 voorziene toename van het autonome onderzoeksdeel van de faculteit heeft in het verslagjaar nog geen soelaas gebracht. Het nijpende tekort aan huisvesting biedt geen mogelijkheden om laboratoriumruimten in te richten. Hierdoor komt de verdere uitbouw van de technische componenten in de wiskunde en de informatica in gevaar en wordt de samenwerking met andere technische disciplines bemoeilijkt. Het tekort aan huisvesting heeft ook tot gevolg dat een toenemend aantal onderzoekers door een groeiend aantal kamergenoten wordt gestoord. Een ernstig gevolg hiervan is ook dat nieuwe onderzoeksactiviteiten in gevaar worden gebracht. Verder werkt ook de huisvesting van de faculteit in twee vrij ver van elkaar verwijderde gebouwen belemmerend op de wetenschappelijke interacties.

Totstandkoming van het onderzoekprogramma. Het onderzoekprogramma wordt (voor zover het niet vastligt door de VF) jaarlijks vastgesteld door de vakgroepen in overleg met de Commissie voor de Wetenschapsbeoefening. Het vastgestelde onderzoekprogramma dient door de faculteitsraad goedgekeurd te worden. Flexibiliteit. De onder de paragraaf 'Resultaten' vermelde splitsing van de aan de faculteit toegewezen middelen in een vast deel en een fluctuerend deel geeft de faculteit de nodige flexibiliteit om het onderzoek te stimuleren.


3.1.2

Relatie van het facultaire onderzoekbeleid met het instellingsbeleid Profilering van het onderzoek. Het VF-onderzoek is te karakteriseren als fundamenteel en technologisch, aansluitend bij het profiel van de TUE. Het technologisch karakter komt tot uitdrukking in aspecten als ontwerpmethodiek en wiskundige modelvorming, ontwikkeling van methoden en technieken voor de analyse van praktijkproblemen, en bruikbaarheid van het `eindprodukt'. Het service-onderzoek van de faculteit is voornamelijk toepassingsgericht van karakter. Relatie met het maatschappelijk gebeuren, interactie met het bedrijfsleven, concentratiegebieden. De aansluiting bij het maatschappelijk gebeuren wordt versterkt door samenwerking met andere faculteiten en intensieve samenwerking met de lokale industrie. Een aantal medewerkers is, dikwijls in adviseursfunkties, direct bij de industrie betrokken. Verder worden contacten met de industrie onderhouden door deeltijdhoogleraren die hun hoofdtaak in de industrie hebben. Ook via het Instituut Wiskundige Dienstverlening Eindhoven (IWDE) bestaan er veel contacten met het bedrijfsleven. De taken van het instituut worden uitgevoerd door een facultaire werkgroep. Deze werkgroep is belast met de acquisitie en uitvoering van het service-onderzoek en het contractonderzoek ten behoeve van de industrie. Grote waarde hecht de faculteit ten slotte aan het samenwerkingsverband ECMI (European Consortium for Mathematics in Industry), in het kader waarvan de ontwerpersopleiding Wiskunde voor de Industrie wordt gegeven. Dit consortium heeft ten doel het gebruik van wiskundige modellen in de industrie te bevorderen, en industriële wiskundigen op te leiden om aan de groeiende vraag naar zulke experts tegemoet te komen, een en ander op Europese schaal. De faculteit participeert in de TUE concentratiegebieden `Fundamentele programmering', `Produktie- en logistiek management' en `Discrete wiskunde'. Beleid t.a.v. voorwaardelijke financiering. De sector Wiskunde stimuleert vooral het technologisch onderzoek. Dit onderzoek is fundamenteel maar wel gemotiveerd door toepassingen. Gestreefd wordt naar een situatie waarin het onderzoek grotendeels verricht wordt door een beperkt aantal onderzoekgroepen die onderzoek verrichten op een internationaal erkend niveau. De onderzoekonderwerpen zijn gekozen in overeenstemming met de toegepaste signatuur van de faculteit. Het onderzoek in deze groepen is organisatorisch vastgelegd in onderstaande VF-programma's: - Discrete structuren - Toepassingsgerichte analyse - Besliskunde en Stochastiek - Informatiesystemen (wiskundedeel). Het informatica-onderzoek van de faculteit richt zich op het specificeren, ontwerpen en construeren van systemen en programma's. Deze omschrijving laat ruimte voor de behandeling van zowel theoretische als praktische aspecten, maar het onderzoek vraagt om een ingenieursattitude. Bij de onderwerpskeuze laat de faculteit zich in de eerste plaats leiden door de behoeften die de informatisering van de maatschappij heeft aan hoogwaardig technologisch onderzoek op het gebied van de informatica. De zwaartepunten binnen het informatica-onderzoek vinden hun weerslag in onderstaande VF-programma's: - Programmeren - Parallellisme


-

Informatiesystemen (informaticadeel).

Beleid m.b.t. onderzoekscholen. De sector Wiskunde is actief betrokken bij de oprichting van de onderzoekscholen 'Discrete wiskunde en haar toepassingen', 'Stevin Centrum' en 'Systeemtheorie en Regeltechniek'. De onderzoekschool i.o. 'Discrete Wiskunde' betreft een samenwerkingsverband tussen Nederlandse en twee Belgische universiteiten met als voornaamste doelstelling het hoogwaardige onderzoek in de discrete wiskunde en haar toepassingen verder uit te bouwen. Daarnaast beoogt de school richting te geven aan de onderzoeksinspanning van de deelnemers en de onderlinge wetenschappelijke samenwerking te bevorderen. De bestuursstructuur van de onderzoekschool dient nog uitgewerkt te worden. De faculteit treedt op als penvoerder. De onderzoekschool i.o. 'Stevin Centrum' heeft als onderzoekgebied de grondslagen van de ingenieurswetenschappen en stelt zich ten doel de verdere integratie van disciplines zoals mechanica, stromingsleer, meet- en regeltechniek en numerieke analyse. Deze onderzoekschool bouwt voort op reeds bestaande samenwerking tussen W, N, T en Wsk&I. De faculteit W treedt als penvoerder op. Van de zijde van de faculteit W bestaat het voornemen een interfacultaire werkgroep in te stellen. Eerst dient nog een en ander in de bestuurs- en beheerssfeer geregeld te worden, De oprichting van een onderzoekschool 'Systeemtheorie en Regeltechniek' is in voorbereiding. Deze onderzoekschool zal omvatten wetenschappelijke stafleden van onderzoekgroepen in de wiskunde, meet- en regeltechniek, landbouwwetenschappen en econometrie van negen universiteiten en het CWI. Het Netwerk Systeem- en Regeltheorie en het samenwerkingsverband Delft Control nemen deel in dit initiatief. Waarschijnlijk zal de TUD als penvoerder het voorstel voordragen voor erkenning als onderzoekschool. Met de vakgroep Informatica van de Rijksuniversiteit Utrecht bestaan sinds een aantal jaren intensieve contacten op onderzoekgebied. Er wordt naar gestreefd deze samenwerking op korte termijn uit te bouwen door de oprichting van de onderzoekschool EURICS (Eindhoven-Utrecht Research Institute for Computing Science). Naast samenwerking op het terrein van onderzoek wordt beoogd hierin ook onderwijs en begeleiding van alle aio's, inclusief 2e en 3e geldstroom aio's, van beide vakgroepen te bieden. Beleid t.a.v. samenwerking en internationalisering. Het onderzoek in de faculteit wordt gevoed vanuit diverse nationale en internationale samenwerkingsverbanden. De belangrijke en formele samenwerkingsverbanden zijn vermeld in § 3.1.7. Daarnaast bestaan er vele informele samenwerkingsverbanden waaraan de faculteit veel waarde hecht. De samenwerking wordt in het algemeen voldoende geacht. Relatie onderzoek/onderwijs. De faculteit heeft voor de initiële opleidingen in de technische wiskunde en in de technische informatica een aantal afstudeerrichtingen ingesteld die samenhangen met de belangrijke aandachtsgebieden in het onderzoek (en daarmee met de VF-programma's). Langs deze weg wordt gepoogd de noodzakelijke relatie onderzoek/onderwijs te behouden. Voorts worden door de faculteit de tweede fase ontwerpersopleidingen `Wiskunde voor de Industrie' en `Technische Informatica' verzorgd. Ook is de faculteit betrokken bij enkele andere ontwerpersopleidingen. De studenten van deze opleidingen nemen via stages deel aan het onderzoek, hetzij binnen de faculteit hetzij in de industrie.


3.1.3

Bevordering en beheersing van de onderzoekkwaliteit Proces van kwaliteitszorg, gehanteerde kwaliteitscriteria. De kwaliteit van het onderzoek krijgt speciale aandacht van de Commissie voor de Wetenschapsbeoefening. Het aanvragen en verkrijgen van NWO-formatieplaatsen en het refereesysteem van internationale tijdschriften spelen hierbij onder meer een rol. Programma's met een al wat langere looptijd, een vruchtbare geschiedenis en een goede toekomstverwachting genieten de voorkeur. Deze programma's dienen bij voorkeur overeen te stemmen met de doelstellingen van de faculteit. Verder wordt gelet op voldoende omvang per project om versnippering te voorkomen, samenwerkingsmogelijkheden en mogelijke toepasbaarheid. Het VF-onderzoek wordt extern beoordeeld. Naast deze externe beoordeling vindt een interne beoordeling van het overige onderzoek plaats. Middelentoewijzing, maatregelen m.b.t. kwaliteitsbevordering. In 1989 zijn de VF-programma's positief tot zeer positief beoordeeld door NWO. De resultaten van deze beoordeling hebben een rol gespeeld bij de voorgestelde herverkaveling en herstructurering van het VF-onderzoek. De faculteit wil de onderzoeksproduktie blijven stimuleren door betere planning, betere infrastructuur (colloquium, bibliotheek, apparatuur etc.) en verdere uitbreiding van externe contacten (workshops, formatieruimte voor gasten etc.).

3.1.4

Instellingsbeleidsruimte Vanuit de instellingsbeleidsruimte werd in het verslagjaar een tijdelijke formatieplaats gecontinueerd ter ondersteuning van het VF-programma Toepassingsgerichte analyse. In dit project wordt samengewerkt met andere universiteiten. De daaruit voortkomende nieuwe inzichten geven inspiratie aan het lopende VF-onderzoek. Het dienstverband ter ondersteuning van het programma Parallellisme is beëindigd en afgerond met een promotie.

3.1.5

Beleid ten aanzien van tweede en derde geldstroom Beleid ten aanzien van de stimulering tweede geldstroom. Het beleid is er op gericht om het aantal aio's in de sector Wiskunde en in de sector Informatica op te voeren. De huidige formatie van de wetenschappelijke staf is voldoende om een groeiend aantal promovendi te begeleiden. De onder paragraaf 1.1, resultaten, vermelde marge wordt aangewend om het contingent aio's te vergroten. De aanvragen voor extra aio-plaatsen worden ter advisering voorgelegd aan de Commissie voor de Wetenschapsbeoefening. Het advies van de commissie dient, naast inhoudelijke advisering, ook aan te geven of het onderzoeksproject in principe voor subsidiëring via de tweede geldstroom in aanmerking kan komen. Zo ja, dan zal bij de toewijzing van de aio-plaats de aanvrager er eerst dan over mogen beschikken nadat het onderzoeksproject daadwerkelijk ter subsidiëring is ingediend. Werving geschiedt doorgaans via NWO en STW. De tweede geldstroommiddelen waren in het verslagjaar grotendeels bestemd voor aanstellingen van aio's ter ondersteuning van het onderzoek. In het inter TU-RUG besturenoverleg Wiskunde en Informatica is besloten aan de genormeerde bijdrage van aio's in de tweede geldstroom aan onderzoek een bovengrens van 0.8 fte per jaar en een ondergrens van 0.6 fte per jaar vast te stellen, afhankelijk van de door de aio geleverde bijdrage aan het onderwijs. In onderzoeksaanvragen wordt een gemiddelde bijdrage van 0.7 fte per jaar gehanteerd.


Beleid ten aanzien van stimulering derde geldstroom. Derde geldstroomprojecten worden geworven en uitgevoerd indien het daarmee gepaard gaande onderzoek conformeert aan het onderzoekplan van de faculteit en indien voldoende expertise aanwezig is. De faculteit tracht hierdoor te bereiken dat vanuit de praktijk het onderzoek voldoende gestimuleerd wordt en dat fundamentele resultaten snel hun weg vinden naar praktische toepassingen. De faculteit voert een stimulerend beleid ten aanzien van de uitbreiding van externe contacten. In de sector Wiskunde bestaan er via het IWDE veel contacten met het bedrijfsleven. De taken van het IWDE worden uitgevoerd door een facultaire werkgroep. Deze werkgroep is belast met de acquisitie en uitvoering van het service-onderzoek en het contractonderzoek ten behoeve van de industrie. In de sector Informatica is een medewerker werkzaam om de contacten met het bedrijfsleven te bevorderen en werving van contractonderzoek te intensiveren. Daarnaast onderhoudt de sector ook via het IPL externe contacten. Beleid ten aanzien van maatschappelijke dienstverlening. De faculteit voert een stimulerend beleid met betrekking tot consultatie-activiteiten. Maatschappelijke dienstverlening wordt onder meer gestimuleerd door de vele contacten van onderzoekgroepen, individuele onderzoekers en studenten met het bedrijfsleven en (semi) overheidsinstellingen. Het IWDE en ECMI in de sector Wiskunde en de medewerker belast met externe contacten in de sector Informatica zullen hiertoe in toenemende mate bijdragen. 3.1.6

Verantwoording van de onderzoekinput De kwantitatieve gegevens met betrekking tot de ingezette onderzoekcapaciteit zijn tot stand gekomen aan de hand van de geplande in te zetten capaciteit in de werkverdeling. De opgaven in de tabellen betreffen netto tijdsbestedingen. De omvang van het service-onderzoek bedraagt 0,8 manjaar WP en is verdisconteerd in de in de tabellen verantwoorde onderzoeksinspanning.

3.1.7

Samenwerkingen Onderstaand volgt een overzicht van formeel vastgelegde werkgroepen in de zin van de WWO: - Werkgroep `Foutencorrigerende codes' waarin samenwerken de vakgroep Discrete Wiskunde van de faculteit Wiskunde en Informatica en de vakgroep Informatie- en communicatietheorie van de faculteit Elektrotechniek van de TUE. - Werkgroep `Quantitatieve systeemtheorie en -techniek' waarin samenwerken de vakgroep Besliskunde en Stochastiek en de vakgroep Analyse van de faculteit Wiskunde en Informatica, de vakgroep Systeem- en Regeltechniek van de faculteit Technische Natuurkunde en de vakgroep Meten en Regelen van de faculteit Elektrotechniek van de TUE. - Werkgroep `Logica en Informatiesystemen' waarin samenwerken de vakgroep Informatica van de faculteit Wiskunde en Informatica van de TUE en de vakgroep Grondslagen der Wetenschappen van de faculteit Wijsbegeerte van de KUB. - Werkgroep `Dutch Decision Support Systems Research Group' waarin samenwerken de faculteit Economische Wetenschappen en de faculteit Bedrijfskunde van de EUR, de faculteit Technische Wiskunde en Informatica van de TUD, de faculteit Bedrijfskunde en de faculteit Wiskunde en Informatica van de TUE, de afdeling Wiskunde en Informatica van de RUL en de afdeling Mathematische Besliskunde en Systeemtheorie van het CWI.


De faculteit neemt deel aan onderstaande aio-netwerken: - Systeem- en regeltheorie; deelnemende instellingen: RUG, TUD, UT, VUA, TUE; penvoerder: RUG. - Mathematische besliskunde; deelnemende instellingen: alle Nederlandse universiteiten m.u.v. Nijenrode en OU; penvoerder: RUG. - Stochastiek; deelnemende instellingen: TUD, RUG, KUN, VUA, EUR, TUE; penvoerder: TUD. Onderstaand volgt een overzicht van samenwerkingen in het kader van internationale onderzoeksprogramma's: - De vakgroep Informatica werkt samen met University of Manchester (Manchester, UK), Institute of Computer Science - FORTH (Heraklion, Kreta, Griekenland), Imperial College (Londen, UK), Swedish Institute of Computer Science (Kista, Zweden), Weizmann Institute (Rehovot, Israël), University of Oxford (Oxford, UK), IMAG Grenoble - INPG (Grenoble, Frankrijk), KUN (Nijmegen, Nederland) en Université de Liège (Liège, België) in het kader van ESPRIT aan het Basic Research project nr. 3096, getiteld Formal methods and tools for the development of distributed and real time systems (SPEC). - De vakgroep Informatica werkt samen met PRISMA Informatica (Perugia, Italië), SLIGOS (Paris La Défense, Frankrijk), Telesystèmes (Paris, Frankrijk), ITI-TNO (Delft, Nederland), IPL-TNO (Eindhoven, Nederland) en ENTEL (Madrid, Spanje) in het kader van ESPRIT aan het project 5342, getiteld Promotion on formal methods in European software industry (PROOFS). - De vakgroep Informatica neemt deel aan de ESPRIT Parallel Computing Action met het project DIPPER (4038). De faculteit neemt deel aan het samenwerkingsverband ECMI (European Consortium for Mathematics in Industry), in het kader waarvan de ontwerpersopleiding Wiskunde voor de Industrie wordt gegeven. Dit consortium stelt zich ten doel het gebruik van wiskundige modellen in de industrie te bevorderen, industriële wiskundigen op te leiden, een en ander op Europese schaal. Op dit moment participeren de volgende instellingen in het consortium: University of Oxford (UK), de Universität Kaiserslautern (Duitsland), de Johannes Kepler Universität (Linz, Oostenrijk), SASIAM (Bari, Italië), Strathclyde University (Glasgow, UK), en instellingen te Florence (Italië), Limerick (Ierland), Trondheim (Noorwegen) en Helsinki (Finland). Dit internationale samenwerkingsverband wordt regelmatig uitgebreid. Voor de overige samenwerkingsverbanden van formele en meer informele aard wordt verwezen naar de beschrijving van het onderzoek op programma-/vakgroepniveau.


3.2

BESCHRIJVING VAN HET ONDERZOEK OP PROGRAMMA-/VAKGROEPSNIVEAU

3.2.1

VF-PROGRAMMA'S

3.2.1.1

Toepassingsgerichte Analyse 3 VF-code: TUE.WSK.301.90.25 Programmaleiding: Wetenschapsgebied ISN: Wetenschapsgebied NWO: Toepassingsgebied NABS:

Prof.dr.ir. J. de Graaf 1202, 1206, 2202, 2205, 2212 P130, P140, P170 N070, N077, N10

Beknopte inhoudelijke beschrijving van het programma. Het programma bestaat uit vier deelprojecten met als korte omschrijving: 1. Modellen en methoden in fysica en techniek. 2. Numerieke analyse. 3. Speciale topologische vectorruimten. Evolutievergelijkingen. 4. Kwantitatieve systeemtheorie. Binnen bovengenoemde projecten werd aan de volgende onderwerpen gewerkt: 1. Modellen en methoden in fysica en techniek. - Elektromagnetisme, golfvoortplanting en diffractietheorie. - Interacties tussen thermo-elastische en elektromagnetische velden in continue media. - Problemen die in een industriële context een rol spelen met name op het gebied van warmteoverdracht, vrije randen en druppelvorming. 2. Numerieke analyse. - Niet-lineaire randwaardeproblemen. - Eindigde elementenmethoden. - Meerroostermethoden. - Numerieke stromingsleer. - Differentiaal algebraïsche vergelijkingen. 3. Speciale topologische vectorruimten. Evolutievergelijkingen. - Analyciteitsgebieden van fractionele machten van de klassieke differentiaaloperatoren van Hermite, Laguerre en Jacobi. - Gelfand-Shilov-ruimten in meerdere variabelen en Radontransformatie. - Evolutievergelijkingen in limieten van Banachruimten. - Algebraïsche aspecten van partiële differentiaalvergelijkingen. 4. Kwantitatieve systeemtheorie. - H∞-optimaliseringsproblemen voor lineaire tijdsinvariante systemen. - Robuuste regelaars voor tijdsinvariante systemen. - Numerieke methoden voor optimale besturingsproblemen. - Numerieke methoden in de lineaire systeemtheorie. - Algebraïsche methoden voor systemen met vertragingen. - Besturing van niet-lineaire systemen. - Algemeen evenwicht in oneindigdimensionale economiën.


Voortgang van het onderzoek Project 1: Modellen en methoden in fysica en techniek. Een tweetal artikelen is verschenen resp. voor de asymptotiek van Ferni-Dirac integralen (van belang in de statistische mechanica) en voor de asymptotiek van een reeks van Besselfuncties voortkomen uit een transmissielijnprobleem. Het onderzoek op het gebied van de magnetoelastische stabiliteit heeft geleid tot een tweetal artikelen plus een voordracht op het 13e IMACS-congres. Daarnaast is een artikel over de magnetoelastische knik van spiraal- en helixvormige geleiders ter publikatie aangeboden. Privécontacten met Dr. Zhou uit Stockholm leidden tot de publikatie van een artikel over thermoelastische supergeleiders. Het onderzoek op dit gebied wordt voortgezet; o.a. is er een artikel in voorbereiding over magnetoelastische golven in een halfgeleider (dit in samenwerking met Dr. Maruszewski, Poznan). Uit een promotieonderzoek van een promovendus bij W is een gezamenlijk artikel voortgekomen over de modellering van en numerieke berekening aan het produktieproces van keramische artikelen d.m.v. samendrukking van poeders in een matrijs. Project 2: Numerieke analyse. Een promotie-onderzoek op het gebied van niet-lineaire randwaarde problemen is inmiddels bijna afgerond. Een ander (STW) promotie-onderzoek naar viskeus sinteren heeft reeds tot enkele publikaties geleid. De geproduceerde software is in staat tamelijk ingewikkelde (enkelvoudig samenhangende) gebieden te simuleren. Er zijn een drietal nieuwe AIO-projecten van start gegaan: differentiaal-algebraïsche vergelijkingen voor index-3 problemen zoals deze optreden in "multibody-dynamics" (i.s.m. TNO), halfgeleider vergelijkingen (i.s.m. Philips Nat.Lab.) en conservatieve schema's bij schoksimulatie. Dit laatst project maakt deel uit van een nieuw gestarte onderzoekslijn op het gebied van numerieke stromingsleer. Verder is er onderzoek verricht naar meerrooster methoden voor convectie-diffusie vergelijkingen (stationaire geval) en loopt er een onderzoek naar gemengde eindige elementen methoden voor grondwaterstromingen. In het verslagjaar is een boek gepubliceerd over numerieke en analytische methoden voor gewone differentiaalvergelijkingen en modellen hierbij. Project 3: Speciale topologische vectorruimten. Het schrijven van een proefschrift over Gelfand-Shilov ruimten en Radontransformaties heeft door ziekte vertraging opgelopen. Dit proefschrift zal medio 1992 gereed komen. Een overzichtsartikel betreffende algebraïsche eigenschappen van Clifford-algebras is voor publikatie geaccepteerd. Een manuscript (op uitnodiging) over de quaternionische Dirac-vergelijking is bijna gereed. Een nieuwe AIO is gestart met evolutie vergelijkingen in termen van Clifford algebra's. Een uitvoerige beschouwing over "Covariante afgeleiden in Cliffor-algebra termen" is klaar en zal tot een RANA-Rapport bewerkt worden. Tenslotte is gewerkt aan de beweging van visceuze vloeistoffen onder invloed van oppervlaktespanning. Hierover zal in 1992 een manuscript het levenslicht aanschouwen. Project 4: Kwantitatieve systeemtheorie. Een aantal artikelen en rapporten is verschenen over dynamische ondernemingsmodellen (in termen van differentiaalspelen) en de existentie van evenwichten in economieën met oneindige horizon. Een boek over toestandsruimtemethodes in de H∞-theorie is gereed gekomen en zal begin 1992 verschijnen bij Prentice-Hall. Op dit gebied en op het gebied van gemengde H2/H∞-problemen zijn artikelen verschenen. Een boek over robuuste regelingen, gebaseerd op een vroeger promotie-onderzoek en een afstudeerproject is in 1991 verschenen bij Springer-Verlag.


Samenwerkingen. Regelmatige wetenschappelijke contacten vinden plaats met de vakgroep Theoretische Natuurkunde, faculteit der Natuurkunde, de vakgroep Theoretische Elektrotechniek van de faculteit der Elektrotechniek, en de vakgroep Fundamentele Werktuigkunde van de faculteit der Werktuigbouwkunde van de TUE. Tevens met de faculteit Wiskunde en Informatica van de Rijksuniversiteit Groningen, en met het PTT-Research-Neher-Laboratorium in Leidschendam. De reeds verregaande samenwerking met W en N heeft geresulteerd in de gezamenlijke oprichting van het Stevin Centrum voor grondslagen der ingenieurswetenschappen, (een onderzoekschool i.o.) waarin vanuit onze faculteit de vakgroep A participeert. Intensieve samenwerking vindt plaats met het Mathematisch Instituut, Universiteit van Messina, Italië. Tevens vindt er een samenwerking plaats met de Tohoku Universiteit in Sendai, Japan, en met de Technical University Poznan, Polen. Op numeriek gebied is er een gezamenlijk project met het Department of Mechanical Engineering (Yale); verder is er o.a. gezamenlijke research met collegae van het Department of Computing Science, University of Britisch Columbia (Vancouver), Swedish Institute of Applied Mathematics (Stockholm), Australian National University (Canberra) en Friedrich-Schiller-Universität (Jena), Christian-Albrechts-Universität (Kiel). Voorts is er samenwerking met de universiteiten van Michigan, Haifa, de Rutgers University (New Brunswick, NJ), Penn State University, de universiteit van Würzburg en de Washington State University (Pullman, WA).


3.2.1.2

VF-programma: BESLISKUNDE EN STOCHASTIEK 3 VF-code: TUE.WSK.302.90.25 Programmaleiding:

prof.dr. J. Wessels

Wetenschapsgebied ISN: Wetenschapsgebied NWO: Toepassingsgebied NABS:

1207, 1208, 1209, 1203, 1206 P160 N083

Beknopte inhoudelijke beschrijving van het programma Het programma omvat een viertal thema's: 1.Combinatorische optimalisering 2.Stochastische dynamische modellen voor beslissingsondersteuning 3.Structuuranalyse van stochastische processen 4.Statistiek. Voortgang van het onderzoek Project 1: Combinatorische optimalisering. In het verslajaar werden twee boeken voltooid: "History of Mathematical Programming: A Collection of Personal Reminiscences" (in samenwerking met CWI en EUR), een uitgave ter gelegenheid van het 14th International Symposium on Mathematical Programming (Amsterdam, 5-9 augustus 1991), en het "Handbook of Operations Research and Management Science: Volume 3: Computing" (in samenwerking met AT&T Bell Laboratories en EUR). a. Polyhedrale methoden voor combinatorische problemen. De samenwerking met het Georgia Institute of Technology aan de ontwikkeling van het MINTO systeem werd voortgezet; hierover verschenen vier rapporten. Voor het discrete seriegrootteprobleem werd een klasse facetten geïdentificeerd. In het kader van een promotieproject werden belangwekkende resultaten behaald met betrekking tot de polyhedrale beschrijving van een schedulingprobleem. Een promotieproject over polyhedrale methoden voor de routering van voertuigen ging in november 1991 van start. b. Lokale zoekmethoden voor combinatorische problemen. In samenwerking met Informatica werd een boek over dit onderwerp ontworpen; het ligt in de bedoeling het boek in 1993 te voltooien. In het kader van een promotieproject werd een taxonomie voor lokale-zoekmethoden ontwikkeld. c. Modellen en methoden voor de routering van voertuigen. Een aantal open vragen met betrekking tot het gedrag van insertie-algoritmen voor het handelsreizigersprobleem werd opgelost. Een artikel over het rechtstreeks-vervoerprobleem met tijdvensters werd herzien voor publikatie in Transportation Science. Binnen het promotieproject op dit gebied werd vooral aandacht besteed aan kolomgeneratietechnieken. d. Modellen en methoden voor produktieplanning. Op dit gebied kwamen drie dissertaties gereed: over machine scheduling en Lagrange-relaxatie (verdedigd in april 1991 aan de TUE), over seriegroottebepaling (verdedigd in november 1991 aan de EUR), en over bicriteria scheduling (verdedigd in februari 1992 aan de TUE); over deze onderwerpen werden verscheidene artikelen en rapporten gepubliceerd. Het werk aan een boek over machinevolgordeproblemen werd voortgezet.


Project 2: Stochastische dynamische modellen voor beslissingsondersteuning a. Wachtrijproblemen met meer rijen en onderling afhankelijke instroomprocessen. In 1991 heeft dit onderzoek geleid tot een promotie. Verder verscheen een zeer lang artikel over het asymmetrische kortste rij probleem in het toonaangevend tijdschrift Queueing Systems. Dit klassieke wachtrijprobleem werd volledig geanalyseerd met de compensatiemethode. Ook verscheen er een artikel over het kortste rij probleem met jockeying in het tijdschrift Stochastics Models. Onderzocht is onder welke condities de compensatiemethode, toegepast op een klasse van twee-dimensionale Markovprocessen, werkt. De Resultaten zijn verwerkt in een artikel, dat ter publicatie is aangeboden. Tot slot is een tweetal kleinere resultaten ter publicatie aangeboden, waarvan er reeds een is geaccepteerd. In 1992 zal het onderzoek naar toepassingen van de compensatiemethoden worden voortgezet. b. Seriegroottebepaling. Het onderzoek naar de toepasbaarheid van neurale netwerken voor seriegroottebepaling heeft zich in eerste instantie toegespitst op existentiële vragen, zoals het bestaan en de minimale afmetingen van een meerlaags perceptron voor seriegrootte-problemen in het bijzonder en combinatorische optimaliseringsproblemen in het algemeen. Verder is er gekeken naar de mogelijkheden van dit type neurale netwerken in een rollend-plan-omgeving voor seriegroottebepaling en scheduling. De resultaten hebben geleid tot enkele publicaties, zoals in het International Journal of Neural Systems, en de toekenning van de "best paper award", op een internationale conferentie. In 1992 zullen deze en nog een aantal nieuwe resultaten worden verwerkt tot een proefschrift en zal op een door het NWO toegewezen AIO-plaats het onderzoek worden voortgezet naar de praktische toepasbaarheid van neurale netwerken voor seriegroottebepaling. c. Analyse en ontwerp van logistieke systemen. In dit project wordt onderzoek verricht naar optimale voorraadstrategieën voor multi-echelon voorraadketens. In 1991 is een artikel verschenen over nummerieke procedures voor het berekenen van optimale voorraadstrategieën voor produktie- en assemblagesystemen. Verder is een verslag geschreven over de analyse van distributiesytemen en zijn er twee rapporten verschenen over het onderzoek naar multi-echelon systemen met eindige produktiecapaciteit. In 1992 zal gestart worden met een promotieproject. Project 3: Structuuranalyse van stochastische processen Het boek over oneindige deelbaarheid vordert langzaam. Het overige onderzoek op dit terrein is voorlopig afgerond. Met Van Harn is een artikel geschreven over een generalisatie van de levensduren in de vernieuwingstheorie. In verband met het onderzoek van Wilms is de hulp ingeroepen van ir. J.J.A.M. Brands (Analyse), die assistentie verleent bij problemen in de asymptotiek. Dit onderzoek heeft een interessante wending genomen; het blijkt van belang om het aantal maxima te bestuderen dat optreedt bij een steekproef uit een discrete verdeling, een onontgonnen gebied. Hierover is een artikel (met Brands) in voorbereiding. Project 4: Statistiek Binnen dit thema zijn twee projecten gedefinieerd, namelijk `Schatten en selecteren bij stochastische modellen' en `Robuuste technieken'. Het eerste project bestond in 1991 uit drie deelprojecten: a. analyse van stochastische beslissingsproblemen b. selecteren van populaties c. het Behrens-Fisher probleem


a. Analyse van stochastische beslissingsproblemen. Er werd gewerkt aan een algemeen concept voor het verwerken van subjectieve gegevens ten behoeve van praktische beslissingsproblemen. Vier memoranda zijn geschreven en er is aan een aantal artikelen gewerkt. b. Selecteren van populaties. De verdelings- en robuustheidseigenschappen voor selectie van populaties werd onderzocht. Verder is onderzoek verricht naar selectie van goede populaties. Er werden vier memoranda en een artikel gepubliceerd en drie voordrachten gehouden. c. Het Behrens-Fisher probleem. Bij dit probleem en zijn generalisatie is fundamenteel onderzoek verricht. Een memorandum is verschenen en een artikel is aangeboden. Bij het tweede project is onderzoek verricht naar niet-parametrische methoden, waarbij empirische en verwante processen een rol spelen. Er werd aan enkele artikelen gewerkt; een memorandum is geschreven en inmiddels voor publikatie geaccepteerd. Er zijn ook enkele voordrachten gehouden. Tevens werd onderzoek gedaan naar een uitschieter-resistente regressiemethode. Ook is onderzoek verricht op het gebied van de behandeling van ontbrekende waarnemingen. Er werden twee voordrachten gehouden en een publikatie geschreven. Verder is onderzoek gedaan aan stapsgewijze regressie en ook aan logistische regressie en loglineaire modellen. Over beide onderwerpen is een rapport geschreven. Tenslotte werden resultaten bereikt op het gebied van D-optimale proefopzetten. Een memorandum is geschreven en aangeboden aan een tijdschrift. Samenwerkingen. Naast vele incidentele vormen van samenwerking was in het verslagjaar sprake van meer geïnstitutionaliseerde samenwerking in de volgende vormen: • • • • • •

Interuniversitaire Werkgroep Beslissingsondersteunende Systemen en Modellen Onderzoeksamenwerking Discrete Optimalisering EUR-CWI-TUE Onderzoeksamenwerking TUE - Philips Research Onderzoeksamenwerking TUE - Philips CQM Onderzoeksamenwerking TUE - DSM Research Onderzoeksamenwerking TUE - ITP.

Er wordt een intensievere samenwerking voorbereid met Bedrijfskunde op het gebied van onderhoudsplanning. De samenwerking met het International Institute for Applied Systems Analysis (Laxenburg, Oostenrijk) op het gebied van beslissingsanalyse werd versterkt.


3.2.1.3

VF-programma: DISCRETE STRUCTUREN 3 VF-code: TUE.WSK.303.90.25 Programmaleiding:

prof.dr. J.H. van Lint, prof.dr. A.E. Brouwer (Wsk/I), prof.dr.ir. J.P.M. Schalkwijk (E)


1204, 1299 Discrete Wiskunde, 3325 P110, T 180 N025

Beknopte inhoudelijke beschrijving van het programma A. Combinatorial designs en sterk reguliere grafen. 1. Eindige meetkunde. 2. Design theorie. 3. Grafentheorie. B. Coderingen voor communicatienetwerken. 1. Coderingstheorie. 2. Cryptografie. 3. Bron- en kanaalcodering, vercijfering en adressering (protocol) in netwerken (fac. E.) Voortgang van het onderzoek Bijdrage van de faculteit Wiskunde en Informatica: A. Eindige meetkunde. 1. Eindige lichamen. - In samenwerking met T. Szönyi zijn de resultaten van Rédei over een aantal waarden dat een differentiequotient over een eindig lichaam aanneemt verscherpt. 2. (Eindige) meetkunde. - De structuur van de meetkunde gevormd door alle objecten in algemene positie ten opzichte van een vlag in een gebouw van sferisch type werd bepaald. - In samenwerking met Th. Meixner werd werk aan de constructie van enkele diagram meetkunden voltooid. - In samenwerking met Th. Meixner werd bewezen dat elke bijna n-gon met 3 punten per lijn in een affiene ruimte over GF(2) ingebed kan worden. - De delta ruimten, die aan het axioma van Pasch voldoen, werden bepaald. - De klassifikatie van eindige gegeneraliseerde Fischer ruimten werd uitgebreid tot het mogelijk oneindige geval. - In samenwerking met P. Johnson en A. Pasini werd de laatste hand gelegd aan een artikel, waarin de niet ontaarde polaire ruimten van de rang tenminste 4 ingebed worden in een projectieve ruimte. - In samenwerking met F. Mazzocca is gekeken naar speciale puntverzamelingen in PG(n,q) en de structuur van verzamelingen met het maximaal aantal nuclei (inPG(n,q)). - In samenwerking met J.A. Thas en P.J. Cameron is een generalisatie bewezen van een stelling van Beniamino Segre. - In samenwerking met Klaus Metsch werden grenzen afgeleid voor het maximale aantal lijnen van een partiële spread in PG (3,q), in het bijzonder het geval dat q een kwadraat is. - In samenwerking met Sergey Bezrukov werden Kruskal-Katona achtige problemen in PG (n,2) bestudeerd.


3. Design theorie. - Van talrijke sterk reguliere grafen is de p-rang bepaald. - In samenwerking met W.H. Haemers is van een aantal designs behorende bij U3(q) en U4(q) de 2-rang bepaald. - Antidesigns in afstandreguliere grafen werden onderzocht. - Een overzichtsartikel over block designs (met speciale aandacht voor hun p-rang) werd geschreven. Dit artikel zal verschijnen als een hoofdstuk in het Handbook of Geometry. 4. Grafentheorie. - In samenwerking met W.H. Haemers werd de uniciteit van de sterk reguliere graaf met parameters (81,20,1,6) bewezen. - In samenwerking met C.D. Godsil werd het al dan niet isomorf zijn van afstandsreguliere overdekkingen van polaire ruimten van rang 1 onderzocht. - In veel afstandsreguliere grafen werden alle maximale klieken bepaald. Ook andere deelgrafen van afstandsreguliere grafen zijn onderzocht. - De convexe deelgrafen van de kwadratische-vormengraaf werden bepaald. - Nieuwe noodzakelijke voorwaarden voor het bestaan van afstandsreguliere grafen werden gevonden. - De Sperner capaciteit van de cyclische driehoek werd bepaald. - De metrische hiërarchie, in het bijzonder met betrekking tot afstandsreguliere grafen, werd onderzocht. 5. Groepentheorie. - De modulaire karaktertabel van U3(q) is onderzocht (en in zekere gevallen geheel bepaald). - In samenwerking met J.I. Hall werd een volledige klassificatie verkregen van de groepen met een triviaal centrum die voortgebracht worden door een klasse van 3- transposities, waarin tenminste 2 commuterende 3-transposities. - Groepen voortgebracht door een klasse van k-transvectie ondergroepen werden bestudeerd. Er werd een karakterisatie gegeven van de symplectische groepen, als groepen voortgebracht door een klasse van k-transvectie ondergroepen. - De natuurlijke modulen voor de symplectische groep en voor de 2-dimensionale speciale lineaire groep werden gekarakteriseerd m.b.v. de kwadratische actie van de transvectie ondergroepen. Tevens werd een karakterisatie gegeven van SL2(k) m.b.v. de kwadratische actie op het natuurlijke 2-dimensionale moduul. B. Coderingstheorie en cryptografie. 1. Coderingstheorie. - Voor het nieuw ingerichte college coderingstheorie is een manuscript geschreven, waarvan bekeken wordt of het als boek zal verschijnen. - Het onderzoek naar Asymmetrical en Unidirectional Error Correcting Codes heeft geleid tot een TUE rapport met veel nieuwe constructies en sterkere nonexistentie resultaten. - De constructies van foutenverbeterende codes met beperkte runlengths blijken bestaande constructies te verbeteren. Bovendien is toestands-onafhankelijk decoderen mogelijk gebleken. Deze resultaten zijn vastgelegd voor publicatie. - Door IBM Almaden (San José) wordt een patent aangevraagd betreffende gezamenlijk werk met betrekking tot verbeterde decodeertechnieken van interleaved burstcorrecting codes. - In samenwerking met C.D. Godsil werd de volledige regulariteit van codes met weinig duale gewichten bewezen. - Ternaire cyclische codes, en met name hun minimum afstand, werden onderzocht. Verbeterde ondergrenzen werden afgeleid. Van alle cyclische codes met woordlengte <40 werd met behulp van een computer de minimum afstand bepaald; vrijwel


-

altijd bleek deze samen te vallen met de theoretische ondergrens. Gezocht is naar designs in ternaire (nega)-cyclische codes. Ter verklaring van sommige designs is een generalisatie gemaakt van de polynomiale codes van Kasami, Lin & Peterson zodanig dat deze ook een klasse van constacyclische codes omvat. Er is onderzoek verricht naar grenzen voor lineaire overdekkingscodes. Alle bestaande ondergrenzen voor deze codes voor overdekkingsstraal twee en drie zijn op een uniforme, constructieve manier afgeleid. Een tiental grenzen is verbeterd.

1A. Algebraïsch-meetkundige coderingstheorie. Veel onderzoek is gedaan aan algebraïsch-meetkundige codes. - Door een klasse van krommen met veel punten te construeren, werd bewezen dat elke lineaire code gezien kan worden als zwakke algebraïsch-meetkundige code, en criteria voor het (sterk) algebraïsch-meetkundig zijn werden aangegeven. - Decodeermethoden voor algebraïsch-meetkundige codes zijn onderzocht. In samenwerking met S.C. Porter werd een geheel nieuwe decodeeralgoritme ontworpen. Dit is tot in details uitgewerkt voor het speciale geval van codes op Hermitese krommen. Bestaande decodeeralgoritmen voor algebraïsch-meetkundige codes zijn verbeterd door gebruik te maken van het Clifford defect. Gewerkt wordt aan een algoritme dat decodeert tot de ontwerp minimum afstand. - Een verbetering van Goppa's grens voor algebraïsch-meetkundige codes is verkregen door gebruik te maken van de gonaliteit van een kromme. - Een klasse van binaire geconcateneerde codes werd geconstrueerd met behulp van gegeneraliseerde Hermitese krommen. Deze codes halen de Zyablov grens. - J.P.Petersen (Lyngby), hier te gast, beschreef de algebraïsche krommen en bijbehorende codes met de Re groep als automorfismengroep. - C. Munuera (Valladolid), hier te gast, heeft gewerkt aan MDS codes op algebrasche krommen. - In samenwerking met Munuera is onderzocht wanneer twee divisoren op een kromme dezelfde code geven. - In relatie tussen codes, designs en algebraïsche krommen werden bestudeerd. 2. Cryptografie. - Het Rao-Nam systeem is in samenwerking met het PTT Dr. Neher Lab. uitvoerig onderzocht. Duidelijk is aangetoond dat dit systeem niet veilig is. In welke mate cryptosystemen die gebaseerd zijn op codes efficiënt en veilig te gebruiken zijn wordt nu verder bestudeerd. - In samenwerking met het CWI zijn diverse facetten van het Electronische Geld Systeem van Dr. D. Chaum bestudeerd. In het bijzonder de berekeningsaspecten en bepaalde protocollen die door meer partijen tegelijkertijd uitgevoerd worden. - Onderzocht wordt hoe goed gekozen lineaire codes zo weinig mogelijk informatie aan een wire tapper afgeven als deze afluistert over een kanaal dat inferieur is aan het kanaal van de legitieme ontvanger of als het afluisterkanaal statistisch onafhankelijk is van het ontvangstkanaal. Samenwerkingen. Samenwerking op het gebied van de eindige meetkunde en grafentheorie bestaat met S. Bezrukov (Moskou), R. Calderbank (Bell Labs), P.J. Cameron (London), C.D. Godsil (Waterloo), W.H. Haemers (KUB), J.I.Hall (Michigan), P. Johnson (Manitoba), F. Mazzocca (Napels), Th. Meixner (Giessen), K.Metsch (Giessen), A. Pasini (Napels),T. Szönyi (Budapest), J.A. Thas (Gent) en met tal van andere wiskundigen op meer incidentele basis.


3.2.1.4

VF-programma: PROGRAMMEREN VF-code: TUE.INF.301.90.26 Programmaleiding:

dr.ir. C. Hemerik; prof.dr. R.C. Backhouse, dr. A. Kaldewaij, dr. R.R. Hoogerwoord


1101, 1203, 3304 P110 N076, N070, N10

Beknopte inhoudelijke beschrijving van het programma Het VF-programma Programmeren houdt zich bezig met diverse aspecten van het programmeren: ontwerpen van algoritmen en datastructuren, programmeertalen en implementatieaspecten. Het programma is verdeeld in drie projecten: Project 1 ALPHA (typentheorie, lambda-calculi en programmeertalen). In het project ALPHA wordt onderzoek verricht op het gebied van lambda-calculi, typetheorie en programmeertalen. Er wordt een algemene en unificerende theorie van getypeerde lambda-calculi opgesteld. Op basis van die theorie worden talen ontwikkeld met een flexibel, wiskundig goed onderbouwd typesysteem. Voor deze talen zullen programmeermethoden worden ontwikkeld en zullen ook implementaties worden afgeleid. Project 2 Handboek van implementatiemethoden. Dit project heeft tot doel het opstellen van taxonomieën van algoritmen en methoden op het gebied van compilerconstructie en implementatie. Het gaat daarbij om onderwerpen als scanning, parsing, attribuutevaluatie en code-generatie. De classificatiemethode is ontworpen door Jonkers en eerder met succes toegepast op het onderwerp garbage collection. Project 3 Programmeermethodologie. Dit project behelst onderzoek van de fundamentele aspecten van programmeren. Hieronder vallen programmeertechnieken bij diverse stijlen (functioneel, sequentieel, parallel), het ontwikkelen van geschikte notaties voor specificaties en programma's en het opstellen van heuristieken voor het ontwerpen van correcte efficiënte programma's. Ook het redeneren over en het afleiden van ingewikkelder datastructuren is onderwerp van onderzoek. Een programmeercalculus gebaseerd op de relationele calculus, toegespitst op berekening met datatypen wordt ontwikkeld. Voortgang van het onderzoek Project 1: ALFA (typentheorie, lambda-calculi en programmeertalen). Het werk aan de semantiek van de tweede-orde lambdacalculus heeft geresulteerd in fraaie op categorieëntheorie gebaseerde modellen die nauw aansluiten bij de denotationele semantiek van programmeertalen. Door de uniforme structuur van deze modellen kunnen ze gemakkelijk uitgebreid worden met andere typeconstructoren zoals producten (records), sommen (variants), gegeneraliseerde sommen (abstracte datatypen) en


subtypering (coercie en inheritance). Thans wordt gewerkt aan een op deze modellengebaseerde programmalogica, die karakteristieke elementen van de systemen LCF en calculus of constructions in zich verenigt. Om meer inzicht te krijgen in de benodigde vormen van recursie en inductie is onderzocht hoe deze in verscheidene vormen van getypeerde lambdacalculus kunnen worden gecodeerd. Dit heeft onder meer geleid tot coderingen van bar-recursie d.m.v. termen die afhangen van orde-types. De algemene theorie van getypeerde lambda-calculi is verder uitgewerkt. Als basis is een eenvoudig, uniform systeem gekozen dat krachtig en flexibel is, en bovendien notationeel grote voordelen heeft. Niet alleen expliciete substitutie, maar ook segmentafkortingen kunnen op natuurlijke wijze in het systeem worden ondergebracht. Het eerste is van belang voor de (theorie van de) implementatie, het tweede voor de praktische toepassing van de getypeerde lambda-calculi. De bereikte "fijnstructuur" geeft verder mogelijkheden voor zowel lokale als globale reductie, zodat zowel definitietoepassing als functietoepassing representeerbaar zijn. Reductie kan op een voor de hand liggende wijze gegeneraliseerd worden, wat zowel van theoretisch als van praktisch belang is. Ook zijn twee aanpakken van typering vergeleken: die met een canoniek type, berekenbaar uit de term en zijn context, en die d.m.v. een typeringsrelatie. Het effect van de eerste typering op de pure systemen van Barendregt e.a. is bestudeerd. Bovendien is onderzocht wat de plaats is van een groot aantal typesystemen (i.h.b. de PTS-en en de Automath-achtige systemen) in de bestudeerde fijnstructuur. Ten slotte is de bovengenoemde expliciete substitutie vergeleken met een algebraische methode van Abadi, Cardelli, Curien en Levy. Ook het werk op het gebied van de behandeling van contexten in modale typentheorie is voortgezet en heeft vruchtbare resultaten opgeleverd. In augustus 1991 is op de TUE door dr. Christine Paulin-Mohring (Ecole Normale Superieure, Lyon) een "Advanced Course on Development of Proofs and Programs in the Calculus of Constructions" gegeven. Deze cursus was bestemd voor op dit gebied werkzame onderzoekers en aio's en werd georganiseerd in het kader van het project "Typed Lambda Calculi". Voor de periode van 01-10-1991 tot 30-09-1992 is dr. Fairouz Kamareddine (Univ. of Glasgow) als research fellow bij het ALPHA-project aangesteld. Zij zal voornamelijk werken aan het onderwerp expliciete substitutie. Project 2: Handboek van implementatiemethoden Met het vertrek van Marcelis is een voorlopig einde gekomen aan het onderzoek op het gebied van attribuutgrammatica's. Delen van dit onderzoek die in de verslagperiode zijn voltooid zijn een consistentiebewijs van een attribuutlogica en een toepassing van deze logica op een realistisch codegeneratieprobleem. Het ligt in de bedoeling dit onderzoek alsnog af te sluiten met een promotie. Het werk op het gebied van implementatiemethoden heeft zich dit jaar vooral geconcentreerd op patroonherkenning en acceptatie van reguliere talen. Er wordt goede voortgang geboekt bij het binnen een gemeenschappelijk kader afleiden van een aantal efficiente patroonherkenningsalgoritmen zoals Aho-Corasick, Knuth-Morris-Pratt, Commentz-Walter, Boyer-Moore en varianten daarvan. Daarbij worden zowel imperatieve programmeermethoden als functionele programmacalculi gebruikt. Ook is met behulp van relationele semantiek en dynamische logica een correctheidsbewijs gegeven van een in de praktijk veel gebruikt maar moeilijk bewijsbaar scanning-algoritme. Tevens is onderzoek gedaan naar implementatiemethoden voor database queries. Systematische afleidingen daarvan zijn schaars in de literatuur. De in dit onderzoek gevonden afleidingen maken gebruik van transformationele programmeermethoden. De aldus verkregen oplossingen zijn generiek en kunnen dienen als bouwstenen bij de oplossing van meer complexe database queries. Project 3: Programmeermethodologie Deelproject 3.1: Algoritmen en datastructuren Op het gebied van het redeneren over en het afleiden van datastructuren en bijbehorende programma's zijn in het verslagjaar grote vorderingen gemaakt. Specificaties worden


gegeven in de vorm van zogeheten algebra's: een collectie verzamelingen met bijbehorende operatoren. Voor algebra's is het begrip refinement geformaliseerd en zijn een aantal relevante stellingen bewezen. De klassiekere begrippen representatiefunctie en abstractiefunctie zijn hieraan gerelateerd. Een aantal case-studies zijn gedaan (stacks, queues, priority-queues, Fibonacci heaps, splay trees en Binomial heaps), waarbij de theorie met vrucht kon worden toegepast. Voor de implementatie van priority queues met behulp van topdown skew heaps is een potentiaalfunctie afgeleid die een scherpere complexiteit in geamortiseerde zin oplevert. Ook op het gebied van het afleiden van implementaties van algebra's (datastructuren met programma's) is vooruitgang geboekt. Deelproject 3.2: Functioneel programmeren. De vereenvoudigde behandeling van de wiskundige fundering van functioneel programmeren is afgerond en met de rapportage hierover is een begin gemaakt. Verder is er een studie uitgevoerd naar de mogelijkheid systolic arrays te ontwerpen, uitgaande van funtionele programma's voor het op te lossen probleem. De resultaten hiervan zijn bemoedigend en rechtvaardigen diepergaand onderzoek. Op het gebied logisch programmeren zijn enige case studies verricht met als doel meer inzicht te verwerven in de specifieke aard van dit vak; ook hier is diepergaand onderzoek nodig en wenselijk. Aan de gestroomlijnde behandeling van sequentiële implementaties van de functionele programmanotatie is in het verslagjaar nauwelijks aandacht besteed. In 1992 zal dit onderwerp weer worden opgepakt. Deelproject 3.3: Relationele theorie van datatypen. Er wordt een relationele theorie van datatypen ontworpen. Eerder ontwikkelde theorie van relationele catamorfismen, polynomiale relatoren en typen met wetten is al gepubliceerd of is geaccepteerd voor publicatie. Er wordt gewerkt aan een boek dat de theorie volledig documenteert. Consolidatie en uitbreiding van de resultaten vinden plaats zowel in de richting van toepassingen (met name problemen waarvan nondeterminisme en partialiteit onvermijdelijke componenten zijn) als ook van de theorie (verbanden met de categorietheorie i.h.b. adjuncties en Galoisconnecties). Het interactief systeem voor algebraische berekeningen wordt herontworpen en herschreven uitgaande van de ervaring die is opgebouwd met het bestaande systeem. Samenwerkingen. In het kader van het SION-project Typed Lambda Calculi wordt samengewerkt met KUN (Barendregt) en RUU (Van Dalen). Internationale samenwerking zal geïntensiveerd worden via een vervolgproject van de Jumelage, een samenwerkingsverband tussen een aantal Europese universitaire onderzoeksgroepen op het gebied van getypeerde lambda-calculi. Voorts wordt samengewerkt met de KUB via de interuniversitaire werkgroep Logica en Informatiesystemen en in het onderzoeksproject Dialoogvoering en Kennisopbouw van het Samenwerkingsorgaan Brabantse Universiteiten. Er is landelijk contact via de sectie Constructieve Algoritmiek van de werkgemeenschap Programmatuur en Architectuur (SION). Verder participeren enkele medewerkers in een studiegroep van de Rijksuniversiteit Utrecht (Meertens, Swierstra). Er vindt regelmatig uitwisseling van ideeën plaats met de vakgroep van de Rijksuniversiteit van Groningen. Intensief contact bestaat met de University of Texas at Austin, USA (E.W. Dijkstra). Regelmatig zijn medewerkers in Austin te gast. Op het gebied van typegeoriënteerd relationeel programmeren is er nauwe samenwerking met de Oxford Programming Research Group, met de Rijksuniversiteit Utrecht en het CWI.


3.2.1.5

VF-programma: PARALLELLISME VF-code: TUE.INF.302.90.26 Programmaleiding:

prof.dr. M. Rem, prof.dr. J.C.M. Baeten


1101, 1203, 3304 P110 N076, N077, N070, N10

Beknopte inhoudelijke beschrijving van het programma Het VF-programma Parallellisme van de vakgroep Informatica bestaat uit twee projecten: 1. Ontwerp en implementatie van parallelle programma's 2. Specificatie, verificatie en reïficatie van parallelle systemen Project 1 legt zich toe op het ontwerpen van parallelle programma's die bestaan uit onderling communicerende cellen, en op het implementeren van deze programma's op processornetwerken en als VLSI-chips. Project 1 bestaat zodoende weer uit drie deelprojecten: 1.1. Ontwerpmethoden (afleiden van parallelle programma's uit formele specificaties) 1.2. Netwerk-implementaties (implementeren van parallelle programma's op processornetwerken) 1.3. VLSI-implementaties (implementeren van parallelle programma's als vertragings-ongevoelige schakelingen) Project 2 houdt zich bezig met de concurrency theorie, met name de specificatie, verificatie en reïficatie van parallele of gedistribueerde systemen m.b.v. formele methoden. Het project bestaat uit twee deelprojecten: 2.1. Assertionele methoden. 2.2. Algebraïsche methoden. In beide deelprojecten staat de theorie van concurrente en tijdkritische systemen centraal. In deelproject 2.1 wordt ook aandacht besteed aan betrouwbaarheid en foutbestendigheid van systemen. Voortgang van het onderzoek Project 1: Ontwerp en implementatie van parallelle programma's. Deelproject 1.1: Ontwerpmethoden De studie van het ontwerpen van onregelmatige berekeningen vordert goed. Er zijn interne notities geschreven over een parallelle liftbesturing, een real-time verkeerslichtensysteem en een real-time simulator. Van deze laatste twee zijn experimentele resultaten verkregen op een transputer. Voor dit onderzoek wordt samengewerkt met een groep van professor Rooda (vakgroep WPA, faculteit Werktuigbouwkunde). In het verslagjaar is het proefschrift van W. Kloosterhuis verschenen. Hierin wordt het enabling model beschreven, een methode om prestatieanalyse uit te voeren voor parallelle systemen. Deelproject 1.2: Netwerk-implementaties. De komst van J.J. Lukkien is een duidelijke stimulans geweest voor dit deelproject. Met zijn inspanningen wordt het transputersysteem veel gebruiksvriendelijker, waardoor we een grote toename verwachten van het werken aan dit systeem. Het onderzoek naar programma's met instelbare korrelgrootte verloopt goed. In de loop van 1992 wordt op dit gebied de voltooiing van een proefschrift verwacht. Met de computergrafiekgroep


van de sectie Technische Toepassingen wordt samengewerkt om krommen en oppervlakten te berekenen met behulp van het transputersysteem. Deelproject 1.3: VLSI-implementaties. De theorie van de vertragingsongevoelige schakelingen is in het verslagjaar verder ontwikkeld. Op korte termijn worden op dit gebied twee promoties verwacht. In november heeft de sectie een door de KNAW gesubsidieerde workshop over dit soort schakelingen gehouden. Aan de workshop namen deskundigen uit vele landen deel. De workshop is een duidelijke stimulans geweest voor ons werk op dit gebied. Het onderzoek heeft ook sterk geprofiteerd van de samenwerking met Philips. Om deze samenwerking te verstevigen brengt A. Peeters een deel van zijn tijd door in de DICY-groep op het Natuurkundig Laboratorium van Philips. Met de vakgroep van professor Jess (ES, faculteit Elektrotechniek) wordt samengewerkt op het gebied van ontwikkelgereedschappen. Er is een begin gemaakt met de ontwikkeling van VOICE, een eigen silicon compiler voor vertragingsongevoelige schakelingen. Project 2: Specificatie, verificatie en reïficatie van parallelle systemen Deelproject 2.1: Assertionele methoden. Kuiper en Penczeck, i.s.m. U. Goltz (Hildesheim) hebben een vergelijkende studie van propositionele temporele logica's afgerond, via de geïnduceerde equivalenties. Dit leverde ook extra informatie op over bestaande equivalentie-relaties. Gerth en Kuiper hebben een theorie voor interface refinement ontwikkeld met bewijsregels waarin elke door de gebruiker gedefinieerde interface verandering formeel beschreven kan worden. Het huidige onderzoek vindt plaats in een sequentieel kader. Er is een correctheids-criterium in een bewijstechniek in de stijl van Manna en Pnueli. De theorie is toegepast op een interface refinement bewijs van synchrone naar asynchrome communicatie. Huizing deed onderzoek naar semantiek voor reactieve systemen, met name op het gebied van verscheidene tijdsdomeinen. Hieruit kwam een BRA-deliverable voort. Hooman werkte aan de specificatie en compositionele verificatie van real-time systemen. Als programmeertaal is gekozen voor real-time taal met communicatie en synchronisatie via het sturen van boodschappen door kanalen. Voor deze taal is een compositionele semantiek geformuleerd, ook voor het geval van meerder processen per processor en dynamische prioriteiten. Voor de specificatie van functionele en real-time eigenschappen zijn twee formalismen ontwikkeld en vergeleken: Metric Temporal Logic, en een formalisme gebaseerd op Hoare triples met een extra assertie en extra primitieven. Voor beide formalismen is er een compositioneel bewijssysteem. Een aandachtsgebied van De Boer betreft het onderzoek naar parallelle systemen gebaseerd op asynchrone communicatie. In het bijzonder is onderzoek verricht naar een compositionele en volledig abstracte semantiek van concurrente constrain-talen en een asynchrone real-time versie van CSP. Tevens heeft dit onderzoek geleid tot de ontwikkeling van een algemeen model voor asynchrone communicatie. Een ander aandachtsgebied betreft het onderzoek naar de expressiviteit van parallelle programmeertalen. Dit onderzoek heeft geleid tot de ontwikkeling en toepassing van een notie 'modular embedding' met behulp waarvan de expressiviteit van parallelle programmeertalen vergeleken kan worden. Voorts verricht De Boer onderzoek naar procescreatie. In dit onderzoek staat de ontwikkling van een compositionele bewijsmethode en een volledig abstracte semantiek centraal. Deelproject 2.2: Algebraïsche methoden. Het onderzoek van Baeten concentreert zich op het beschrijven van tijdkritische systemen in de procesalgebra ACP. Zowel real time als discrete time varianten worden bestudeerd. Daarnaast zijn uitbreidingen van ACP met probabilistische keuze aan de orde. Het onderzoek van De Boer bekijkt asynchrone communicatie in procesalgebra, onder verschillende semantieken.


Samenwerkingen. • •

•

•

•

• • • •

• • • •

Samenwerking vindt plaats met CWI, Philips Nat.Lab., Washington University (St. Louis, USA), University of Texas (Austin, USA), Weizmann Institute of Science (Rehovot, Israël), University of Waterloo (Waterloo, Canada). De vakgroep Informatica werkt samen met RUG (vakgroep Informatica), Philips Nat.Lab. en Shell Research (KSLA) in het project OIPP (Ontwerp en implementatie van parallelle programma's). Ongeveer 6 keer per jaar houdt het OIPP een dag waarop de deelnemers ervaringen uitwisselen over hun onderzoek op het gebied van parallelle programma's. Met betrekking tot het deel Ontwerpmethoden wordt samengewerkt met de vakgroep Produktietechnologie en -automatisering (J.E. Rooda) van de faculteit Werktuigbouwkunde TUE. Het betreft het ontwerpen van parallelle programma's voor het besturen van industriële systemen. Met betrekking tot Netwerk-implementaties vindt samenwerking plaats met de computergrafiek-groep (C.W.A.M. van Overveld) in de sectie TT van de vakgroep Informatica van de TU Eindhoven. Het betreft hier het ontwerpen en uitvoeren op het transputernetwerk van parallelle programma's voor het genereren van discrete krommen en oppervlakken voor rastergrafische toepassingen. Met betrekking tot VLSI-implementaties wordt samengewerkt met het Institute for Biomedical Computing (C.E. Molnar) van de Washington University te St. Louis, U.S.A., met het Computer Science Department (J.A. Brzozowski) van de Universiteit van Waterloo, Canada, met het Computer Science Department (A.J. Martin, J.L.A. van de Snepscheut) van het California Institute of Technology te Pasadena, U.S.A., met Philips (PRLE, groep Van Utteren) en met de RU Groningen (J.T. Udding). Verder is er een landelijk samenwerkingsverband PRORISC, waaraan naast onze groep o.a. de drie faculteiten der Elektrotechniek deelnemen. De vakgroep neemt deel aan de ESPRIT Parallel Computing Action.met het project DIPPER (4038). De vakgroep Informatica werkt samen met CWI en RUL in het Landelijk Project Concurrency (SION) en in het NFI-project Research and education in concurrent systems (REX). De vakgroep Informatica werkt samen met KUN in het SION/STW-project Foutbestendigheid: Paradigma's, modellen, logica, constructie. De vakgroep Informatica werkt samen met University of Manchester (Manchester, UK), Institute of Computer Science - FORTH (Heraklion, Kreta, Griekenland), Imperial College (London, UK), Swedish Institute of Computer Science (Kista, Zweden), Weizmann Institute (Rehovot, Israël), University of Oxford (Oxford, UK), IMAG Grenoble - INPG (Grenoble, Frankrijk), KUN (Nijmegen, Nederland) en Université de Liège (Liège, België) in het kader van ESPRIT aan het Basic Research-project no. 3096, getiteld Formal methods and tools for the development of distributed and real time systems (SPEC). Vanwege het REX project, zijn er institutionele contacten met het Franse C3-project en het Engelse ALVEY-project. Samenwerking vindt plaatsmet CWI en RUL in het NFI-projekt REX (Research and education in concurrent systems) Samenwerking vindt plaats met UvA en RUL in het NFI-projekt TRANSFER Samenwerking vindt plaats met KUN in het SION/STW projekt Foutbestendigheid: Paradigma's, modellen, logica, constructie


3.2.1.6

VF-programma: INFORMATIESYSTEMEN 2 VF-code: TUE.INF.303.90.26 Programmaleiding:

prof.dr.ir. J.C. Wortmann (Bdk/BISA); prof.dr. K.M. van Hee (WskI/I), prof.dr.ing. D.K. Hammer (WskI/I); prof.dr. J. Wessels (WskI/B&S)


1203, 1207, 3304 P170, P160, S190 N083, N076, N070, N10

Beknopte inhoudelijke beschrijving van het programma 1. Informatiesystemen vanuit bedrijfskundig perspectief 1.1 Ontwerpmethodologie voor informatiesystemen 1.2 Menskundige en organisatie-aspecten van de automatisering 1.3 Informatiesystemen in produktie en logistiek 1.4 Computer Integrated Manufacturing 2. Informatiesystemen vanuit informatica perspectief 2.1 Formele specificaties 2.2 Robuuste Technische Informatiesystemen 2.3 Database systemen 2.4 Computergraphics en user interface management systemen 2.5 Kennissystemen 3. Informatiesystemen vanuit besliskundig perspectief 3.1 Scheduling 3.2 Prestatie-analyse 3.3 Intelligente systemen Voortgang van het onderzoek Algemeen Het eerste jaar van het nieuwe VF programma stond duidelijk in het teken van de integratie van de nieuwe onderzoeksgebieden en de verbreding van de samenwerking. Daarvoor zijn er twee VFdagen met alle onderzoekers georganiseerd en een aantal mogelijke "integratie-thema's", gedefinieerd: Software kwaliteit, CIM (Computer Integrated Manufacturing) en ontwerp van het tijdsgedrag van systemen. Project 1: Informatiesystemen vanuit bedrijfskundig perspectief Zie bijdrage van de faculteit Bedrijfskunde. Project 2: Informatiesystemen vanuit informatica perspectief Deelproject 2.1: Formele specificaties. De integratie van technieken voor procesmodellering en datamodellering is verder uitgewerkt en heeft onder andere geleid tot een algebra voor het beschrijven van transities. Ook de invloed van tijd in Petri-net-gebaseerde procesmodellen is uitgewerkt. Het procesmodel is vefijnd teneinde recursieve processen te kunnen beschrijven (wat met Petri-netten inherent moeilijk is). Er is ook een begin gemaakt met de integratie van de bovengenoemde ontwikkelingen in het tool ExSpect, teneinde deze verbeterde specificatiemiddelen ter beschikking te stellen van de huidige gebruikers van ExSpect (een aantal partners via TNO). In het PROOFS onderzoek (Promotion of Formal Methods in European Software


Industry) worden ook op Petri-netten gebaseerde methoden toegepast, en dit op gedistribueerde systemen. Tevens wordt het verband tussen verschillende specificatietalen onderzocht (o.a. Z, VDM, etc.). Deelproject 2.2: Robuuste Technische Informatiesystemen. Project 2.2.1: DEDOS (Dependable Distributed Operating System) In het afgelopen jaar is het algemene framework en met name het programmeermodel verder uitgekristalliseerd, hetgeen binnenkort in een Computing Sience Note gepubliceerd zal worden. Uitgaande van de algemene architectuur is met name gewerkt aan de definitie van een object-georiënteerde applicatietaal (uitbreiding van C++), de implementatie van de daarvoor nodige preprocessor. Een prototype is gemaakt van het uitvoeren van det off-line berekende schedule op het multiprocessor systeem EMPS dat bij de faculteit technische natuurkunde ontwikkeld is. De eerste performance metingen zijn bemoedigend. Tevens is het communicatie model van EMPS zodanig aangepast dat de DEDOS communicatie algoritmen daarop geïmplementeerd kunnen worden. Algoritmen zijn ontworpen om de communicatie efficiënt betrouwbaar te maken. Na een initialisatie fase kan met een zeer geringe overhead gecommuniceerd worden volgens het cliënt-server model. Tevens is een model ontworpen waarbij gegevens uitgewisseld kunnen worden tussen processen waarvan het schedule off-line berekend is en processen, waarvan de executiemomenten onbekend zijn. Dit is een noodzakelijk onderdeel om de hoofddoelstelling van DEDOS te realiseren. Verder is een begin gemaakt met het ontwerp van een hiërarchisch clock synchronisatie algoritme. De samenwerking met N is verder geïntensiveerd binnenkort zal resulteren in de oprichting van een interfacultaire werkgroep. Aandacht is ook besteed aan de toepassing van DEDOS als executiemechanisme in een CIM omgeving en aan de besturing van experimenten bij N. Project 2.2.2. Hard real-time scheduling Het afgelopen jaar is met name gebruikt voor het opstellen van een formeel scheduling model dat in overeenstemming is met het DEDOS framework. Ook is een uitbreiding op het scheduling algoritme bedacht die, door voor iedere taak een scheduling window te definiëren, de afhankelijkheid tussen de verschillende lokale schedules verkleint en dus de noodzaak tot backtracking verminderd. Verder is onderzocht in hoeverre statische scheduling methoden ook op hogere niveaus van het CIM referentie model toegepast kunnen worden. Het streven is om een logistiek schedule stapsgewijs te verfijnen tot uiteindelijk een schedule voor de besturingssoftware afgeleid kan worden. Project 2.2.3 Foutbestendigheid. Het afgelopen jaar is, ten dele, gebruikt om, in nauwe samenwerking met de University of Warwick, de aldaar in ontwikkeling zijnde interval temporele logica ISL te onderzoeken op haar bruikbaarheid bij het specificeren en verifiren van fouten tolererende systemen. Resultaten zijn pas te verwachten als ISL in voldoende mate uitgekristalliseerd is. Voorts is de rol van de fout hypothesen van de componenten in de specificatie en verificatie procedures van dergelijke systemen diepgaand bekeken. Een fout hypothese verdeelt het niet-foutvrij gedrag van een component in exceptioneel en catastrofaal; exceptioneel gedrag is het gedrag dat door het systeem, in nog nader te specificeren mate, getolereerd dient te worden. Vanuit dat onderzoek is een op traces gebaseerd formalisme ontwikkeld, dat het exceptionele gedrag van een component als een *transformatie* van het foutvrij componentgedrag modelleert. Het bijzondere van dit formalisme is dat het uitgaat van het observeerbare communicatie gedrag van componenten: het beschouwt de mogelijke gevolgen van fouten op het observeerbare gedrag, zonder expliciet op die fouten in te gaan. Er is een begin gemaakt dit formalisme geschikt te maken voor het specificeren en verifiëren van gedistribueerde real-time systemen. Hierbij wordt gebruik gemaakt van


de lokale klokken, in plaats van de gebruikelijke notie van globale tijd. Deelproject 2.3.: Database systemen. Dit jaar is verder gewerkt aan het project-georienteerde databank model GOOD, dat databanken beschrijft door middel van grafen. Voor GOOD is een grafische user-interface ontwikkeld waarmee databank schema's, instances en vragen kunnen worden geformuleerd. Het model GOOD is ook gebruikt als basis om een datamodel op te stellen voor het beschrijven van de datastructuur van hypermedia systemen. Een nieuwe aio is begonnen met een onderzoek van de eigenschappen van GOOD, met name de expressieve kracht. Een tweede aio bestudeert modellen voor hypermedia systemen en werkt aan een karakterisatie van de behoeften tot browsing en querying in hypermedia systemen. In vervolg van de studie van het Functionele Datamodel is een reductie van het meer algemene object-georienteerde model IFO naar FDM opgesteld. Tevens zijn verzamelingswaardige eigenschappen aan FDM toegevoegd. Het bereikte eindresultaat is een reductie van IFO tot het relationele databank model. De workbench BESIS, een tool voor manangers, is verder afgewerkt, in samenwerking met Bakkenist Management Consultants. Als sluitstuk is de grafische user-interface verwezenlijkt, zodat het tool nu in de praktijk kan worden getest. De onderzoekingen op het gebied van EDI en integratie van databankschema's heeft geleid tot een coherent verhaal dat in het kader van de PAO Informatica reeds is gebruikt voor een cursus Communicerende Databanken. Deelproject 2.4: Computergraphics en user interface management systemen Project 2.4.1 Grafische algoritmen . Dit project was de voortzetting van het deelgebied dat in het wetenschappelijk verslag van 1990 bekend stond onder de naam 'Discrete methoden in computergraphics'. Een belangrijk wapenfeit op dit gebied is de promotie van Van de Wetering. Daarmee is een eind gekomen aan het onderzoek aan de basisconcepten; in 1991 is dan ook een aanvang gemaakt met het ontwikkelen van toepassingen van chaincode-algoritmen. Als toepassingsgebieden zijn gekozen een oppervlakte-modelleersysteem (free-form surface modeller) op basis van Coons-oppervlakken gedefinieerd door 3-dimensionale chains, het gebruik van weaving voor interactieve curve-editing, en een methode voor het automatisch genereren van zgn. in-between tekeningen bij (voorlopig nog 2-dimensionale) tekenfilms. Dit laatste onderzoek gebeurt in opdracht van de NOB (het facilitair bedrijf van de NOS). Tevens kan in de context van grafische algoritmen vermeld worden dat gewerkt is aan een anti-aliasing methode die gebaseerd is op morphologische filters. Project 2.4.2 Computeranimatie. Dit project is de opvolger van het project 'computer animatie en real-time dynamische simulatie'. Het grootste gedeelte van het werk aan dit project is ondergebracht in het SOBU-project 'Dialoogvoering en Kennisopbouw'; de bijdrage vanuit de sectie TT betreft de bouw van een zgn. GDP (generalised display processor -- een systeem dat als animatie- en graphics server aan een applicatie gekoppeld kan worden ter ondersteuning van op animatie gebaseerde grafische interactie met die applicatie). Een parser voor de object-oriented interface-taal voor de GDP is gereed; een interpreter nadert zijn voltooiing. Werkzaamheden aan de back-end van de GDP zijn in volle gang. Naast het werk aan het SOBU-project is ook het werk aan dynamische simulatie voortgezet (na een betreurenswaardige onderbreking van ruim 3/4 jaar ten gevolge van het onverwachte vertrek van Erik van Loon). Een nieuwe promovendus is aan het werk gegaan om een discretisatie-schema te construeren met een hogere-orde afbreekfout dan het oorspronkelijke discretisatie-schema. Er is gewerkt aan nieuwe toepassingen van relaxatie-algoritmen, onder andere voor de simulatie van plooien in textiel.


Project 2.4.3 UIMS (User Interface Management Systemen). Het project 'Ontwikkeling van een portable UIMS', zoals dat voorkwam in het wetenschappelijk verslag van 1990 is voortgezet onder de vlag van dit deelproject. De ontwikkeling van DRUID is met het aflopen van het gelijknamige (2-jarige) AIO-project tot een einde gekomen. Over de resultaten is gerapporteerd in de eindverslagen van de drie project-deelnemers. Een onderdeel van het DRUID-systeem, de zgn. DIT (device independent toolkit) wordt gebruikt bij enkele van de bij TT in ontwikkeling zijnde interactieve software systemen. Ook voorlopig voor 'eigen gebruik' is het systeem GENSUI (generator for simple user interfaces), dat uitgaande van een dialoogstructuur op basis van events en een verzameling icons automatisch een prototype van een interactief systeem bouwt. GENSUI wordt ingezet bij de bouw van de nieuwe versie van het geometrische modelleer systeem PER. Deelproject 2.5: Kennissystemen. Project 2.5.1.: Decicion Support Systems. De voortzetting van het onderzoek van de vorige jaren heeft tot de afronding van een proefschrift (en promotie) geleid. Tegelijk zijn twee nieuwe onderzoekers gestart die de ontwerpmethode voor decision support systems verder zullen bestuderen. Hierbij spelen heuristische zoekmethoden een belangrijke rol, maar ook de artificieële intelligentie kan een bijdrage leveren. Project 2.5.2 Gedistribueerde real-time expert systemen. De activiteiten binnen het STRESS project hebben het afgelopen jaar vooral betrekking gehad op verslaglegging. Een tweede rapport (eindverslag 2e fase ontwerpers-opleiding) is verschenen in juni. Ook zijn resultaten gepresenteerd op de NAIC/AIT '92 conferentie. Een eenvoudig voorbeeld van een real-time expert-systeem is geïmplementeerd in STRESS. Een aantal punten die nader onderzoek behoeven zijn hieruit naar voren gekomen, met name de interactie tussen de modulen en progressieve reasoning, en de behandeling van tijds-afhankelijkheid van observabelen. Een begin is gemaakt met onderzoek van deze aspecten aan de hand van een klein real-time expert-probleem dat in de literatuur is beschreven. Project 3: Informatiesystemen vanuit besliskundig perspectief In het onderstaande worden de drie deelprojecten kort besproken. Bij verschillende deelprojecten is sprake van samenwerking met de informatica-en bedrijfskunde- collega's. In een aantal gevallen is het werk dan ook in meer dan één project vermeld. Deelproject 3.1: Scheduling. Scheduling van hard real-time systemen. In dit project werd enige ondersteuning aan werk bij Informatica geleverd (zie project 2.2.2). Scheduling van berekeningen binnen geïntegreerde circuits. Het gaat hierbij om het schedulen van de berekeningen benodigd voor de verwerking van videosignalen. Het bijzondere daarbij is het periodieke karakter van deze berekeningen. In het verslagjaar zijn goede vorderingen gemaakt; verscheidene artikelen over het onderwerp werden afgerond en gepubliceerd. Dit onderzoek vindt plaats in nauwe samenwerking met Informatica en Philips Research en zal in 1992 leiden tot een verdediging van een proefschrift van een medewerker van Philips Research. Scheduling van bewerkingen in parallelle computers. Dit onderzoek wordt uitgevoerd op het CWI, met financiële steun van SPIN in het kader van het PARTOOL project. In het verslagjaar is TOSCA, een "Tunable Off-line SCheduling Algoritme" voor de beoogde praktijksituatie ontworpen en grotendeels


geïmplementeerd. Tevens werd het onderzoek naar de complexiteit van enkele speciale gevallen voortgezet. Dit onderzoek moet leiden tot een in 1993 te verdedigen proefschrift van een CWImedewerker. Deelproject 3.2: Prestatie-analyse Prestatie-analyse van computernetwerken. Dit onderzoek heeft in 1991 wat stil gelegen na het vertrek van de SION/NWO medewerker. Het onderzoek samen met de medewerkers van de faculteit Elektrotechniek aan de TUD naar local area networks heeft in 1991 nog geleid tot een tweetal rapporten die waarschijnlijk gepubliceerd zullen worden. Begin 1992 is een nieuw promotieonderzoek gestart waarin prestatie-analyse en betrouwbaarheid geïntegreerd worden, en waarin nauw samengewerkt zal worden met Informatica. Verder zal samen met de faculteit Elektrotechniek onderzoek gedaan worden naar de prestaties van ATM netwerken. Deelproject 3.3: Intelligente systemen Een model- en algoritmemanagement systeem voor de routering van voertuigen (MAMS). De activiteiten bleven beperkt tot een herziening van de rapportage over de tot nu toe behaalde resultaten. Ten gevolge van het uitblijven van financiering door de NFI is het project in de ijskast gezet. Modelspecificatie voor logistieke systemen (TASTE). In dit onderzoek wordt samengewerkt met Informatica en met TNO en via TNO met een aantal medefinancierende bedrijven. Op basis van het Interval Timed Coloured Petri Net (ITCPN) model zijn een aantal analysemethoden ontwikkeld die onder- en bovengrenzen genereren voor allerlei performance criteria. Ter ondersteuning hiervan is in 1991 een tool ontwikkeld (IAT), dat deel uitmaakt van het software pakket ExSpect. Verder is een logistiek referentiemodel ontwikkeld ter ondersteuning van de logistiek modelleren. De resultaten worden beschreven in een aanltal rapporten, publicaties en in het proefschrift van de door TNO gefinancierde medewerker dat medio 1992 gereed zal zijn. Modelspecificatie voor personeelsplanning. In 1991 is een prototype ontwikkeld voor een adviserende module.Deze genereert kwalitatieve voorstellen aan de hand van een al dan niet geaggregeerd gespecificeerde doelstelling. De resultaten zijn vastgelegd in een intern rapport. Parallel aan deze ontwikkeling zijn diverse voorstudies gedaan voor het geaggregeerd manipuleren van personeelsplanningsmodellen. Beide resultaten zullen op korte termijn worden verwerkt in een prototype interactief planningssyteem. Een planbordgenerator. Dit door de NFI gehonoreerde project ging per 1 maart 1991 van start met de aanstelling van een promotiemedewerker. In het verslagjaar kwam er een eerste ontwerp van de planbordgenerator gereed. Tevens werd de reikwijdte van de te implementeren informatietechnologische en algoritmische componenten afgebakend. AI-technieken in modelgestuurde beslissingsondersteunende systemen. In dit kader is in 1991 een voorstudie verricht. Het ligt in de bedoeling in de op te starten samenwerking met het IIASA te Laxenburg (Oostenrijk) mede aan dit onderwerp aandacht te besteden. Samenwerkingen


•

•

• • • •

• •

• • 3.2.2

Een landelijke werkgroep, getiteld Dutch Decision Support Systems Research Group, waarin samenwerken de faculteit der Economische Wetenschappen en de faculteit der Bedrijfskunde van de EUR, de faculteit der Technische Wiskunde en Informatica van de TUD, de faculteit Bedrijfskunde en de faculteit der Wiskunde en Informatica van de TUE, de faculteit der Wiskunde en Informatica van de RUL en de afdeling Besliskunde, Statistiek en Systeemtheorie van het CWI. De groep heeft een samenwerkingsverband met de Universiteit van Passau en is uitgebreid met een groot aantal belangstellenden. Op het gebied van decision support systems wordt samengewerkt met IIASA, Laxenburg, Oostenrijk, in het kader van de International Exercise in DSS Development. Verdergaande samenwerking met IIASA op het gebied van beslissings-analyse is in voorbereiding. Op het gebied van specificatie en simulatie wordt samengewerkt met TNO, in het bijzonder met ITP-TNO/TUE in het kader van het TASTE-project, en op het gebied van databases met de groep van prof.dr. R. Meersman (KUB). Een werkgroep ex art. 89 WWO met de vakgroep Grondslagen der wetenschappen van de faculteit der Wijsbegeerte van de KUB en de vakgroep Informatica van de faculteit der Wiskunde en Informatica van de TUE: de werkgroep Logica en Informatiesystemen. Samenwerking van de secties IS, TI en TT met KUB (Tilburg) en IPO in het kader van het SOBU-zwaartepunt Dialoogvoering en Kennisopbouw. Op het gebied van Robuuste Technische Informatiesystemen: VUA (prof.dr. J. Treur) in het kader van het gebruik van DESIRE voor het STRESS project; Océ-Nederland b.v. te Venlo; Werkgroep laboratorium Automatisering van de faculteit Natuurkunde aan de TUE m.b.t. de constructie van een DEDOS kernel; KUN (prof.dr.ir. J. Vytopil) m.b.t. het STW-project over fault-tolerance; Philips BCS m.b.t. distributed operating systems; Univ. of Warwick (prof. M. Joseph) en Univ. van Kiel (prof. W.P. de Roever) m.b.t. het specificeren en verifiëren van fouten tolerante systemen in het kader van het STW project over fault tolerance. Op het gebied van Computergraphics en User Interface Management Systemen: SCAN, Groningen; Océ-Nederland b.v., Venlo, NOB (Hilversum), VU Academische Ziekenhuis (Amsterdam). De vakgroep Informatica werkt samen met PRISMA Informatica (Perugia, Italië), SLIGOS (Paris La Défense, Frankrijk), Telesystèmes (Paris, Frankrijk), ITI-TNO (Delft, Nederland), IPL-TNO (Eindhoven, Nederland) en ENTEL (Madrid, Spanje) in het kader van ESPRIT aan het project 5342, getiteld Promotion of formal methods in European software industry (PROOFS). Samenwerking van de sectie IS, TI en TT met KUB (Tilburg) in de SOBU werkgemeenschap Logica en Informatiesystemen. Op het gebied van de scheduling wordt samengewerkt met Philips Research en, in het kader van het SPIN project PARTOOL met EHT CWI.

OVERIGE PROGRAMMA'S EN OF THEMA'S (NIET-VF) De thema's van de vakgroepen zijn in het algemeen als bundeling van onderzoek op te vatten. Tabel II vervalt hiermee. Nochtans is hieronder de beschrijving van het groter opgezette project: 'Computers In Mathematical Education' opgenomen (verder verwerkt in tabel III-2). Voor de beschrijving van de overige thema's wordt verwezen naar het vakgroepenoverzicht.

3.2.2.1

Project: Computers In Mathematical Education. Reeds vele jaren wordt aan de TUE bij het service onderwijs in de wiskunde onderzoek gedaan hoe op een verantwoorde wijze computers en software in dit onderwijs geintegreerd kunnen worden. Dit is een terrein waar nog zeer weinig


ervaring mee is, in tegenstelling tot de meer traditionele wiskunde cursussen, die een ontstaansgeschiedenis van vele decennia hebben. Het gebruik van software bij wiskunde cursussen heeft grote invloed op de inhoud van zo'n cursus. Daarnaast vereist het werken met pakketten een andere manier van onderwijs geven. De ervaring die hiermee is opgedaan dient verder uitgebouwd te worden. Door het College van Bestuur is een subsidie van f 90.000.- toegekend voor het onderzoek naar het toekomstige gebruik van computer algebra pakketten. Hiervoor zijn een drietal workstatioons en software aangeschaft; er is nog ruimte voor verdere aanschaf van software. In het jaar 1991 is gewerkt op de gebieden analyse, lineaire algebra, statistiek en computer algebra; een kort overzicht volgt hierna. Bovendien is actief meegewerkt aan aan aantal landelijke activiteiten op het gebied van computers in het wiskunde onderwijs. Analyse. Er is reeds jarenlange ervaring met het gebruik van grafische en numerieke software. De invloed van eenvoudige computer algebra pakketten zoals DERIVE begint ook merkbaar te worden. In 1991 werd het pakket DERIVE voor het eerst onbeperkt gebruikt in de cursus Calculus voor W. DERIVE is zeer krachtig op het gebied van integreren; besloten werd dan ook de behandeling van primitiveringstechnieken te laten vervallen. Uiteraard wordt wel met de hand geoefend met partiële integratie en substitutie, maar op een ander type opgaven. Dit bleek goed te gaan. Een negatieve ervaring met de introductie van DERIVE was de constatering dat te veel studenten het idee kregen dat DERIVE een soort wondermiddel is dat alle opgaven wel voor ze maken kan. Dat bracht sommigen ertoe niet al te veel aandacht aan de vraagstukken te schenken, zodat zij er pas op het examen mee geconfronteerd werden dat DERIVE lang niet alles kan. Lineaire Algebra. De cursussen Lineaire Algebra voor W maken gebruik van het numerieke pakket PC-MATLAB. Deze curssen hebben in 1991 hun (voor het ogenblik) definitieve vorm gekregen. Voor deze vakken zijn nu studiehandleidingen (dictaatnummers 2453, 2458) beschikbaar. Daarnaast is een begin gemaakt met het onderzoek naar de mogelijkheden en het effect van computer algebra pakketten (bijvoorbeeld Mathematica) op de inhoud en vorm van lineaire algebra cursussen. Statistiek. Om concrete ervaring op te doen met cursussen statistiek waarbij het gebruik van software vanaf het begin geintegreerd is zijn in 1991 een tweetal experimenten uitgevoerd. Allereerst is bij werktuigbouwkunde voor een groep van ca. 20 studenten, parallel aan de reguliere cursus statistiek (2S040), een practicum opgezet van in totaal negen middagen. Bij dit practicum is, vanaf het begin, rekening gehouden met de invloed en de veranderingen ten gevolge van het PC-gebruik. Dit heeft het noodzakelijk gemaakt om, naast een voorlopige studiehandleiding voor het gebruik van STATGRAPHICS, een aantal specifieke opdrachten te ontwikkelen op het gebied van beschrijvende statistiek, toetsen en schatten, regressie en correlatie, variantie-analyse en kwaliteitscontrole. Na afloop van het experiment heeft een evaluatie plaatsgevonden en is een inventarisatie gemaakt van ervaringen en wenselijke verbeteringen. Inmiddels is gestart met het ontwikkelen van een definitieve versie van de cursus voor alle studenten. Bij bedrijfskunde is een soortgelijk experiment opgezet (bij Statistiek 2, 2S120), ditmaal voor een groep van ca. 60 studenten. De onderwerpen die aan bod komen


wijken grotendeels af van de onderwerpen bij werktuigbouw (nl. meervoudige regressie, variantie-analyse, proefopzet en 2p-proeven) zodat verder materiaal en aangepaste opdrachten ontwikkeld moesten worden. Daarnaast is voor een aangepaste practicum-vorm gekozen om na te kunnen gaan wat de invloed hiervan op de effectiviteit van het geheel is. Ook dit experiment is inmiddels geevalueerd. Op basis van de al opgedane ervaringen zal in de toekomst een definitieve aanpassing van de cursus plaatsvinden. Daarnaast zal een rapportage over de opgedane ervaringen nog plaatsvinden. De aandacht voor statistische computerpakketten beperkt zich veelal tot een summiere beschrijving van de gegenereerde uitvoer en tot een directe toepassing van meer geavanceerde technieken op grotere databestanden. Daarbij worden de mogelijkheden om het accent van de cursus te verleggen van statistische techniek naar statistisch inzicht onvoldoende uitgebuit. Een dergelijke verschuiving dient echter weloverwogen plaats te vinden, met name om een cursus niet in een "kookboek" van procedures te laten ontaarden. Op dit moment wordt reeds geëxperimenteerd met een beter softwaregebruik, o.a. bij statistiekcursussen voor W en Bdk. Een voortzetting hiervan en verdere oriëntatie op (on)mogelijkheden en op ervaringen elders is gewenst om te komen tot een opzet waarin al vanaf het begin de computermogelijkheden geïntegreerd zijn en zinvol gebruikt worden. Computer Algebra. In het eerste halfjaar is aandacht geschonken aan de wijze waarop in een computer algebra pakket de theorie van het primitiveren geïmplementeerd wordt (het Risch-algorithme). Daarnaast is voor tweedejaars wiskunde studenten een werkcollege (ter omvang van 9 middagen) computer (2F731) algebra opgezet. Hierbij wordt het pakket MATHEMATICA gebruikt. 3.2.3

ONDERZOEKSINSTITUTEN

3.2.3.1

Instituut Wiskundige Dienstverlening Eindhoven Aan acquisitie is in 1991 veel tijd besteed. Met vertegenwoordigers van een flink aantal bedrijven zijn verkennende besprekingen gevoerd. Meestal ging het initiatief hiervoor uit van het bedrijf, soms kwamen contacten op andere manieren tot stand, bijvoorbeeld via onverwachte ontmoetingen tijdens symposia. Niet altijd leidde een eerste contact tot een project. In sommige gevallen is er een stageplaats voor een eerste- of tweede-fase afstudeerder uit voortgekomen. Naast gerichte acquisitie zijn er ook algemene voordrachten gehouden over het werk van het IWDE. Om het midden- en kleinbedrijf (MKB) te benaderen, is contact gezocht met het Innovatiecentrum (IC) Oost-Brabant te Eindhoven. De medewerkers van dit IC zijn via voorbeelden op de hoogte gebracht van de activiteiten. Ze concludeerden dat het IWDE het MKB op innovatief gebied veel te bieden heeft en stelden voor een voorlichtingsbijeenkomst te beleggen. De uitnodiging en de mailing hiervoor zijn door het IC Oost-Brabant verzorgd. De respons was echter slechts 1 à 2%. Er is hier kennelijk sprake van een herkenningsprobleem: in eerste instantie associeert men met wiskunde niet iets toepasbaars. Dit verandert pas als men voorbeelden hoort van reeds uitgevoerde projecten. De Innovatiecentra kunnen zeker een intermediaire rol vervullen. Er is daarom ook een voorlichtingsbijeenkomst geweest met vertegenwoordigers van alle Innovatiecentra in Nederland. Deze contacten verlopen goed. De IC medewerkers komen allerlei problemen in het MKB tegen en verwijzen door naar het IWDE indien ze vermoeden dat wiskunde een rol kan spelen. Er is gewerkt aan 10 contractresearchprojecten, waarvan 8 gestart zijn in het afgelopen jaar. De gemiddelde omvang was enigszins groter dan in 1990. De projecten lagen op


de volgende terreinen: mathematische fysica (6x), de statistiek (2x), proefopzetten (1x) en neurale netwerken (1x). Opvallend is het ontbreken van logistieke projecten. De contacten van de Faculteit W&I verlopen op dit gebied voornamelijk via eerste-fase afstudeerders. Bovendien is op dit gebied het gespecialiseerde instituut IPL-TNO actief, dat gehuisvest is op een steenworp afstand van het IWDE. Er kwamen geen vragen binnen op het gebied van de discrete wiskunde. Dit is te betreuren, omdat dit binnen de Faculteit W&I een zwaartepunt is. Het IWDE is actief betrokken bij de afstudeerstages van cursisten van de ontwerpersopleiding Wiskunde voor de Industrie, hetzij via de organisatie, hetzij via de begeleiding. De activiteiten op het gebied van contractresearch kunnen zelden op directe wijze gekoppeld worden aan deze opleiding, omdat de projecten vrijwel altijd onder tijdsdruk uitgevoerd moeten worden. Dit afgelopen jaar is hierop een uitzondering voorgevallen: de ervaring op het gebied van neurale netwerken opgedaan tijdens het modellencolloquium kon direct ingepast worden in de uitvoering van een industrieel project. De medewerkers zijn ook betrokken geweest bij de begeleiding van drie eerste-fase afstudeerders. De interne research heeft geleid tot enige publikaties. Deze zijn vermeld bij de vakgroepen. Daarnaast is er geruime tijd besteed aan het opdoen van kennis en ervaring op het gebied van chaostheorie. 3.2.4

Vakgroepenoverzicht

3.2.4.1

Vakgroep DISCRETE WISKUNDE (DW) VF-Programma: • TUE.WSK.303.90.25

Discrete Structuren 3

Thema's en voortgang thema's buiten de VF • Didaktiek. Een nascholingscursus over computeralgebra werd voorbereid. De training en begeleiding van de Nederlandse deelnemers aan de internationale wiskunde olympiade werd verzorgd. Een bundel olympiade-vraagstukken is in voorbereiding. • Leerboek discrete wiskunde. Het manuscript is in 1991 gereedgekomen en het boek is gepubliceerd. • O.P.Lossers. In 1991 zijn acht oplossingen van onze problem solving group O.P.Lossers met publicatie gehonoreerd. De groep kwam regelmatig bij elkaar met gemiddeld acht deelnemers uit alle vakgroepen. Ook een student uit Nijmegen blijkt een waardevolle deelnemer. Er werden ruim 70 oplossingen verzorgd. • Er werd een bijdrage geleverd aan het thema "Computergebruik in het wiskundeonderwijs". Wetenschapsgebied ISN: Wetenschapsgebied NWO: Toepassingsgebied NABS:

1299 discrete wiskunde, 1204, 3325, 5801 P110, T180, S270 N025, N10, N081


3.2.4.2

Vakgroep ANALYSE (A) VF-Programma's: • TUE.WSK.301.90.25

Toepassingsgerichte Analyse 3

Thema's buiten de VF • Veldentheorie en Clifford analyse. Beschrijving van deeltjesvelden, elektromagnetische en andere Yang-Mills velden met behulp van Clifford bundels. • Mathematische (niet-equidistante) sampling theorie. • Asymptotisch probleem. Toepassing van de `buizenmethode' op een klasse van integrodifferentiaal-vergelijkingen. • Differentiaalvergelijkingen in de materiaalkunde en de continuumsmechanica. • De mechanica van offshore pijpleggen. • Het schatten van parameters in chemische reactievergelijkingen. Service Kortlopend onderzoek naar aanleiding van vragen op het gebied van in de vakgroep vertegenwoordigde disciplines; met name op het gebied van de mechanica, de toegepaste analyse, de numerieke wiskunde en de numerieke programmatuur. Expliciet kunnen genoemd worden: het werken aan problemen samenhangend met numerieke freeskopbesturing (Philips CFT) en kort onderzoek aan niet-lineaire periodieke differentiaalvergelijkingen ten behoeve van de faculteit T. Verder wordt er substantiële steun verleend aan het IWDE, zowel in de vorm van serviceonderzoek als ook ondersteuning bij implementeren en programmeren. Samenwerkingen • Op het gebied van mathematische (niet-equidistante) sampling theorie met Hollandse Signaalapparaten B.V. • Met de vakgroep Theoretische Natuurkunde TUE, op het gebied van de grondslagen voor de quantummechanica i.h.b. de operatorentheorie. Samenwerking bestaat o.m. uit medebegeleiding van een promovendus op genoemd gebied. • Op het gebied van de Wigner-distributie en de Heisenberg-groep wordt samengewerkt met het Philips Natuurkundig Laboratorium. • Met DSM-Research, Geleen, in een onderzoek naar het gedrag van stromingen van nietlineaire (visco-elastische) vloeistoffen (polymeren). • Met het Nat.Lab. Philips, wisselende projecten in verband met afstudeerders. • Met de vakgroep Fundamentele Werktuigkunde TUE (stroming door aderen) en met Fysische Technologie TUE (fundamenteel onderzoek ten aanzien van kleivormlingen). • Met de Dienst grondwatervoorziening TNO-Delft. • Met Philips CFT op het gebied van halfgeleiders en problemen samenhangend met numerieke freeskopbesturing. • Met AKZO, Arnhem. Wetenschapsgebied ISN: Wetenschapsgebied NWO: Toepassingsgebied NABS:

1202, 1206, 2202, 2205, 2212 P130 , P140, P170, P190, P200 N070, N077, N025, N10


3.2.4.3

Vakgroep BESLISKUNDE EN STOCHASTIEK (B&S) VF-Programma's: • TUE.WSK.301.90.25 • TUE.WSK.302.90.25 • TUE.INF.303.90.26

Toepassingsgerichte Analyse 3 Besliskunde en Stochastiek 3 Informatiesystemen 2

Thema's en voortgang thema's buiten de VF • •

•

Probleem-oplossen. Er werden (deels in het kader van `O.P. Lossers') enkele problemen uit wiskundetijdschriften opgelost en ingestuurd; een deel werd gepubliceerd. Kroonwielvertanding. Ir. M. Peerdeman verricht onder leiding van prof.dr.ir. M.J.W. Schouten promotieonderzoek. Dr. D.A. Overdijk is als copromotor betrokken bij dit onderzoek. De resultaten moeten inzicht verschaffen in de levensduur en de geluidsproductie van de kroonwieloverbrenging. Er werd een bijdrage geleverd aan het thema "Computergebruik in het wiskundeonderwijs".

In het kader van het Samenwerkingsorgaan Brabantse Universiteiten liepen er in 1991 2 projekten: • Evenwichtsprogrammering. Uitvoerder drs. A. v.d. Elzen, projectleiders dr. J. van Geldrop en dr. A. Talman. In 1991 heeft de promotie plaatsgevonden. • Strategisch gedrag en ecomomische theorie. Uitvoerder drs. A.Groot, projektleiders, dr. C. Withagen en prof.dr.A. de Zeeuw. Het komend jaar is een promotie in het kader van dit samenwerkingsprojekt te verwachten. Consultatie en service. Kortlopend onderzoek naar aanleiding van vragen op het gebied van in de vakgroep vertegenwoordigde disciplines. Statistische consultatie in het kader van het Instituut Wiskundige Dienstverlening Eindhoven. Samenwerkingen • Een werkgroep ex art. 89 WWO met de vakgroep Bestuurlijke Informatiesystemen en automatisering van de Faculteit der Bedrijfskunde van de TUE (werkgroep System development environments). • Een werkgroep ex art. 89 WWO tussen de vakgroep Besliskunde en Stochastiek, de vakgroep Analyse en de vakgroep Informatica van de Faculteit der Wiskunde en Informatica, de vakgroep Systeem- en regeltechniek van de Faculteit der Technische Natuurkunde en de vakgroep Meten en regelen van de Faculteit der Elektrotechniek van de TUE (werkgroep Quantitatieve Systeemtheorie en -techniek). • Instituut Wiskundige Dienstverlening Eindhoven. Wetenschapsgebied ISN: Wetenschapsgebied NWO: Toepassingsgebied NABS:

1207, 1208, 1209 P140, P160, P170, P110 N083, N070, N043, N10


3.2.4.4 Vakgroep INFORMATICA (I) VF-programma's: • TUE.INF.301.90.26 • TUE.INF.302.90.26 • TUE.INF.303.90.26

Programmeren Parallellisme Informatiesystemen 2

Overige programma's en/of thema's (niet-VF) Voor zover onderzoek buiten de VF-programma's wordt gedaan, is dit niet in programma's en/of thema's gebundeld en beschreven. ♦


3.3

Kwantitatieve overzichten op faculteitsniveau

Tabel I-a: Kwantitatief overzicht voorwaardelijk gefinancierd onderzoek Titel VF-programma: Identificatienummer: Onderwerpontsluiting:

vakgroep A B&S totaal

Toepassingsgerichte Analyse 3 TUE.WSK.301.90.25 ISN: 1202, 1206, 2202, 2205, 2212 NWO: P130, P140, P170 NABS: N070, N077, N10

onderzoekinspanning (in m.j. wp) 1e geld- 2e geld- 3e geld- totaal stroom stroom stroom 1+2+3 5.2 0.7 5.9 3.0 0.7 3.7 8.2 1.4 9.6

dissertaties I II III 2 2

wetenschappelijke output wet. abvakpubl. stracts publ. 20 12 12 1 32 13

octrooi -

Verplichting wp1: 8.2 Tabel I-b: Kwantitatief overzicht voorwaardelijk gefinancierd onderzoek Titel VF-programma: Identificatienummer: Onderwerpontsluiting:

vakgroep B&S totaal

Besliskunde en Stochastiek 3 TUE.WSK.302.90.25 ISN: 1207, 1208, 1209, 1203, 1206 NWO: P160 NABS: N083, N10

onderzoekinspanning (in m.j. wp) 1e geld- 2e geld- 3e geld- totaal stroom stroom stroom 1+2+3 5.8 0.4 6.2 5.8 0.4 6.2

dissertaties I II III 1 1 1 1 1 1

wetenschappelijke output wet. abvakpubl. stracts publ. 24 1 24 24 1 24

octrooi -

Verplichting wp1: 5.8 Tabel I-c: Kwantitatief overzicht voorwaardelijk gefinancierd onderzoek Titel VF-programma: Identificatienummer: Onderwerpontsluiting:

vakgroep DW EI totaal

Discrete Structuren 3 TUE.WSK.303.90.25 ISN: 1204, 1299 (discrete wiskunde), 3325 NWO: P110, T180 NABS: N025, N10

onderzoekinspanning (in m.j. wp) 1e geld- 2e geld- 3e geld- totaal stroom stroom stroom 1+2+3 5.2 2.2 0.7 8.1 1.1 1.1 6.3 2.2 0.7 9.2

wetenschappelijke output dissertaties wet. abvakpubl. stracts publ. I II III 1 29 10 1 1 3 1 1 32 10 1

Verplichting wp1: 5.2 + 1.3


octrooi -

Tabel I-d: Kwantitatief overzicht voorwaardelijk gefinancierd onderzoek Titel VF-programma: Identificatienummer: Onderwerpontsluiting:

vakgroep I totaal

Programmeren TUE.INF.301.90.26 ISN: 1101, 1203, 3304 NWO: P110 NABS: N070, N076, N10

onderzoekinspanning (in m.j. wp) 1e geld- 2e geld- 3e geld- totaal stroom stroom stroom 1+2+3 8.8 0.5 9.3 8.8 0.5 9.3

dissertaties I II III -

wetenschappelijke output wet. abvakpubl. stracts publ. 14 23 14 23

octrooi -

Verplichting wp1: 5.8 Tabel I-e: Kwantitatief overzicht voorwaardelijk gefinancierd onderzoek Titel VF-programma: Identificatienummer: Onderwerpontsluiting:

vakgroep I totaal

Parallellisme TUE.INF.302.90.26 ISN: 1101, 1203, 3304 NWO: P110 NABS: N070, N076, N077, N10

onderzoekinspanning (in m.j. wp) 1e geld- 2e geld- 3e geld- totaal stroom stroom stroom 1+2+3 6.9 2.2 2.2 11.3 6.9 2.2 2.2 11.3

dissertaties I II III 3 3 -

wetenschappelijke output wet. abvakpubl. stracts publ. 18 11 18 11

octrooi -

Verplichting wp1: 5.9 Tabel I-f: Kwantitatief overzicht voorwaardelijk gefinancierd onderzoek Titel VF-programma: Identificatienummer: Onderwerpontsluiting:

vakgroep B&S I totaal

Informatiesystemen 2 TUE.INF.303.90.26 ISN: 1203, 1207, 3304 NWO: P160, P170, S190 NABS: N083, N076, N070, N10

onderzoekinspanning (in m.j. wp) 1e geld- 2e geld- 3e geld- totaal stroom stroom stroom 1+2+3 1.8 1.7 1.0 4.5 8.6 3.5 0.6 12.7 10.4 5.2 1.6 17.2

wetenschappelijke output dissertaties wet. abvakpubl. stracts publ. I II III 4 8 2 35 22 2 39 30

octrooi -

Verplichting wp1: 1.8 + 9.5 Tabel II: Kwantitatief overzicht onderzoekthema’s (niet-voorwaardelijk gefinancierd onderzoek) De thema’s van de vakgroep zijn op te vatten als bundeling van onderzoek. Tabel II vervalt hiermee. Voor de onderzoekinspoanning en wetenschappelijke output van de gebundelde thema’s wordt verwezen naar tabel III-2.


Tabel III-1: Kwantitatief overzicht voorwaardelijk gefinancierd onderzoek, gerubriceerd naar vakgroep vakgroep DW A B&S I totaal

onderzoekinspanning (in m.j. wp) 1e geld- 2e geld- 3e geld- totaal stroom stroom stroom 1+2+3 5.2 2.2 0.7 8.1 5.2 0.7 5.9 10.6 2.8 1.0 14.4 24.3 6.2 2.8 33.3 45.3 11.9 4.5 61.7

wetenschappelijke output dissertaties wet. abvakpubl. stracts publ. I II III 1 29 10 1 20 12 1 1 3 40 1 33 5 67 56 6 2 3 156 11 102

octrooi -

Tabel III-2: Kwantitatief overzicht niet-voorwaardelijk gefinancierd onderzoek, gerubriceerd naar vakgroep vakgroep DW A B&S I totaal

onderzoekinspanning (in m.j. wp) 1e geld- 2e geld- 3e geld- totaal stroom stroom stroom 1+2+3 1.9 1.9 4.0 4.0 1.1 1.1 0.0 0.0 7.0 7.0

dissertaties I II III -

wetenschappelijke output wet. abvakpubl. stracts publ. 14 23 5 8 4 11 2 23 44

octrooi -

Tabel III-3: Kwantitatief overzicht totaal onderzoek, gerubriceerd naar vakgroep vakgroep DW A B&S I totaal

onderzoekinspanning (in m.j. wp) 1e geld- 2e geld- 3e geld- totaal stroom stroom stroom 1+2+3 7.1 2.2 0.7 10.0 9.2 0.7 9.9 11.7 2.8 1.0 15.5 24.3 6.2 2.8 33.3 52.3 11.9 4.5 68.7

wetenschappelijke output dissertaties wet. abvakpubl. stracts publ. I II III 1 43 10 24 25 20 1 1 3 44 1 44 5 67 58 6 2 3 179 11 146

Tabel-IV: Specificatie onderzoekinspanning tweede geldstroom in m.j. wp Vakgroep DW A B&S I totaal

WP2 in dienst van TUE -

WP2 in dienst van NWO, STW &c 5 1 4 11 21

totaal WP2 5 1 4 11 21

omvang onderzoekinspanning WP2 2.2 0.7 2.8 6.2 11.9


octrooi -

Tabel V-1: Derde geldstroom (globale indicatie) ‘Derden’ Ministerie van Onderwijs en Wetenschappen Ministerie van Verkeer en Waterstaat Universiteiten Provinciale Instellingen Particuliere non-profit organisaties Bedrijfsleven (inclusief TNO) Europese Gemeenschap Andere: PAO Diversen totaal m.j. obp ten laste van derden percentage personele kosten van totale kosten

Bedrag in kƒ 22 24 446 7 163 223 430 65 54 1434 0,65 70

Tabel V-2: Specificatie onderzoekinspanning derde geldstroom in m.j. wp Vakgroep DW A B&S I Totaal

WP3 in dienst van TUE 1 1 4 6

WP3 in dienst van derden -

totaal WP3 1 1 4 6

omvang onderzoekinspanning WP3 0.7 1.0 2.8 4.5

Tabel VII: Tijdelijk wetenschappelijk personeel (LTD/aio); peildatum 31-12-1991 Vakgroep DW A B&S I totaal

totaal aantal plaatsen 2 8 9 17 36

bezette plaatsen LTD aio 2 5 5 14 26

vacatures incl. lopende sollicitatieprocedures 3 4 3 10


3.4

Overzicht onderzoekresultaten

3.4.1.

VF-programma's

3.4.1.1 VF-code: TUE.WSK.301.90.25 VF-programma: TOEPASSINGSGERICHTE ANALYSE 3 Dissertaties Elzen, A. van den: Adjustment processes for exchange economies and non-cooperative games. Promotor: Prof.dr. A.J.J. Talman. Co-promotor: dr. J.H. van Geldrop. Tilburg, 1991, pp. 152 III (B&S) Huijberts, H.J.C.: Dynamic feedback in nonlinear synthesis problems. Promotoren: prof.dr.ir. H. Kwakernaak. Copromotoren: dr. A.G. v.d. Schaft, dr. H. Nijmeijer. UT, 1991, pp. 187. III (B&S) Wetenschappelijke publicaties Boersma, J.; Glasser, M.L.: Asymptotic expansion of a class of Fermi-Dirac integrals. SIAM J. Math. Anal. 22, 1991, pp. 810-820. (A) Boersma, J.: Singularity exponents for complementary sectors. Electronics Letters, 27, 1991, pp. 1484-1485. (A) Boersma, J.; Doelder, P.J. de: Two integrals arising from a cloud model. Solution to Problem 90-12, SIAM Rev., 33, 1991, pp. 474477. (A) Boersma, J.: Uniform asymptotics of a Bessel-function series occurring in a transmission-line problem. J. Comp. Appl. Math., 37, 1991, pp. 143-159. (A) Eijndhoven, S.J.L. van; Berkel, C.A.M. van: Hankel transformations and spaces of type S. Indag. Mathem., N.S., 2(1), 1991, pp. 29-38. (A) Geldrop, J.H. van; Withagen, C.; Shou Jilin: Existence of general equilibria in economies with natural resources and an infinite horizon. Journal of Mathematical Economics, 20, 1991, pp. 225-248. (B&S)

Graaf, J. de: An approximation of (slowly growing) analytic functions by special polynomials. In: Orthogonal polynomials and their applications, ed. C. Brezinski, etc., Sc. Publ. Co. IMACS 1991, pp. 287-291. (A) Graaf, J. de: Skew-Hermitean Representations of Lie algebras of vector fields on the unit-sphere, Mitteilungen Math. Gesellschaft Hamburg, Duitsland, Band XII, Heft 3, 1991, pp. 705-711. (A) Habets, L.C.G.J.M.: Robust stabilization in the gap-topology. Springer-Verlag, Berlin - Heidelberg - New York, Lecture Notes in Control and Information Sciences. vol 150, 1991, pp. 126. (B&S) Hassel, R.R. van: Accurate asymptotics for singularly perturbed dynamic free boundary problems. Journal of Math. Anal. Appl., vol. 156, no. 1, 1991, pp. 61-85. (A) Hautus, M.L.J.; Heymann, M.: Module theory and linear system theory. Mathematical System Theory, The influence of R.E. Kalman, Ed. A.C. Antoulas, Springer Verlag, Berlin, 1991, pp. 267-278. (B&S) Huijberts, H.J.C.; Nijmeijer, H.; Wegen, L.L.M. van der: Dynamic disturbance decoupling for nonlinear systems: the nonsquare and noninvertible case. Analysis of controlled dynamical systems, Birkhäuser, Boston, 1991, pp. 243-252. (B&S) Kuiken, H.K.: A boundary-layer model for a plane free-burning high-pressure gas-discharge arc. J. Appl. Phys. 69, 1991, pp. 2896-2903. (A) Kuiken, H.K.: An asymptotic treatment of the Elenbaas-Heller equation. Appl. Phys. Letters. 58, 1991, pp. 1833-1835. (A) Kuiken, H.K.: A single-parameter method for the determination of surface tension and contact angle. Colloids and Surfaces 59, 1991, pp. 129-148. (A) Lieshout, P.H. van; Ven, A.A.F. van de: A variational approach to the magneto-elastic buckling problem of an arbitrary number of superconducting beams. J. of Engineering Mathematics, 25, 1991, pp. 353374. (A)


Mattheij, R.M.M.; Molenaar, J.: Boek: Beginwaardeproblemen in Theorie en Praktijk, Analyse, Numerieke Methoden, Modellen, Uitg. Epsilon, Utrecht, 1991, pp. 293. (A) Mattheij, R.M.M.; Vorst, G.A.L. van de: Implementing the boundary element method for 2D Viscous Sintering, in: Computational modelling of free and moving boundary value problems, vol. 1 (L.C. Wrobel, C.A. Brebbia eds.), Walter de Gruyter, 1, 1991, pp. 341-355. (A) Restuccia, L.; Kluitenberg, G.A.: On Generalizations of the Snoek Equation for Magnetic Relaxation Phenomena. Accademia Peloritana Dei Pericolanti, vo. LXVII, 1991, pp. 141-194. (A) Reusken, A.A.: Steplength optimization and linear multigrid methods. Numer. Math., 58, 1991, pp. 819-838. (A) Reusken, A.A.: Multigrid applied to mixed finite element schemes for current continuity equations. In: Multigrid Methods III. Proceedings of the Third European Conference on Multigrid Methods, (ed. W. Hackbusch, U. Trottenberg), 1991, pp. 325-338. (A) Stoorvogel, A.A.: The singular H∞ control problem with dynamic measurement feedback. SIAM J. Control. & Opt., vol. 29, 1, 1991, pp. 160184. (B&S) Stoorvogel, A.A.: The singular zero-sum differential game with stability using H∞ control theory. Math. Contr. Sign. & Syst., vol. 4, 2, 1991, pp. 121-138. (B&S) Stoorvogel, A.A.: The singular minimum entropy H∞ control problem. System & Control Letters, vol. 16, 6, 1991, pp. 411-422. (B&S) Stoorvogel, A.A.; Woude, J.W. van der: The disturbance decoupling problem with measurement feedback and stability for systems with direct feedthrough matrices. System & Control Letters, vol. 17, 3, 1991, pp. 217-226. (B&S)

Stoorvogel, A.A.; Saberi, A.; Chen, B.M.: A reduced order observer based controller design for H∞ - optimization. Proc. AIAA Guidance, Navigation and Control Conference, New Orleans, vol. 2, 1991, pp. 716722. (B&S) Stoorvogel, A.A.: The robust H2 control problem: a worst case design, Proc. 30th CDC, Brighton, UK, 1991, pp. 194-199. (B&S) Trentelman, H.L.; Stoorvogel, A.A.: Completion of the squares in the finite horizon H∞ control problem by measurement feedback. New trends in system theory, Proc. of the Univ. di Genova. The Ohio State Univ. Joint Conference, Ed. G. Conte, A.M. Perdon, B. Wyman Birkhäuser, 1991, pp. 692-699. (B&S) Ven, A.A.F. van de: A note on 'A nonequilibrium theory of thermoelastic superconductors' by S.-A. Zhou and K. Miya. In: Int. J. of Applied Electromagnetics in Materials, 2, 1991, pp. 169-175. (A) Ven, A.A.F. van de: Magneto-elastic buckling of superconducting coils. Proceedings IMACS '91, 13th World Congress on Computation and Applied Mathematics, Juli 1991, Dublin, Ireland, Eds. R. Vichneretsky and J.J.H. Miller, Vol. 4, Criterion Press, Dublin, 1991, pp. 1604-1605. (A) Withagen, C.A.A.M.; Ploeg, F. van der: Pollution control and the Ramsey problem. Environmental and resource economics, 1, 1991, pp. 215-236. (B&S) Nagekomen publicatie Restuccia, L.; Kluitenberg, G.A.: Hidden Vectorial Variables as Splitting Operators fot the Polarization Vector in the Thermodynamic Theory of Dielectric Relaxation J. Non-equilib. Thermodyn., 15, 1990, pp.335-346. (A) Technische rapporten Berkel, C.A.M. van; Eijndhoven, S.J.L. van: Integral transformations involving Gegenbauer functions. RANA 91-05, april 1991, pp. 35. (A) Boersma, J.: Note on the asymptotic expansion of an integral of M.L. Glasser, jan. 1991. (A)


Boersma, J.: Oplossing van een potentiaalprobleem met conforme afbeelding en met Wiener-Hopf techniek. maart 1991. (A)

3.4.1.2 VF-code: TUE.WSK.302.90.25 VF-programma: BESLISKUNDE EN STOCHASTIEK 3

Boersma, J.; Doelder, P.J. de: Note on a Bessel-function integral, okt. 1991. (A)

Dissertaties

Boersma, J.; Dempsey, J.P.: On the numerical evaluation of Legendre's chifunction. Memorandum RANA 91-08, EUT, Eindhoven, 1991, pp. 9. (A) Brands, J.J.A.M.: An asymptotic problem in extremal processes. Memorandum RANA 91-10, EUT, Eindhoven, 1991, pp. 9. (A) Hassel, R.R. van; Flying spot scanner, IWDE 91-02, pp. 13. (A) Huijberts, H.J.C.; Nijmeijer, H.; Wegen, L.L.M. van der: Minimality of dynamic input-output decoupling for nonlinear systems. Memo no. 960, Univ. Twente, Enschede, 1991, pp. 11. (B&S) Reusken, A.A.: A new lemma in multigrid convergence theory. RANA report 92-07, pp. 20. (A) Ven, A.A.F. van de: Magneto-elastic buckling of superconducting coils. RANA report 91-03, pp. 7. (A) Ven, A.A.F. van de, Bree, L.G.F.C. van: Buckling of superconducting structures. A variational approach using the law of Biot and Savart. RANA report 91-11, 1991, pp. 35. (A)

Adan, I.J.B.F.: A compensation approach for queueing problems. Promotoren: prof.dr. J. Wessels en prof.dr. W.H.M. Zijm. Eindhoven, 1991, pp. 179. I Hoesel, C.P.M. van: Models and algorithms for single-item lat-sizing problems. Promotoren: prof. dr. A.H.G. Rinnooy Kan en prof. dr. A.W.J. Kolen. Rotterdam, 1991, pp. 183. III Velde, S.L. van der; Machine Scheduling and Lagrangian relaxation. Promotor: prof.dr. J.K.Lenstra Eindhoven, 1991, pp. 139. II Wetenschappelijke publicaties Adan, I.J.B.F.; Wessels, J.; Zijm, W.H.M.: Analysis of the asymmetric shortest queue problem. Queueing Systems, vol. 8, 1991, pp. 1-58. Adan, I.J.B.F.; Wessels, J.; Zijm, W.H.M.: Flexible assembly and shortest queue problems. In: G. Fandel, G. Zaepfel (eds): Modern production concepts. Theory and applications, SpringerVerlag, Berlin, 1991, pp. 644-659. Adan, I.J.B.F.; Wessels, J.; Zijm, W.H.M.: Analysis of the asymmetric shortest queue problem with threshold jockeying. Stochastic Models, vol. 7, 1991, pp. 615-627.

Vorst, G.A.L. van de; Mattheij, R.M.M.: Implementing the Boundary Element Method for 2D Viscous Sintering. RANA 91-04, TUE, pp. 15. (A)

Bagchi, S.; Berkum, E.E.M. van: On the optimality of a new class of adjusted orthogonal designs. J. Statist. Plann. Inference 28, 1991, pp. 61-65.

Vroegindeweij, P.J.; Algebraic preliminaries for field theories in spacetime algebra. RANA 91-01, 1991, pp.18. (A)

Coolen, F.P.A.; Newby, M.J.: A Note on the Use of the Product of Spacings in Bayesian Inference. Kwantitatieve Methoden, vol. 37, 1991, pp. 19-32. Einmahl, J.; Beirlant, J.; Deheuvels, P.; Mason, D.M.: Bahadur-Kiefer-theorems for uniform spacings processes. Teorija Verojtnostei i ee Primenenia , vol. 36, 1991, pp. 724-743.


Harn, K. van; Steutel, F.W.: On a characterization of the exponential distribution. J. Appl. Prob., 28, 1991, pp. 947-949.

Linssen, H.N.: A table for solving the Behrens-Fisher problem. Statistics & Probability Letters II, Elsevier Science Publisher B.V., North Holland, 1991, pp. 359-363.

Hoesel, C.P.M. van; Wagelmans, A.; Kolen, A.: A dual algorithm for the economic lot-sizing problem. EJOR, vol. 52, 1991, pp. 315-325.

Steutel, F.W.: Counterexamples to Robertson's conjecture. J. Math. Anal. Appl. 158, 1991, pp. 578-582.

Hoesel, C.P.M. van; Wagelmans, A.: A note on stability of the constant cast dynamic lotsized model, by K. Richter. EJOR, vol. 55, 1991, pp. 112-114. Hoogeveen, J.A.: Analysis of Christofides' heuristic: Some paths are more difficult than cycles. Operations Research Letters, 10, 1991, pp. 291295.

Willekens, E.; Resnick, S.I.: Moving averages with random coefficients and random coefficient autoregressive models. Stochastic Models 7, 1991, pp. 511-525. Zwietering, P.J.; Aarts, E.H.L.; Wessels, J.: The design and complexity of exact multi-layered perceptrons. International Journal of Neural Systems, vol. 2, 3, 1991, pp. 185-199.

Hoogeveen, J.A.; Sierksma, G.: Seven criteria for integer sequences being graphic. Journal of Graph Theory, 15, 1991, pp. 223-231.

Zijm, W.H.M.; Nelissen, E.H.L.B.: Scheduling a flexible machining centre. Engineering Costs and Production Economics, 19, 1990, pp. 249-258.

Hoogeveen, J.A.; Velde, S.L. van de: Scheduling around a small common due date. European Journal of Operational Research, 55, pp. 237-242.

Zijm, W.H.M.; Langenhoff, L.J.G.: An analytical theory of multi-echelon production/distribution systems. Statistical Neerlandica, 44(3), 1990, pp. 149-173.

Houtum, G.J. van; Zijm, W.H.M.: Computational procedures for stochastic multiechelon production systems. International Journal of Production Economics, 23, 1991, pp. 223-237.

Nagekomen wetenschappelijke publicatie

Laan, P. van der: Robustness of the Normal means selection procedure with common known variance against logistic deviations and the use of the logistic approximation for the normal distribution. Pub. Inst. Stat. Univ., Paris, 35, 1990, pp. 79-92. Laan, P. van der: The Van Dantzig Award. Statistica Neerlandica, 44, 1990, pp. 185-194.

Zijm, W.H.M.: Capactiy analysis of automatic transport systems in an assembly factory. In: J.K. Lenstra et al. (eds.), Twenty-five years of Operations Research in the Netherlands, CWI Tract no. 70, 1989. Abstracts Einmahl, J.; Haan, L. de; Huang Xin: Estimating a multidimensional extreme-value distribution. Book of abstracts van 23e Journées de statistique Strasbourg, 1991, p.332. Vakpublicaties

Lenstra, J.K.: A scientist on publishers. TWIOscoop 9, 1991, pp. 100-102.

Technische rapporten

Lenstra, J.K.; Rinnooy Kan, A.H.G., Schrijver, A.: History of Mathematical Programming: A Collection of Personal Reminiscences. CWI & North-Holland, Amsterdam, 1991, pp. 150.

Adan, I.J.B.F.; Houtum, G.J. van; Wessels, J.; Zijm, W.H.M.: A compensation procedure for multiprogramming queues. Memorandum COSOR 91-13, EUT, Eindhoven, 1991, pp. 22.


Berkum, E.E.M.; Upperman, P.M.: D-Optimal designs for an uncomplete quadratic model. Memorandum COSOR 91-26, EUT, Eindhoven, 1991, pp. 7.

Laan, P. van der: The efficiency of subset selection of an almost best treatment. Memorandum COSOR 91-19, EUT, Eindhoven, 1991, pp. 11.

Coolen, F.P.A.; Dekker, R.; Smit, A.: Analysis of a two-phase inspection model with competing risks. Memorandum COSOR 91-07, EUT, Eindhoven, 1991, pp. 46.

Laan, P. van der: Subset selection for an -best population: Efficiency results. Memorandum COSOR 91-20, EUT, Eindhoven, 1991, pp. 11.

Coolen, F.P.A.: On some misconceptions about subjective probability and Bayesian Inference. Memorandum COSOR 91-11, EUT, Eindhoven, 1991, pp. 9.

Laan, P. van der: Distribution theory for selection from logistic populations. Memorandum COSOR 91-23, EUT, Eindhoven, 1991, pp. 7.

Coolen, F.P.A.: The theory of imprecise probabilities: Some results for distribution functions, densities, Hazard rates and Hazard functions. Memorandum COSOR 91-32, EUT, Eindhoven, 1991, pp. 30.

Vaessens, R.J.M.; Aarts, E.H.L.; Lint, J.H. van: Genetic algorithms in coding theory - A table for A3(n,d). Memorandum COSOR 91-22, EUT, Eindhoven, sept. 1991, pp. 17.

Coolen, F.P.A.: Imprecise conjugate prior densities for the oneparameter exponential family of distributions. Memorandum COSOR 91-36, EUT, Eindhoven, 1991, pp. 26. Hoesel, C.P.M. van; Wagelmans, A.: On the P-coverage problem on the real line. Memorandum COSOR 91-33, EUT, Eindhoven, 1991, pp. 21. Hoesel, C.P.M. van; Wagelmans, A.: On setup cost reduction in ELS without speculative motives. Memorandum COSOR 91-34, EUT, Eindhoven, 1991, pp. 17. Hoesel, C.P.M. van; Wagelmans, A.: On the complexity of postoptimality analysis of 0/1 programs. Memorandum COSOR 91-35, EUT, Eindhoven, 1991, pp. 18. Laan, P. van der: Kwantitatieve Methoden: Onderwijs en Bedrijfsleven. VVS Bulletin (Statistische Dag), 24, pp. 1-2. Laan, P. van der: Two-stage selection procedure with attention to screening. Memorandum COSOR 91-12, EUT, Eindhoven, 1991, pp. 15.

Wal, J. van der; Speck, C.J.: The capacitated multi-echelon inventory system with serial structure: 1. The 'push ahead'-effect. Memorandum COSOR 91-39, EUT, Eindhoven, 1991, pp. 10. Wal, J. van der; Speck, C.J.: The capacitated multi-echelon inventory system with serial structure: 2. An average cost approximation methoden. Memorandum COSOR 91-40, EUT, Eindhoven, 1991, pp. 14. Wessels, J.: The relation between problem specification and mathematical analysis. Memorandum COSOR 91-37, EUT, Eindhoven, dec. 1991, pp. 25. Wilms, R.J.G.: Properties of Fourier-Stieltjes sequences of distributions with support in [0,1). Memorandum COSOR 91-06, EUT, Eindhoven, 1991, pp. 14. Wilms, R.J.G.: On the asymptotically uniform distribution modulo 1 of extreme order statistics. Memorandum COSOR 91-38, EUT, Eindhoven, 1991, pp. 12. Zwietering, P.J.; Aarts, E.H.L.; Wessels, J.: The design and complexity of exact multi-layered perceptrons. Memorandum COSOR 91-08, EUT, Eindhoven, 1991, pp. 24.


Zwietering, P.J.; Aarts, E.H.L.; Wessels, J.: The classification capabilities of exact two-layered perceptrons. Memorandum COSOR 91-09, EUT, Eindhoven, 1991, pp. 19. Zwietering, P.J.; Aarts, E.H.L.; Wessels, J.: Sorting with a neural net. Memorandum COSOR 91-10, EUT, Eindhoven, 1991, pp. 17. Zwietering, P.J.; Kraaij, M.J.A.L.; Aarts, E.H.L.; Wessels, J.: Neural networks and production planning. Memorandum COSOR 91-15, EUT, Eindhoven, 1991, pp. 16.

3.4.1.3 VF-code: TUE.WSK.303.90.25 VF-programma: DISCRETE STRUCTUREN 3 Dissertaties Overveld, W.M.C.J. van: On the Capacity Region for Deterministic TwoWay Channels and Write-Unidirectional Memories. Promotoren: prof.dr.ir. J.P.M. Schalkwijk, prof.dr. J.H. van Lint. Eindhoven, 1991, pp. 210. (E) I Wee, G.J.M. van: Covering Codes, Perfect Codes, and Codes from Algebraic Curves. Promotoren: prof.dr.ir. J.H. van Lint, dr.ir. H.C.A. van Tilborg. Eindhoven, 1991, pp. 209. (DW) II Wetenschappelijke publicaties Bagchi, B.; Brouwer, A.E.; Wilbrink, H.A.: Notes on binary codes related to the 0(5,q) generalized quadrangle for odd q. Geom. Dedic. 39, 1991, pp. 339-355. (DW) Blokhuis, A.: Characterization of seminuclear sets in PG(2,q). Journal of Geometry, 40, 1991, pp. 15-19. (DW) Blokhuis, A.; Seress, A.; Wilbrink, H.A.: On sets of points in PG(2,Q) without tangents. Mitteilungen aus dem Mathem. Seminar Giessen, 210, 1991, pp. 39-44. (DW) Blokhuis, A.; Calderbank, A.R.; Metsch, K.; Seress, A.: An Embedding Theorem for Partial Linear Spaces. Advances in Finite Geometries and Designs, Oxford Univ. Press, Oxford, New York, Tokio, 1991, pp. 35-46. (DW) Blokhuis, A.; Mazzocca F.: On maximal sets of nuclei in PG(2,q) and quasiodd sets in AG(2,Q). Advances in Finite Geometries and Designs, Oxford Univ. Press, Oxford, New York, Tokio, 1991, pp. 27-34. (DW) Blokhuis, A.: Special point sets in PG(n,q) and the structure of sets with the maximal number of nuclei. Journal of Geometry, 41, 1991, pp. 33-41. (DW) Blokhuis, A.; Brouwer, A.E.; Wilbrink, H.A.: Hermitian unitals are code words. Discr. Math., 97, 1991, pp. 63-68. (DW)


Böinck, F.J.H.; Tilborg, H.C.A. van: Constructions and bounds for systematic tEC/AUED codes. IEEE Trans. Inf. Theory, IT-36, 1990, pp. 13811390. (DW) Bours, P.A.H.; Lous, N.J.C.; Tilborg, H.C.A. van: On maximum likelihood soft decision decoding of binary Hamming codes. Proceedings od the third international colloquium on coding theory 1990, Dilijan, Armenian Academy of Sciences, 1991, pp. 11-13. (DW)

Lambeck, E.W.: A Remark on the Intersection Arrays of Distance Regular Graphs and the Distance Regular Graphs of Diameter d = 3i - 1 with bi = 1 and k > 2. Designs, Codes and Cryptography, 1, 1991, pp. 261-266. (DW) Lint jr., J.H. van; Wee, G.J.M. van: Generalized bounds on binary/ternary mixed packing- and covering codes. J. Combin. Theory 56A, 1991, pp. 130-143. (DW) Lint, J.H.van: Repeated Root Cyclic Codes, IEEE. Trans Inf. Theory, vol. IT-37, 1991, 343-345. (DW)

Brouwer, A.E.: Recursive constructions of mutually orthogonal Latin squares. Latin squares - new developments in the theory and applications, Annals of Discr. Math., 46, North Holland, Amsterdam, 1991, pp. 149-168. (DW)

Lint, J.H.van; Nienhuys, J.W.: Discrete wiskunde, Academic Service, Schoonhoven, 1991, pp. 378. (DW)

Brouwer, A.E.: A non-degenerate generalized quadrangle with lines of size four is finite. Advances in Finite Geometries and Sesigns, Proc. Isle of Thorns 1990, Oxford Univ. Press, 1991, pp. 47-49. (DW)

Matsufuji, S.; Imamura, K.: Real-valued bent function and its application to the design of balanced quadriphase sequences with optimal correlation properties. Proceedings of 1990 AAECC, Springer Lect. Notes in Comp. Sci., vol. 508, 1991, pp. 113-121. (DW)

Brouwer, A.E.; Haemers, W.H.: The Gewirtz graph - an exercise in the theory of graph spectra. Report FEW 486, Tilburg University, 1991. (DW)

Munera Gomez, C.: Algunas Cuestiones sobre Códigos Geometricos, ph.d. thesis, Valladolid, 1991. pp.119(DW)

Bussemaker, F.C.; Cameron P.J., Seidel, J.J.; Tsaranov, S.V.: Tables of Signed Graphs. EUT Report 91-Wsk-01, 1991, pp. 105. (DW) Cameron, P.J.; Lint, J.H.van: Designs, Graphs, Codes and their Links, London Math. Soc. Student Texts, 22, Cambridge Univ. Press, 1991, pp. 248. (DW) Fang, G.; Tilborg, H.C.A. van; Sun, F.W.: Weakly perfect binary block codes for correcting asymmetric errors. Proceedings of International Symposium on communications, Tainan, Taiwan, 1991, pp. 58-61. (DW) Kang, Q.D.: The construction of large sets of disjoint Mendelsohn Triple Systems of order 2n +2,Discrete Math., 90, 1991, pp. 199-206. (DW)

Pellikaan, G.R.; Shen, B.; Van Wee, G.J.M.: Which linear codes are algebraic-geometric codes. IEEE Trans. Inform. Theory, 37, 1991, pp. 583602. (DW) Rooy, P.L.J. de; Lint, J.H.van: More on the minimum distance of cyclic codes, IEEE Trans. Inf Theory, vol. IT.37, 1991, 187189.(DW) Salehi, M.; Willems, F.M.J.: Ring Source- and Channel Codes. Proceedings Twelfth Symposium on Information Theory in the Benelux, Veldhoven, 1991, pp. 103120. (E) Schalkwijk, J.P.M.: Upper Bounds for Unit Square Resolution. Proceedings Twelfth Symposium on Information Theory in the Benelux, Veldhoven, 1991, pp. 107111. (E) Schalkwijk, J.P.M.: Extending the Achievable Rate Region of the Binary Multiplying Channel. Proceedings 1991 IEEE International Symposium on Information Theory, Budapest, Hongarije, 1991, p. 302. (E)


Wee, G.J.M. van: On the nonexistence of certain perfect mixed codes. Discrete Mathematics 87, 1991, pp. 323-326. (DW) Wee, G.J.M. van: Bounds on packings and coverings by spheres in qary and mixed Hamming spaces. J. Combin. Theory 56A, 1991, pp. 117-129. (DW) Wee, G.J.M. van; Cohen, G.D.; Litsyn, S.N.: A note on perfect multiple coverings of the Hamming space. IEEE Trans. Inform. Theory, 37, 1991, pp. 678682. (DW) Xiao, G.-Z.; Shen, B.; Wu, C.-K.; Wong, C.S.: Some spectral techniques in coding theory. Discrete Mathematics 87, 1991, pp. 181-186. (DW) Nagekomen publicaties Blokhuis, A.: Solution of an extremal problem for sets using resultants of polynomials. Combinatorica, 10, 1990, pp. 393-396. (DW) Abstracts Bours, P.: On Maximum Likelihood, Soft Decision Decoding of Binary (Linear) Codes. Proceedings of the 1991 IEEE International Symposium on Information Theory, Budapest, 1991. Information Theory Society, Budapest, 1991, p. 194. (DW) Bours, P.: On the Construction of Perfect Deletion Correcting Codes. Proceedings of the International Winter Meeting of Coding and Information Theory, Essen, 1991. Universität GH Essen, Essen, 1991, p. 8. (DW) Eupen, M.J.M.: On the minimum Distance of Ternary Cyclic Codes, Proceedings of the International Winter Meeting of Coding and Information Theory, Essen, 1991. Universität GH Essen, Essen, 1991, p. 17. (DW) Fang, G.; Tilborg, H.C.A. van: Some new results on binary asymmetric errorcorrecting codes. Proceedings of IEEE International Symposium on Information Theory, Budapest, Hongarije, 1991, p. 143. (DW)

Fang, G.; Tilborg, H.C.A. van: New tables of AsEC and UEC codes. EUT Report 91-WSK-02, Eindhoven University of Technology, 1991, pp. 118. (DW) Imamura, K.; Moriuchi, T.; Uehara, S.: Periodic sequences of the maximum linear complexity simply obtained from an m-sequence. Proceedings 1991 IEEE International Symposium on Information Theory, Budapest, Hongarije, 1991, p. 279. (DW) Matsufuji, S.; Imamura, K.: P-ary sequences whose correlations have only two valvues. Proceedings 1991 IEEE International Symposium on Information Theory, Budapest, Hongarije, 1991, p. 175. (DW) Moriuchi, T.; Imamura, K.: Balanced polyphase sequences with good periodic correlations obtained from modified KumarMoreno sequences. Proceedings 1991 IEEE International Symposium on Information Theory, Budapest, Hongarije, 1991, p. 382. (DW) Pellikaan, G.R.; Shen, B.: On Porter's decoding algorithm of algebraicgeometric codes. IEEE workshop on Information Theory, Budapest, 1991. Proceedings of the 1991 IEEE International Symposium on Information Theory, Budapest, 1991. Information Theory Society, Budapest, 1991, pp.23-29. (DW) Struik, M.: On the Rao-Nam Private-Key Cryptosystem using Non Linear Codes. Proceedings of the 1991 IEEE International Symposium on Information Theory, Budapest, 1991. Information Theory Society, Budapest, 1991. p. 174. (DW) Vakpublicaties Technische rapporten Overige producten van wetenschappelijke activiteit Schalkwijk, J.P.M.: A New Lower Bound for the Binary Multiplying Channel. Proceedings 11th Prague Symposium on Information Theory, Statistical Decision Theory and Random Processes, Praag, Tsjechoslowakije, 1990, to appear. (E)


3.4.1.4 VF-code: TUE.INF.301.90.26 VF-programma: PROGRAMMEREN Dissertaties Wetenschappelijke publicaties Backhouse, R.C.: Relational catamorphisms. In: B. Möller (ed), Construction Programs from specifications, Elsevier, Amsterdam, 1991, pp. 287318. Bijlsma, A.: Derivation of logic programs by functional methods. Information Processing Letters, 39, 1991, pp. 325332. Bijlsma, A.: Formal derivation of a stable marriage algorithm. In: W.H.J. Feijen en A.J.M. van Gasteren (eds), C.S. Scholten dedicata: van oude machines en nieuwe rekenwijzen. Academic Service, Schoonhoven, 1991, pp. 5-25. Dielissen, V.J.; Kaldewaij, A.: Rectangular partition is polynomial in two dimensions but NP-complete in three. Information Processing Letters, 38, 1991, pp. 1-6. Eikelder, H. ten; Wilmont, J.: Normal forms for a class of formulas. J. Symbolic Computation, 12, 1991, pp. 143-160. Feijen, W.H.J.; Gasteren, A.J.M. van (eds): C.S. Scholten dedicata: van oude machines en nieuwe rekenwijzen. Academic Service, Schoonhoven, april 1991. Feijen, W.H.J.; Gasteren A.J.M. van: An Introduction to the Relation Calculus. In: W.H.J. Feijen en A.J.M. van Gasteren (eds), C.S. Scholten dedicata: van oude machines en rekenwijzen. Academic Service, Schoonhoven, 1991, pp. 57-82. Hoogerwoord, R.R.: A Flexible Processor-Store Interface: an exercise in hardware design. In: W.H.J. Feijen en A.J.M. van Gasteren (eds.), C.S. Scholten Dedicata: van oude machines en nieuwe rekenwijzen. Academic Service, Schoonhoven, 1991, pp. 101108.

Kaldewaij, A.: Programming: Teacher's Manual. International Series in Computer Science, Prentice Hall, London, 1991, pp. 35. Kaldewaij, A.; Schoenmakers, L.A.M.: The derivation of a tighter bound for top-down skew heaps. Information Processing Letters, 37, 1991, pp. 264271. Kamareddine, F.: λ-terms, logic, determiners and quantifiers. Journal of Logic, Language and Information, 1, 1991, pp. 1-25. Katoen, J.-P.; Schoenmakers, L.A.M.: A parallel program for the recognition of Pinvariant segments. In: P. Quinton and Y. Robert (eds), proceedings of The workshop on algorithms and parallel VLSI archtectares II, 3-6 June 1991 (Castera-Verduzan, Frankrijk), North-Holland, 1991, pp. 79-84. Kruseman Aretz, F.E.J.: Specifying and Implementing a Simple PrettyPrinter. In: W.H.J. Feijen en A.J.M. van Gasteren (eds), C.S. Scholten dedicata: van oude machines en nieuwe rekenwijzen. Academic Service, Schoonhoven, 1991, pp. 141162. Woude, J.C.S.P. van der: Plat Etudes for Carel ende Elegance. In: W.H.J. Feijen en A.J.M. van Gasteren (eds), C.S. Scholten dedicata: van oude machines en rekenwijzen. Academic Service, Schoonhoven, 1991, pp. 229237. Abstracts Vakpublicaties Backhouse, R.C.: On Demonic Composition. The Squiggolist, 2(2), nov. 1991, pp. 61-70. Backhouse, R.C.: Some Ergonomics of Mathematical Notation. The Squiggolist, 2(2), nov. 1991. pp. 57-60. Backhouse, R.C.: Sums and Differentials. The Squiggolist, 2(2), nov. 1991, pp. 54-56.


Backhouse, R.C.: Adjunctions in the spec calculus. Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 31. Backhouse, R.C.; Voermans, T.S.; Woude, J. van der: A relational theory of datatypes. Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 215. Doornbos, H.; Rietman, F.: Exponentials in the spec calculus. Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 25. Hoogendijk, P.: A hierarchy of freebies. Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 27. Hoogendijk, P.: The Boom hierarchy. Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 59.

Woude, J.C.S.P. van der: Free style spec wrestling: Demonic composition and choice. In: Lambert Meertens, Liber Amicorum 19661991, CWI, Amsterdam, 1991, pp. 7. Woude, J.C.S.P. van der; Meertens, L.: Free style spec_wrestling II: preorders. The Squiggolist 2(2), 1991, pp. 48-53. Technische rapporten. Backhouse, R.C.; Bruin, P.J. de; Malcolm, G.; Voermans, T.S. Woude,; J. van der: Relational Catamorphisms. Report CSN 91-11, EUT, Eindhoven, 1991, pp. 31. Backhouse, R.C.; Bruin, P.J. de; Hoogendijk, P.; Malcolm, G.; Voermans, T.S.; Woude, J. van der: Polynomial Relators. Report CSN 91-10, EUT, Eindhoven, 1991, pp. 52. Eikelder, H. ten; Geldrop, R. van: Correctness of Acceptor Schemes for Regular Languages. Report CSN 91-29, EUT, Eindhoven, 1991, pp. 31.

Rietman, F.J.: An aggregated segment sum theorem in the relational system. Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 110.

Eikelder, H. ten: Some algorithms to decide the equivalence of recursive types. Report CSN 91/31, EUT, Eindhoven, 1991, pp. 26.

Rietman, F.J.: A note on extensionality. Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 21.

Katoen, J.-P.; Schoenmakers, L.A.M.: Parallel Programs for the Recognition of Pinvariant Segments. Report CSN 91/03, EUT, Eindhoven, 1991, pp.16.

Voermans, T.S.: The equivalence theory of pers as types. Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 55.

Geldrop, R. van: Transformational Query Solving. Report CSN 91/18, EUT, Eindhoven, 1991, pp. 35.

Voermans, T.S.; Woude, J. van der: Relational tupling. Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 18. Woude, J.C.S.P. van der: C4, general manipulative nonsense? Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 55. Woude, J.C.S.P. van der: Atoms and Extensionality, what is the point? Eurics Workshop proceedings, Hollum-Ameland, sept. 1991, pp. 4. Woude, J.C.S.P. van der: A tribute to attributes. The Squiggolist 2(1), 1991, pp. 10-15.


3.4.1.5 VF-code: TUE.INF.302.90.26 VF-programma: PARALLELLISME Dissertaties. Hooman, J.: Specification and Compositional Verifications of Real-Time Systems,proefschrift. Promotoren: prof.dr. W.P. de Roever, prof.dr.dipl.ing. D.K. Hammer. Eindhoven, 1991, pp. 225. (type I). Huizing, C.: Semantics of Reactive Systems: Comparison and Full Abstraction. Promotoren: prof.dr. W.P. de Roever, prof.dr. K.M. van Hee. Eindhoven, 1991, pp. 132. (type I). Kloosterhuis, W.E.H.: The Enabling Model: a Tool for Performance Analysis of Concurrent Mechanisms. Promotor: prof.dr. M. Rem. Eindhoven, 1991, pp. 188. (type I). Wetenschappelijke publicaties. Aarts, E.H.L.; Leeuwen, J. van; Rem, M. (eds): PARLE'91, Parallel Architectures and Languages Europe, Volume 1. Springer Lecture Notes in Computer Science, 505, Eindhoven, 1991. Aarts, E.H.L.; Leeuwen, J. van; Rem, M. (eds): PARLE'91, Parallel Architectures and Languages Europe, Volume 2. Springer Lecture Notes in Computer Science, 506, Eindhoven, 1991. Boer, F.S. de; Kok, J.N.; Palmidessi, C.; Rutten, J.J.M.M.: Semantic models for concurrent logic languages. Theoretical Computer Science, 68(1), 1991, pp. 334. Boer, F.S. de; Palamidessi, C.: A fully abstract model for concurrent constraint programming. Proceedings of the Fourth International Joint Conference on the Thery and Practice of Software Development TAP-SOFT 91, Lecture Notes in Computer Science, 493(1), Brighton, UK, 1991. Boer, F.S.: A compositional proof system for dynamic process creation. LICS '91, Amsterdam, The Netherlands, 1991, pp. 20.

Boer, F.S. de; Palamidessi, C.: Language comparison: on the CSP hierarchy. Procedings of Concur '91, Lecture Notes in Computer Science, 527, Amsterdam, The Netherlands, 1991. Boer, F.S. de; Kok, J.N.; Palamidessi, C.; Rutten, J.J.M.M.: The failure of failures: Towards a paradigm for asynchronous communication. Procedings of Concur '91, Lecture Notes in Computer Science, 527, Amsterdam, The Netherlands, 1991. Borghuis, V.A.J.: Interpreting Modal Natural Deduction in type Theory. In: Maarten de Rijke (ed); Colloquium on Modal Logic 1991. Dutch Network for Language, Logic and Information, Amsterdam, 1991, pp. 41-46. Codish, M.; Dams, D.R.; Yardeni, E.: Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analyses. In: K. Furukawa (ed); Proceedings 8th International Conference on Programming, Eindhoven, 1991, pp. 79-93. Also in dissertation of M. Codish, Weizmann Institute of Science, Rehovot, Israel, 1991 Coenen, J.: Roever, W.P. de: Zwiers, J.: Assertional Data Reification Proofs: Survey an Perspective. Proceedings of the 4th BCS-FACS Refinement Workshop. Workshop in Computing, Springerverlag, 1991, pp. 97-114. Gerth, R.: Formal Verification of Self Modifying Code. International Conference for Young Computer Scientists (ICYCS'91), International Academic Publishers, China, 1991, pp 305-313. Hooman, J.: A Denotational Real-Time Semantics for Shared Processors. In: Aarts, E.H.L.; Leeuwen, M. van; Rem, M.(eds): PARLE '91, Parallel Architectures and Languages Europe, Volume 2, LNCS 506, Springer-Verlag, Eindhoven, 1991, pp 184-201. Hooman, J.: Specifications and verification of real-time systems using metric temporal logic. Proceedings ICYCS'91 "Towards The Future", International Academic Publishers, China, 1991, pp. 300-304.


Hooman, J.; Kuiper, R.; Zhou, Ping: A Compositional Proof Systeem for Real-Time Systems Based on Explicit Clock Temporal Logic. Proceedings of the Sixth International Workshop on Software Specification and Design, Como, Italy, IEEE Computer Society Press, USA, 1991, pp. 110-117. Hooman, J.: Specification and Compositional Verification of Real-Time Systems. Lecture Notes in Computer Science, Volume 558, Springer-Verlag, 1991, pp 235. Huizing, C.; Roever, W.P. de: Introduction to design choices in the semantics of Statecharts. Information Processing Letters, 37, 1991, pp. 205213. Josephs, M.B.; Mak, R.H.; Verhoeff, T.: Asynchronous Design of a Router. In: J.P. Veen (ed): Proceedings of the IEEE/ProRISC Symposium on Circuits, Systems and Signal Processing, Veldhoven, 1991, pp. 173179. Rem, M.: The Nature of Delay-Intensitive Computing In: Graham Birtwistle (ed). Fourth Higher Order Workshop, Workshops in Computing, SpringerVerlag, Berlin, 1991, pp. 105-122. Abstracts. -

Coenen, J.; Roever W.P. de; Zwiers, J.: Assertional Data Reification Proofs: Survey an Perspective. Report CSN 91-21, EUT, Eindhoven, 1991, pp. 18. Ebergen, J.C.; Peeters, A.M.G.: The Modulo-N Counter: Design and Analysis of Delay-Intensitive Circuits. Research Report CS-91-25, Department of Computer Science, Waterloo University, Waterloo, Ontario, Canada. June 1991. pp. 29. Huizing, C.; Kuiper, R.: Time and reactive systems. Technical report BRA project SPEC, 1991, pp. 11. Huizing, C.: Handleiding voor het eerste gebruik van Turbo Pascal 5.0, EUT, Eindhoven, 1991, pp. 8. Nederpelt, R.P.; Swart, H.C.M. de: A survey of the different logical analyses of "if...,then...". Report CSN 91-02, EUT, Eindhoven, 1991, pp. 26. Struik, P.: Techniques for Designing Efficient Parallel Programs. Report CSN 91-32, EUT, Eindhoven, December 1991, pp. 14. Veltkamp, J.P.: Parallel Progamming Courses at TU Eindhoven. Proceedings Esprit PCA workshop, 27-29 May 1991, Bonn, BRD, 1991, pp. E13. Zhou, Ping; Hooman, J.; Kuiper, R.: A Compositional Proof System for Real-Time Systems Based on Explicit Clock Temporal Logic: Soundness and Completeness. Report CSN 91-25, EUT, Eindhoven, 1991, pp. 52.

Vakpublicaties. Technische rapporten Baeten, J.C.M.; Bergstra, J.A.: A Survey af axiom systems for process algebras. Report P9111, Vakgroep Programmatuur, Universiteit van Amsterdam, October 1991, pp. 21. Baeten, J.C.M.; Vaandrager, F.W.: An Algebra for Process Creation. Report CSN 91-30, EUT, Eindhoven, 1991, pp. 29. Boer, F.S.; Klop, J.W.; Palamidessi, C.: Asynchronous Communication and Process Algebra. Report CSN, 91-35, EUT, Eindhoven, 1991, pp. 20.


3.4.1.6 VF-code: TUE.INF.303.90.26 VF-programma: INFORMATIESYSTEMEN 2 Dissertaties Eiben, A.E.: A Method for Designing Decison Support Systems for Operational Planning. Promotoren: prof. dr. K.M. van Hee, prof.dr. E.H.L. Aarts. Eindhoven 1991, pp. 163. (type I) (I). Wetering, H. van de: Chain coding in Computer Graphics. Promotoren: prof.dr.dipl.ing. D.K. Hammer, prof.dr. F.J. Peters. Eindhoven 1991, pp. 124. (type I) (I). Wetenschappelijke publicaties Aalst, W.M.P. van der; Waltmans, A.W.: Modelling logistic systems with EXSPECT. In: H.G. Sol, K.M. van Hee (eds), Dynamic Modelling of Information Systems. Elsevier Science Publishers, North-Holland, 1991, pp. 269288. (B&S) Aarts, E.H.L.; Korst, J.H.M.: Boltzmann Machines as a Model for Massively Parallel Annealing. Algorithmica, 6, 1991, pp. 437-465. (I) Aarts, E.H.L.; Laarhoven, P.J.M. van; Liu, C.L.: Simulated Annealing and Circuit Layout. Nieuw Archief voor Wiskunde, 9, 1991, pp. 13-39. (I) Aarts, E.H.L.; Bont, F.M.J. de; Korst, J.H.M.; Rongen, J.M.J.: An Efficient Macro-Cell Placement Alogrithm. Integration, 10, 1991, pp. 299-317. (I) Aerts, A.T.M.; Alblas, G.; Hee, K.M. van: Conceptueel Modelleren van Informatiesystemen. Academic Service, Schoonhoven, juli 1991, pp. 210. (I) Aerts, A.T.M.; Reus, D. de: Formal Semantics for BRM. In: J. van Leeuwen (ed), Proceedings CSN91, 1991, pp. 17-30. (I) Dekkers, A.; Aarts, E.H.L.: Global Optimization by Simulated Annealing. Mathematical Programming, 50, 1991, pp. 376393. (B&S)

Eiben, A.E.; Aarts, E.H.L.; Hee, K.M. van: Global Convergence of Genetic Algorithms: a Markov Chain Analysis. In: Schwefel, H.-P.; Männer, R.(eds), Parallel Problem Solving from Nature, Lecture Notes in Computer Science, Springer-verlag, 496, 1991, pp. 4-13. (I) Essink, G.; Aarts, E.H.L.; Dongen, R. van; Gerwen, P. van; Korst, J.; Vissers, K.: Scheduling in Programmable Video Signal Processors. Proceedings IEEE International Conference on Computer Aided Design, 1991, pp. 284-287. (I) Essink, G.; Aarts, E.H.L.; Dongen, R. van; Gerwen, P. van; Korst, J.; Vissers, K.: Architecture an Programming of a VLIW Style Video Signal Processor. Proceedings MICRO 24 Conference, 1991, pp. 181-188. (I) Hammer, D.K.: ISDN and BISDN Applications. Case studie Philips, Hilversum, 1991, pp. 63. (I) Hammer, D.K.: Dependable Distributed Networks and Intelligent Networks (INs). Case studie Océ, Venlo, 1991, pp. 80. (I) Hammer, D.K.: The use of a Distributed Operating System (DOS) for the construction of automatic production environments. Congrespaper BIBA, Bremen, BRD, september 1991, pp. 17. (I) Hee, K.M. van; Nuijten, W.P.M.: A descision generator shell in prolog. In: A. Lewandowski, P. Serafini, M.G. Speranza (eds), Mehodology, Implementation and Applications of Decision Support Systems, Springer-Verlag, 1991, pp. 47-65. (I) Hee, K.M. van; Nuijten, W.P.M.; Vet, A.C.F.M. de: A Method and Tool for Constructing Desision Support Systems. Proceedings of the IFIP TC8/WG8.3/WG8.4 Working Conference on Support Functionality in the office Environment, Canterbury, Kent, U.K., North-Holland, september 1991, pp. 131-141. (I) Hee, K.M. van; Somers, L.J.; Voorhoeve, M.: Z and high level Petri nets. In: S. Prehn, W.J. Toetenel (eds), Proceedings VDM'91, Formal Software Development Methods, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, SpringerVerlag, Berlin, October 1991, pp. 204-219. (I)


Hee, K.M. van; Somers, L.J.; Voorhoeve, M.: The ExSpect Tool. In: S. Prehn, W.J. Toetenel (eds), Proceedings VDM '91 Formal Software development methods, 4th International Symposium of VDM Europe, Noordwijkerhout, Springer-Verlag, 1991, pp. 683484. (I) Hee, K.M. van; Somers, L.J.; Voorhoeve, M.: A modelling environment for decision support systems. In: Decision Support Systems, Elsevier Science Publishers B.V. (North-Holland), 7(3), 1991, pp. 241-251. (I) Hee, K.M. van; Verkoulen, P.A.C.: Data, Process and Behaviour Modelling in an Integrated Specification Framework. In: V.-P. Tahvanainen & K. Lyytinen (eds), proceedings International Workshop on the Next Generation of CASE Tools, University of Jyväskylä, Finland, mei 1991, pp. 405-434. (I) Hee, K.M. van; Verkoulen, P.A.C.: Integration of a Data Model and High-Level Petri Nets. Proceedings 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denemarken, 26-28 juni 1991, pp. 410-431. (I) Houben, G.-J.; Verkoulen, P.A.C.: An Integrated Approach to Modelling Structural and Behavioural Aspects of Complex Objects. In: J. Goers, A. Heuer and G. Saake (eds), Proceedings 3rd International Workshop on Foundations of Models and Languages for Data and Objects, Aigen, Oostenrijk, 23-27 september 1991, pp. 47-64. (I)

Overveld, C.W.A.M. van: An Iterative Approach to Dynamic Simulation of 3D rigid body motions for real-time interactive computer animation. The Visual Computer, 7(1), 1991, pp. 29-38. (I) Paredaens, J.; Gyssens, M.; Thuyn, C.: A Categorical Approach to Object-Oriented Data Modelling. Proceedings 3th workshop on Foundations of Models and Languages for Data and Objects, Informatik-Bericht 91/3, TU Claustal, BRD, 1991, pp. 187-196. (I) Paredaens, J.; Andries, M.: A Language for Generic Graph-Transformations. 17th International Workshop on Graph-Theoretic Concepts in Computer Science WG91, 1991, pp. 9. (I) Paredaens, J.; Peelman, P.; Tanca, L.: G-Log: A Declarative Graphical Query Specification Language. Proceedings 2nd International Conference on Deductive an Object-Oriented Databases, Munchen, 1991, pp. 108-128. (I) Paredaens, J.; Thyssens, I.: Grafische Qyerytalen. Informatie, 33, november 1991, pp. 709-720. (I) Paredaens, J.; Bussche, J. van den: The Expressive Power of Structured Values in Pure OODB's. Proceedings of the Tenth ACM SIGACTSIGMOD-SIGART Symposium on Principles of Database Systems, Denver, Colorado, 1991, pp. 291-299. (I)

Houben, G.-J.; Verkoulen, P.A.C.: Integrated Modelling of Structural and Behaviour Aspects of Complex Objects. In: J. van Leeuwen (ed), Proceedings Computing Science in the Netherlands, 7-8 november 1991, pp. 267-282. (I)

Paredaens, J.; Peelman, P.; Tanca, L.: Deductive Languages: A Graph-Based Approach. Proceedings 3rd workshop on Foundations of Models and Languages for Data and Objects, Informatik-Bericht 91/3, TU Claustal, BRD, 1991, pp. 147-172. (I)

Korst, J.H.M.; Aarts, E.H.L., Lenstra, J.K.L.; Wessels, J.: Periodic Multiprocessor Scheduling. In: Aarts, E.H.L.; Leeuwen, J. van; Rem, M. (eds), PARLE'91, Parallel Architectures and Languages Europe, Volume 1. Springer Lecture Notes in Computer Science, 505, 1991, pp. 166-178. (B&S)

Roosmalen, O. van: SOPHO-MAKER: een op kennis gebaseerde configurator voor een telefooncentrale. In: van der Spek en Treur (eds), Proceedings AIT '91, Novep Amsterdam, nov. 1991, pp. 51-60. (I)

Overveld, C.W.A.M. van: The Generalized Display Processor as an approach to real time interactive 3-D computer animation. The Journal of Visualisation and Computer Animation, 2(1), 1991. pp.n 16-25. (I)

Sol, H.G.; Hee, K.M. van (eds): Dynamic Modelling of Information Systems. Elsevier Science Publishers, North-Holland, 1991. (I)


Ulder, N.L.J.; Aarts, E.H.L.; Bandelt, H.-J.; Laarhoven, P.J.M. van; Pesch, E.: Genetic Local Search Algorithms for the Travelling Salesman. Springer Lecture Notes in Computer Science, 496, 1991, pp. 4-13. (I) Verhaegh, W.F.J.; Aarts, E.H.L.; Korst, J.H.M., Lippens, P.E.R.: Improved Force-Directed Scheduling. Proceedings European Conference on Design Automation, Amsterdam, 1991, pp. 430-435. (I) Verhoosel, J.P.C.; Luit, E.J.; Hammer, D.K.; Jansen, E.: A Static Scheduling Algorithm for Distributed Hard Real-Time Systems. The Journal of Real-Time Systems, 3, 1991, pp. 227-246. (I) Verkoulen, P.A.C.; Brouwer, M.M. de: Two Case Studies in ExSpect. In: V.-P. Tahvanainen & K. Lyytinen (eds), Proceedings International Workshop on the Next Generation of CASE Tools, University of Jyväskylä, Finland, mei 1991, pp. 363-388. (I) Zwietering, P.J.; Aarts, E.H.L.: Parallel Boltzmann Machines: a Mathematical Model. Journal of Parallel and Distributed Computing, 13, 1991, 65-75. (I) Zwietering, P.J.; Kraaij, M.J.A.L. van; Aarts, E.H.L.; Wessels, J.: Neural Networks and Production Planning. Proceedings Neuro-Nimes Conference, 1991, pp. 356-369. (best paper award). (B&S) Abstracts. -

Aerts, A.T.M.; Bra, P.M.E. de; Hee, K.M. van: Transforming Functional Database Schemes to Relational Representations. Report CSN, 91-17, EUT, Eindhoven, 1991, pp. 21. (I) Aerts, A.T.M.; Reus, D. de: Formal Semantics for BRM, with Examples. Report CSN, 91-24, EUT, Eindhoven, 1991, pp. 25. (I) Alstein, D.: Dynamic Reconfiguration in Distributed Hard Real-Time Systems. Report CSN, 91-01, EUT, Eindhoven, 1991, pp. 14. (I) Bra, P.M.E. de; Houben, G.J.; Paredaens, J.: The GOOD Based Hypertext Reference Model. Report CSN, 91-26, EUT, Eindhoven, 1991, pp. 12. (I) Eiben, A.E.; Schuwer, R.V.: Knowledge Base Systems, A Formal Model. Report CSN, 91-20, EUT, Eindhoven, 1991, pp. 21. (I) Hee, K.M. van: Specificatiemethoden, een overzicht. Report CSN, 91-06, EUT, Eindhoven, 1991, pp. 20. (I) Hee, K.M. van; Somers, L.J.; Voorhoeve, M.: Z and high level Petri nets. Report CSN, 91-23, EUT, Eindhoven, 1991, pp. 16. (I) Korst, J.; Aarts, E.; Lenstra, J.K.; Wessels, J.: Periodic assignment and graph colouring. Memorandum COSOR 91-14, EUT, Eindhoven, 1991, pp. 13. (B&S) Kraaij, M.W.I. van; Venema, W.Z.; Wessels, J.: The construction of a solution strategy for manpower planning problems. Memorandum COSOR 91-01, EUT, Eindhoven, 1991, pp. 12. (B&S)

Vakpublicaties. Technische rapporten. Aalst, W.M.P. van der: Interval Timed Petri Nets and their analysis. Report CSN, 91-09, EUT, Eindhoven, 1991, pp. 53. (B&S) Aerts, A.T.M.; Hee, K.M. van: Eldorado: Architecture of a Functional Database Management System. Report CSN, 91-15, EUT, Eindhoven, 1991, pp. 19. (I)

Kraaij, M.W.I. van; Venema, W.Z.; Wessels, J.: Support for problem formulation and evaluation in manpower planning problems. Memorandum COSOR 91-02, EUT, Eindhoven, 1991, pp. 11. (B&S) Lemmens, W.J.M.: Ontwerpen met objecten I. Electronica, 39(18), oktober 1991, pp. 19-25. (I) Lemmens, W.J.M.: Ontwerpen met objecten II. Electronica, 39(19), oktober 1991, pp. 18-25. (I)


Lemmens, W.J.M.: The PDB hypermedia package. Why and how it was built. Report CSN 91-14, EUT, Eindhoven, 1991, pp. 63. (I)

Paredaens, J.; Andries, M.; Bussche, J. van den: A Graph- and Object-Oriented Counterpart for SQL. UIA rapport 91-59, UIA, Antwerpen, 1991, pp. 20. (I)

Paredaens, J.; Andries, M.; Gemis, M.; Thyssens, I.; Bussche, J. van den: A Graph-Oriented User Interface for Object Databases. UIA rapport 91-04, UIA, Antwerpen, 1991, pp. 27. (I)

Reus, D. de: An Implementtation model for GOOD. Report CSN, 91-05, EUT, Eindhoven, 1991, pp. 18. (I)

Paredaens, J.; Gyssens, M.; Thuyn, C.: A Categorical Approach to Object-Oriented Data Modeling. UIA rapport 91-09, UIA, Antwerpen, 1991, pp. 27. (I) Paredaens, J.; Thyssens, I.; Bussche, J. van den; Gucht, D. van: A Graph-Oriented Object Database Model. Technical Report 327 CSD, Indiana University, 1991, pp. 48. (I) Paredaens, J.; Bussche, J. van den: The Expressive Power of Structured Values in Pure OODB's. UIA rapport 90-23, UIA, Antwerpen, 1990, pp. 26. (I) Paredaens, J.; Andries, M.: An Algebraic Characterisation for the GOODtransformation Language. UIA rapport 91-11, UIA, Antwerpen, 1991, pp. 26. (I) Paredaens, J.; Peelman, P.; Tanca, L.; Lambrichts, E.; Nees, P.: Integrating Mono-Valued Functions in Deductive Databases: A resursive extension of MILANT. Rapport Polytechnico Milano, progetto Finalizzato sistemi Informatici a calcolo Parallelo, 5/28, 1991, pp 58. (I) Paredaens, J.; Andries, M.: Macros for the GOOD transformation language. UIA rapport 91-20, UIA, Antwerpen, 1991, pp. 31. (I) Paredaens, J.; Gyssens, M.; Bussche, J. van den; Gucht, D. van: A Graph-Oriented Object Database Model. UIA rapport 91-27, UIA, Antwerpen, 1991, pp. 48. (I) Paredaens, J.; Peelman, P.; Tanca, L.: G-LOG and First-Order Predicate Calculus. UIA rapport 91-53, UIA, Antwerpen, 1991, pp. 24. (I)

Savelsbergh, M.W.P.; Sigismondi, G.S.; Nemhauser, G.L.: Functional description of MINTO, a Mixed INTeger Optimizer. Memorandum COSOR 91-16, EUT, Eindhoven, 1991, pp. 50. (B&S) Savelsbergh, M.W.P.; Sigismondi, G.S.; Nemhauser, G.L.: MINTO, a Mixed INTeger Optimizer. Memorandum COSOR 91-17, EUT, Eindhoven, 1991, pp. 12. (B&S) Savelsbergh, M.W.P.; Sigismondi, G.S.; Nemhauser, G.L.: Classification for Mixed Integer Programming Formulations. Memorandum COSOR 91-30, EUT, Eindhoven, 1991, pp. 6. (B&S) Wessels, J.: Tools for the interfacing between dynamical problems and models within decision support systemen. (B&S) Memorandum COSOR 91-29, EUT, Eindhoven, nov. 1991, pp. 13. (B&S) Soft-ware - LOG TCP, Package to monitor TCP/UDP network connections. Opgesteld door W.Z. Venema. Publicatie in drie opeenvolgende versies in volumes 16, 20 en 23 van de USENET nieuwsgroep comp.sources.misc. (B&S) - AGETTY, Smart SysVR2/SunOS4 getty command (systeem software). Opgesteld door W.Z. Venema. Publicatie in USENET nieuwsgroup comp.sources.misc., vol. 22. (B&S) - UNPROTO, Package to compile ANSI C with an old C compiler (software conversie tool). Opgesteld door W.Z. Venema. Publicatie in twee opeenvolgende versies in volumes 23 en 26 van de USENET nieuwsgroup comp.sources.misc. (B&S)


- MGC - A tool for automatic linking of Fortran Routines to MATLAB. Opgesteld door Kool, R.; e.a.. WGS-report 90-2, Eindhoven, 1991, pp. 28. (B&S)

3.4.2 VAKGROEP DISCRETE WISKUNDE (DW)

- MINTO, Mixed INTeger Optimizer. Omgeving voor het ontwikkelen van branch-and-cut algoritmen voor het oplossen van gemend geheeltallige lineaire programmeringsproblemen. Opgesteld door M.W.P. Savelsbergh, G.S. Sigismondi en G.L. Nemhauser. Beschikbaar via Georgia Institute of Technology, Atlanta, USA. (B&S)

Bruijn, N.G. de: Wiskundige omgangstaal. Verslagen Kon Ned Akad Wetensch., 100, 1991, pp. 8.

Wetenschappelijke publicaties

Bruijn, N.G. de: Telescopic mappings in typed lambda calculus. Information and Computation, 91, 1991, pp. 189204. Bruijn, N.G. de: A plea for weaker frameworks. Logical Frameworks, Cambridge University Press, 1991, pp. 40-67. Bruijn, N.G. de: Checking mathematics with computer assistance. Notices American Mathematical Society, 8(1), 1991, pp. 8-15. Lossers, O.P.: Problem E 3559. American Mathematical Monthly, 98, 1991, p. 168. Lossers, O.P.: Problem 6610. American Mathematical Monthly, 98, 1991, pp. 448-450. Lossers, O.P.: Problem E 3369. American Mathematical Monthly, 98, 1991, pp. 764-765. Lossers, O.P.: Problem E 3320. American Mathematical Monthly, 98, 1991, pp. 956-958. Lossers, O.P.: Problem E 3384. American Mathematical Montly, 98, 1991, pp. 961962. Lossers, O.P.: Aufgabe 1025. Elemente der Mathematik, 46, 1991, pp. 27-28. Lossers, O.P.: Aufgabe 1031. Elemente der Mathematik, 46, 1991, pp. 87-88. Lossers, O.P.: Aufgabe 1035. Elemente der Mathematik, 46, 1991, pp. 116-117.


Simons, F.H.: Computer Software and the Teaching of Calculus. Proceedings of the 6th Seminar on Mathematics in Engineering Education, Budapest-Balatonfüred, SEFI, april 1991, pp163-168. Nagekomen publicaties Lambeck, E.W.; Tonchev, V.D.: Probleem 824. Nieuw archief voor de wiskunde, nov. 1990, p.457. Vakpublicaties Donkers, J.G.M.: De XXXIe Internationale Wiskunde Olympiade 1991. Euclides, 66, 1990/1991, pp. 156-158. Bruijn, N.G. de: Vloerbedekkingen met Penrose tegels. Nieuwe Wiskrant, 10(4), 1991, pp. 32-37. Nienhuys, J.W.: Homeopathische wiskunde. Intermediair, 27(4), 25 jan. 1991, pp. 47-51. Nienhuys, J.W.: Persoonlijkheidstests zijn gebouwd op wiskundig drijfzand. Intermediair, 27(10), 8 maart, 1991, p. 27. Peremans, W.; De faculteit wiskunde en Informatica in: Gedenkboek Technische Universiteit Eindhoven 1956-1991, pp. 137-150. Simons, F.H.: Computeralgebra en service onderwijs in wiskunde, Nieuwsbrief, 7, Computer Algebra Nederland, maart 1991, pp.8-14. Simons, F.H.: Aansluitingsproblematiek VWO-WO, Euclides, 66, april 1991, pp. 204-206. Tilborg, H.C.A. van: De Hongaarse methode. Euclides 66, jan. 1991, pp. 154-155. Tilborg, H.C.A. van: Gegevensbeveiliging en Discrete Wiskunde. Euclides 67, dec. 1991, pp. 123-125. Boekbesprekingen Meiden, W.van der: Boekbespreking van Angeles, J. Rational Kinematics. Med. Wisk. Gen. , 34, mei 1991, p. 142.

Meiden, W.van der: Boekbespreking van Choudhary, B. Nanda, S. Functional analysis with applications. Med. Wisk. Gen. , 34, feb. 1991, p. 54. Meiden, W.van der: Boekbespreking van Day, R.A., How to write and publish a scientific paper (3rd ed.) Med. Wisk. Gen. , 34, jan 1991, p. 32. Meiden, W.van der: Boekbespreking van Gerber, H. Elementary linear algebra, Med. Wisk. Gen. ,34, feb. 1991, p. 41. Meiden, W.van der: Boekbespreking van Kline, M. Mathematical thought from ancient to modern times. Med. Wisk. Gen., 34, feb. 1991, p. 37. Meiden, W.van der: Boekbespreking van Kostrikin, .I. and Y.I. Mannin, Linear Algebra and Geometry, Med. Wisk. Gen. , 34, okt.1991, p. 182. Meiden, W.van der: Boekbespreking van Lang, . Undergraduate algebra (2nd ed.), Med. Wisk. Gen. , 34, maart 1991, p. 69. Meiden, W.van der: Boekbespreking van Light, W>A. Introduction to abstract analysis, Med. Wisk. Gen. , 34, sept. 1991, p. 160. Meiden, W.van der: Boekbespreking van Millman, R.S. and G.D. Parker, Geometry: a metric approach with models (2nd ed.) Med. Wisk. Gen. , 34, sept. 1991, p. 163. Meiden, W.van der: Boekbespreking van Sirovich, L. Introduction to applied mathematics, Med. Wisk. Gen. , 34, april 1991, p. 115. Meiden, W.van der: Boekbespreking van Stephenson, G. and P.M Radmore, Advanced mathematical methods for engineering and science students, Med. Wisk. Gen. , 34, nov. 1991, p. 234 Meiden, W.van der: Boekbespreking van Trim, D.W., Applied partial differential equations, Med. Wisk. Gen. , 34, april 19991, p. 98. Nienhuys, J.W.: Boekbespreking van Bruin, R. de, Laan, C.G. van der e.a.: Publiceren met Latex. Med. Wisk. Gen., febr. 1991, pp. 67-68.


Post, K.A.: Boekbespreking van Klamkin M.S. USA mathematical Olympiads 1972-1986, Med. Wisk. Gen. , 34, nov. 1991, p. 238. Seidel, J.J.: Boekbespreking van M.C. Escher, Art and Science. The Mathem. Intelligencer 10 (1988), pp. 69-74. Overige producten van wetenschappelijke activiteit Blokhuis, A.; Brouwer, A.E.: Szönyi, T.: The number of directions determined by a function f on a finite field, preprint (1991) Brouwer, A.E.: On complete regularity of extended codes, Discr. Math. (Submitted 1991) Brouwer, A.E.; Haemers, W.H.: Structure and uniqueness of the (81,20,1,6) strongly regular graph, preprint (Oct. 1991) Brouwer, A.E.; Godsil, C.D.: Nice subsets of distance-regular graphs, preprint (1991) Brouwer, A.E.; Haemers, W.H., Wilbrink, H.A.: Some 2-ranks, preprint (1991) Brouwer, A.E.; Van Eijl, C.A.: On the p-rank of the adjacency matrices of strongly regular graphs, preprint (1991). (Derived from the Master's Thesis of the second author.) Brouwer, A.E.: t-Designs and antidesigns in classical distanceregular graphs, manuscript (1991) Brouwer, A.E.: Geometries induced by the far objects, preprint (1991) Brouwer, A.E.: The maximal cliques in the classical distanceregular graphs, manuscript (1991) Brouwer, A.E.; Wilbrink H.A.: Block Designs, preprint (1991). (Chapter for the Handbook of Geometry.) Brouwer, A.E.: Block Designs, preprint (1985). (Chapter for the Handbook of Combinatorics. Last revised 1991.) Brouwer, A.E.; Haemers, W.H.: The Gewirtz graph - an exercise in the theory of graph spectra. Report FEW 486, Tilburg University, 1991. (To appear in the Vladimir 1991 proceedings).

Bruijn, N.G.de: On some big closed polygons, intern rapport, pp.2. Bruijn, N.G.de: An identity connected with quadratic irrationals, intern rapport, pp. 4. Bruijn, N.G.de: Can people think?, intern rapport, pp. 28. Bruijn, N.G.de: Modellen voor het denken, intern rapport, pp.4. Cuypers, F.G.M.T.; Hall, J.I.: The classification of centerfree 3-transposition groups. To appear in the Proceedings of the Durham Group Theory conference, 1990. Cuypers, F.G.M.T.: Symplectic geometries, transvection groups and modules, preprint. Cuypers, F.G.M.T.: Delta spaces satisfying Pasch's axiom, preprint. Cuypers, F.G.M.T.; Meixner, Th.: Some extensions and embeddings of near polygons, preprint. Cuypers, F.G.M.T.: Generalized Fischer spaces, preprint. Cuypers, F.G.M.T.: A characterization of Sl2(k) by its action on the natural module, preprint. Duursma, I.M.: Algebraic decoding using special divisors, preprint, submitted to IEEE. Eupen, M.J.M.; Van Lint, J.H.: On the minimum Distance of Ternary Cyclic Codes, to appear. Fang, G.; Tilborg, H.C.A. van: Bounds and constructions of AsEC and UEC codes, Submitted to Applicable Algebra in Engineering, Communication and Computing, to appear. Fang, G.; Tilborg, H.C.A. van; Sun, F.W.: Study on perfectness of binary block codes for correcting asymmetric errors. Imamura, K.; Moriuchi, T.; Uehara, S.: Periodic sequences of the maximum linear complexity simply obtained form an m-sequence, submitted to the IEEE Trans. on Information Theory.


Koolen, J.H.: A new condition for distance-regular graphs, submitted to the European Journal of Combinatorics. Koolen, J.H.: On Subgraphs in distance-regular graphs, submitted to the Journal of Algebraic Combinatorics. Lambeck, E.W.: Some Elementary Inequalities for Distance Regular Graphs, preprint 1 p. Matsufuji, S., Imamura, K.: Balanced binary pseudorandom sequences of period 2n - 1, n even, with low periodic correlation properties, submitted to the IEEE Trans. on Information Theory. Matsufuji, S.; Imamura, K.: Balanced quadriphase sequences with optimum periodic correlation properties constructed by realvalued bent functions, submittes to the IEEE Trans. on Information Theory. Imamura, K.; Xiao, G.: On periodic sequences of maximum linear complexity and m-sequences, sept. 1991, unpublished. Pellikaan, G.R.; Porter, S.C.; Shen, B.: On decoding geometric Goppa codes using an extra palce, submitted to IEEE Trans. Inform. Theory. Pellikaan, G.R.: On the gonality of curves, abundant codes and decoding, preprint sept. 1991. Pellikaan, G.R.; Munuera, C.: Isometry and equality of codes, preprint nov. 1991. Shen, B.: Subresultant sequences on Weierstrass algebra and an application to decoding geometric Goppa codes, preprint. Shen, B.: Codes from Hermitian curves and an iterative decoding algorithm, submitted to IEEE Trans. Inform. Theory. Shen, B.: On encoding and decoding of the codes from Hermitian curves, submitted to the proceedings of the third IMA conference on cryptography and coding, UK.

Shen, B.: A Justesen construction of binary concatenated codes which asymptotically meet Zyablov bound for low rates, submitted to IEEE Trans. Inform. Theory. Seidel, J.J.: Distance matrices and Lorentz space. Workshop Vladimir, 1991, to appear, pp.2. Seidel, J.J.: Introduction to Association Schemes. Publ. IRMA Strasbourg , S26, Seminaire Lotharingen, to appear, pp.15. Seidel,J.J.; Cameron, P.J.; Tsaranov, S.V.: Signed graphs Root Lattices and Coxeter Groups, to be published, pp.30. Seidel, J.J.; A note on path-zero graphs, to be published, pp.4. Seidel, J.J.: Discrete Non-Euclidean Geometry. Chapter in: Handbook of Geometry, 75 p., to appear (1992) Seidel, J.J.; Neumaier, A.: Measures of strength 2e and optimal designs of degree e. Sankhyã, to appear. Voordrachten Blokhuis, A.: - Irregular weighting of hypergraphs, Budapest (Hongarije), jan. 91. - Extremal problems in Finite Geometries, Visegrad (Hongarije), jun. 91. - An improvement of Redei's Theorem, Szeged (Hongarije), sept. 91. - An improvement of Redei's Theorem, Budapest (Hongarije), okt. 91. Brouwer, A.E.: - Designs in klassieke afstandsreguliere grafen, Seminarium Computer Algebra, CWI Amsterdam, maart 91. - Geometries induced by the far objects, Gruppen und Geometrieen, Oberwolfach, Duitsland, juli/aug. 91. - Nice subjects of distance-regular graphs, International Conference on algebraic combinatories, Vladimir, S.U., aug. 91. Bruijn, N.G. de: - Vlakvullingen van Escher en Penrose, Wintersymposium Wiskundig Genootschap, Amersfoort, jan. 1991. - Wiskundige theorie van quasi-kristallen, Univ. Twente, Enschede, jan. 1991.


- Wiskunde en machine, Afscheidssymposium dr.ir. H. Bosma, Philips Natuurkundig Laboratorium, Eindhoven, febr. 1991. - Machinale verificatie van redeneringen, RU Utrecht, Utrecht, febr. 1991. - Relation between Ammann grids and pentagrids, The geometry of quasicrystals, Bielefeld, Duitsland, maart 1991. - Algorithmic correctness check for the DeltaLambda calculus, Workshop Logical frameworks, Edingburgh, Groot Brittanië, mei 1991. - Can people think, LICS conference, Amsterdam, juli 1991. - Modellen voor het denken, Uitreiking AKZO prijs, Arnhem, okt. 1991 - Automath, Turijn, Italië, apr./mei 1991 - Mathematical Vernacular, Turijn, Italië, apr./mei 1991 - Delta-Lambda calculus, Turijn, Italië, apr./mei 1991 - Automath, Pisa, Italië, apr./mei 1991 - Delta-Lambda calculus, Pisa, Italië, apr./mei 1991 - Automath, Rome, Italië, apr./mei 1991 - Quasicrystals, Rome, Italië, apr./mei 1991 - Quasicrystals, Univ. Waterloo, Ontario, Canada, nov./dec. 1991 - Automath, Univ. Waterloo, Ontario, Canada, nov./dec. 1991 - Mathematical Vernacular, McMasters Univ., Hamilton, Ontario, Canada, nov./dec. 1991 - Automath, McMasters Univ., Hamilton, Ontario, Canada, nov./dec. 1991 - Quasicrystals, McMasters Univ., Hamilton, Ontario, Canada, nov./dec. 1991 - Mathematical Vernacular, Carnegy Mellon Univ., Pittsburgh, Pensilvania, VS, nov./dec. 1991 - Quasicrystals, Carnegy Mellon Univ., Pittsburgh, Pensilvania, VS, nov./dec. 1991 - Delta-Lambda calculus, Carnegy Mellon Univ., Pittsburgh, Pensilvania, VS, nov./dec. 1991 - Quasicrystals, Univ. of Pittsburgh, Pittsburgh, Pensilvania, VS, nov./dec. 1991 - Mathematical Vernacular, Cornell Univ., Ithaca, N.Y., VS, nov./dec. 1991 Cuypers, F.G.M.T.: - Groups generated by 3-transpostions, TU Twente, Enschede, jan. 1991 - Symplectic geometries and groups, Univ. of Giessen, Giessen, Duitsland, jun. 1991 - Groups generated by 3-transpositions, Groups and geometrices, Oberwolfach, Duitsland, aug. 1991 Duursma, I.M.: - Algebraic decoding using special divisors, AGCT-3 workshop, Luminy, Frankrijk, jun. 1991

Eupen, M.J.M.: - On the minimum Distance of Ternary Cyclic Codes, International Winter Meeting on Coding and Information Theory, Essen, Duitsland, dec. 1991. Fang, G.: - Some new results on binary asymmetric errorcorrecting codes, IEEE International Symposium on Information Theory, Budapest, Hongarije, jun. 1991. - Weakly perfect binary block codes for correcting asymmetric errors, presented in International Symposium on communications, Tainan, Taiwan, dec. 1991. Koolen, J.H.: - Uniformly geodetic graphs, British Combinatorial Conference, juli 1991. Lambeck, E.W.: - Convexe deelgrafen van klassieke grafen, 27e Nederlands Mathematisch Congres, Rotterdam, april 1991. Lint, J.H. van: - Computer memories with restrictions, 4th Auburn Combinatorial Conference, Auburn, Alabama, USA, maart 1991. - What is discrete mathematics and how should we teach it ?, Univ. of the Orange Free State, Zuid Afrika, juli 1991. - Combinatorial problems from computing science, Univ. of the Orange Free State, ZuidAfrika, juli 1991. - Structuring discrete mathematics, Rhodes, Univ., Zuid-Afrika, juli 1991. - Structuring discrete mathematics, Univ. of South Africa, juli 1991. - Coding and algebraic geometry, Univ. of Pretoria, Zuid-Afrika, juli 1991. - Goppa codes and cryptology, Univ. of Pretoria, Zuid-Afrika, juli 1991. - Coding and algebraic geometry, Witwatersrand Univ., Zuid-Afrika, juli 1991. - Coding and algebraic geometry: a survey for non-experts, Univ. of the North, Zuid-Afrika, aug. 1991 - On cyclic codes: an introduction, Potchefstroom Univ., Zuid-Afrika, aug. 1991. - What is discrete mathematics and how should we teach it ?, Univ. of Stellenbosch, ZuidAfrika, aug. 1991. - Error correcting codes, Univ. of Stellenbosch, Zuid-Afrika, aug. 1991. - What is discrete mathematics and how should we teach it ?, Univ. of Cape Town, Zuid-Afrika, aug. 1991. - Algebraic geometry codes, Univ. of Cape Town, Zuid-Afrika, aug. 1991.


- Codes and designs: a survey for non-experts, Univ. of Port Elizabeth, Zuid-Afrika, aug. 1991. - What is discrete mathematics and how should we teach it ?, Univ. of Durban-Westville, Zuid-Afrika, aug. 1991 - Error correcting codes, Univ. of Natal, ZuidAfrika, aug. 1991. - Goppa codes and cryptology, Univ. of Natal, ZuidAfrika, aug. 1991. - Structuring discrete mathematics, Rand Afrikaans Univ., Zuid-Afrika, aug. 1991. - Error correcting codes, Rand Afrikaans Univ., Zuid-Afrika, aug. 1991. - Mathematik und Technik, Univ. Essen, Duitsland, okt. 1991. - Discrete Wiskunde en Computer Geheugens, Wiskundig Genootschap Amsterdam, okt. 1991 - Penrose betegelingen en Quasikristallen, AKZO, Arnhem, okt. 1991 Pellikaan, G.R.: - On an improvement of the Tsfasman-Vl_du_-Zink bound, Algebraïsch-geometrische Codes, das Institut für experimentelle Mathematik und der universität-Gesamthochschule Essen, mei 1991. - On the gonality of curves, abundant codes and decoding, Algebraic geometry and Coding theory 3, C.I.R.M. Luminy, Marseille, jun. 1991. - Which linear codes are algebraic-geometric ?, Universidad Complutense, Madrid, sept. 1991. - On the decoding of algebraic-geometric codes, Universidad de Valladolid, Valladolid, Spanje, sept. 1991. - On decoding algebraic-geometric codes upto half the designed minimum distance, seminar van H. Stichtenoth, Essen, Duitsland, nov. 1991. - Isometry and equality of geometric Goppa codes, seminar van H. Stichtenoth, Essen, Duitsland, dec. 1991. Shen, B.: - On Porter's decoding algorithm of algebraicgeometric codes, IEEE International symposium on information theory, Budapest, Hongarije, jun. 1991. - Encoding and iterative decoding of codes from Hermitian curves, Third IMA conference on cryptography and coding, Cirencester, UK, dec. 1991. - Algebraic Geometric Codes, University of Essen, Duitsland, 1991. Simons, F.H.: - Using Computers to Teach Calculus, University of Birmingham, sept. 1991. - Teaching Mathematics to Engineering Students with a Computer, Chalmer's University of Technology, Gothenburg, nov. 1991

- Wiskunde en koppen drukken, studiedag voor docenten wiskunde van de Vereniging Ons Middelbaar Onderwijs, Motel Nuland, nov. 1991. Tilborg, H.C.A. van: - Some new results on binary asymmetric errorcorrecting codes, IEEE Int. Symp. on Inf. Theory, Budapest, Hongarije, jun. 1991. - On maximum likelihood soft decision decoding of binary Hamming codes, IEEE Int. Symp. on Inf. Theory, Budapest, Hongarije, jun. 1991. - Error-correcting codes with bounded digital sum, IEEE Int. Symp. on Inf. Theory, Budapest, Hongarije, jun. 1991. - On the existence of optimum cyclic burstcorrecting codes, UniversitätGesamthochschule, Duisburg, Duitsland, juli 1991. - The Dutch Open University and its mathematics curriculum, University of South Africa, Pretoria, Zuid Afrika, aug. 1991. - Burst correcting codes; a survey, Randse Afrikaanse Universiteit, Johannesburg, Zuid Afrika, aug. 1991. - Combined coding and modulation} (keynote address), COMSIG 1991 (organized by South African Chapter of IEEE), Pretoria, Zuid Afrika, aug. 1991. - Burst correcting codes; a survey, Universiteit van Pretoria, faculteit Elektronische Ingenieurswese, Pretoria, Zuid Afrika, sept. 1991. - Onverwagte verbande in Discrete Wiskunde, Universiteit van Pretoria, Departement Wiskunde en Toegepaste Wiskunde, Pretoria, Zuid Afrika, okt. 1991. - Error-correcting codes with bounded digital sum, The Fourth International Colloquium on Coding Theory, Dilijan, Armenië, okt. 1991. - An overview of recent results in the theory of burst-correcting codes, International Wintermeeting on Coding and Information Theory, Essen, Duitsland, dec. 1991. - Hoe deel je een geheim ?, Reünistendag, Eindhoven, april 1991. - Hoe deel je een geheim ?, Symposium Gegevensbeveiliging in de Industrie, Eindhoven, juni 1991 - Hoe deel je een geheim ?, Studiedag Ou studiebegeleiders, Utrecht, juni 1991. Overige vakpublicaties Asperdt, MJ.M.M.; Royakkers, .A.W; Verslag symposium Gegevensbeveiliging in de Industrie, Eindhoven, aug. 1991, pp. 12. Nienhuys, J.W.: Schuiven met officieren. Dagblad Trouw, 4 sept. 1991, p. 19.


3.4.3 VAKGROEP ANALYSE

Nienhuys, J.W.: De abt en de statistici. Dagblad Trouw, 2 okt. 1991, p. 19.

Dissertaties

Nienhuys, J.W.: De Belgen zijn beter. Dagblad Trouw, 27 nov. 1991, p. 19.

Wetenschappelijke publicaties

Nienhuys, J.W.: In het spoor van de gokker. Dagblad Trouw, 30 okt. 1991, p. 19. Afstudeerverslagen studierichting wiskunde Francke, J.: Secure multi-Party Computations (A survey, extended with some own results), 21-02-1991. Meijers, J.J.H. : The Rao-Nam Private-key Cryptosystem, a Generalization and Attacks, 25-04-1991. Peeters, M.J.P.: The Frequency Assignment Problem as a Weighted Graph Coloring Problem, 27-06-1991. Eijl, C.A. van mw.: On the p-rank of the adjacency matrices of strongly regular graphs, 24-10-1991. Veugen, P.J.M.: Some mathematical and computational aspects of electronic cash, 19-12-1991.

Brekelmans, W.A.M.; Janssen, J.D., Ven, A.A.F. van de; With, G. de: An Eulerian approach for die compaction processes. Int. J. for Numerical Methods in Engineering, 31, 1991, pp. 509-524. Brands, J.J.A.M.: Tubes; Contributed paper in Proceedings of the Fith European Conference on Mathematics in Industry, ECMI 7, 1991, pp. 151-154. Doelder, P.J. de; On some series containing ψ(x) - ψ(y) and [ψ(x) ψ(y)]2 for certain values of x and y. Journal of Comp. and Applied Mathematics, 37, 1991, pp. 125-142. Molenaar, J.; The spectrum of an inhomogeneous membrane. Contributed paper in Proceedings of the Fith European Conference on Mathematics in Industry, ECMI 7, 1991, pp. 297-302. Molenaar, J.: Oud, J.H.L.; Optimality and initialisation of the Kalman filter. Kwantitatieve methoden, 38, okt.1991, pp. 45-52. Rienstra, S.W.; The coupling of acoustical membrane and cavity vibrations, Contributed paper in Proceedings of the Fith European Conference on Mathematics in Industry, ECMI 7, 1991, pp. 339-344. Vakpublicaties Boersma, J.; Solutions to problem 818 from Nw. Arch. v. Wisk. (4), 9, no. 2, 1991, pp. 229-230. Schurer, F.: De Bibliotheek. Gedenkboek Technische Universiteit Eindhoven 1956-1991, TUE/De Kempen, 1991, pp. 77-88.


Schurer, F.: Het Rekencentrum. Gedenkboek Technische Universiteit Eindhoven 1956 - 1991, TUE/De Kempen, 1991, pp. 91-103. Nagekomen publicatie: Boersma, J.; Solutions to problem 813 from Nw. Arch. v. Wisk. juli 1990, p. 222. Boekbesprekingen Berkel, C.A.M. van: Boekbespreking van Robert, A.: Advanced calculus for users: Med. Wisk. Gen., 34, 1991, pp. 113. Hofer, H.J.: Boekbespreking van Usmani, R.A.: Applied linear algebra in: Med. Wisk. Gen., 34, 1991, pp. 249250. Lieshout, P.H. van: Boekbespreking van M. Lunn: A first course in mechanics. In: Med. Wisk. Gen., 34, 1991, pp. 312313. Walt van Praag, C.R. van: Boekbespreking van Stewart I.: Galois Theory. In: Med. Wisk. Gen., 34, 1991, pp. 338. Overige producten van wetenschappelijke activiteit Interne rapporten Molenaar, J.; The modeling of polymer flow instabilities. Part 1: A heuristic approach. IWDE 91-05, pp. 27. Rienstra, S.W.; Akoestisch sorteren van mosselen IWDE 91-03, pp.10.

Boom, A.van den; Brown, A.; Dumortier, F.; Geurts, A.; Hammarling, S.; Kool, R.; Vanbegin, M.; Dooren, P.van; Huffel, S.van: SLICOT, a subroutine library in control and systems theory. in: Computer Aided Design in Control Systems, IFAC Symposium, Swansea, UK 15-17 july 1991, pre-print, pp. 89-94. Kramer, M.E.; Mattheij, R.M.M. Application of global methods in parallel shooting. Submitted for publication. RANA report 91-06, 1991, pp.20. Molenaar, J.; The optimal Collar. Accepted for publication in the proceedings of the 6th ECMI Conference, Limerick 1991.2 Molenaar, J.: Visser, H.; Estimating trends and stochastic response functions in dendro-ecologicy with an application to fir decline. Accepted for publication in Forest Science. Reusken, A.A.: Multigrid applied to two-dimensional exponential fitting for drift-diffusion models. (accepted for publication in Proceedings of the IMACS Int. Symp. on Interative methods in Linear Algebra). RANA report 91-02, 1991, pp.13. Reusken, A.A.: On maximum norm convergence of multigrid methods for two-point boundary value problems. (submitted to SIAM J. Numer. Anal.), RANA 9109, 1991, pp.13 Rienstra, S.W.; A note on the Kutta condition in Glauert's solution of the thin aerofoil problem. Accepted for publication in JEM, vol 26-1, 1992.

Rienstra, S.W.; A note on the Kutta condition in Glauert's solution of the thin aerofoil problem. IWDE 91-04, pp.11.

Smits, J.G.M.M. ; Rijpkema, J.J.M.: Experiences with PC-MATLAB in a linear algebra course. Proceedings of the 4th International Conference on Technology in Collegiate Mathematics, Portland, Oregon, nov. 1991, pre-print.

Preprints

Voordrachten

Boersma, J.; Danicki, E.: On the solution of an integral equation arising in potential problems for circular and elliptic disks, dec. 1991. preprint.

Boersma, J.: - Bouwkamps proefschrift: Theoretische en numerieke behandeling van de buiging door een ronde opening. Colloquium ter ere van prof.dr. C.J. Bouwkamp ter gelegenheid van zijn 50jarig doctorsjubileum, jan. 1991. - Ontwerp van de schouder van een


verpakkingsmachine - een probleem uit de industriële wiskunde. Reünistendag fac. Wiskunde en Informatica, TUE, Eindhoven, april 1991. Cijsouw, P.L.: - The educational system of ECMI, Dept. of Math., Chalmers Univ., Göteborg, Zweden, nov. 1991. - Na-doctorale vervolgopleidingen, 27e Nederlands Mathematisch Congres, Rotterdam, april 1991. Graaf, J. de: - Cursus Motion of viscous fluids under the influence of surface tension. Univ. van Florence, mei 1991. - Mathematical addenda to Hopper's theory on the shape evolution of a could of viscous matter driven by capillarity on the free surface, Univ. van Florence, mei 1991. - Mathematical aspects of Hopper's Equations, Rijksuniv. Gent, seminarium Clifford Analyse, nov. 1991. Kaasschieter, E.F.: - Mixed finite elements for groundwater flow problems, Conference on Mathematical Problem in Environmental Protection and Ecology, Trento, Italië, dec. 1991 Kuiken, H.K.: - Mathematical modelling of etching processes, Cambridge, juli 1991 - Asymptotische behandeling van de ElenbaasHeller vergelijking voor een hogedrukontladingslamp, Faculteitscolloquium Natuurkunde, TUE, Eindhoven, nov. 1991.

- A new lemma for proving the 'Smoothing property', 6. Mehrgitterseminar, Technische Univ. Chemnitz, mei 1991 - Some new results in multigrid convergence theory, Ruhr-Univ. Bochum, Duitsland, juli 1991 - Convergentie van meerroostermethoden, werkseminarium, TUE, okt. 1991. Smits, J.G.M.M.: - Experiences with PC-MATLAB in a linearalgebra course, 4th International Conference on Technology in Collegiate Mathematics, Portland, Oregon, nov. 1991. - Een eerstejaars cursus lineaire algebra met MATLAB, ervaringen in Eindhoven, vierde Inter-TU Studiedag, Delft, juni 1991. - Using MAT-LAB to teach Mathematics, Computer in Teaching Initiative, University of Birmingham, Engeland, maart 1991. - Cursus Mathematica Hogeschool Utrecht, 22-25 okt 1991. Thije Boonkamp, J.H.M. ten: - Device simulatie, gastcollege Univ. Wuppertal, Duitsland, juli 1991. Ven, A.A.F. van de: - Magneto-elastic buckling of superconducting coils, 13th IMACS-congress, Dublin, Ireland, juli 1991. Afstudeerverslagen studierichting wiskunde Wijckmans, P.M.E.J. Etsen onder invloed van natuurlijke convectie.

Meer, J.C. van der: - Degenerate Hamiltonian Hopf bifurcations, Univ. of Warwick, UK, sept. 1991

Bertram, D.J. Oplossen van hypo-elastoplastische en hyperelastoplastische materiaalmodellen.

Morsche, H.G. ter; - Spine approximation. Gadt-docent University of Strathclyde, Glasgow, Schotland, aprol 1991.

Leeuwe, F.O. van Analytische oplossing voor enkele men.

Reusken, A.A.: - Multigrid and two-dimensional exponential fitting for a class of convection-diffusion problems, Univ. Zürich, Zwitserland, febr. 1991. - Multigrid and two-dimensional exponential fitting for a class of convection-diffusion problems, Univ. Heidelberg, Duitsland, febr. 1991. - Multigrid and two-dimensional exponential fitting for a class of convection-diffusion problems, IMACS International symposium on interative methods in linear algebra, Brussels, België, april 1991


Laan, P. van der: Boekbespreking van: D.J. Saville en G.R. Wood: Statistical Methods: The Geometric Approach. Springer-Verlag, New York, Barcelona. Metrika, 1991.

3.4.4 VAKGROEP BESLISKUNDE EN STOCHASTIEK (B&S) Dissertaties Wetenschappelijke publicaties Rijpkema, J.: A first course on linear algebra with PC-MATLAB; experiences at Eindhoven University of Technology. Maths and stats, 2, 2, 1991, pp.14-15. Rijpkema, J.J.M.; Smits, J.G.M.M.: Mathematics and statistics courses with a PC: Experiences at TU Eindhoven. Proceedings of the 6th European Seminar on Mathematics in Engineering Education, Budapest, 1991, pp. 143-148. Rijpkema, J.J.M.; Simons, F.H.; Smits, J.G.M.M.: Mathematics courses with a PC . International Journal of Mathematical Education in Science and Technology, 22, 1991, p.791-798. Rijpkema, J.J.M; Smits, J.G.M.M.: Aspects of the use of PC in mathematics courses, illustrated from a linear algebra course with PCMATLAB. Schriftenreihe Didaktik der Mathematik, 21 Wien, 1991, pp. 247-254. Vakpublicaties Boekbesprekingen Aarts, E.H.L.; Boekbespreking van R.G.Jeroslow; Logic-based decision support: mixed integer model formulation. Med. Wisk. Gen., 34, 1991, p 85. Geldrop, J.H. van: Boekbespreking van B. Kaper: Wiskundige methoden en technieken in de economie, analyse. Med. Wisk. Gen., 34, 1991, p.186. Laan, P. van der: Boekbespreking van: Richard. L. Scheaffer en James T. McClave: Probability and Statistics for Engineers, PWS-Kent Publishing Company, Boston, 1990, third ed., pp. 696. Kwantitatieve Methoden, 37, 1991.

Overdijk, D.A.; Boekbespreking van L. Lojasiewecz: An Introduction to the Theory of Real Functions. Med. Wisk. Gen., 34, 1991, p. 187. Wessels, J.; Boekbespreking van: Güth, W. and B. Kalkofen, Unique solutions for strategic games, Med. Wisk. Gen., 1991 p.207. Wessels, J.; Boekbespreking van Delaney, W. and E. Vaccari, Dynamic models and discrete event simulation, Med. Wisk. Gen., 1991, p. 237. Withagen, C.A.A.M.: Boekspreking van F. Schweppe et al.: Spot pricing of electricity, (Kluwer, Boston, 1988, pp. 335). European Journal of Political Economy 6, 1991, pp. 591-593. Technische rapporten Wijnen, J.Th.M.: Taguchi methods. Memorandum COSOR 91-31, EUT, Eindhoven, 1991, pp. 8. Withagen, C.A.A.M.; Groot, F.; Zeeuw, A. de: Note on the open-loop van Stackelberg equilibrium in the cartel versus fringe model, intern rapport, pp.8. Withagen, C.A.A.M.; Levhari, D.: Optimal management of renewable resources, intern rapport, pp. 15. Overige producten van wetenschappelijke activiteit Preprints Adan, I.J.B.F.; Houtum, G.J. van; Wessels, J.; Zijm, W.H.M.: A compensation procedure for multiprogramming queues. Memorandum 91-13, 1991, pp. 22. Submitted for publication.


Adan, I.J.B.F.; Wessels, J.; Zijm, W.H.M.: Matrix-geometric analysis of the shortest queue problem with threshold jockeying. Memorandum 91-24, 1991, pp. 7. Submitted for publication. Adan, I.J.B.F.; Wessels, J.; Zijm, W.H.M.: Analysing multiprogramming queues by generating functions. Memorandum 91-25, 1991, pp. 8. to appear in SIAM Journal of Applied Math.

Savelsbergh, M.W.P.: The vehicle routing problem with time windows: minimizing route duration. Memorandum COSOR 91-03, EUT, Eindhoven, 1991, pp. 15. Accepted by ORSA Journ. on Computing. Stoorvogel, A.A.; Trentelman, H.L.: The mixed H2 and H∞ control problem. Te verschijnen in Proc. Workshop on Robust Control, Tokyo, 1991.

Adan, I.J.B.F.; Wessels, J.; Zijm, W.H.M.: A compensation approach for two-dimensional Markov processes. Memorandum COSOR 91-28, 1991, pp. 30. Submitted for publication.

Stoorvogel, A.A.; Saberi, A.; Chen, B.M.: Characterization of all closed-loop transfer function matrices in H∞-optimization. The verschijnen in Proc. 1991 Allerton Conf. on Communication, Control and Computing, jul. 1991.

Einmahl, J.; Haan, L. de, Huang Xin: Estimating a multidimensional extreme-value distribution. Report 9129A, Econometric Institute, Erasmus University, Rotterdam, pp. 17. preprint.

Stoorvogel, A.A.; Saberi, A.; Chen, B.M.: Full and reduced order observer based controller design for H2-optimization, ingediend voor public. mei 1991.

Einmahl, J.; Deheuvels, P.: Approximations and two-sample tests based on P-P and Q-Q plots of the Kaplan-Meier estimators of lifetime distributions. Memorandum COSOR 91-16, EUT, Eindhoven, 1991, pp. 20. preprint. Huijberts, H.J.C.; Withagen, C.: Local asymptotic stability of optimal steady states. Intern rapport, nov. 1991, pp. 10. Laan, P. van der: A new look at the rank-transform procedure in reference to some multivariate repeated measures designs by M.G. Akritas and S.F. Arnold. Submitted for publ. to the J. Amer. Statist. Assoc.. Nemhauser, G.L.; Savelsbergh, M.W.P.: A cutting plane algorithm for the single machine scheduling problem with release times. Memorandum COSOR 91-05, EUT, Eindhoven, 1991, pp. 21. Zal verschijnen in S. Tufecki (ed.). New Frontiers in the Theory and Practice of Combinatorial Optimization, Springer Verlag. Praagman, C.; Soethoudt, J.M.: A note on finite memory in locally square integrable systems, 1991, pp. 8. Accepted by System and Control letters.

Stoorvogel, A.A., Weeren, A.J.T.M.: The discrete time Riccati equation related to the H∞ control problem, ingediend voor publicatie, sept. 1991. Voordrachten Einmahl, J.: - Estimating a multidimensional extreme value distribution, 23e Journées de Statistique Strasbourg, Strasbourg, Frankrijk, mei 1991. - Quantiles and quantile processes based on multivariate observations, Eight International Conference on Probability on Banach Spaces, Brunswick, Maine, USA, juli 1991. Geldrop, J.H. van: - Lyapunov stability and convergence of trade curves in a pure exchange economy, Mathematical Economics Seminar on Dynamic Processes in Economics and Stability, CORE, Louvain-laNeuve, België - Existence of general equilibria in infinite horizon economies with exhaustible resources. The continuous-time case. Econometric Society European Meeting, Cambridge, UK. Habets, L.C.G.J.M.: - Robust stabilization in the Gap-topology. Voordracht in de serie colloquia in de "Graduate School of Systems and Control' van het Netwerk Systeem- en Regeltheorie, maart 1991. Hoesel, C.P.M. van: - Linear description of the discrete lot sizing and scheduling problem, CORE, Louvain-la-Neuve, dec. 1991.


Hoogeveen, J.A.: - Complexity of single-machine bicriteria scheduling, Workshop NP-completeness, the first 20 years, Erice, Italië, juni 1991. - New upper and lower bounds for scheduling around a small common due date, EURO XIconferentie, Aken, Duitsland, juli 1991. - Complexity of single-machine bicriteria scheduling, Fourteenth Intern. Symp. on Math. Programming, Amsterdam, aug. 1991 Huijberts, H.J.C.; - Dynamic feedback in non-linear synthesis problems, Systeemtheoriedag, U.T., juni 1991. Hurkens, C.: - Nasty TSP-instances for classical insertion heuristics, 14th International Symposium on Mathematical Programming, Amsterdam, aug. 1991. Laan, P. van der: - Distribution theory for selection from logistic populations, Symposium on Biostatistics and statistics in honour of Charles W. Dunnett, McMaster Univ., Hamilton, Ontario, Canada, mei/juni 1991. - The efficiency of subset selection of an almost best treatment, 19th European Meeting of Statisticians, Barcelona, Spanje, sept. 1991. - Statistische selectie: een manier van denken ?, KUB , Tilburg, nov. 1991. Lenstra, J.K.: - Local search for routing problems with side constraints, Conference on Combinatorial Optimization, Oberwolfach, Duitsland, jan. 1991 - A short course in deterministic machine scheduling, Dipartimento di Elettronica, Informatica e Sistemistica, Univ. di Bologna, Bologna, Italië, mei 1991. - An introduction to local search, Second National Workshop Landelijk Netwerk Mathematische Besliskunde, Technische Univ. Eindhoven, Eindhoven, juni 1991. - Job shop scheduling, Siebenter Berliner Algoritmen-Tag, Techn. Univ. Berlin, Berlijn, Duitsland, juli 1991. - Parallel computing in combinatorial optimization, EURO XI, Aken, Duitsland, juli 1991. - Local search for routing problems with side constraints, 14th Intern. Symposium on Mathematical Programming, Amsterdam, aug. 1991. - Combinatorische optimalisering in de praktijk, Najaarssymposium van het Wiskundig Genootschap, CWI, Amsterdam, okt. 1991. - Approximation algorithms for scheduling unrelated parallel machines, Institute for Industrial and Systems Engineering, Georgia

Institute of Techn., Atlanta, USA, nov. 1991. - Complexity of approximation, Second Symposium on Combinatorial Optimization, Rijksuniv. Groningen, Groningen, dec. 1991. Rijpkema, J.J.M.: - Postersessie 6th European Seminar on Mathematics in Engineering Education, Budapest, april 1991. - Using MATLAB to teach mathematics; University of Birmingham, maart, 1991. Savelsbergh, M.W.P.: - MINTO, a Mixed INTeger Optimizer. IBM Thomas J. Watson Research Center, Yorktown Heights, USA, juni 1991 - MINTO, a Mixed INTeger Optimizer. 14th Mathematical Programming Symposium, Amsterdam, aug. 1991. Steutel, F.W.: - Blocking times and the exponential distribution, Conf. on Stochastic Processes, Naharyia, Israël, juni 1991. - Applications of probability in analysis, Stuttgart, Duitsland, juni 1991. Stoorvogel, A.A.: - Robust stabilization and the singular H2 control problem, College of Engineering Control Seminar, Univ. of Michigan, febr. 1991. - The robust H2 control problem: a worst case design, Dept. of Electrical and Computer Engineering Seminar, Wayne State Univ., apr. 1991. - The robust H2 control problem: a worst case design, Boeing Rivertec, Seattle, WA, mei 1991. - Robust stabilization and the singular H∞ control problem, Control Sciences Seminar, Univ. of Washington, mei 1991. - Robust stabilization of systems with multiplicative perturbations, Intern. symp. on the mathematical theory of networks and systems, Kobe, Japan, jun. 1991. - Robust stabilization and the singular H ∞ control problem, Dept. of Electr. Eng., Chiba Univ., Chiba, Japan, jun. 1991. - The mixed H2 and H∞ control problem, Workshop on Robust Control, Tokyo, Japan, jun. 1991 - The singular min. entropy H∞ control problem, ICIAM 1991, conf., Washington DC, USA, jul. 1991 - A reduced-order observer-based controller design for H∞ optimization, AIAA Conf. on Guidance, Navigation and Control, New Orleans, LA, USA, aug. 1991. - The robust H2 control problem: a worst case design, Dept. of Electr. Eng., Texas A&M Univ. College Station, TX, Nov. 1991 - The singular H∞ control problem with


applications to robust stabilization, Dept. of Electr. Eng., Rice Univ., Houston, TX, nov. 1991 - The robust H2 control problem: a worst case design, CDC conference, Brighton, England, dec. 1991. Wal, J. van der: - Flexible capacity, 20. DGOR Tagung, Hohenheim, Duitsland, sept. 1991 - Floor tile manufacturing, 16. Symposium on Operations Research, Univ. Trier, Duitsland, sept. 1991 Wessels, J.; - Kwantitatieve methoden voor logistieke problemen, Geleen, januari 1991. - Logistic Informaton Systems, Verona, feb. 1991. - Decision Support Systems, Rotterdam, april 1991. - Methodology of Decision Analysis, Laxenburg, Oostenrijk, april 1991. - Tools for the Interfacing between Dynamical Problems and Models within Decision Support Systems. Laxenburg, Oostenrijk, juli 1991. - A Compensation Approach for Twodimensional Random Walks, Wenen, okt.1991. - On System Analytic Tools for Supporting International Negotiations, Laxenburg, Oostenrijk, okt. 1991. Withagen, C.A.A.M.: - General equilibrium and international trade with exhaustible resources, Congres European Assoc. of Environmental and Resource Economists, Stockholm, Zweden, juni 1991. - Pollution control and the Ramsey problem, Congres European Assoc. of Environmental and Resource Economists, Stockholm, Zweden, juni 1991. Zwietering, P.J.: - Combinatorische optimalisering met neurale netwerken, Statistische Dag, Utrecht, maart 1991. - Neural networks and production planning, Neuro-Nimes '91: Fourth International Conference on Neural Networks & Their Applications, Nimes, Frankrijk, nov. 1991. - Neural networks and production planning, SDS Guest Seminar at IIASA, Laxenburg, Oostenrijk, dec. 1991. - Parallel Boltzmann machines and combinatorial optimization, Instituut voor Statistiek en Informatica, Univ. Wenen, Wenen, Oostenrijk, dec. 1991.

Afstudeerverslagen studierichting wiskunde Aert, A.J.A. van Analysis of a cyclic filling system subject to disturbances. 21-02-1991 Blois, C.J. de Analysis of the number drawing system like one can find in travel agencies. 21-02-1991 Engelen, S. mw. Een methode om de invloed van psychotrope stoffen op het EEG-patroon bij ratten na te gaan. 25-04-1991 Opstraat, J.E.M. mw. Proefopzetten bij Spectra verkregen dooor Computersimulatie. 25-04-1991 Rijntjes, R.A.N. Learning in Neural Networks: An experimental study. 25-04-1991 Weeren, A.J.T.M. Solving Discrete Time Algebraic Riccati Equations. 25-04-1991 Geraerdts, R.J.H. Evaluation of seven pairwise Multiple Comparison Procedures. 27-06-1991 Hamers, F.M.C.J. Multi server queues under preemptive resume and non preemptive priorities. 27-06-1991 Helvoort, P.E.M. van mw. Simulatieonderzoek voor de schoenenindustrie. 27-06-1991 Kraaij, M.J.A.L. van Het gebruik van neurale netwerken voor seriegrootte-bepaling. 27-06-1991 Reuvers, G.C.G.M. Simulatieonderzoek voor de schoenenindustrie. 27-06-1991 Schaap, K.I. mw. OPTSEL: A program to support the selection of a suitable optimization package and method. 27-06-1991 Waarsenburg, W.A. van de mw. The statinary state distribution of multi-server queueing systems with Erlangian distributed service times. 27-06-1991 Blaakman, E. Solution for a class of singular Linear-Quadratic Control Problems in MATLAB. 30-08-1991


Diederen, M.J.H. Periodic Scheduling wit Slack. 30-08-1991 Dongen, R.C.A. van Mapping for Video Signal Processors: Models and Algorithms. 30-08-1991 Gast, A.J. de Produktiebesturing onder beperkte besturingsmogelijkheden een op orderproducerend systeem. 30-08-1991

Odijk, M.A. ITPN-analysis of ExSpect specifications with respect to production logistics. 19-12-1991 Rhoen, M.H.H. mw. Knooppunten zonder knelpunten "Performanceanalyse van het Rabobank Telecommunicatie Netwerk". 19-12-1991

Gelder, P.H.A.J.M. H∞-Control Design on a Spraydryer Process. 3008-1991 Gruisen, A.A.M. van The Design and Implementation of an Interactive ring Program for Visualizing Optimization Problems. 30-08-1991 Heemskerk, M.W. Een twee-laags voertuigroutingsprobleem. 30-081991 Janssen, W.J.M. Proefopzetten met SAS/QC software. 30-08-1991 Pernot, M.J.M. Logistiek onderzoek van het snelbrandovenproces in de vloertegelfabriek van Koninklijke MOSA B.V. 30-08-1991 Puschmann, E.T. Periodieke storingen. 30-08-1991 Speck, C.J. Analyse van multi-echelon lijnsystemen met eindige capaciteiten. 30-08-1991 Verkooijen, W.J.M. Job-shop scheduling by an interactive implementation of the shifting bottleneck procedure. 30-08-1991 Coevering, E.A.J. van de mw. Waarheidskansen bij het Behrens-Fisherprobleem. 24-10-1991 Wijnen, R.A.J. Simulation of a converter of self-adhesive products. 24-10-1991 Jansen, M.M. mw. Semi-markov beslissingsprocessen bij voorraadbeheersing van serviceparts. 19-12-1991 Man, C.F.M. de mw. De invloed van afzetverwachtingen bij hoge omsteltijden. 19-12-1991


Bijlsma, A.: - Transformation of funcional programs into logic programs. Memorandum AB27, 5 maart 1991, pp. 6. - Opklimmende getallenrijen. Memorandum P36, 10 juni 1991, pp. 7. - Evaluatie van postfixexpressies. Memorandum P35a, 24 juni 1991, pp. 9. - Two logic programs for the subset relation. Memorandum AB29, 22 november 1991, pp. 4.

3.4.5 VAKGROEP INFORMATICA (I) Dissertaties Wetenschappelijke publicaties Abstracts.

Boer, F.S. de: Hooman, J.: The Real-Time Behaviour of Asynchronously Communicating Processes. Preprint; to appear in: Proceedings Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 571, 1992, pp. 451-472.

Vakpublicaties. Technische rapporten. Boekbesprekingen. Bijlsma, A.: Boekbespreking van Graham, R.L.; Knuth, D.E.; Patashnik, O.: Concrete mathematics: a foundation for computer science. Mededelingen van het Wiskundig Genootschap, 34, 1991, pp. 71-72. Hooman, J.J.M.: Boekbespreking van J.S. Ostroff: Temporal Logic for Real-Time Systems. Science of Computer Programming, 16(1), Elsevier, 1991, pp. 93-95. Overige producten van wetenschappelijke activiteit. Overige publicaties. Akkerman, G.J.: Baeten J.C.M.: Term rewriting analysis in process algebra. To appear in CWI Quarterly. Backhouse, R.C.: Polynomial Relators, extended Abstract. Preprint, mei 1991, pp. 28. Baeten, J.C.M.: Bergstra, J.A.: - Process algebra with signals and conditions. To appear in Proc.NATO summer School, Marktoberdorf 1990 (M.Broyd, ed.), Springer Verlag. - The state operator in real time process algebra. To appear in Proc. REX Workshop on Real Time: Theory in Practice, Mook 1991. (J.W. de Bakker, W.P. de Roever & G. Rozenberg, eds.), Springer LNCS. - Asynchronous communication in real space process algebra. To appear in Proc. Chalmers Workshop on Concurrency, Bastad 1991.

Claus, C.: Interne projectrapporten Esprit Project 5342 PROOFS. - TUE-TR-0010-V1.0-WP4 t/m TUE-TR-0016V1.0-WP4, Introduction to data modelling + case studies + evaluation, 17.09.1991 en 23.09.1991. - TUE-TR-0019-V1.0-WP4, PROOFS pormotion material, 15.11.1991. - TUE-TR-0023-V1.0-WP4, Blueprint for developing course programs, 02.12.1991. Coenen, J.: Specifying Fault-Tolerant Programs in Deontic Logic. Preprint; to appear in: Proceeding of the 1st International Workshop on Deontic Logic in Computer Science, 1992, pp. 164-178. Coenen, J.: Hooman, J.: A Compositional Semantics for Fault-Tolerant Real-Time Systems. Preprint; to appear in: Proceedings Symposium Formal Techniques in Real-Time Systems and Fault-Tolrant Systems, LNCS 571, 1992, pp. 33-51. Dams, D.R.: Bottum-up Abstract Interpretations of Logic Programs ('90). Submitted for publication. Also appeared in dissertation of M. Codish, Weizmann Institute of Science, Rehovot, Israel, January 1991. Eijnde, J.P.H.W. van der: - Set Algorithmic Language. Memorandum JvdE, 91/9, mei 1991, pp. 27. - Algorithmics on acyclic graphs. Memorandum JvdE, 91/14, november 1991, pp. 20. Feijen, W.H.J.: - An introduction into the relational calculus. Memorandum WF140/AvG92, maart 1991, pp. 33. - Around the so-called Cone Axiom. Memorandum WF141, februari 1991, pp. 7.


- Two crisper proofs for two theorems on monotypes. Memorandum WF142, februari 1991 1991, pp. 3. - A notational observation by RC Backhouse. Memorandum WF144, maart 1991, pp. 2. - A terribly complicated formula? (of the relational calculus). Memorandum WF146, oktober 1991, pp. 3. - Designing a proof for R.S. Bird's theorem on preorders. Memorandum WF147, november 1991, pp. 24. - One down for the relational calculus (whether you like it or not). Memorandum WF148, november 1991, pp. 8.

Hooman, J.; Ramesh, S.; Roever, W.P. de: Compositional Axiomatization of Statecharts. Preprint; to appear in Theoretical Computer Science Part B (Logic, semantics, and theory of programming), tentatively: Volume 102, 1992.

Feijen, W.H.J.; Gasteren, A.J.M. van: - On [x; (y^z) = x;y^z]. Memorandum WF143/AvG95, maart 1991, pp. 4.

Josephs, M.B.: Mak, R.H.: Udding, J.T.: Verhoeff, T.: Jantchev, J.T.: High Level Design of an Asychronous PacketRouting Chips. Submitted to DCC 92 and accepted. pp. 15.

Gasteren, A.J.M. van: - On the calculational format. Memorandum AvG91, jan. 1991, pp. 11. - (>I)> = I ? Memorandum AvG93, feb. 1991, pp. 6. - On presenting parameterized types. Memorandum AvG94, feb. 1991, pp. 6. - Notation and calculation. Memorandum AvG97a, august 1991, pp. 4. Hammer, D.K.: - Bespreking boek van Tangney, B. and O'Mhony, D., LAN, Prentice Hall. In: Mededelingen van het Wiskundig genootschap, 35(2), 1992, pp. 96-97. Hee, K.M. van; Verkoulen, P.A.C.: Data, Process and Behaviour Modelling in an Integrated Specification Framework. To appear in: Proceedings 2nd International Conference on Dynamic Modelling of Information Systems, Washington, D.C., USA, 1992, pp. 129153. Hoogerwoord, R.R.: - Functional programming by calculation. Memorandum rh153, 1991, pp. 17. - A solution to an examination exercise. Memorandum rh155, 1991, pp. 5. - Leibniz Cantor Penrose. Memorandum rh156, 1991, pp. 9. - Ter gelegenheid van de 10-de verjaardag van de studierichting Informatica. Memorandum rh159, 1991, pp. 2. - Just a caveat. Memorandum rh160, 1991, pp. 2. Hooman, J.: Compositional Verification of Real-Time Systems using Extended Hoare Triples, Proceedings REX Workshop on Real-Time: Theory in Practice. Preprint; to appear in LNCS, 1992, pp. 39.

Hooman, J.; Roever, W.P. de: An introduction to compositional methods for concurrency and their application to real-time. To appear in: Special Issue of the Indian Academy of Science, pp. 48. Preprint; a revised version will appear in: SpringerFachbericht "Formale Beschreibungstechniken für verteilte Systeme", 1992, pp. 44.

Luit, E.J.; Mombarg, V.A.P.: Prototype DEDOS on-line scheduler. (software) Documentatie: User Manual for the DEDOS Hard Real-Time On-line Scheduler (intern rapport). Overveld, C.W.A.M. van: Beyond Bump Maps: an application of non-linear mappings in computer graphics. Submitted and accepted for publication in Computer Aided Design (1991). To appear in 1992. Overveld, C.W.A.M. van; Loon, E. van: Hanging cloths and dangling rods: a undified approach to contraints in computer animation. Submitted and accepted for publication in The Visual Computer (1991). To appear in 1992. Overveld, C.W.A.M. van: Building Blocks for Goal Directed Motion. International Workshop on computer animation in Vienna (Austria), september 1991. To appear in the Proceedings of the Workshop, 1992. Overveld, C.W.A.M. van: The application of morphological filters to tackle discretisation artefacts. Submitted and accepted for publication in The Visual Computer (1991). To appear in 1992. Paredaens, J.; Andries, M.; Gemis, M.; Thyssens, I.; Bussche, J. van den: Concepts for graph-oriented object-manipulation. To appear in EDBT92, Proceedings International Conference Extending Database Technology, Wien, 1992.


Paredaens, J.; Thyssens, I.; Bussche, J. van den; Gucht, D. van: A Graph-Oriented Object Database Model. Submitted to IEEE Transactions on Knowledge and Data Engineering, 1991, Paredaens, J.; Peelman, P.: On Fundamental Aspects of Graphical Interfaces. Submitted to La Revue des Sciences et Technologies, 1991. Roosmalen, O. van; Stok, P. van der: An object oriented approach to dependable responsive systems. Submitted to M. Malek and G. le Lann (eds), Proceedings of the First international workshop on responsive computer systems, INRIA, Le Chesnay Cedex, to be published. Schols, H.M.J.L.: Korst, M. van de: Peeters, A. (eds.): Proceedings Workshop on Design and Implementation of Asynchronous Circuits, (draft version; final version to appear in 1992). Schols, H.M.J.L.: Draft hoofdstukken van proefschrift "Delayinsensitive communication": 1 Formalism and notation, pp. 15. 2 Communication model, pp. 39. 3 Computation interference hazard, pp. 17. 4 Communicating delay-safely, pp. 37. 6 Composition, pp. 19. Appendix B, pp. 22. References, pp. 16. Somers, L.J.A.M.: - ExSpect release 3.0. Uitgebracht 13.06.1991. - ExSpect release 3.1. Uitgebracht 11.11.1991. Verhoeff, T.: - Factorizations in Process Domains. Technical Note, March 1991, pp. 6. - Sharing LaTex-Related Files. Internal Memorandum, June 1991, pp. 5. - A Beautiful Characterization of Equivalence Relations. Technical Note, July 1991, pp. 1. - An Application of the Life Theorem. Technical Note, August 1991, pp. 4. - Some Theorems of Trace Theory and Their Proofs. Technical Note, September 1991, pp. 7. Verhoosel, J.: A Fromal Scheduling Model for DEDOS. Intern rapport, november 1991, pp. 26.

Zhou, P.: Compositional Verification of Real-Time Ssytems with Explicit Clock Temporal Logic. Submitted to IEEE Transactions on Software Engineering Special Issue on Specification and Analysis of Real-Time Systems. Zwiers, J.; Coenen, J.; Roever, W.P. de: A Note on Compositional Refinement. Preprint; to appear in: Proceedings of the 5th BCSFACS Refinement Workshop. Voordrachten. Aarts, E.H.L.: - Local search algorithms. Uitwisselingsprogramma GEWIS, TUE, Eindhoven, 28.03.1991. - Neural networks 1. Workshop LNMB, TUE, Eindhoven, 18.06.1991. - Neural netowrks 2. Workshop LNMB, TUE, Eindhoven, 19.06.1991. - Combinatorial optimization and VLSI design. Universität zu Köln, 15.04.1991. - Combinatorial optimization and VLSI design. Philips Nat.Lab. Groep Beenker, Eindhoven, 08.05.1991. - Local search. EURO XI, Aachen, 19.07.1991. - Local search. International Symposium on Mathematical Programming, Amsterdam, 09.08.1991. Aerts, A.T.M.: - Transforming Functional Database Schemes to Relational Representations. Glasgow, 4 juli 1991. Andries, M.; Paredaens, J.: - A language for generic graph transformations. 17th International Workshop on GraphTheoretic Concepts in Computer Science WG91, Richterheim Frischbachau, BRD, 1719.06.1991. Backhouse, R.C.: - A Proof-editor system. Logical Foundations of Program construction, Dagstuhl, BRD, 2528.02.1991. - A Relational Theory of Datatypes. Logical Foundations of Program construction, Dagstuhl, BRD, 25-28.02.1991. - Wiskunde van het Programmeren. Reunistendag, TUE, 18.04.1991. - Polynomial Relators. 2nd conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25.05.1991. - Calculating a path algorithm. Cal Tech, USA, 20.05.1991. - Naturality Properties. GMD Karlsruhe, 13.09.1991. - A Relational theory of Datatypes. STOP workshop, Nijmegen, 16-17.12.1991.


- A Relational theory of Datatypes. Colloquium TUE, 22.03.1991. Baeten, J.C.M.: - Discrete time process algebra, pre-REACT Workshop, Kiel, BRD, 19-22.11.1991. - Process algebra: an introduction and some time, Concurrency Colloquium, Eindhoven, 13.12.1991. Borghuis, V.A.J.: - Modal natural deduction in type theory. Zuidelijk Interuniversitair Colloquium, TUE, 15.01.1991. - Modale natuurlijke deductie in typentheorie. Seminar on intensional logic, UvA, Amsterdam, 15.02.1991. - Modal logic in the propositions-as-types interprentations. Lambda intercity colloquium, RUU, 15.03.1991. Bra, P. de: - Hypertext aan de Vrije Universteit Brussel. Seminarie Informatica, Brussel, 28.02.1991. - Hypertext reference models. Euregio workshop, TU Aachen, 04-05.05.1991. - The GOOD Based Hypertext Reference Model. Hypertext workshop, KUN, Nijmegen, 13.06.1991. Bussche, J. van den; Paredaens, J.: - The Expressive Power of Structured Values in Pure OODB's. Tneth ACM SIGACT-SIGMODSIGART Symposium of Database Systems, Denver, USA, 29-31.05.1991. Coenen, J.: - Assertional Data Reification Proofs: Survey and Perspective. BCS-FACS Fourth refinement workshop, Wolfson College, Cambridge, UK, 09.01.1991. - Specifying Fault-Tolerant Programs in Deontic Logic. SION/STW Fault Tolerance workshop, Plasmolen, 03.05.1991. - Specifying Fault-Tolerant Programs: Or what Deontic Logic can do for Computer Science. Institut für Informatik und Praktische Mathematik II, Kiel, BRD, 10.06.1991. - Assertional Data Reification Proofs: Survey and Perspective. 6th Plennary Meeting Esprit Project 3096, Sigtuna, Sweden, 02.09.1991. - How to Deal with Lazy Programmers in Deontic Logic. SION/STW Fault Tolerance workshop, Plasmolen, 30.10.1991. - Specifying Fault-Tolerant Programs in Deontic Logic. DEON '91, First International Workshop on Deontic Logic in Computer Science, Amsterdam, 12.12.1991.

Dams, D.R. - Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis, International Conference on Logic Programming, Parijs, 26.06.1991. Eiben, A.E.: - Search Based Planning for Decision Support. Optimization-Based Computer Aided Modelling and Design Symposium, Den Haag, april 1991. - A General Search Procedure: Theoretical and Practical Issues. Bar-Ilan Symposium on the Foundations of Artificial Intelligence, Tel Aviv, june 1991. - A New Concept for Operational Decision Support Systems. Decision Support Systems workshop, Noordwijkerhout, june 1991. - Genetic Algorithms and Simulated Annealing. Werkgroep Artificial Intelligence VU Amsterdam, september 1991. - Heuristic Search for Planning Problems. Workshop on Data, Expert Knowledge and Decision, Ulm, september 1991. Geldrop, R. van: - Transformational Query Solving. CWI Amsterdam, 16-18.10.1991. Gerth, R.: - Verifying Self Modifying Code. Zuidelijk Interuniversitair Colloquium, TUE, Eindhoven, 29.01.1991. - Interface Refinement Dagstuhl seminar on "Concurrent Systems: Sematics, Specification and Synthesis", Dagstuhl, Duitsland, 1015.03.1991. - Abstract Shared Resources, REX Workshop 'Real-Time: Theory in Practice', Mook, 0308.06.1991. - Abstract Shared Resources, SPEC-ONR workshop on concurrency, Auch, Frankrijk, 0406.07.1991. - Formal Verification of Self Modifying Code, Internat. Conf. for Young Computer Scientists, Beijing, China, 18-20.08.1991. - Interface Refinement SPEC-REACT preworkshop, Kiel, Duitsland, 19-23.11.1991. Hammer, D.K.: - Meervoudig kijken naar informatie en communicatie, gericht omgaan met informatietechnologie. Vrije Hogeschool, Driebergen, 22.02.1991. - DEDOS. Philips Nat.Lab., Waalre, 16.10.1991. - DEDOS, Philips BCS, Hilversum, 04.09.1991. - Gericht omgaan met Informatie Techniek. Vrije Hogeschool, Driebergen, 21.06.1991. - The use of a Distributed Operating System (DOS) for the construction of automatic production environments. BIBA congres, Bremen, BRD, 1114.11.1991.


Hee, K.M. van: - Specificeren met ExSpect. KUN, Nijmegen, 27.03.1991. - Executable specifications with ExSpect. McMaster University Hamilton, Ontario, Canada, 25.09.1991. - ExSpect a formalism and tool to specify distributed systems. University of Waterloo, Ontario, Canada, 06.11.1991. - Formal approaches to systems analysis. University of Waterloo, Ontario, Canada, 03.12.1991.

Huizing, C.: - A formalism for real-time reactive systems. REX Workshop on Real-Time: Theory and Practice, Plasmolen, 03-07.06.1991. - Semantics of Statext and Activitycharts. Preperatory Meeting of North European Partners for BRA 2 project REACT, Kiel, BRD, 19-22.11.1991.

Hee, K.M. van; Somers, L.J.; Voorhoeve, M.: - Modelling Systems with ExSpect. First Working Conference of IFIP-TC WG 7.6 on OptimizationBased Computer-Aided Modelling and Design, Den Haag, 02-04.04.1991.

Kuiper, R.: - Interface Refinement. University of Manchester, UK, 29.02.1991. - Interface Refinement. Rex-dag, Amsterdam, 25.10.1991 - Interface Refinement. Dagstuhl-seminar on Concurrent Systems: Semantics, Specification and Synthesis, Dagstuhl, BRD, 10-15.03.1991. - Compositionality Reconsidered. GMB, Bonn, BRD, 05.06.1991. - Compositionality Reconsidered. Warsaw University, Polen, 06.11.1991. - Comparing Modal Logics and Equivalences. Preperatory Meeting of North European Partners for BRA 2 project REACT, Kiel, BRD, 22.11.1991. - Comparing Modal Logics and Equivalences. Zuidelijk Interuniversitair Colloquium, TUE, Eindhoven, 10.12.1991.

Hoogerwoord, R.R.: - Functional Programming by Calculation. University of Waterloo, Canada, 16.0216.03.1991. - Functional Programming by Calculation. University of Calgary, Canada, 04-06.03.1991. Hooman, J.: - Specification and Compositional Verification of Real-Time Systems using Metric Temporal Logic. Dagstuhl-seminar on Concurrent Systems: Semantics, Specification and Synthesis, Dagstuhl, BRD, 11.03.1991. - Compositional Verification of Real-Time Systems using Extended Hoare Tripels. REX Workshop Real-Time: Theory and Practice, Plasmolen, 04.06.1991. - A Denotational Real-Time Semantics for Shared Processors. Parle '91, Parallel Architectures and Languages Europe, Veldhoven, 11.06.1991. - Compositional Verification of Real-Time Systems using Extended Hoare Tripels. Informatica colloquium, TUE, Eindhoven, 21.06.1991. - Specification and Verification of Real-Time Systems using Metric Temporal Logic. ICYCS '91 Towards The Future, Beijing, China, 20.07.1991. - Compositional Verification of Real-Time Systems. Universiteit Oldenburg, BRD, 04.11.1991. - Using Metric Temporal Logic to Verify RealTime Systems. Zuidelijk Interuniversitair Colloquium, TUE, Eindhoven, 12.11.1991. Houben, G.-J.; Paredaens, J.: - The GOOD based hypertext model. Euregio Database Days, Aachen, BRD, 04-05.04.1991

Kaldewaij, A.: - Rank order filters and priority queues. Philips Research Laboratories Eindhoven, sept. 1991.

Mulder, J.; Overveld, C.W.A.M. van; Stoffels, S.: - A transputer implementation of a Discrete Bilinear Blending Algorithm Poster session held at the ISPRA workshop, Milano, Italy, 05.12.1991. Nederpelt, R.P.: - The structure of terms in typed lambda calculi, Lambda-Intercity Colloquium, Utrecht, 18.01.1991. - Getypeerde lambda-calculus met ingebouwde subtitutie en segmentdefinities, Zuidelijk Interuniversitair Colloquium, TUE, Eindhoven, 09.04.1991. - De Kracht van de wiskundige taal, Vereninging voor Wijsbegeerte te s'-Gravenhage/Alg. Ned. Vereniging voor Wijsbegeerte, den Haag, 25.05.1991. - Deriving strong normalization from weak normalization in typed lambda calculus, Lambda-Intercity Colloquium, Utrecht, 21.06.1991. - Strong normalization, Lambda-Intercity Colloquium, Utrecht 20.09.1991.


Overveld, C.W.A.M. van: - Dynamics simulation en motion control for computer animation. Een invited lecture in het kader van het computer graphics colloquium van de Ecole Normale Superieure in Parijs, 04.12.1991. Paredaens, J.: - Grafical interfaces for Object Oriented Database Systems. Politechnico di Milano, Italy, 05.08.1991. - Grafische interfaces voor Object georienteerde Gegevensbanken. Vrije Universiteit Brussel, Belgie, 21.03.1991. - The Expressive Power of Structured Values in Pure OODB's. Euregio Database Days, Aachen, BRD, 04-05.04.1991. - Presentation of two projects: MODEM and GOOD. Flanders Technology, Belgium, 2028.04.1991. Paredaens, J.; Bussche, J. van den; Thyssens, I.; Gemis, M.; Andries, M.: - Concepts for graph oriented object manupilation. Meeting on Data Base Engineering, Contact Group NFWO-FNRS on Computer Systems, 18.11.1991. Peelman, P.; Paredaens, J.: - G-LOG, een graaf georienteerde specificatie taal. Databasedag, Twente, 16.05.1991. Schols, M.J.L.: - Symposium Wiskunde van de Industie. TUE, 07.06.1991. Somers, L.J.A.M.: - Z and high-level Petri nets. VDM'91, Formal Software Development Methods, 21-25.10.1991 - The ExSpect tool. VDM'91, Formal Software Development Methods, 21-25.10.1991. - Demonstration ExSpect. VDM'91, Formal Software Development Methods, 21-25.10.1991. - ExSpect. XII-th International Conference on Application and Theory of Petri nets, Gjern, Denmark, 24-28.06.1991. - Demonstration ExSpect. XII-th International Conference on Application and Theory of Petri nets, Gjern, Denmark, 24-28.06.1991. Stok, P. van der: - Shared data concepts for DEDOS. Tenth IFAC Workshop on Ditributed Computer Control Systems, Semmering, Austria, 09-11.09.1991. - Object Oriented approach to dependable responsive systems. First International Workshop on Responsive Computer Systems, Golfe Juan, France, 03-04.10.1991. - An overview of DEDOS. Software

colloquium TU Delft, Delft, 29.04.1991. Verhoeff, T.: - Causal Nets and Trace Sets, Oxford University, Computing Laboratory, 18.01.1991. for Programming Research Group. - Factorisatie in procesdomeinen, Zuidelijk Interuniversitair Colloquium, TUE, Eindhoven, 18.03.1991. - Asynchronous Design of a Router, ProRISC/IEEE conferece presentation, 04.04.1991. - Chipontwerp en programmeren, Reunistendag TUE, Eindhoven, 18.04.1991. - Factorization in process domains, Dept. of Computer Science, Univ. of Waterloo, Ontario, Canada, 23.10.1991. Verkoulen, P.A.C.: - Integration of a Data Model and Petri Nets. Sligos, Paris, France, 16.04.1991. - Towards Integrating Data and Process Modelling: The L2 Model. ISDF workshop, De Lutte, 28.05.1991. - An Integrated Approach to Modelling Structural and Behavioral Aspects of Complex Objects. Thirth International Workshop on Foundations of Models and Languages for Data and Objects, Aigen, Austria, 24.09.1991. - Integrated Modelling of Structural and Behavioral Aspects of Complex Objects. Computing Science in the Netherlands, Utrecht, 08.11.1991. - Integrated Modelling of Structural and Behavioral Aspects of Complex Objects. 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, 2628.06.1991. - Data, Process and Behaviour Modelling in an Integrated Specification Framework. Second International Conference on Dynamic Modelling of Information Systems, Washington, D.C., USA, 18.07.1991. - Data, Process and Behaviour Modelling in an Integrated Specification Framework. International Workshop on the Next Generation of CASE Tools, Trondheim, Norway, may 1991. - Two Case Studies in ExSpect. International Workshop on the Next Generation of CASE Tools, Trondheim, Norway, may 1991. Vet, A.C.F.M. de: - Modelleren van Planningsomgevingen en Planningsproblemen. DSS workshop, Noordwijkerhout, 26-27.06.1991. - A Method and Tool for Constructing Decision Support Systems. IFIP TC8/WG8.3/WG8.4 Working Conference on Support Functionality in the Office Environment, Canterbury, Kent, U.K., 9-12.09.1991.


Voermans, T.S.: - Pers as types, Inductive Types and Types with Laws. Phoenix Seminar and Workshop, Sasbachwalden, BRD, 18-22.11.1991. - Pers as types an Inductive types with laws and restricions. University of Oxford, UK, 511.05.1991. - Pers as types an Inductive types with laws and restricions. Glasgow University, UK, 1124.05.1991. - Demonstratie Proof-Editor. Manchester University, UK, 24-25.05.1991. Woude, J.C.S.P. van der: - C4. Eurics Workshop, Ameland, 22-27.09.1991. - Relational Tupling. Eurics Workshop, Ameland, 22-27.09.1991.

♦


3 Bijdrage van de faculteit aan het Wetenschappelijk Verslag TUE 1991

Recommend Documents