Measurement-based network clustering for active distribution systems

©2019 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.This paper presents a network clustering (NC) method for active distribution networks (ADNs). Following the outage of a section of an ADN, the method identifies and forms an optimum cluster of microgrids within the section. The optimum cluster is determined from a set of candidate microgrid clusters by estimating the following metrics: total power loss, voltage deviations, and minimum load shedding. To compute these metrics, equivalent circuits of the clusters are estimated using measured data provided by phasor measurement units (PMUs). Hence, the proposed NC method determines the optimum microgrid cluster without requiring information about the network’s topology and its components. The proposed method is tested by simulating a study network in a real-time simulator coupled to physical PMUs and a prototype algorithm implementation, also executing in real time.Peer ReviewedPostprint (author's final draft

A modular modelling framework for hypotheses testing in the simulation of urbanisation

In this paper, we present a modelling experiment developed to study systems of cities and processes of urbanisation in large territories over long time spans. Building on geographical theories of urban evolution, we rely on agent-based models to 1/ formalise complementary and alternative hypotheses of urbanisation and 2/ explore their ability to simulate observed patterns in a virtual laboratory. The paper is therefore divided into two sections : an overview of the mechanisms implemented to represent competing hypotheses used to simulate urban evolution; and an evaluation of the resulting model structures in their ability to simulate - efficiently and parsimoniously - a system of cities (the Former Soviet Union) over several periods of time (before and after the crash of the USSR). We do so using a modular framework of model-building and evolutionary algorithms for the calibration of several model structures. This project aims at tackling equifinality in systems dynamics by confronting different mechanisms with similar evaluation criteria. It enables the identification of the best-performing models with respect to the chosen criteria by scanning automatically the parameter along with the space of model structures (as combinations of modelled dynamics).Comment: 21 pages, 3 figures, working pape

Software integration testing based on communication coverage criteria and partial model generation

This paper considers the problem of integration testing the components of a timed distributed software system. We assume that communication between the components is specified using timed interface automata and use computational tree logic (CTL) to define communication-based coverage criteria that refer to send- and receive-statements and communication paths. The proposed method enables testers to focus during component integration on such parts of the specification, e.g. behaviour specifications or Markovian usage models, that are involved in the communication between components to be integrated. A more specific application area of this approach is the integration of test-models, e.g. a transmission gear can be tested based on separated models for the driver behaviour, the engine condition, and the mechanical and hydraulical transmission states. Given such a state-based specification of a distributed system and a concrete coverage goal, a model checker is used in order to determine the coverage or generate test sequences that achieve the goal. Given the generated test sequences we derive a partial test-model of the components from which the test sequences are derived. The partial model can be used to drive further testing and can also be used as the basis for producing additional partial models in incremental integration testing. While the process of deriving the test sequences could suffer from a combinatorial explosion, the effort required to generate the partial model is polynomial in the number of test sequences and their length. Thus, where it is not feasible to produce test sequences that achieve a given type of coverage it is still possible to produce a partial model on the basis of test sequences generated to achieve some other criterion. As a result, the process of generating a partial model has the potential to scale to large industrial software systems. While a particular model checker, UPPAAL, was used, it should be relatively straightforward to adapt the approach for use with other CTL based model checkers. A potential additional benefit of the approach is that it provides a visual description of the state-based testing of distributed systems, which may be beneficial in other contexts such as education and comprehension

Applications of computer-graphics animation for motion-perception research

The advantages and limitations of using computer animated stimuli in studying motion perception are presented and discussed. Most current programs of motion perception research could not be pursued without the use of computer graphics animation. Computer generated displays afford latitudes of freedom and control that are almost impossible to attain through conventional methods. There are, however, limitations to this presentational medium. At present, computer generated displays present simplified approximations of the dynamics in natural events. Very little is known about how the differences between natural events and computer simulations influence perceptual processing. In practice, the differences are assumed to be irrelevant to the questions under study, and that findings with computer generated stimuli will generalize to natural events

On the accuracy of simulations of turbulence

The widely recognized issue of adequate spatial resolution in numerical simulations of turbulence is studied in the context of two-dimensional magnetohydrodynamics. The familiar criterion that the dissipation scale should be resolved enables accurate computation of the spectrum, but fails for precise determination of higher-order statistical quantities. Examination of two straightforward diagnostics, the maximum of the kurtosis and the scale-dependent kurtosis, enables the development of simple tests for assessing adequacy of spatial resolution. The efficacy of the tests is confirmed by examining a sample problem, the distribution of magnetic reconnection rates in turbulence. Oversampling the Kolmogorov dissipation scale by a factor of 3 allows accurate computation of the kurtosis, the scale-dependent kurtosis, and the reconnection rates. These tests may provide useful guidance for resolution requirements in many plasma computations involving turbulence and reconnection