2,719 research outputs found
Fitting in a complex chi^2 landscape using an optimized hypersurface sampling
Fitting a data set with a parametrized model can be seen geometrically as
finding the global minimum of the chi^2 hypersurface, depending on a set of
parameters {P_i}. This is usually done using the Levenberg-Marquardt algorithm.
The main drawback of this algorithm is that despite of its fast convergence, it
can get stuck if the parameters are not initialized close to the final
solution. We propose a modification of the Metropolis algorithm introducing a
parameter step tuning that optimizes the sampling of parameter space. The
ability of the parameter tuning algorithm together with simulated annealing to
find the global chi^2 hypersurface minimum, jumping across chi^2{P_i} barriers
when necessary, is demonstrated with synthetic functions and with real data
A comparative study of two formal semantics of the SIGNAL language
International audienceSIGNAL is a part of the synchronous languages family, which are broadly used in the design of safety-critical real-time systems such as avionics, space systems, and nuclear power plants. There exist several semantics for SIGNAL, such as denotational semantics based on traces (called trace semantics), denotational semantics based on tags (called tagged model semantics), operational semantics presented by structural style through an inductive definition of the set of possible transitions, operational semantics defined by synchronous transition systems (STS), etc. However, there is little research about the equivalence between these semantics.In this work, we would like to prove the equivalence between the trace semantics and the tagged model semantics, to get a determined and precise semantics of the SIGNAL language. These two semantics have several different definitions respectively, we select appropriate ones and mechanize them in the Coq platform, the Coq expressions of the abstract syntax of SIGNAL and the two semantics domains, i.e., the trace model and the tagged model, are also given. The distance between these two semantics discourages a direct proof of equivalence. Instead, we transformthem to an intermediate model, which mixes the features of both the trace semantics and the tagged model semantics. Finally, we get a determined and precise semantics of SIGNAL
Modeling Envisat RA-2 waveforms in the coastal zone: Case study of calm water contamination
This letter examines waveform data from the Envisat RA-2 as it passes
regularly over Pianosa (a 10-km 2 island in the northwestern Mediterranean).
Forty-six repeat passes were analyzed, with most showing a reduction in signal
upon passing over the island, with weak early returns corresponding to the
reflections from land. Intriguingly, one third of cases showed an anomalously
bright hyperbolic feature. This feature may be due to extremely calm waters in
the Golfo della Botte (northern side of the island), but the cause of its
intermittency is not clear. The modeling of waveforms in such a complex
land/sea environment demonstrates the potential for sea surface height
retrievals much closer to the coast than is achieved by routine processing. The
long-term development of altimetric records in the coastal zone will not only
improve the calibration of altimetric data with coastal tide gauges but also
greatly enhance the study of storm surges and other coastal phenomena
Mapping the X-Ray Emission Region in a Laser-Plasma Accelerator
The x-ray emission in laser-plasma accelerators can be a powerful tool to
understand the physics of relativistic laser-plasma interaction. It is shown
here that the mapping of betatron x-ray radiation can be obtained from the
x-ray beam profile when an aperture mask is positioned just beyond the end of
the emission region. The influence of the plasma density on the position and
the longitudinal profile of the x-ray emission is investigated and compared to
particle-in-cell simulations. The measurement of the x-ray emission position
and length provides insight on the dynamics of the interaction, including the
electron self-injection region, possible multiple injection, and the role of
the electron beam driven wakefield.Comment: 5 pages, 4 figure
Molecular dynamics approach: from chaotic to statistical properties of compound nuclei
Statistical aspects of the dynamics of chaotic scattering in the classical
model of -cluster nuclei are studied. It is found that the dynamics
governed by hyperbolic instabilities which results in an exponential decay of
the survival probability evolves to a limiting energy distribution whose
density develops the Boltzmann form. The angular distribution of the
corresponding decay products shows symmetry with respect to angle. Time
estimated for the compound nucleus formation ranges within the order of
s.Comment: 11 pages, LaTeX, non
Quadratic optimal functional quantization of stochastic processes and numerical applications
In this paper, we present an overview of the recent developments of
functional quantization of stochastic processes, with an emphasis on the
quadratic case. Functional quantization is a way to approximate a process,
viewed as a Hilbert-valued random variable, using a nearest neighbour
projection on a finite codebook. A special emphasis is made on the
computational aspects and the numerical applications, in particular the pricing
of some path-dependent European options.Comment: 41 page
REVIEW: 25 years of Sea Level Records from the Arctic Ocean Using Radar Altimetry
In recent years, there has been a large focus of the Arctic due the rapid changes of the region. The sea level of the Arctic Ocean is an important climate indicator. The Arctic sea ice is decreasing and has since 1997 experienced a steepening in the decrease. The Arctic sea level determination is challenging due to the seasonal to permanent sea ice cover, the lack of regional coverage of satellites, the satellite instruments ability to measure ice, insufficient geophysical models, residual orbit errors, challenging retracking of satellite altimeter data. We present the DTU/TUM 25-year sea level record based on satellite altimetry data in the Arctic Ocean from the ERS1 (1991) to CryoSat-2 (present) satellites. The sea level record is compared with several tide gauges and other available partial sea level records contributing to the ESA CCI Sea level initiative. We use updated geophysical corrections and a combination of altimeter data: REAPER (ERS1), ALES+ retracker (ERS2, Envisat), combined Rads and DTUs in-house retracker LARS (CryoSat-2). The ALES+ is an upgraded version of the Adaptive Leading Edge Subwaveform Retracker that has been developed to improve data quality and quantity in the coastal ocean, without degrading the results in the open ocean. ALES+ aims at retracking peaky waveforms typical of lead reflections without modifying the fitting model used in the open ocean. Finally, we discuss the seasonal and regional variations over the past 25 years in the Arctic sea level.<br/
- …