-
Language-Driven Engineering An Interdisciplinary Software Development Paradigm
Authors:
Bernhard Steffen,
Tiziana Margaria,
Alexander Bainczyk,
Steve Boßelmann,
Daniel Busch,
Marc Driessen,
Markus Frohme,
Falk Howar,
Sven Jörges,
Marvin Krause,
Marco Krumrey,
Anna-Lena Lamprecht,
Michael Lybecait,
Alnis Murtovi,
Stefan Naujokat,
Johannes Neubauer,
Alexander Schieweck,
Jonas Schürmann,
Steven Smyth,
Barbara Steffen,
Fabian Storek,
Tim Tegeler,
Sebastian Teumert,
Dominic Wirkner,
Philip Zweihoff
Abstract:
We illustrate how purpose-specific, graphical modeling enables application experts with different levels of expertise to collaboratively design and then produce complex applications using their individual, purpose-specific modeling language. Our illustration includes seven graphical Integrated Modeling Environments (IMEs) that support full code generation, as well as four browser-based application…
▽ More
We illustrate how purpose-specific, graphical modeling enables application experts with different levels of expertise to collaboratively design and then produce complex applications using their individual, purpose-specific modeling language. Our illustration includes seven graphical Integrated Modeling Environments (IMEs) that support full code generation, as well as four browser-based applications that were modeled and then fully automatically generated and produced using DIME, our most complex graphical IME. While the seven IMEs were chosen to illustrate the types of languages we support with our Language-Driven Engineering (LDE) approach, the four DIME products were chosen to give an impression of the power of our LDE-generated IMEs. In fact, Equinocs, Springer Nature's future editorial system for proceedings, is also being fully automatically generated and then deployed at their Dordrecht site using a deployment pipeline generated with Rig, one of the IMEs presented. Our technology is open source and the products presented are currently in use.
△ Less
Submitted 16 February, 2024;
originally announced February 2024.
-
DSL-driven Integration of HTTP Services in DIME
Authors:
Bruno Steffen
Abstract:
As the integration of web services into web applications becomes more and more common, it is necessary to find a solution for low-code or no-code environments. This thesis is the first attempt to allow for the easy integration of web services into the low-code immersive modeling environment (IME) DIME, by means of a domain-specific language (DSL), the HTTP-DSL. DIME users can specify HTTP requests…
▽ More
As the integration of web services into web applications becomes more and more common, it is necessary to find a solution for low-code or no-code environments. This thesis is the first attempt to allow for the easy integration of web services into the low-code immersive modeling environment (IME) DIME, by means of a domain-specific language (DSL), the HTTP-DSL. DIME users can specify HTTP requests to web services with few lines of code, and then integrate these requests into the modeling languages provided by DIME.
△ Less
Submitted 4 June, 2023;
originally announced June 2023.
-
The Power of Typed Affine Decision Structures: A Case Study
Authors:
Gerrit Nolte,
Maximilian Schlüter,
Alnis Murtovi,
Bernhard Steffen
Abstract:
TADS are a novel, concise white-box representation of neural networks. In this paper, we apply TADS to the problem of neural network verification, using them to generate either proofs or concise error characterizations for desirable neural network properties. In a case study, we consider the robustness of neural networks to adversarial attacks, i.e., small changes to an input that drastically chan…
▽ More
TADS are a novel, concise white-box representation of neural networks. In this paper, we apply TADS to the problem of neural network verification, using them to generate either proofs or concise error characterizations for desirable neural network properties. In a case study, we consider the robustness of neural networks to adversarial attacks, i.e., small changes to an input that drastically change a neural networks perception, and show that TADS can be used to provide precise diagnostics on how and where robustness errors a occur. We achieve these results by introducing Precondition Projection, a technique that yields a TADS describing network behavior precisely on a given subset of its input space, and combining it with PCA, a traditional, well-understood dimensionality reduction technique. We show that PCA is easily compatible with TADS. All analyses can be implemented in a straightforward fashion using the rich algebraic properties of TADS, demonstrating the utility of the TADS framework for neural network explainability and verification. While TADS do not yet scale as efficiently as state-of-the-art neural network verifiers, we show that, using PCA-based simplifications, they can still scale to mediumsized problems and yield concise explanations for potential errors that can be used for other purposes such as debugging a network or generating new training samples.
△ Less
Submitted 28 April, 2023;
originally announced April 2023.
-
Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations
Authors:
Maximilian Schlüter,
Gerrit Nolte,
Alnis Murtovi,
Bernhard Steffen
Abstract:
In this paper we present an algebraic approach to the precise and global verification and explanation of Rectifier Neural Networks, a subclass of Piece-wise Linear Neural Networks (PLNNs), i.e., networks that semantically represent piece-wise affine functions. Key to our approach is the symbolic execution of these networks that allows the construction of semantically equivalent Typed Affine Decisi…
▽ More
In this paper we present an algebraic approach to the precise and global verification and explanation of Rectifier Neural Networks, a subclass of Piece-wise Linear Neural Networks (PLNNs), i.e., networks that semantically represent piece-wise affine functions. Key to our approach is the symbolic execution of these networks that allows the construction of semantically equivalent Typed Affine Decision Structures (TADS). Due to their deterministic and sequential nature, TADS can, similarly to decision trees, be considered as white-box models and therefore as precise solutions to the model and outcome explanation problem. TADS are linear algebras which allows one to elegantly compare Rectifier Networks for equivalence or similarity, both with precise diagnostic information in case of failure, and to characterize their classification potential by precisely characterizing the set of inputs that are specifically classified or the set of inputs where two network-based classifiers differ. All phenomena are illustrated along a detailed discussion of a minimal, illustrative example: the continuous XOR function.
△ Less
Submitted 28 April, 2023; v1 submitted 19 January, 2023;
originally announced January 2023.
-
Automated Identification of Climate Risk Disclosures in Annual Corporate Reports
Authors:
David Friederich,
Lynn H. Kaack,
Alexandra Luccioni,
Bjarne Steffen
Abstract:
It is important for policymakers to understand which financial policies are effective in increasing climate risk disclosure in corporate reporting. We use machine learning to automatically identify disclosures of five different types of climate-related risks. For this purpose, we have created a dataset of over 120 manually-annotated annual reports by European firms. Applying our approach to report…
▽ More
It is important for policymakers to understand which financial policies are effective in increasing climate risk disclosure in corporate reporting. We use machine learning to automatically identify disclosures of five different types of climate-related risks. For this purpose, we have created a dataset of over 120 manually-annotated annual reports by European firms. Applying our approach to reporting of 337 firms over the last 20 years, we find that risk disclosure is increasing. Disclosure of transition risks grows more dynamically than physical risks, and there are marked differences across industries. Country-specific dynamics indicate that regulatory environments potentially have an important role to play for increasing disclosure.
△ Less
Submitted 3 August, 2021;
originally announced August 2021.
-
A Generative Approach for User-Centered, Collaborative, Domain-Specific Modeling Environments
Authors:
Philip Zweihoff,
Bernhard Steffen
Abstract:
The use of low- and no-code modeling tools is today an established way in practice to give non-programmers an opportunity to master their digital challenges independently, using the means of model-driven software development. However, the existing tools are limited to a very small number of different domains such as mobile app development, which can be attributed to the enormous demands that a use…
▽ More
The use of low- and no-code modeling tools is today an established way in practice to give non-programmers an opportunity to master their digital challenges independently, using the means of model-driven software development. However, the existing tools are limited to a very small number of different domains such as mobile app development, which can be attributed to the enormous demands that a user has on such a tool today. These demands exceed the mere use of a modeling environment as such and require cross-cutting concerns such as: easy access, direct usability and simultaneous collaboration, which result in additional effort in the realization of such tools. Our solution is based on the idea to support and simplify the creation of new domain-specific holistic tools by generating it entirely based on a declarative specification with a domain-specific meta-tool. The meta-tool Pyro demonstrated and analyzed here focuses on graph-based graphical languages to fully generate a complete, directly executable tool starting from a meta-model in order to meet all cross-cutting requirements.
△ Less
Submitted 20 April, 2021;
originally announced April 2021.
-
Phase Diversity Electro-optic Sampling: A new approach to single-shot terahertz waveform recording
Authors:
Eléonore Roussel,
Christophe Szwaj,
Bernd Steffen,
Clément Evain,
Christopher Gerth,
Bahram Jalali,
Serge Bielawski
Abstract:
THz spectroscopy is an emerging tool for detection of microorganisms and harmful compounds in the food industry, the study of proteins in biomedicine and the development of electron-beam X-ray sources for molecular imaging and lithography. Recording of THz electric field evolution in single-shot is crucially needed in terahertz spectroscopy of irreversible processes in such applications as well as…
▽ More
THz spectroscopy is an emerging tool for detection of microorganisms and harmful compounds in the food industry, the study of proteins in biomedicine and the development of electron-beam X-ray sources for molecular imaging and lithography. Recording of THz electric field evolution in single-shot is crucially needed in terahertz spectroscopy of irreversible processes in such applications as well as for data communication in the THz portion of the spectrum where there is an abundance of untapped bandwidth. However, achieving sub-picosecond resolution over a long time window has been an open problem for electro-optic sampling -- the standard technique for recording terahertz waveforms. We introduce a new conceptual framework for this open problem that is inspired by time-stretch theory. The novel framework unveils a solution to this 20 year-old problem leading to a dramatic enhancement of the achievable temporal resolution. We validate this new technology in two applications. First, we present single shot recordings of long free-propagating terahertz transients with record time resolution. Second, we present recordings of ultra-short relativistic electron bunches at the European X-ray Free Electron Laser. These results show that electric signals may be now recorded with terahertz bandwidth over arbitrarily long windows, thus enabling the realization of "single-shot terahertz oscilloscopes" and single-shot time-domain spectroscopy systems with an arbitrary time-bandwidth product.
△ Less
Submitted 1 June, 2022; v1 submitted 10 February, 2020;
originally announced February 2020.
-
ADD-Lib: Decision Diagrams in Practice
Authors:
Frederik Gossen,
Alnis Murtovi,
Philip Zweihoff,
Bernhard Steffen
Abstract:
In the paper, we present the ADD-Lib, our efficient and easy to use framework for Algebraic Decision Diagrams (ADDs). The focus of the ADD-Lib is not so much on its efficient implementation of individual operations, which are taken by other established ADD frameworks, but its ease and flexibility, which arise at two levels: the level of individual ADD-tools, which come with a dedicated user-friend…
▽ More
In the paper, we present the ADD-Lib, our efficient and easy to use framework for Algebraic Decision Diagrams (ADDs). The focus of the ADD-Lib is not so much on its efficient implementation of individual operations, which are taken by other established ADD frameworks, but its ease and flexibility, which arise at two levels: the level of individual ADD-tools, which come with a dedicated user-friendly web-based graphical user interface, and at the meta level, where such tools are specified. Both levels are described in the paper: the meta level by explaining how we can construct an ADD-tool tailored for Random Forest refinement and evaluation, and the accordingly generated Web-based domain-specific tool, which we also provide as an artifact for cooperative experimentation. In particular, the artifact allows readers to combine a given Random Forest with their own ADDs regarded as expert knowledge and to experience the corresponding effect.
△ Less
Submitted 24 December, 2019;
originally announced December 2019.
-
Aggressive Aggregation: a New Paradigm for Program Optimization
Authors:
Frederik Gossen,
Marc Jasper,
Alnis Murtovi,
Bernhard Steffen
Abstract:
In this paper, we propose a new paradigm for program optimization which is based on aggressive aggregation, i.e., on a partial evaluation-based decomposition of acyclic program fragments into a pair of computationally optimal structures: an Algebraic Decision Diagram (ADD) to capture conditional branching and a parallel assignment that refers to an Expression DAG (ED) which realizes redundancy-fre…
▽ More
In this paper, we propose a new paradigm for program optimization which is based on aggressive aggregation, i.e., on a partial evaluation-based decomposition of acyclic program fragments into a pair of computationally optimal structures: an Algebraic Decision Diagram (ADD) to capture conditional branching and a parallel assignment that refers to an Expression DAG (ED) which realizes redundancy-free computation. The point of this decomposition into, in fact, side-effect-free component structures allows for powerful optimization that semantically comprise effects traditionally aimed at by SSA form transformation, code specialization, common subexpression elimination, and (partial) redundancy elimination. We illustrate our approach along an optimization of the well-known iterative Fibonacci program, which, typically, is considered to lack any optimization potential. The point here is that our technique supports loop unrolling as a first class optimization technique and is tailored to optimally aggregate large program fragments, especially those resulting from multiple loop unrollings. For the Fibonacci program, this results in a performance improvement beyond an order of magnitude.
△ Less
Submitted 24 December, 2019;
originally announced December 2019.
-
Large Random Forests: Optimisation for Rapid Evaluation
Authors:
Frederik Gossen,
Bernhard Steffen
Abstract:
Random Forests are one of the most popular classifiers in machine learning. The larger they are, the more precise is the outcome of their predictions. However, this comes at a cost: their running time for classification grows linearly with the number of trees, i.e. the size of the forest. In this paper, we propose a method to aggregate large Random Forests into a single, semantically equivalent de…
▽ More
Random Forests are one of the most popular classifiers in machine learning. The larger they are, the more precise is the outcome of their predictions. However, this comes at a cost: their running time for classification grows linearly with the number of trees, i.e. the size of the forest. In this paper, we propose a method to aggregate large Random Forests into a single, semantically equivalent decision diagram. Our experiments on various popular datasets show speed-ups of several orders of magnitude, while, at the same time, also significantly reducing the size of the required data structure.
△ Less
Submitted 23 December, 2019;
originally announced December 2019.
-
Compact single-shot electro-optic detection system for THz pulses with femtosecond time resolution at MHz repetition rates
Authors:
B. Steffen,
Ch. Gerth,
M. Caselle,
M. Felber,
T. Kozak,
D. R. Makowski,
U. Mavrič,
A. Mielczarek,
P. Peier,
K. Przygoda,
L. Rota
Abstract:
Electro-optical detection has proven to be a valuable technique to study temporal profiles of THz pulses with pulse durations down to femtoseconds. As the Coulomb field around a relativistic electron bunch resembles the current profile, electro-optical detection can be exploited for non-invasive bunch length measurements at accelerators. We have developed a very compact and robust electro-optical…
▽ More
Electro-optical detection has proven to be a valuable technique to study temporal profiles of THz pulses with pulse durations down to femtoseconds. As the Coulomb field around a relativistic electron bunch resembles the current profile, electro-optical detection can be exploited for non-invasive bunch length measurements at accelerators. We have developed a very compact and robust electro-optical detection system based on spectral decoding for bunch length monitoring at the European XFEL with single-shot resolution better than 200~fs. Apart from the GaP crystal and the corresponding laser optics at the electron beamline, all components are housed in 19\" chassis for rack mount and remote operation inside the accelerator tunnel. An advanced laser synchronization scheme based on radio-frequency down-conversion has been developed for locking a custom-made Yb-fiber laser to the radio-frequency of the European XFEL accelerator. In order to cope with the high bunch repetition rate of the superconducting accelerator, a novel linear array detector (KALYPSO) has been employed for spectral measurements of the Yb-fiber laser pulses at frame rates of up to 2.26~MHz. In this paper, we describe all sub-systems of the electro-optical detection system as well as the measurement procedure in detail, and discuss first measurement results of longitudinal bunch profiles of around 400~fs (rms) with an arrival-time jitter of 35~fs (rms).
△ Less
Submitted 17 December, 2019;
originally announced December 2019.
-
Revealing the dynamics of ultrarelativistic non-equilibrium many-electron systems with phase space tomography
Authors:
Stefan Funkner,
Gudrun Niehues,
Michael J. Nasse,
Erik Bründermann,
Michele Caselle,
Benjamin Kehrer,
Lorenzo Rota,
Patrik Schönfeldt,
Marcel Schuh,
Bernd Steffen,
Johannes L. Steinmann,
Marc Weber,
Anke-Susanne Müller
Abstract:
The description of physical processes with many-particle systems is a key approach to the modeling of countless physical systems. In storage rings, where ultrarelativistic particles are agglomerated in dense bunches, the measurement of their phase-space distribution (PSD) is of paramount importance: at any time the PSD not only determines the complete space-time evolution but also provides fundame…
▽ More
The description of physical processes with many-particle systems is a key approach to the modeling of countless physical systems. In storage rings, where ultrarelativistic particles are agglomerated in dense bunches, the measurement of their phase-space distribution (PSD) is of paramount importance: at any time the PSD not only determines the complete space-time evolution but also provides fundamental performance characteristics for storage ring operation. Here, we demonstrate a non-destructive tomographic imaging technique for the 2D longitudinal PSD of ultrarelativistic electron bunches. For this purpose, we utilize a unique setup, which streams turn-by-turn near-field measurements of bunch profiles at MHz repetition rates. To demonstrate the feasibility of our method, we induce a non-equilibrium state and show, that the PSD microstructuring as well as the PSD dynamics can be observed in great detail with an unprecedented resolution. Our approach offers a pathway to control ultrashort bunches and supports, as one example, the development of compact accelerators with low energy footprints.
△ Less
Submitted 3 December, 2019;
originally announced December 2019.
-
Real-time Data Acquisition and Processing System for MHz Repetition Rate Image Sensors
Authors:
Aleksander Mielczarek,
Dariusz Makowski,
Andrzej Napieralski,
Christopher Gerth,
Bernd Steffen
Abstract:
One of the optimization goals of a particle accelerator is to reach the highest possible beam peak current. For that to happen the electron bunch propagating through the accelerator should be kept relatively short along the direction of its travel. In order to obtain a better understanding of the beam composition it is crucial to evaluate the electric charge distribution along the micrometer-scale…
▽ More
One of the optimization goals of a particle accelerator is to reach the highest possible beam peak current. For that to happen the electron bunch propagating through the accelerator should be kept relatively short along the direction of its travel. In order to obtain a better understanding of the beam composition it is crucial to evaluate the electric charge distribution along the micrometer-scale packets. The task of the Electro-Optic Detector (EOD) is to imprint the beam charge profile on the spectrum of light of a laser pulse. The actual measurement of charge distribution is then extracted with a spectrometer based on a diffraction grating.
The article focuses on developed data acquisition and processing system called the High-speed Optical Line Detector (HOLD). It is a 1D image acquisition system which solves several challenges related to capturing, buffering, processing and transmitting large data streams with use of the FPGA device. It implements a latency-optimized custom architecture based on the AXI interfaces. The HOLD device is realized as an FPGA Mezzanine Card (FMC) carrier with single High Pin-Count connector hosting the KIT KALYPSO detector.
The solution presented in the paper is probably one of the world fastest line cameras. Thanks to its custom architecture it is capable of capturing at least 10 times more frames per second than fastest comparable commercially available devices.
△ Less
Submitted 27 June, 2018;
originally announced June 2018.
-
Commissioning experience and beam physics measurements at the SwissFEL Injector Test Facility
Authors:
T. Schietinger,
M. Pedrozzi,
M. Aiba,
V. Arsov,
S. Bettoni,
B. Beutner,
M. Calvi,
P. Craievich,
M. Dehler,
F. Frei,
R. Ganter,
C. P. Hauri,
R. Ischebeck,
Y. Ivanisenko,
M. Janousch,
M. Kaiser,
B. Keil,
F. Löhl,
G. L. Orlandi,
C. Ozkan Loch,
P. Peier,
E. Prat,
J. -Y. Raguin,
S. Reiche,
T. Schilcher
, et al. (70 additional authors not shown)
Abstract:
The SwissFEL Injector Test Facility operated at the Paul Scherrer Institute between 2010 and 2014, serving as a pilot plant and testbed for the development and realization of SwissFEL, the X-ray Free-Electron Laser facility under construction at the same institute. The test facility consisted of a laser-driven rf electron gun followed by an S-band booster linac, a magnetic bunch compression chican…
▽ More
The SwissFEL Injector Test Facility operated at the Paul Scherrer Institute between 2010 and 2014, serving as a pilot plant and testbed for the development and realization of SwissFEL, the X-ray Free-Electron Laser facility under construction at the same institute. The test facility consisted of a laser-driven rf electron gun followed by an S-band booster linac, a magnetic bunch compression chicane and a diagnostic section including a transverse deflecting rf cavity. It delivered electron bunches of up to 200 pC charge and up to 250 MeV beam energy at a repetition rate of 10 Hz. The measurements performed at the test facility not only demonstrated the beam parameters required to drive the first stage of an FEL facility, but also led to significant advances in instrumentation technologies, beam characterization methods and the generation, transport and compression of ultra-low-emittance beams. We give a comprehensive overview of the commissioning experience of the principal subsystems and the beam physics measurements performed during the operation of the test facility, including the results of the test of an in-vacuum undulator prototype generating radiation in the vacuum ultraviolet and optical range.
△ Less
Submitted 27 October, 2016; v1 submitted 8 June, 2016;
originally announced June 2016.
-
Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond
Authors:
Johannes Neubauer,
Bernhard Steffen,
Tiziana Margaria
Abstract:
We present a graphical and dynamic framework for binding and execution of business) process models. It is tailored to integrate 1) ad hoc processes modeled graphically, 2) third party services discovered in the (Inter)net, and 3) (dynamically) synthesized process chains that solve situation-specific tasks, with the synthesis taking place not only at design time, but also at runtime. Key to our app…
▽ More
We present a graphical and dynamic framework for binding and execution of business) process models. It is tailored to integrate 1) ad hoc processes modeled graphically, 2) third party services discovered in the (Inter)net, and 3) (dynamically) synthesized process chains that solve situation-specific tasks, with the synthesis taking place not only at design time, but also at runtime. Key to our approach is the introduction of type-safe stacked second-order execution contexts that allow for higher-order process modeling. Tamed by our underlying strict service-oriented notion of abstraction, this approach is tailored also to be used by application experts with little technical knowledge: users can select, modify, construct and then pass (component) processes during process execution as if they were data. We illustrate the impact and essence of our framework along a concrete, realistic (business) process modeling scenario: the development of Springer's browser-based Online Conference Service (OCS). The most advanced feature of our new framework allows one to combine online synthesis with the integration of the synthesized process into the running application. This ability leads to a particularly flexible way of implementing self-adaption, and to a particularly concise and powerful way of achieving variability not only at design time, but also at runtime.
△ Less
Submitted 19 September, 2013;
originally announced September 2013.
-
Microscopic insights into pedestrian motion through a bottleneck, resolving spatial and temporal variations
Authors:
Jack Liddle,
Armin Seyfried,
Bernhard Steffen,
Wolfram Klingsch,
Tobias Rupprecht,
Andreas Winkens,
Maik Boltes
Abstract:
The motion of pedestrians is subject to a wide range of influences and exhibits a rich phenomenology. To enable precise measurement of the density and velocity we use an alternative definition using Voronoi diagrams which exhibits smaller fluctuations than the standard definitions. This method permits examination on scales smaller than the pedestrians. We use this method to investigate the spatial…
▽ More
The motion of pedestrians is subject to a wide range of influences and exhibits a rich phenomenology. To enable precise measurement of the density and velocity we use an alternative definition using Voronoi diagrams which exhibits smaller fluctuations than the standard definitions. This method permits examination on scales smaller than the pedestrians. We use this method to investigate the spatial and temporal variation of the observables at bottlenecks. Experiments were performed with 180 test subjects and a wide range of bottleneck parameters. The anomalous flow through short bottlenecks and non-stationary states present with narrow bottlenecks are analysed.
△ Less
Submitted 8 May, 2011;
originally announced May 2011.
-
Constraint-Guided Workflow Composition Based on the EDAM Ontology
Authors:
Anna-Lena Lamprecht,
Stefan Naujokat,
Bernhard Steffen,
Tiziana Margaria
Abstract:
Methods for the automatic composition of services into executable workflows need detailed knowledge about the application domain,in particular about the available services and their behavior in terms of input/output data descriptions. In this paper we discuss how the EMBRACE data and methods ontology (EDAM) can be used as background knowledge for the composition of bioinformatics workflows. We sho…
▽ More
Methods for the automatic composition of services into executable workflows need detailed knowledge about the application domain,in particular about the available services and their behavior in terms of input/output data descriptions. In this paper we discuss how the EMBRACE data and methods ontology (EDAM) can be used as background knowledge for the composition of bioinformatics workflows. We show by means of a small example domain that the EDAM knowledge facilitates finding possible workflows, but that additional knowledge is required to guide the search towards actually adequate solutions. We illustrate how the ability to flexibly formulate domain-specific and problem-specific constraints supports the work ow development process.
△ Less
Submitted 7 December, 2010;
originally announced December 2010.
-
Analysis of bottleneck motion using Voronoi diagrams
Authors:
Jack Liddle,
Armin Seyfried,
Bernhard Steffen
Abstract:
Standard definitions of the density exhibit large fluctuations when the size of the measurement area is comparable with the size of a pedestrian. An alternative measurement method exists where a personal space, calculated through the Voronoi diagram, is assigned to each pedestrian. In this contribution this method is applied to an experiment studying motion through a bottleneck and the reduced flu…
▽ More
Standard definitions of the density exhibit large fluctuations when the size of the measurement area is comparable with the size of a pedestrian. An alternative measurement method exists where a personal space, calculated through the Voronoi diagram, is assigned to each pedestrian. In this contribution this method is applied to an experiment studying motion through a bottleneck and the reduced fluctuations demonstrated. The integrated density also permits examination on much smaller spatial scales than the standard definition, the insights into the pedestrian motion this provides are discussed.
△ Less
Submitted 29 March, 2010;
originally announced March 2010.
-
A Modification of the Social Force Model by Foresight
Authors:
B. Steffen
Abstract:
The motion of pedestrian crowds (e.g. for simulation of an evacuation situation) can be modeled as a multi-body system of self driven particles with repulsive interaction. We use a few simple situations to determine the simplest allowed functional form of the force function. More complexity may be necessary to model more complex situations. There are many unknown parameters to such models, which…
▽ More
The motion of pedestrian crowds (e.g. for simulation of an evacuation situation) can be modeled as a multi-body system of self driven particles with repulsive interaction. We use a few simple situations to determine the simplest allowed functional form of the force function. More complexity may be necessary to model more complex situations. There are many unknown parameters to such models, which have to be adjusted correctly. The parameters can be related to quantities that can be measured independently, like step length and frequency. The microscopic behavior is, however, only poorly reproduced in many situations, a person approaching a standing or slow obstacle will e.g. show oscillations in position, and the trajectories of two persons meeting in a corridor in opposite direction will be far from realistic and somewhat erratic. This is inpart due to the assumption of instantaneous reaction on the momentary situation. Obviously, persons react with a small time lag, while on the other hand they will anticipate changing situations for at least a short time. Thus basing the repulsive interaction on a (linear) extrapolation over a short time (e.g. 1 s) eliminates the oscillations at slowing down and smoothes the patterns of giving way to others to a more realistic behavior. A second problem is the additive combination of binary interactions. It is shown that combining only a few relevant interactions gives better model performance.
△ Less
Submitted 3 December, 2009;
originally announced December 2009.
-
Modeling of pedestrian movement around 90 and 180 degree bends
Authors:
B. Steffen,
A. Seyfried
Abstract:
For the planning of large pedestrian facilities, the movement of pedestrians in various situations has to be modelled. Many tools for pedestrian planning are based on cellular automata (CA), discrete in space and time, some use self driven pargticles (SDP), continuous in space and time. It is common experience that CA have problems with modelling sharp bends in wide corridors. They tend to move…
▽ More
For the planning of large pedestrian facilities, the movement of pedestrians in various situations has to be modelled. Many tools for pedestrian planning are based on cellular automata (CA), discrete in space and time, some use self driven pargticles (SDP), continuous in space and time. It is common experience that CA have problems with modelling sharp bends in wide corridors. They tend to move the pedestrians to the innermost lanes far too strongly, thereby reducing the capacity of the facility. With SDP, the problem seems to be less pronounced but still present. With CA, we compare the performance of two standard shortest distance based static floors on 90 and 180 degree bends with a newly defined one. For SDP, we demonstrate how variations in the modeling of the momentary destination of the agents influence trajectories and capacity.
△ Less
Submitted 3 December, 2009;
originally announced December 2009.
-
Methods for measuring pedestrian density, flow, speed and direction with minimal scatter
Authors:
Bernhard Steffen,
Armin Seyfried
Abstract:
The progress of image processing during recent years allows the measurement of pedestrian characteristics on a "microscopic" scale with low costs. However, density and flow are concepts of fluid mechanics defined for the limit of infinitely many particles. Standard methods of measuring these quantities locally (e.g. counting heads within a rectangle) suffer from large data scatter. The remedy of…
▽ More
The progress of image processing during recent years allows the measurement of pedestrian characteristics on a "microscopic" scale with low costs. However, density and flow are concepts of fluid mechanics defined for the limit of infinitely many particles. Standard methods of measuring these quantities locally (e.g. counting heads within a rectangle) suffer from large data scatter. The remedy of averaging over large spaces or long times reduces the possible resolution and inhibits the gain obtained by the new technologies.
In this contribution we introduce a concept for measuring microscopic characteristics on the basis of pedestrian trajectories. Assigning a personal space to every pedestrian via a Voronoi diagram reduces the density scatter. Similarly, calculating direction and speed from position differences between times with identical phases of movement gives low-scatter sequences for speed and direction. Closing we discuss the methods to obtain reliable values for derived quantities and new possibilities of in depth analysis of experiments. The resolution obtained indicates the limits of stationary state theory.
△ Less
Submitted 11 November, 2009;
originally announced November 2009.
-
Enhanced empirical data for the fundamental diagram and the flow through bottlenecks
Authors:
A. Seyfried,
M. Boltes,
J. Kähler,
W. Klingsch,
A. Portz,
T. Rupprecht,
A. Schadschneider,
B. Steffen,
A. Winkens
Abstract:
In recent years, several approaches for modelling pedestrian dynamics have been proposed and applied e.g. for design of egress routes. However, so far not much attention has been paid to their 'quantitative' validation. This unsatisfactory situation belongs amongst others on the uncertain and contradictory experimental data base. The fundamental diagram, i.e. the density-dependence of the flow o…
▽ More
In recent years, several approaches for modelling pedestrian dynamics have been proposed and applied e.g. for design of egress routes. However, so far not much attention has been paid to their 'quantitative' validation. This unsatisfactory situation belongs amongst others on the uncertain and contradictory experimental data base. The fundamental diagram, i.e. the density-dependence of the flow or velocity, is probably the most important relation as it connects the basic parameter to describe the dynamic of crowds. But specifications in different handbooks as well as experimental measurements differ considerably. The same is true for the bottleneck flow. After a comprehensive review of the experimental data base we give an survey of a research project, including experiments with up to 250 persons performed under well controlled laboratory conditions. The trajectories of each person are measured in high precision to analyze the fundamental diagram and the flow through bottlenecks. The trajectories allow to study how the way of measurement influences the resulting relations. Surprisingly we found large deviation amongst the methods. These may be responsible for the deviation in the literature mentioned above. The results are of particular importance for the comparison of experimental data gained in different contexts and for the validation of models.
△ Less
Submitted 10 October, 2008;
originally announced October 2008.
-
The repulsive force in continous space models of pedestrian movement
Authors:
Bernhard Steffen,
Armin Seyfried
Abstract:
Pedestrian movements can be modeled at different degrees of detail. While flux models (Predeshensky/Milinski 1971) and cellular automata models (Schreckenberg 2002) give answers to some important questions and are fast and easy to use, continuous space modeling has the potential of full flexibility in geometry and realistic description of individual movements in arbitrary fine resolution. While…
▽ More
Pedestrian movements can be modeled at different degrees of detail. While flux models (Predeshensky/Milinski 1971) and cellular automata models (Schreckenberg 2002) give answers to some important questions and are fast and easy to use, continuous space modeling has the potential of full flexibility in geometry and realistic description of individual movements in arbitrary fine resolution. While the acceleration forces in these models are known with good reliability, there is no agreement on the repulsive forces, not even on the functional form of these forces (Lakoba 2005, Molnar 1996, Parisi 2005, Yu 2005). We give some basic consideration to define the minimal complexity of the functional form of the repulsive forces together with some estimates of the values of parameters. From these considerations it becomes obvious that the repulsive forces have to depend not only on the relative position of persons, but also on the speeds and speed differences. The parameters of these forces will be situation dependant. They can in principle be derived from video observations of people moving, although the large scatter of data and the complexity involved makes for large uncertainties.
△ Less
Submitted 9 March, 2008;
originally announced March 2008.
-
New insights into pedestrian flow through bottlenecks
Authors:
Armin Seyfried,
Tobias Rupprecht,
Oliver Passon,
Bernhard Steffen,
Wolfram Klingsch,
Maik Boltes
Abstract:
Capacity estimation is an important tool for the design and dimensioning of pedestrian facilities. The literature contains different procedures and specifications which show considerable differences with respect to the estimated flow values. Moreover do new experimental data indicate a stepwise growing of the capacity with the width and thus challenge the validity of the specific flow concept. T…
▽ More
Capacity estimation is an important tool for the design and dimensioning of pedestrian facilities. The literature contains different procedures and specifications which show considerable differences with respect to the estimated flow values. Moreover do new experimental data indicate a stepwise growing of the capacity with the width and thus challenge the validity of the specific flow concept. To resolve these differences we have studied experimentally the unidirectional pedestrian flow through bottlenecks under laboratory conditions. The time development of quantities like individual velocities, density and individual time gaps in bottlenecks of different width is presented. The data show a linear growth of the flow with the width. The comparison of the results with experimental data of other authors indicates that the basic assumption of the capacity estimation for bottlenecks has to be revised. In contradiction with most planning guidelines our main result is, that a jam occurs even if the incoming flow does not overstep the capacity defined by the maximum of the flow according to the fundamental diagram.
△ Less
Submitted 3 December, 2007; v1 submitted 1 February, 2007;
originally announced February 2007.
-
Basics of Modelling the Pedestrian Flow
Authors:
Armin Seyfried,
Bernhard Steffen,
Thomas Lippert
Abstract:
For the modelling of pedestrian dynamics we treat persons as self-driven objects moving in a continuous space. On the basis of a modified social force model we qualitatively analyze the influence of various approaches for the interaction between the pedestrians on the resulting velocity-density relation. To focus on the role of the required space and remote force we choose a one-dimensional mode…
▽ More
For the modelling of pedestrian dynamics we treat persons as self-driven objects moving in a continuous space. On the basis of a modified social force model we qualitatively analyze the influence of various approaches for the interaction between the pedestrians on the resulting velocity-density relation. To focus on the role of the required space and remote force we choose a one-dimensional model for this investigation. For those densities, where in two dimensions also passing is no longer possible and the mean value of the velocity depends primarily on the interaction, we obtain the following result: If the model increases the required space of a person with increasing current velocity, the reproduction of the typical form of the fundamental diagram is possible. Furthermore we demonstrate the influence of the remote force on the velocity-density relation.
△ Less
Submitted 10 August, 2005; v1 submitted 27 June, 2005;
originally announced June 2005.
-
The Fundamental Diagram of Pedestrian Movement Revisited
Authors:
Armin Seyfried,
Bernhard Steffen,
Wolfram Klingsch,
Maik Boltes
Abstract:
The empirical relation between density and velocity of pedestrian movement is not completely analyzed, particularly with regard to the `microscopic' causes which determine the relation at medium and high densities. The simplest system for the investigation of this dependency is the normal movement of pedestrians along a line (single-file movement). This article presents experimental results for…
▽ More
The empirical relation between density and velocity of pedestrian movement is not completely analyzed, particularly with regard to the `microscopic' causes which determine the relation at medium and high densities. The simplest system for the investigation of this dependency is the normal movement of pedestrians along a line (single-file movement). This article presents experimental results for this system under laboratory conditions and discusses the following observations: The data show a linear relation between the velocity and the inverse of the density, which can be regarded as the required length of one pedestrian to move. Furthermore we compare the results for the single-file movement with literature data for the movement in a plane. This comparison shows an unexpected conformance between the fundamental diagrams, indicating that lateral interference has negligible influence on the velocity-density relation at the density domain $1 m^{-2}<ρ<5 m^{-2}$. In addition we test a procedure for automatic recording of pedestrian flow characteristics. We present preliminary results on measurement range and accuracy of this method.
△ Less
Submitted 5 October, 2005; v1 submitted 22 June, 2005;
originally announced June 2005.
-
Surface Superconductivity in Niobium for Superconducting RF Cavities
Authors:
S. Casalbuoni,
E. -A. Knabbe,
J. Koetzler,
L. Lilje,
L. von Sawilski,
P. Schmueser,
B. Steffen
Abstract:
A systematic study is presented on the superconductivity (sc) parameters of the ultrapure niobium used for the fabrication of the nine-cell 1.3 GHz cavities for the linear collider project TESLA. Cylindrical Nb samples have been subjected to the same surface treatments that are applied to the TESLA cavities: buffered chemical polishing (BCP), electrolytic polishing (EP), low-temperature bakeout…
▽ More
A systematic study is presented on the superconductivity (sc) parameters of the ultrapure niobium used for the fabrication of the nine-cell 1.3 GHz cavities for the linear collider project TESLA. Cylindrical Nb samples have been subjected to the same surface treatments that are applied to the TESLA cavities: buffered chemical polishing (BCP), electrolytic polishing (EP), low-temperature bakeout (LTB). The magnetization curves and the complex magnetic susceptibility have been measured over a wide range of temperatures and dc magnetic fields, and also for di erent frequencies of the applied ac magnetic field. The bulk superconductivity parameters such as the critical temperature Tc = 9.26 K and the upper critical field Bc2(0) = 410 mT are found to be in good agreement with previous data. Evidence for surface superconductivity at fields above Bc2 is found in all samples. The critical surface field exceeds the Ginzburg-Landau field Bc3 = 1.695Bc2 by about 10% in BCP-treated samples and increases even further if EP or LTB are applied. From the field dependence of the susceptibility and a power-law analysis of the complex ac conductivity and resistivity the existence of two different phases of surface superconductivity can be established which resemble the Meissner and Abrikosov phases in the bulk: (1) coherent surface superconductivity, allowing sc shielding currents flowing around the entire cylindrical sample, for external fields B in the range between Bc2 and Bcohc3, and (2) incoherent surface superconductivity with disconnected sc domains between Bcohc3 and Bc3. The coherent critical surface field separating the two phases is found to be Bcoh c3 = 0.81Bc3 for all samples. The exponents in the power law analysis are different for BCP and EP samples, pointing to different surface topologies.
△ Less
Submitted 5 March, 2004;
originally announced March 2004.
-
The Subgrid Problem of the Thermal Convection in the Earth's Liquid Core
Authors:
M. Reshetnyak,
B. Steffen
Abstract:
The problem of the turbulent thermal convection in the Earth's liquid core is considered. Following assumptions on decreasing of the spatial scales due to the rapid rotation, we propose the subgrid model of the eddy diffusivity, which is used in the large-scale model. This approach makes it possible to model realistic regimes with small Ekman and Rossby numbers ($E\sim 10^{-14}$,…
▽ More
The problem of the turbulent thermal convection in the Earth's liquid core is considered. Following assumptions on decreasing of the spatial scales due to the rapid rotation, we propose the subgrid model of the eddy diffusivity, which is used in the large-scale model. This approach makes it possible to model realistic regimes with small Ekman and Rossby numbers ($E\sim 10^{-14}$, $R_o \sim 10^{-8}$) and a sufficiently large Rayleigh number $R_a \sim 10^{12}$. The obtained estimate of the averaged kinetic energy is comparable with observations. The model includes rotation of the solid core due to the viscous torque.
△ Less
Submitted 27 November, 2003;
originally announced November 2003.
-
The shell model approach to the rotating turbulence
Authors:
M. Reshetnyak,
B. Steffen
Abstract:
Applications of the shell model of turbulence to the case of rapidly rotating bodies are considered. Starting from the classical GOY model we introduce the Coriolis force and obtain a $\sim k^{-2}$ spectrum for 3D hydrodynamical turbulence for the free decay regime as well for the regime with external forcing. Additional modifications of the GOY model providing a realistic form of the helicity a…
▽ More
Applications of the shell model of turbulence to the case of rapidly rotating bodies are considered. Starting from the classical GOY model we introduce the Coriolis force and obtain a $\sim k^{-2}$ spectrum for 3D hydrodynamical turbulence for the free decay regime as well for the regime with external forcing. Additional modifications of the GOY model providing a realistic form of the helicity are proposed.
△ Less
Submitted 3 November, 2003;
originally announced November 2003.