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 $\alpha$-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 $\pi/2$ angle. Time estimated for the compound nucleus formation ranges within the order of $10^{-21}$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/