4,237 research outputs found
Amorphous slicing of extended finite state machines
Slicing is useful for many Software Engineering applications and has been widely studied for three decades, but there has been comparatively little work on slicing Extended Finite State Machines (EFSMs). This paper introduces a set of dependency based EFSM slicing algorithms and an accompanying tool. We demonstrate that our algorithms are suitable for dependence based slicing. We use our tool to conduct experiments on ten EFSMs, including benchmarks and industrial EFSMs. Ours is the first empirical study of dependence based program slicing for EFSMs. Compared to the only previously published dependence based algorithm, our average slice is smaller 40% of the time and larger only 10% of the time, with an average slice size of 35% for termination insensitive slicing
Convolutional Neural Network on Three Orthogonal Planes for Dynamic Texture Classification
Dynamic Textures (DTs) are sequences of images of moving scenes that exhibit
certain stationarity properties in time such as smoke, vegetation and fire. The
analysis of DT is important for recognition, segmentation, synthesis or
retrieval for a range of applications including surveillance, medical imaging
and remote sensing. Deep learning methods have shown impressive results and are
now the new state of the art for a wide range of computer vision tasks
including image and video recognition and segmentation. In particular,
Convolutional Neural Networks (CNNs) have recently proven to be well suited for
texture analysis with a design similar to a filter bank approach. In this
paper, we develop a new approach to DT analysis based on a CNN method applied
on three orthogonal planes x y , xt and y t . We train CNNs on spatial frames
and temporal slices extracted from the DT sequences and combine their outputs
to obtain a competitive DT classifier. Our results on a wide range of commonly
used DT classification benchmark datasets prove the robustness of our approach.
Significant improvement of the state of the art is shown on the larger
datasets.Comment: 19 pages, 10 figure
The Final Remnant of Binary Black Hole Mergers: Multipolar Analysis
Methods are presented to define and compute source multipoles of dynamical
horizons in numerical relativity codes, extending previous work from the
isolated and dynamical horizon formalisms in a manner that allows for the
consideration of horizons that are not axisymmetric. These methods are then
applied to a binary black hole merger simulation, providing evidence that the
final remnant is a Kerr black hole, both through the (spatially)
gauge-invariant recovery of the geometry of the apparent horizon, and through a
detailed extraction of quasinormal ringing modes directly from the strong-field
region.Comment: 12 pages, 13 figures. Published version. Some references have been
added and reordered, and the figures cleaned up
A multi-block infrastructure for three-dimensional time-dependent numerical relativity
We describe a generic infrastructure for time evolution simulations in
numerical relativity using multiple grid patches. After a motivation of this
approach, we discuss the relative advantages of global and patch-local tensor
bases. We describe both our multi-patch infrastructure and our time evolution
scheme, and comment on adaptive time integrators and parallelisation. We also
describe various patch system topologies that provide spherical outer and/or
multiple inner boundaries.
We employ penalty inter-patch boundary conditions, and we demonstrate the
stability and accuracy of our three-dimensional implementation. We solve both a
scalar wave equation on a stationary rotating black hole background and the
full Einstein equations. For the scalar wave equation, we compare the effects
of global and patch-local tensor bases, different finite differencing
operators, and the effect of artificial dissipation onto stability and
accuracy. We show that multi-patch systems can directly compete with the
so-called fixed mesh refinement approach; however, one can also combine both.
For the Einstein equations, we show that using multiple grid patches with
penalty boundary conditions leads to a robustly stable system. We also show
long-term stable and accurate evolutions of a one-dimensional non-linear gauge
wave. Finally, we evolve weak gravitational waves in three dimensions and
extract accurate waveforms, taking advantage of the spherical shape of our grid
lines.Comment: 18 pages. Some clarifications added, figure layout improve
- ā¦