PRETTY: Grazing altimetry measurements based on the interferometric method

The exploitation of signals stemming from global navigation systems for passive bistatic radar applications has beenproposed and implemented within numerous studies. The fact that such missions do not rely on high power amplifiersand that the need of high gain antennas with large geometrical dimensions can be avoided, makes them suitable forsmall satellite missions. Applications where a continuous high coverage is needed, as for example disaster warning,have the demand for a large number of satellites in orbit, which in turn requires small and relatively low cost satellites.The proposed PRETTY (Passive Reflectometry and Dosimetry) mission includes a demonstrator payload for passivereflectometry and scatterometry focusing on very low incidence angles whereby the direct and reflected signal will bereceived via the same antenna. The correlation of both signals will be done by a specific FPGA based hardwareimplementation. The demonstration of a passive reflectometer without the use of local code replica implicitly showsthat also signals of unknown data modulation can be exploited for such a purpose.The PRETTY mission is proposed by an Austrian consortium with RUAG GmbH as prime contractor, relying on theresults from a previous CubeSat mission (OPS-SAT) conducted by TU Graz under ESA contract [18]. Within thepresent paper we will describe the architecture of the passive reflectometer payload within this 3U CubeSat mission anddiscuss operational routines and constraints to be elaborated in the frame of the proposed activity

Sequential approach to joint flow-seismic inversion for improved characterization of fractured media

Seismic interpretation of subsurface structures is traditionally performed without any account of flow behavior. Here we present a methodology for characterizing fractured geologic reservoirs by integrating flow and seismic data. The key element of the proposed approach is the identification—within the inversion—of the intimate relation between fracture compliance and fracture transmissivity, which determine the acoustic and flow responses of a fractured reservoir, respectively. Owing to the strong (but highly uncertain) dependence of fracture transmissivity on fracture compliance, the modeled flow response in a fractured reservoir is highly sensitive to the geophysical interpretation. By means of synthetic models, we show that by incorporating flow data (well pressures and tracer breakthrough curves) into the inversion workflow, we can simultaneously reduce the error in the seismic interpretation and improve predictions of the reservoir flow dynamics. While the inversion results are robust with respect to noise in the data for this synthetic example, the applicability of the methodology remains to be tested for more complex synthetic models and field cases.Eni-MIT Energy Initiative Founding Member ProgramKorea (South). Ministry of Land, Transportation and Maritime Affairs (15AWMP-B066761-03

Static Compiler Analyses for Application-specific Optimization of Task-Parallel Runtime Systems

Achieving high performance in task-parallel runtime systems, especially with high degrees of parallelism and fine-grained tasks, requires tuning a large variety of behavioral parameters according to program characteristics. In the current state of the art, this tuning is generally performed in one of two ways: either by a group of experts who derive a single setup which achieves good - but not optimal - performance across a wide variety of use cases, or by monitoring a systems behavior at runtime and responding to it. The former approach invariably fails to achieve optimal performance for programs with highly distinct execution patterns, while the latter induces overhead and cannot affect parameters which need to be set at compile time. In order to mitigate these drawbacks, we propose a set of novel static compiler analyses specifically designed to determine program features which affect the optimal settings for a task-parallel execution environment. These features include the parallel structure of task spawning, the granularity of individual tasks, the memory size of the closure required for task parameters, and an estimate of the stack size required per task. Based on the result of these analyses, various runtime system parameters are then tuned at compile time. We have implemented this approach in the Insieme compiler and runtime system, and evaluated its effectiveness on a set of 12 task parallel benchmarks running with 1 to 64 hardware threads. Across this entire space of use cases, our implementation achieves a geometric mean performance improvement of 39%. To illustrate the impact of our optimizations, we also provide a comparison to current state-of-the art task-parallel runtime systems, including OpenMP, Cilk, HPX, and Intel TBB.(VLID)4655707Version of recor