47,088 research outputs found
The influence of cracks in rotating shafts
In this paper, the influence of transverse cracks in a rotating shaft is
analysed. The paper addresses the two distinct issues of the changes in modal
properties and the influence of crack breathing on dynamic response during
operation. Moreover, the evolution of the orbit of a cracked rotor near half of
the first resonance frequency is investigated. The results provide a possible
basis for an on-line monitoring system. In order to conduct this study, the
dynamic response of a rotor with a breathing crack is evaluated by using the
alternate frequency/time domain approach. It is shown that this method
evaluates the nonlinear behaviour of the rotor system rapidly and efficiently
by modelling the breathing crack with a truncated Fourier series. The dynamic
response obtained by applying this method is compared with that evaluated
through numerical integration. The resulting orbit during transient operation
is presented and some distinguishing features of a cracked rotor are examined
Some conceptual issues in loop quantum cosmology
Loop quantum gravity is a mature theory. To proceed to explicit calculations
in cosmology, it is necessary to make assumptions and simplifications based on
the symmetries of the cosmological setting. Symmetry reduction is especially
critical when dealing with cosmological perturbations. The present article
reviews several approaches to the problem of building a consistent formalism
that describes the dynamics of perturbations on a quantum spacetime and tries
to address their respective strengths and weaknesses. We also review the main
open issues in loop quantum cosmology.Comment: Invited article for an IJMP volume dedicated to loop quantum gravit
Is the Stack Distance Between Test Case and Method Correlated With Test Effectiveness?
Mutation testing is a means to assess the effectiveness of a test suite and
its outcome is considered more meaningful than code coverage metrics. However,
despite several optimizations, mutation testing requires a significant
computational effort and has not been widely adopted in industry. Therefore, we
study in this paper whether test effectiveness can be approximated using a more
light-weight approach. We hypothesize that a test case is more likely to detect
faults in methods that are close to the test case on the call stack than in
methods that the test case accesses indirectly through many other methods.
Based on this hypothesis, we propose the minimal stack distance between test
case and method as a new test measure, which expresses how close any test case
comes to a given method, and study its correlation with test effectiveness. We
conducted an empirical study with 21 open-source projects, which comprise in
total 1.8 million LOC, and show that a correlation exists between stack
distance and test effectiveness. The correlation reaches a strength up to 0.58.
We further show that a classifier using the minimal stack distance along with
additional easily computable measures can predict the mutation testing result
of a method with 92.9% precision and 93.4% recall. Hence, such a classifier can
be taken into consideration as a light-weight alternative to mutation testing
or as a preceding, less costly step to that.Comment: EASE 201
A Geometric Approach to Sound Source Localization from Time-Delay Estimates
This paper addresses the problem of sound-source localization from time-delay
estimates using arbitrarily-shaped non-coplanar microphone arrays. A novel
geometric formulation is proposed, together with a thorough algebraic analysis
and a global optimization solver. The proposed model is thoroughly described
and evaluated. The geometric analysis, stemming from the direct acoustic
propagation model, leads to necessary and sufficient conditions for a set of
time delays to correspond to a unique position in the source space. Such sets
of time delays are referred to as feasible sets. We formally prove that every
feasible set corresponds to exactly one position in the source space, whose
value can be recovered using a closed-form localization mapping. Therefore we
seek for the optimal feasible set of time delays given, as input, the received
microphone signals. This time delay estimation problem is naturally cast into a
programming task, constrained by the feasibility conditions derived from the
geometric analysis. A global branch-and-bound optimization technique is
proposed to solve the problem at hand, hence estimating the best set of
feasible time delays and, subsequently, localizing the sound source. Extensive
experiments with both simulated and real data are reported; we compare our
methodology to four state-of-the-art techniques. This comparison clearly shows
that the proposed method combined with the branch-and-bound algorithm
outperforms existing methods. These in-depth geometric understanding, practical
algorithms, and encouraging results, open several opportunities for future
work.Comment: 13 pages, 2 figures, 3 table, journa
Certifying cost annotations in compilers
We discuss the problem of building a compiler which can lift in a provably
correct way pieces of information on the execution cost of the object code to
cost annotations on the source code. To this end, we need a clear and flexible
picture of: (i) the meaning of cost annotations, (ii) the method to prove them
sound and precise, and (iii) the way such proofs can be composed. We propose a
so-called labelling approach to these three questions. As a first step, we
examine its application to a toy compiler. This formal study suggests that the
labelling approach has good compositionality and scalability properties. In
order to provide further evidence for this claim, we report our successful
experience in implementing and testing the labelling approach on top of a
prototype compiler written in OCAML for (a large fragment of) the C language
- …