165,568 research outputs found

    Causality detection and turbulence in fusion plasmas

    Full text link
    This work explores the potential of an information-theoretical causality detection method for unraveling the relation between fluctuating variables in complex nonlinear systems. The method is tested on some simple though nonlinear models, and guidelines for the choice of analysis parameters are established. Then, measurements from magnetically confined fusion plasmas are analyzed. The selected data bear relevance to the all-important spontaneous confinement transitions often observed in fusion plasmas, fundamental for the design of an economically attractive fusion reactor. It is shown how the present method is capable of clarifying the interaction between fluctuating quantities such as the turbulence amplitude, turbulent flux, and Zonal Flow amplitude, and uncovers several interactions that were missed by traditional methods.Comment: 26 pages, 14 figure

    Event-Driven Network Programming

    Full text link
    Software-defined networking (SDN) programs must simultaneously describe static forwarding behavior and dynamic updates in response to events. Event-driven updates are critical to get right, but difficult to implement correctly due to the high degree of concurrency in networks. Existing SDN platforms offer weak guarantees that can break application invariants, leading to problems such as dropped packets, degraded performance, security violations, etc. This paper introduces EVENT-DRIVEN CONSISTENT UPDATES that are guaranteed to preserve well-defined behaviors when transitioning between configurations in response to events. We propose NETWORK EVENT STRUCTURES (NESs) to model constraints on updates, such as which events can be enabled simultaneously and causal dependencies between events. We define an extension of the NetKAT language with mutable state, give semantics to stateful programs using NESs, and discuss provably-correct strategies for implementing NESs in SDNs. Finally, we evaluate our approach empirically, demonstrating that it gives well-defined consistency guarantees while avoiding expensive synchronization and packet buffering
    • …
    corecore