Automatisches Sicherheitstesten

Moderne Testgeneratoren finden Schwachstellen in Eingabeschnittstellen von Programmen, indem sie in Sekunden tausende Eingaben zufällig erzeugen. Die Werkzeuge lassen sich leicht von jedermann einsetzen–zum Angriff oder zur Verteidigung.     

Taking science education beyond schooling

Abstract

The shape and content of science education has always been articulated from the scientist's perspective. Recently, an increasing number of science educators have recognized the serious limitations of this perspective and have proposed to define scientific literacy from societal or citizenship perspectives. In this article, I argue that these alternatives will remain as limited as their predecessors unless the very structures of schooling are called into question. Furthermore, I argue that alternatives cannot be designed at the drawing board by theoreticians, but have to be grounded in praxis, thereby providing concrete trajectories along which science education can actually change.     

Facets of the Fully Mixed Nash Equilibrium Conjecture

In this work, we continue the study of the many facets of the Fully Mixed Nash Equilibrium Conjecture, henceforth abbreviated as the FMNE\mathsf{FMNE} Conjecture, in selfish routing for the special case of n identical users over two (identical) parallel links. We introduce a new measure of Social Cost, defined as the expectation of the square of the maximum congestion on a link; we call it Quadratic Maximum Social Cost. A Nash equilibrium is a stable state where no user can improve her (expected) latency by switching her mixed strategy; a worst-case Nash equilibrium is one that maximizes Quadratic Maximum Social Cost. In the fully mixed Nash equilibrium, all mixed strategies achieve full support.     

Tracking control for boundary controlled parabolic PDEs with varying parameters: Combining backstepping and differential flatness

The combination of backstepping-based state-feedback control and flatness-based trajectory planning and feedforward control is considered for the design of an exponentially stabilizing tracking controller for a linear diffusion-convection-reaction system with spatially and temporally varying parameters and nonlinear boundary input. For this, in a first step the backstepping transformation is utilized to determine a state-feedback controller, which transforms the original distributed-parameter system into an appropriately chosen exponentially stable distributed-parameter target system of a significantly simpler structure. In a second step, the flatness property of the target system is exploited in order to determine the feedforward controller, which allows us to realize the tracking of suitably prescribed trajectories for the system output. This results in a systematic procedure for the design of an exponentially stabilizing tracking controller for the considered general linear diffusion-convection-reaction system with varying parameters, whose applicability and tracking performance is evaluated in simulation studies.     

Satellite-based estimates of groundwater storage variations in large drainage basins with extensive floodplains

This study presents monthly estimates of groundwater anomalies in a large river basin dominated by extensive floodplains, the Negro River Basin, based on the synergistic analysis using multisatellite observations and hydrological models. For the period 2003-2004, changes in water stored in the aquifer is isolated from the total water storage measured by GRACE by removing contributions of both the surface reservoir, derived from satellite imagery and radar altimetry, and the root zone reservoir simulated by WGHM and LaD hydrological models. The groundwater anomalies show a realistic spatial pattern compared with the hydrogeological map of the basin, and similar temporal variations to local in situ groundwater observations and altimetry-derived level height measurements. Results highlight the potential of combining multiple satellite techniques with hydrological modeling to estimate the evolution of groundwater storage.