12 research outputs found

    Computation of Performance Bounds for Real-Time Systems Using Time Petri Nets

    Full text link

    SAN models of communication scenarios inside the Electrical Power System

    Get PDF
    This report provides all the details about the models and the quantitative results presented in [1], about the simulation of communication scenarios inside the Electrical Power System. In particular, the scenarios deal with the communication between one area control centre and a set of substations in a distribution grid, exchanging commands and signals by means of a redundant communication network. The communication may be affected by threats such as the communication network failure, or intrusions into the communication, causing the loss of commands or signals. The scenarios have been modeled and simulated in form of Stochastic Activity Networks, with the purpose of evaluating the effects of such threats on the communication reliability

    Service-level availability estimation of GPRS

    Full text link

    Numerical Modelling of Two-Phase Flow with Moving Boundary Fitted Meshes

    Get PDF
    In this thesis, a computational approach is used to study two-phase flow including phase change by direct numerical simulation. This approach follows the interface with an adaptive moving mesh. The incompressible Navier-Stokes equations are solved, in two-dimensional and axisymmetric geometries, using the Finite Element Method (FEM). The computational domain is discretized using an unstructured triangular mesh and the mini element is used to satisfy the "inf-sup" compatibility condition. A combination of smoothing mesh velocities and remeshing is used to preserve the mesh quality. Adaptive mesh refinement is used to keep the mesh sufficiently refined where needed. Mesh adaptation strategies, allowing to control the refinement of the computational mesh, are discussed in the context of specific applications. The accurate representation of the interface between the phases is a key issue to model surface tension dominated flows. Here, the interface is represented explicitly by nodes and segments that are a subset of the computational mesh and a sharp transition of the fluid properties can be achieved. The surface tension force is included as a singular volume force, like in the continuum model (CSF). The present discretization is shown to allow for exact equilibrium (up to rounding errors) between the pressure and surface tension terms. This is important in order to suppress spurious currents, which are a common issue in computational two-phase flow. However, an exact computation of the interface curvature is necessary for the spurious currents to be numerically zero. The curvature of the interface, is efficiently and accurately computed by using the Frenet-Serret formulas. A phase change model is implemented via a source term in the continuity equation, which is computed from the jump in conductive heat flux at the interface. The presented approach is shown to provide an accurate description of different two-phase flow phenomena, including phase change, and to handle cases with large material property ratios. Accuracy and robustness of the present method are demonstrated on several benchmark cases, where the results are compared to analytical or semi-analytical solutions and experimental data

    Housing and Human Settlements in a World of Change

    Get PDF
    The challenge of housing is increasingly recognised in international policy discussions in connection to the processes of migration, climate change, and economic globalisation. This book addresses the challenges of housing and emerging solutions along the lines of three major dynamics: migration, climate change, and neo-liberalism. It explores the outcomes of neo-liberal »enabling« ideas, responses to extreme climate events with different housing approaches, and how the dynamics of migration reshape the urban housing provision in a changing world. The aim is to contextualise the theoretical discourses by reflecting on the case study context of the eleven papers published in this book. With forewords by Raquel Rolnik (University Sao Paulo) and Mohammed El Sioufi (UN-Habitat)

    Housing and Human Settlements in a World of Change

    Get PDF
    The challenge of housing is increasingly recognised in international policy discussions in connection to the processes of migration, climate change, and economic globalisation. This book addresses the challenges of housing and emerging solutions along the lines of three major dynamics: migration, climate change, and neo-liberalism. It explores the outcomes of neo-liberal "enabling" ideas, responses to extreme climate events with different housing approaches, and how the dynamics of migration reshape the urban housing provision in a changing world. The aim is to contextualise the theoretical discourses by reflecting on the case study context of the eleven papers published in this book. With forewords by Raquel Rolnik (University Sao Paulo) and Mohammed El Sioufi (UN-Habitat)

    Housing and Human Settlements in a World of Change

    Get PDF
    The challenge of housing is increasingly recognised in international policy discussions in connection to the processes of migration, climate change, and economic globalisation. This book addresses the challenges of housing and emerging solutions along the lines of three major dynamics: migration, climate change, and neo-liberalism. It explores the outcomes of neo-liberal »enabling« ideas, responses to extreme climate events with different housing approaches, and how the dynamics of migration reshape the urban housing provision in a changing world. The aim is to contextualise the theoretical discourses by reflecting on the case study context of the eleven papers published in this book. With forewords by Raquel Rolnik (University Sao Paulo) and Mohammed El Sioufi (UN-Habitat)
    corecore