Reproducible SUmmation under HUB Format

Version diferente del paper presentado en el congresoFloating point reproducibility is a property claimed by programmers and end users. Half-Unit-Biased (HUB) is a new representation format in which the round to nearest is carried out by truncation, preventing any carry propagation and saving time and area. In this paper we study the reproducible summation of HUB numbers by using a errorfree vector transformation technique, providing both a specific architecture and the usage of combined HUB/Standard floating point adders to achieve a reproducible resultUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Development and stability of gyrotactic plumes in bioconvection

Using the continuum model of Pedley, Hill and Kessler (1988) for bioconvection in a suspension of swimming, gyrotactic micro-organisms, we investigate the existence and stability of a two-dimensional plume in tall, narrow chambers with stress-free sidewalls. The system is governed by the Navier–Stokes equations for an incompressible fluid coupled with a micro-organism conservation equation. These equations are solved numerically using a conservative finite-difference scheme. In sufficiently deep chambers, the plume is always unstable to both varicose and meandering modes. A linear stability analysis for an infinitely long plume predicts the growth rates of these instabilities, explains the mechanisms, and is in good agreement with the numerical results

Critical Behaviour of the Fuzzy Sphere

We study a multi-matrix model whose low temperature phase is a fuzzy sphere that undergoes an evaporation transition as the temperature is increased. We investigate finite size scaling of the system as the limiting temperature of stability of the fuzzy sphere phase is approached. We find on theoretical grounds that the system should obey scaling with specific heat exponent \alpha=1/2, shift exponent \bar \lambda=4/3 and that the peak in the specific heat grows with exponent \bar \omega=2/3. Using hybrid Monte Carlo simulations we find good collapse of specific heat data consistent with a scaling ansatz which give our best estimates for the scaling exponents as \alpha=0.50 \pm 0.01,\bar \lambda=1.41 \pm 0.08 and \bar \omega=0.66 \pm 0.08 .Comment: 30 pages, 10 figure

Estimating numerical integration errors

Algorithm for use in estimating accumulated numerical integration error

Weak Lensing Analysis of the z~0.8 cluster CL 0152-1357 with the Advanced Camera for Surveys

We present a weak lensing analysis of the X-ray luminous cluster CL 0152-1357 at z~0.84 using HST/ACS observations. The unparalleled resolution and sensitivity of ACS enable us to measure weakly distorted, faint background galaxies to the extent that the number density reaches ~175 arcmin^-2. The PSF of ACS has a complicated shape that also varies across the field. We construct a PSF model for ACS from an extensive investigation of 47 Tuc stars in a modestly crowded region. We show that this model PSF excellently describes the PSF variation pattern in the cluster observation when a slight adjustment of ellipticity is applied. The high number density of source galaxies and the accurate removal of the PSF effect through moment-based deconvolution allow us to restore the dark matter distribution of the cluster in great detail. The direct comparison of the mass map with the X-ray morphology from Chandra observations shows that the two peaks of intracluster medium traced by X-ray emission are lagging behind the corresponding dark matter clumps, indicative of an on-going merger. The overall mass profile of the cluster can be well described by an NFW profile with a scale radius of r_s =309+-45 kpc and a concentration parameter of c=3.7+-0.5. The mass estimates from the lensing analysis are consistent with those from X-ray and Sunyaev-Zeldovich analyses. The predicted velocity dispersion is also in good agreement with the spectroscopic measurement from VLT observations. In the adopted WMAP cosmology, the total projected mass and the mass-to-light ratio within 1 Mpc are estimated to be 4.92+-0.44 10^14 solar mass and 95+-8 solar mass/solar luminosity, respectively.Comment: Accepted for publication in Astrophysical Journal. 58 pages, 26 figures. Figures have been degraded to meet size limit; a higher resolution version available at http://acs.pha.jhu.edu/~mkjee/ms_cl0152.pd

Investigation of continuously traversing microphone system for mode measurement

The continuously Traversing Microphone System consists of a data acquisition and processing method for obtaining the modal coefficients of the discrete, coherent acoustic field in a fan inlet duct. The system would be used in fan rigs or full scale engine installations where present measurement methods, because of the excessive number of microphones and long test times required, are not feasible. The purpose of the investigation reported here was to develop a method for defining modal structure by means of a continuously traversing microphone system and to perform an evaluation of the method, based upon analytical studies and computer simulated tests. A variety of system parameters were examined, and the effects of deviations from ideal were explored. Effects of traverse speed, digitizing rate, run time, roundoff error, calibration errors, and random noise background level were determined. For constant fan operating speed, the sensitivity of the method to normal errors and deviations was determined to be acceptable. Good recovery of mode coefficients was attainable. Fluctuating fan speed conditions received special attention, and it was concluded that by employing suitable time delay procedures, satisfactory information on mode coefficients can be obtained under realistic conditions. A plan for further development involving fan rig tests was prepared

All-propulsion design of the drag-free and attitude control of the European satellite GOCE

This paper concerns the drag-free and attitude control (DFAC) of the European Gravity field and steady-state Ocean Circulation Explorer satellite (GOCE), during the science phase. GOCE aims to determine the Earth's gravity field with high accuracy and spatial resolution, through complementary space techniques such as gravity gradiometry and precise orbit determination. Both techniques rely on accurate attitude and drag-free control, especially in the gradiometer measurement bandwidth (5-100mHz), where non-gravitational forces must be counteracted down to micronewton, and spacecraft attitude must track the local orbital reference frame with micro-radian accuracy. DFAC aims to enable the gravity gradiometer to operate so as to determine the Earth's gravity field especially in the so-called measurement bandwidth (5-100mHz), making use of ion and micro-thruster actuators. The DFAC unit has been designed entirely on a simplified discrete-time model (Embedded Model) derived from the fine dynamics of the spacecraft and its environment; the relevant control algorithms are implemented and tuned around the Embedded Model, which is the core of the control unit. The DFAC has been tested against uncertainties in spacecraft and environment and its code has been the preliminary model for final code development. The DFAC assumes an all-propulsion command authority, partly abandoned by the actual GOCE control system because of electric micro-propulsion not being fully developed. Since all-propulsion authority is expected to be imperative for future scientific and observation missions, design and simulated results are believed to be of interest to the space communit

Toward a Robust Sparse Data Representation for Wireless Sensor Networks

Compressive sensing has been successfully used for optimized operations in wireless sensor networks. However, raw data collected by sensors may be neither originally sparse nor easily transformed into a sparse data representation. This paper addresses the problem of transforming source data collected by sensor nodes into a sparse representation with a few nonzero elements. Our contributions that address three major issues include: 1) an effective method that extracts population sparsity of the data, 2) a sparsity ratio guarantee scheme, and 3) a customized learning algorithm of the sparsifying dictionary. We introduce an unsupervised neural network to extract an intrinsic sparse coding of the data. The sparse codes are generated at the activation of the hidden layer using a sparsity nomination constraint and a shrinking mechanism. Our analysis using real data samples shows that the proposed method outperforms conventional sparsity-inducing methods.Comment: 8 page

Low thrust orbit determination program

Logical flow and guidelines are provided for the construction of a low thrust orbit determination computer program. The program, tentatively called FRACAS (filter response analysis for continuously accelerating spacecraft), is capable of generating a reference low thrust trajectory, performing a linear covariance analysis of guidance and navigation processes, and analyzing trajectory nonlinearities in Monte Carlo fashion. The choice of trajectory, guidance and navigation models has been made after extensive literature surveys and investigation of previous software. A key part of program design relied upon experience gained in developing and using Martin Marietta Aerospace programs: TOPSEP (Targeting/Optimization for Solar Electric Propulsion), GODSEP (Guidance and Orbit Determination for SEP) and SIMSEP (Simulation of SEP)