3 research outputs found
26. Theorietag Automaten und Formale Sprachen 23. Jahrestagung Logik in der Informatik: Tagungsband
Der Theorietag ist die Jahrestagung der Fachgruppe Automaten und Formale Sprachen der Gesellschaft für Informatik und fand erstmals 1991 in Magdeburg statt. Seit dem Jahr 1996 wird der Theorietag von einem eintägigen Workshop mit eingeladenen Vorträgen begleitet. Die Jahrestagung der Fachgruppe Logik in der Informatik der Gesellschaft für Informatik fand erstmals 1993 in Leipzig statt. Im Laufe beider Jahrestagungen finden auch die jährliche Fachgruppensitzungen statt. In diesem Jahr wird der Theorietag der Fachgruppe Automaten und Formale Sprachen erstmalig zusammen mit der Jahrestagung der Fachgruppe Logik in der Informatik abgehalten. Organisiert wurde die gemeinsame Veranstaltung von der Arbeitsgruppe Zuverlässige Systeme des Instituts für Informatik an der Christian-Albrechts-Universität Kiel vom 4. bis 7. Oktober im Tagungshotel Tannenfelde bei Neumünster. Während des Tre↵ens wird ein Workshop für alle Interessierten statt finden. In Tannenfelde werden • Christoph Löding (Aachen) • Tomás Masopust (Dresden) • Henning Schnoor (Kiel) • Nicole Schweikardt (Berlin) • Georg Zetzsche (Paris) eingeladene Vorträge zu ihrer aktuellen Arbeit halten. Darüber hinaus werden 26 Vorträge von Teilnehmern und Teilnehmerinnen gehalten, 17 auf dem Theorietag Automaten und formale Sprachen und neun auf der Jahrestagung Logik in der Informatik. Der vorliegende Band enthält Kurzfassungen aller Beiträge. Wir danken der Gesellschaft für Informatik, der Christian-Albrechts-Universität zu Kiel und dem Tagungshotel Tannenfelde für die Unterstützung dieses Theorietags. Ein besonderer Dank geht an das Organisationsteam: Maike Bradler, Philipp Sieweck, Joel Day. Kiel, Oktober 2016 Florin Manea, Dirk Nowotka und Thomas Wilk
Mathematical modelling of shoreline evolution under climate change
This study focuses on the impact of potential changes in the wind-wave climate on
shoreline change. The `one-line' model for medium to long-term prediction of coastline
evolution is employed. New analytical and numerical solutions of this important model are
described. Specifically: 1) original semi-analytical solutions are derived that relax the
unrealistic assumption of existing analytical work that a constant wave condition drives
shoreline change and, 2) a more general form of the one-line model is solved with a novel
application of the `Method of Lines'. Model input consists of 30-year nearshore wave
climate scenarios, corresponding to the `present' (1961-1990) and the future (2071-2100).
Winds from a high resolution, (12km x 12km), regional climate model, obtained offshore of
the south-central coast of England at a dense temporal resolution of 3 hours, are used to
develop the aforementioned wave climate scenarios, through hindcast and inshore wave
transformation. A hypothetical shoreline segment is adopted as a `benchmark' case for
comparisons. Monthly and seasonal statistics of output shoreline positions are generated
and assessedfo r relative changeso f `significance' between `present' and future. Different
degrees of evidence that such changes do exist are found. This study is the first application
of such high resolution climate model output to investigate climate change impact on
shoreline response. Major findings include: 1) shoreline changes of `significance' are
strongly linked to `significant' changes in future wave direction, 2) future changes appear
smaller for entire seasons than for individual months, 3) shoreline position variability is
often smaller in the future, 4) different climate model experiments produce diverging
results; however, general trends are largely similar.
The present study, at a fundamental level, offers analytical solutions of the 'oneline'
model that are closer to reality and a numerical solution that is of increased effciency..
At a practical level, it contributes to better understanding of the patterns of shoreline
response to changing offshore wave climate through: 1) the use of fast and straightforward
methods that can accommodate numerous climate scenarios without need for data
reduction, and 2) the development of a methodology for using climate model output for
coastal climate change impact assessment studies