We present a generalisation of King’s symbolic execution technique called compact symbolic execution. It proceeds in two steps. First, we analyse cyclic paths in the control flow graph of a given program, independently from the rest of the program. Our goal is to compute a so called template for each such a cyclic path. A template is a declarative parametric description of all possible program ...

The control flow of programs can be represented by directed graphs. In this paper we provide a uniform and detailed formal basis for control flow graphs combining known definitions and results with new aspects. Two graph reductions are defined using only syntactical information about the graphs, but no semantical information about the represented programs. We prove some properties of reduced gr...

We present a modular framework for implementing languages with effects and control structures such as loops and conditionals. This framework enables modular definitions of both syntax and semantics as well as modular implementations of compilers and virtual machines. In order to compile control structures, in particular cyclic ones, we employ Oliveira and Cook’s purely functional representation...

In this paper the application of control theory to structural engineering has been presented from a structural engineering perspective. The objective of this paper is to summarize key steps that are required to design an active control system for a structure. Total acceleration feedback with H2/LQG controller is used in this paper. The structural control device is made of tendon/pulley system. ...

In recent years a large large amount of work on the active control of the flexible structures has been done. The concrete engineering problems that motivate this study come from very different fields: aerospace, structures, meteorology, nanotechnology, etc. An overview can be found in the book of Fuller, Elliot and Nelson [5]. The problem of active vibration control (AVC) can be set in the fram...

The study of vulnerabilities and exploitation is one of finding mechanisms affecting the flow of computation and of finding new means to perform unexpected computation. In this paper we show the extent to which exception handling mechanisms as implemented and used by gcc can be used to control program execution. We show that the data structures used to store exception handling information on UN...

Compressible large-eddy simulations of turbulent flow over a wall-mounted hump with active flow control are performed and compared to previous experiments. We consider a range of Mach numbers from 0.1 to 0.6. Control is applied just before the natural separation point via steady suction and zero-net mass flux oscillatory forcing. Compared with the baseline flow, control shortens the separation ...

Local scouring in the downstream of hydraulic structures is one of the important issues in river and hydraulic engineering, which involves a lot of costs every year, so the prediction of the rate of scour is important in hydraulic design. Side weirs are the most important of hydraulic structures that are used in passing flow. This study investigate the scouring due to falling jet from side weir...

ABSTRACT A series of experiments involving the particle image velocimetry technique are carried out to analyse the quantitative effectiveness of the synthesized vortical structures towards actual flow separation control. The streamwise vortices are synthesized from the synthetic jet actuator and introduced into the attached and separating boundary layer developed on the flat plate surface. Two ...

Motivated by Structural Statistical Software Testing (SSST), this paper is interested in sampling the feasible execution paths in the control flow graph of the program being tested. For some complex programs, the fraction of feasible paths becomes tiny, ranging in [10−10, 10−5]. When relying on the uniform sampling of the program paths, SSST is thus hindered by the non-Markovian nature of the “...