Differential Very Long Baseline Interferometry (delta VLBI) spacecraft tracking system demonstration. Part 2: Data acquisition and processing

A set of experiments in the use of Differential Very Long Baseline Interferometry (delta VLBI) for spacecraft navigation were completed. Data using both Voyager spacecraft and a single quasar were acquired during the Jupiter encounter time period. The data were processed and analyzed to assess the navigation accuracy of delta VLBI. The data reduction and techniques for assessing data quality and consistency are discussed

Stellar Oscillations Network Group

Stellar Oscillations Network Group (SONG) is an initiative aimed at designing and building a network of 1m-class telescopes dedicated to asteroseismology and planet hunting. SONG will have 8 identical telescope nodes each equipped with a high-resolution spectrograph and an iodine cell for obtaining precision radial velocities and a CCD camera for guiding and imaging purposes. The main asteroseismology targets for the network are the brightest (V<6) stars. In order to improve performance and reduce maintenance costs the instrumentation will only have very few modes of operation. In this contribution we describe the motivations for establishing a network, the basic outline of SONG and the expected performance.Comment: Proc. Vienna Workshop on the Future of Asteroseismology, 20 - 22 September 2006. Comm. in Asteroseismology, Vol. 150, in the pres

Analysis of the Gran Desierto, Pinacte Region, Sonora, Mexico, via shuttle imaging radar

The radar discriminability of geolian features and their geological setting as imaged by the SIR-A experiment is examined. The Gran Desierto and Pincate volcanio field of Sonora, Mexico was used to analyze the radar characteristics of the interplay of aeolian features and volcano terrain. The area in the Gran Desierto covers 4000 sq. km. and contains sand dunes of several forms. The Pincate volcanio field covers more than 2.000 sq. km. and consists primarily of basaltic lavas. Margins of the field, especially on the western and northern sides, include several maar and maar-like craters; thus obtaining information on their radar characteristics for comparison with impact craters

High-precision abundances of elements in Kepler LEGACY stars. Verification of trends with stellar age

HARPS-N spectra with S/N > 250 and MARCS model atmospheres were used to derive abundances of C, O, Na, Mg, Al, Si, Ca, Ti, Cr, Fe, Ni, Zn, and Y in ten stars from the Kepler LEGACY sample (including the binary pair 16 Cyg A and B) selected to have metallicities in the range -0.15 < [Fe/H] < +0.15 and ages between 1 and 7 Gyr. Stellar gravities were obtained from seismic data and effective temperatures were determined by comparing non-LTE iron abundances derived from FeI and FeII lines. Available non-LTE corrections were also applied when deriving abundances of the other elements. The results support the [X/Fe]-age relations previously found for solar twins. [Mg/Fe], [Al/Fe], and [Zn/Fe] decrease by ~0.1 dex over the lifetime of the Galactic thin disk due to delayed contribution of iron from Type Ia supernovae relative to prompt production of Mg, Al, and Zn in Type II supernovae. [Y/Mg] and [Y/Al], on the other hand, increase by ~0.3 dex, which can be explained by an increasing contribution of s-process elements from low-mass AGB stars as time goes on. The trends of [C/Fe] and [O/Fe] are more complicated due to variations of the ratio between refractory and volatile elements among stars of similar age. Two stars with about the same age as the Sun show very different trends of [X/H] as a function of elemental condensation temperature Tc and for 16 Cyg, the two components have an abundance difference, which increases with Tc. These anomalies may be connected to planet-star interactions.Comment: 13 pages with 7 figures. Accepted for publication in A&

Solar-like oscillations in the G8 V star tau Ceti

We used HARPS to measure oscillations in the low-mass star tau Cet. Although the data were compromised by instrumental noise, we have been able to extract the main features of the oscillations. We found tau Cet to oscillate with an amplitude that is about half that of the Sun, and with a mode lifetime that is slightly shorter than solar. The large frequency separation is 169 muHz, and we have identified modes with degrees 0, 1, 2, and 3. We used the frequencies to estimate the mean density of the star to an accuracy of 0.45% which, combined with the interferometric radius, gives a mass of 0.783 +/- 0.012 M_sun (1.6%).Comment: accepted for publication in A&

Adaptation of robot behaviour through online evolution and neuromodulated learning

We propose and evaluate a novel approach to the online synthesis of neural controllers for autonomous robots. We combine online evolution of weights and network topology with neuromodulated learning. We demonstrate our method through a series of simulation-based experiments in which an e-puck-like robot must perform a dynamic concurrent foraging task. In this task, scattered food items periodically change their nutritive value or become poisonous. Our results show that when neuromodulated learning is employed, neural controllers are synthesised faster than by evolution alone. We demonstrate that the online evolutionary process is capable of generating controllers well adapted to the periodic task changes. An analysis of the evolved networks shows that they are characterised by specialised modulatory neurons that exclusively regulate the output neurons.info:eu-repo/semantics/acceptedVersio

Unified Scaling Law for Earthquakes

We show that the distribution of waiting times between earthquakes occurring in California obeys a simple unified scaling law valid from tens of seconds to tens of years, see Eq. (1) and Fig. 4. The short time clustering, commonly referred to as aftershocks, is nothing but the short time limit of the general hierarchical properties of earthquakes. There is no unique operational way of distinguishing between main shocks and aftershocks. In the unified law, the Gutenberg-Richter b-value, the exponent -1 of the Omori law for aftershocks, and the fractal dimension d_f of earthquakes appear as critical indices.Comment: 4 pages, 4 figure

A theoretical approach for the interpretation of pulsating PMS intermediate-mass stars

The investigation of the pulsation properties of pre-main-sequence intermediate-mass stars is a promising tool to evaluate the intrinsic properties of these stars and to constrain current evolutionary models. Many new candidates of this class have been discovered during the last decade and very accurate data are expected from space observations obtained for example with the CoRoT satellite. In this context we aim at developing a theoretical approach for the interpretation of observed frequencies, both from the already available ground-based observations and from the future more accurate and extensive CoRoT results. To this purpose we have started a project devoted to the computations of fine and extensive grids of asteroseismic models of intermediate mass pre-main-sequence stars. The obtained frequencies are used to derive an analytical relation between the large frequency separation and the stellar luminosity and effective temperature and to develop a tool to compare theory and observations in the echelle diagram. The predictive capabilities of the proposed method are verified through the application to two test stars. As a second step, we apply the procedure to two true observations from multisite campaigns and we are able to constrain their stellar parameters, in particular the mass, in spite of the small number of frequencies. We expect that with a significantly higher number of frequencies both the stellar mass and age could be constrained and, at the same time, the physics of the models could be tested.Comment: Accepted for publication on A&

Symbolic Automata: The Toolkit

Abstract. The symbolic automata toolkit lifts classical automata anal-ysis to work modulo rich alphabet theories. It uses the power of state-of-the-art constraint solvers for automata analysis that is both expres-sive and efficient, even for automata over large finite alphabets. The toolkit supports analysis of finite symbolic automata and transducers over strings. It also handles transducers with registers. Constraint solving is used when composing and minimizing automata, and a much deeper and powerful integration is also obtained by internalizing automata as theories. The toolkit, freely available from Microsoft Research1, has re-cently been used in the context of web security for analysis of potentially malicious data over Unicode characters. Introduction. The distinguishing feature of the toolkit is the use and oper-ations with symbolic labels. This is unlike classical automata algorithms that mostly work assuming a finite alphabet. Adtantages of a symbolic representa-tion are examined in [4], where it is shown that the symbolic algorithms con