05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Permanent URI for this collectionhttps://elib.uni-stuttgart.de/handle/11682/6

Browse

Filters

19985

Settings

Start date: 1998End date: 1998Institute: search.filters.UBSInstitut.Institut für Formale Methoden der Informatik

Search Results

Now showing 1 - 5 of 5
  • Thumbnail Image
    ItemOpen Access
    Makanin's algorithm for solving word equations with regular constraints
    (1998) Diekert, Volker
    We give a self-contained proof of a fundamental result of Makanin (1977), which solves the satisfiability problem of equations with constants over free monoids. Our presentation of Makanin's algorithm is borrows Schulz (1992a), where Makanin's result is extended to the case where solutions are restricted by imposing regular constraints on the variables. This report appears (with minor modifications) as a chapter of the new book of M. Lothaire Algebraic Combinatorics on Words.
  • Thumbnail Image
    ItemOpen Access
    Endbericht der Projektgruppe Transportoptimierung
    (1998) Fleischmann, Jörg; Hermes, Lars; Spribille, Tobias
    Dieses Dokument ist die Fortsetzung des Zwischenberichts der Projektgruppe Transportoptimierung (TR-1996-06). Beide Berichte zusammen ergeben einen kontinuierlichen Überblick über die Arbeit der Projektgruppe von Oktober 1997 bis September 1998. Im Rahmen der Projektgruppe soll das Programm TROSS (TRansport-Organisation für Soziale Serviceanbieter) zur Verwaltung und Optimierung von sozialen Fahrdiensten entwickelt werden, das dann beim DRK in Stuttgart eingesetzt wird. Der Endbericht setzt dort an, wo der Zwischenbericht endet: Beim Entwurf. Teile des Entwurfs, die erst nach dem Zwischenbericht fertiggestellt wurden, oder deren Notwendigkeit sich gar erst während der Implementierungsphase ergab, sind hier festgehalten. Danach folgt der Bericht über die wichtigsten Aspekte der Projektphasen Implementierung und Test. Eine Übersicht über das entstandene Programm aus Programmierersicht sowie eine Bedienungsanleitung beendet die Beschreibung des entstandenen Systems. Abschließend wird der Ablauf des Projekts diskutiert und Anregungen für zukünftige Projektgruppen werden gegeben.
  • Thumbnail Image
    ItemOpen Access
    Workshop on Formal Languages, Automata and Petri Nets
    (1998) Petersen, Holger
    This report contains abstracts of the lectures presented at the workshop 'Formal Languages, Automata and Petri-Nets' held at the University of Stuttgart on January 16-17, 1998. The workshop brought together partners of the German-Hungarian project No. 233.6, Forschungszentrum Karlsruhe, Germany, and No. D/102, TeT Foundation, Budapest, Hungary. It provided an opportunity to present work supported by this project as well as related topics.
  • Thumbnail Image
    ItemOpen Access
    Endbericht der Projektgruppe Fahrgemeinschaften
    (1998) Heid, Herbert; Nicklas, Daniela; Porrmann, Alexander; Schäffer, Thomas; Scholz, Volker
    Das Studium der Informatik vermittelt dem Studierenden zwar einen grossen Teil des noetigen Fachwissens, jedoch stellt das Berufsleben noch weitere Anforderungen an Informatikerinnen und Informatiker. Teamfaehigkeit und Erfahrung spielen gerade bei der Mitarbeit an grossen Software-Projekten eine wichtige Rolle. Hier verfolgt die Idee der Projektgruppe folgende Ausbildungsziele: - Arbeiten im Team - Analyse von Problemen, Strukturierung von Loesungen und gemeinsamer Entwurf geeigneter Systeme - Selbstaendige Erarbeitung von Loeosungsvorschlaagen und deren Vorstellung und Verteidigung in einer Gruppe -Uebernahme von Verantwortung fuer die Loesung von Teilaufgaben und die Erstellung von Modulen - Mitwirkung an einer umfassenden Dokumentation - Erstellen eines Software-Produktes, das ein Einzelner innerhalb des vorgegebenen Zeitraumes unmoeglich bewaeltigen kann - Projekt-Planung und Kosten/Nutzen-Analyse - Einsatz von Werkzeugen – Persoenlichkeitsbildung (Uebernahme von Verantwortung, Selbstvertrauen, Verlaesslichkeit, Ruecksichtnahme, Durchsetzungsfaehigkeit usw.) Als wir Studenten uns im September 1996 zur ersten Vorbesprechung der Projektgruppe Fahrgemeinschaften trafen, wusste noch keiner von uns, was genau auf ihn zukommen wuerde. Gemein war uns das Interesse, in einer groesseren Gruppe (einem Team) an einem Thema zu arbeiten. Eine Moeglichkeit, die das Studium der Informatik an der Universitaet Stuttgart sonst nicht bietet. Die einzigen Lehrveranstaltungen, bei denen eine Zusammenarbeit mehrerer Studenten vorgesehen ist, naemlich Software-Praktikum und Fachpraktikum, haben eine Gruppengroesse von zwei, maximal drei Studenten. Dieser Bericht ist nicht nur die Dokumentation der nach einem Jahr Projektarbeit erzielten Ergebnisse, sondern schildert das Vorgehen der Projektgruppe Fahrgemeinschaften ueber verschiedene Zwischenergebnisse bis zum endgueltigen Produkt MOBI (Mobil durch intelligentes computerunterstuetztes Kombinieren).
  • Thumbnail Image
    ItemOpen Access
    Zwischenbericht der Projektgruppe Transportoptimierung
    (1998) Fleischmann, Jörg; Hermes, Lars; Spribille, Tobias; Wagner, Frank
    Im vorliegenden Zwischenbericht der Projektgruppe 'Transportoptimierung' wird die Entwicklung des Projekts von der Anforderungsanalyse bis zum Entwurf dokumentiert. Im Rahmen der Projektgruppe soll das Programm TROSS (TRansport-Optimierung für Soziale Serviceanbieter) zur Verwaltung und Optimierung von sozialen Fahrdiensten entwickelt werden, das dann beim DRK in Stuttgart eingesetzt wird. Das Programm soll alle für das DRK in Zusammenhang mit seinen Fahrdiensten wichtigen Daten erfassen und verwalten. Die momentan manuell durchgeführte Planung soll in Zukunft computergestützt ablaufen können, was den Planern beim DRK einen besseren Überblick über die Dienste und Einsatz von Mitarbeitern und Fahrzeugen liefern soll. Außerdem ist vorgesehen, die Optimierung von Fahrdiensten auch automatisch auszuführen, um aufwendige Handarbeit einzusparen oder gar bessere Ergebnisse zu bekommen.