Gunrock: GPU Graph Analytics

For large-scale graph analytics on the GPU, the irregularity of data access and control flow, and the complexity of programming GPUs, have presented two significant challenges to developing a programmable high-performance graph library. "Gunrock", our graph-processing system designed specifically for the GPU, uses a high-level, bulk-synchronous, data-centric abstraction focused on operations on a vertex or edge frontier. Gunrock achieves a balance between performance and expressiveness by coupling high performance GPU computing primitives and optimization strategies with a high-level programming model that allows programmers to quickly develop new graph primitives with small code size and minimal GPU programming knowledge. We characterize the performance of various optimization strategies and evaluate Gunrock's overall performance on different GPU architectures on a wide range of graph primitives that span from traversal-based algorithms and ranking algorithms, to triangle counting and bipartite-graph-based algorithms. The results show that on a single GPU, Gunrock has on average at least an order of magnitude speedup over Boost and PowerGraph, comparable performance to the fastest GPU hardwired primitives and CPU shared-memory graph libraries such as Ligra and Galois, and better performance than any other GPU high-level graph library.Comment: 52 pages, invited paper to ACM Transactions on Parallel Computing (TOPC), an extended version of PPoPP'16 paper "Gunrock: A High-Performance Graph Processing Library on the GPU

The GreatSPN tool: recent enhancements

GreatSPN is a tool that supports the design and the qualitative and quantitative analysis of Generalized Stochastic Petri Nets (GSPN) and of Stochastic Well-Formed Nets (SWN). The very first version of GreatSPN saw the light in the late eighties of last century: since then two main releases where developed and widely distributed to the research community: GreatSPN1.7 [13], and GreatSPN2.0 [8]. This paper reviews the main functionalities of GreatSPN2.0 and presents some recently added features that significantly enhance the efficacy of the tool

Information transmission methods with through the use of stochastic signals

The paper provides an overview of information transmission methods through the use of the noise carrier proposed by researchers from the middle of the last century to the present day. It is shown that the main areas of application of autocorrelation systems with the noise carrier is the confidential communication system construction, where the protection of the transmitted information from intercepting and protection of the channel from the extraneous information injecting are of priority. Methods of information transfer, discussed in the paper, allow solving the problem of sustainable communication in difficult conditions of signal propagation with simple technical means, especially in multipath channels. The paper studies the most urgent theoretical and practical problems relating to communication systems with the noise carrier

Asynchronous variational integration using continuous assumed gradient elements

AbstractAsynchronous variational integration (AVI) is a tool which improves the numerical efficiency of explicit time stepping schemes when applied to finite element meshes with local spatial refinement. This is achieved by associating an individual time step length to each spatial domain. Furthermore, long-term stability is ensured by its variational structure. This article presents AVI in the context of finite elements based on a weakened weak form (W2) Liu (2009) [1], exemplified by continuous assumed gradient elements Wolff and Bucher (2011) [2]. The article presents the main ideas of the modified AVI, gives implementation notes and a recipe for estimating the critical time step

The Impact of Renewable Power Generation and Extreme Weather Events on the Stability and Resilience of AC Power Grids

Der erste Teil dieser Arbeit beschäftigt sich mit der Frage, welchen Einfluss kurzzeitige Schwankungen der erneuerbaren Energiequellen auf die synchrone Netzfrequenz haben. Zu diesem Zweck wird eine lineare Antworttheorie für stochastische Störungen von dynamischen Systemen auf Netzwerken hergeleitet. Anschließend wird diese Theorie verwendet, um den Einfluss von kurzfristigen Wind- und Sonnenschwankungen auf die Netzdynamik zu analysieren. Hierbei wird gezeigt, dass die Frequenzantwort des Netzes weitestgehend homogen ist, aber die Anfälligkeit für Leistungsschwankungen aufgrund von Leitungsverlusten entlang des Leistungsflusses zunimmt. Der zweite Teil der Arbeit befasst sich mit der Modellierung von netzbildenden Wechselrichterregelungen. Bislang existiert kein universelles Modell zur Beschreibung der kollektiven Dynamik solcher Systeme. Um dies zu erreichen, wird unter Ausnutzung der inhärenten Symmetrie des synchronen Betriebszustandes eine Normalform für netzbildende Akteure abgeleitet. Anschließend wird gezeigt, dass dieses Modell eine gute Annäherung an typische Wechselrichter-Dynamiken bietet, aber auch für eine datengesteuerte Modellierung gut geeignet ist. Der letzte Teil der Arbeit befasst sich mit der Analyse des Risikos von Stromausfällen, welche durch Hurrikans verursacht werden. Hohe Windgeschwindigkeiten verursachen häufig Schäden an der Übertragungsinfrastruktur, welche wiederum zu Überlastungen anderer Komponenten führen und damit eine Kaskade von Ausfällen im gesamten Netz auslösen können. Simulationen solcher Szenarien werden durch die Kombination eines meteorologischen Windmodells sowie eines Modells für kaskadierende Leitungsausfälle durchgeführt. Durch Monte-Carlo-Simulationen in einer synthetischen Nachbildung des texanischen Übertragungsnetzes können einzelne kritische Leitungen identifiziert werden, welche zu großflächigen Stromausfällen führen.The first part of this thesis addresses the question which impact short-term renewable fluctuations have on the synchronous grid frequency. For this purpose, a linear response theory for stochastic perturbations of networked dynamical systems is derived. This theory is then used to analyze the impact of short-term wind and solar fluctuations on the grid frequency. It is shown that while the network frequency response is mainly homogenous, the susceptibility to power fluctuations is increasing along the power flow due to transmission line losses. The second part of the thesis is concerned with modeling grid-forming inverter controls. So far there exists no universal model for studying the collective dynamics of such systems. By utilizing the inherent symmetry of the synchronous operating state, a normal form for grid-forming actors is derived. It is shown that this model provides a useful approximation of certain inverter control dynamics but is also well-suited for a data-driven modeling approach. The last part of the thesis deals with analyzing the risk of hurricane-induced power outages. High wind speeds often cause damage to transmission infrastructure which can lead to overloads of other components and thereby induce a cascade of failures spreading through the entire grid. Simulations of such scenarios are implemented by combining a meteorological wind field model with a model for cascading line failures. Using Monte Carlo simulations in a synthetic test case resembling the Texas transmission system, it is possible to identify critical lines that trigger large-scale power outages

Stabilizability of Markov jump linear systems modeling wireless networked control scenarios (extended version)

The communication channels used to convey information between the components of wireless networked control systems (WNCSs) are subject to packet losses due to time-varying fading and interference. The WNCSs with missing packets can be modeled as Markov jump linear systems with one time-step delayed mode observations. While the problem of the optimal linear quadratic regulation for such systems has been already solved, we derive the necessary and sufficient conditions for stabilizability. We also show, with an example considering a communication channel model based on WirelessHART (a on-the-market wireless communication standard specifically designed for process automation), that such conditions are essential to the analysis of WNCSs where packet losses are modeled with Bernoulli random variables representing the expected value of the real random process governing the channel.Comment: Extended version of the paper accepted for the presentation at the 58th IEEE Conference on Decision and Control (CDC 2019