BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems

In this report, we present work towards a framework for modeling and checking behavior of spatially distributed component systems. Design goals of our framework are the ability to model spatial behavior in a component oriented, simple and intuitive way, the possibility to automatically analyse and verify systems and integration possibilities with other modeling and verification tools. We present examples and the verification steps necessary to prove properties such as range coverage or the absence of collisions between components and technical details

Principal alarms in multivariate statistical process control

This paper describes a methodology for the simulation of multivariate out of control situations using in-control data. The method is based on finding the independent factors of the variability of the process, and shifting these factors one by one. These shifts are then translated in terms of the observed variables. The shifts provoked by the most important factors are called principal alarms. The principal alarms are plotted, visualizing the main deviations of the process. Also, a resampling procedure for ARL estimation using principal alarms is proposed. An application using a real industrial process, illustrates the usefulness of the methodology

Harmonic analysis of oscillators through standard numerical continuation tools

In this paper, we describe a numerical continuation method that enables harmonic analysis of nonlinear periodic oscillators. This method is formulated as a boundary value problem that can be readily implemented by resorting to a standard continuation package - without modification - such as AUTO, which we used. Our technique works for any kind of oscillator, including electronic, mechanical and biochemical systems. We provide two case studies. The first study concerns itself with the autonomous electronic oscillator known as the Colpitts oscillator, and the second one with a nonlinear damped oscillator, a non-autonomous mechanical oscillator. As shown in the case studies, the proposed technique can aid both the analysis and the design of the oscillators, by following curves for which a certain constraint, related to harmonic analysis, is fulfilled.Comment: 20 pages, 4 figure

Tracing the Evolution of Physics on the Backbone of Citation Networks

Many innovations are inspired by past ideas in a non-trivial way. Tracing these origins and identifying scientific branches is crucial for research inspirations. In this paper, we use citation relations to identify the descendant chart, i.e. the family tree of research papers. Unlike other spanning trees which focus on cost or distance minimization, we make use of the nature of citations and identify the most important parent for each publication, leading to a tree-like backbone of the citation network. Measures are introduced to validate the backbone as the descendant chart. We show that citation backbones can well characterize the hierarchical and fractal structure of scientific development, and lead to accurate classification of fields and sub-fields.Comment: 6 pages, 5 figure