3,061 research outputs found
Pattern vectors from algebraic graph theory
Graphstructures have proven computationally cumbersome for pattern analysis. The reason for this is that, before graphs can be converted to pattern vectors, correspondences must be established between the nodes of structures which are potentially of different size. To overcome this problem, in this paper, we turn to the spectral decomposition of the Laplacian matrix. We show how the elements of the spectral matrix for the Laplacian can be used to construct symmetric polynomials that are permutation invariants. The coefficients of these polynomials can be used as graph features which can be encoded in a vectorial manner. We extend this representation to graphs in which there are unary attributes on the nodes and binary attributes on the edges by using the spectral decomposition of a Hermitian property matrix that can be viewed as a complex analogue of the Laplacian. To embed the graphs in a pattern space, we explore whether the vectors of invariants can be embedded in a low- dimensional space using a number of alternative strategies, including principal components analysis ( PCA), multidimensional scaling ( MDS), and locality preserving projection ( LPP). Experimentally, we demonstrate that the embeddings result in well- defined graph clusters. Our experiments with the spectral representation involve both synthetic and real- world data. The experiments with synthetic data demonstrate that the distances between spectral feature vectors can be used to discriminate between graphs on the basis of their structure. The real- world experiments show that the method can be used to locate clusters of graphs
Automatic Test Generation for Space
The European Space Agency (ESA) uses an engine to perform tests in the Ground
Segment infrastructure, specially the Operational Simulator. This engine uses
many different tools to ensure the development of regression testing
infrastructure and these tests perform black-box testing to the C++ simulator
implementation. VST (VisionSpace Technologies) is one of the companies that
provides these services to ESA and they need a tool to infer automatically
tests from the existing C++ code, instead of writing manually scripts to
perform tests. With this motivation in mind, this paper explores automatic
testing approaches and tools in order to propose a system that satisfies VST
needs
Analyticity of the Free Energy of a Closed 3-Manifold
The free energy of a closed 3-manifold is a 2-parameter formal power series
which encodes the perturbative Chern-Simons invariant (also known as the LMO
invariant) of a closed 3-manifold with gauge group U(N) for arbitrary . We
prove that the free energy of an arbitrary closed 3-manifold is uniformly
Gevrey-1. As a corollary, it follows that the genus part of the free energy
is convergent in a neighborhood of zero, independent of the genus. Our results
follow from an estimate of the LMO invariant, in a particular gauge, and from
recent results of Bender-Gao-Richmond on the asymptotics of the number of
rooted maps for arbitrary genus. We illustrate our results with an explicit
formula for the free energy of a Lens space. In addition, using the Painlev\'e
differential equation, we obtain an asymptotic expansion for the number of
cubic graphs to all orders, stengthening the results of Bender-Gao-Richmond.Comment: This is a contribution to the Special Issue on Deformation
Quantization, published in SIGMA (Symmetry, Integrability and Geometry:
Methods and Applications) at http://www.emis.de/journals/SIGMA
Kneadings, Symbolic Dynamics and Painting Lorenz Chaos. A Tutorial
A new computational technique based on the symbolic description utilizing
kneading invariants is proposed and verified for explorations of dynamical and
parametric chaos in a few exemplary systems with the Lorenz attractor. The
technique allows for uncovering the stunning complexity and universality of
bi-parametric structures and detect their organizing centers - codimension-two
T-points and separating saddles in the kneading-based scans of the iconic
Lorenz equation from hydrodynamics, a normal model from mathematics, and a
laser model from nonlinear optics.Comment: Journal of Bifurcations and Chaos, 201
Petri nets for systems and synthetic biology
We give a description of a Petri net-based framework for
modelling and analysing biochemical pathways, which uni¯es the qualita-
tive, stochastic and continuous paradigms. Each perspective adds its con-
tribution to the understanding of the system, thus the three approaches
do not compete, but complement each other. We illustrate our approach
by applying it to an extended model of the three stage cascade, which
forms the core of the ERK signal transduction pathway. Consequently
our focus is on transient behaviour analysis. We demonstrate how quali-
tative descriptions are abstractions over stochastic or continuous descrip-
tions, and show that the stochastic and continuous models approximate
each other. Although our framework is based on Petri nets, it can be
applied more widely to other formalisms which are used to model and
analyse biochemical networks
Model Selection for Servo Control Systems
Physically motivated models of electromechanical motion systems are required in several applications related to control design. However, the effort of modelling is high and automatic modelling would be appealing. The intuitive approach to select the model with the best fit has the shortcoming that the chosen model may be one with high complexity in which some of the parameters are not identiifable or uncertain. Also, ambiguities in selecting the model structure would lead to false conclusions. This paper proposes a strategy for frequency domain model selection ensuring practical identifiability. Also, the paper describes distinguishability analysis of candidate models utilising transfer function coecients and Markov parameters. Model selection and distinguishability analysis are applied to a class of models as they are commonly used to describe servo control systems. It is shown in experiments on an industrial stacker crane that model selection works with little user interaction, except from defining normalised hyperparameters
- …