Optimisation of patch distribution strategies for AMR applications

As core counts increase in the world's most powerful supercomputers, applications are becoming limited not only by computational power, but also by data availability. In the race to exascale, efficient and effective communication policies are key to achieving optimal application performance. Applications using adaptive mesh refinement (AMR) trade off communication for computational load balancing, to enable the focused computation of specific areas of interest. This class of application is particularly susceptible to the communication performance of the underlying architectures, and are inherently difficult to scale efficiently. In this paper we present a study of the effect of patch distribution strategies on the scalability of an AMR code. We demonstrate the significance of patch placement on communication overheads, and by balancing the computation and communication costs of patches, we develop a scheme to optimise performance of a specific, industry-strength, benchmark application

An assessment of static Precise Point Positioning using GPS only, GLONASS only, and GPS plus GLONASS

The aim of this paper is to look into the achievable repeatability and accuracy from Precise Point Positioning (PPP) daily solutions when using GPS only (PPP GPS), GLONASS only (PPP GLO), and GPS plus GLONASS (PPP GPS+GLO) for static positioning. As part of the assessment, a comparison with global double difference (DD) GPS daily solutions is presented. It is shown, therefore, that all of the PPP daily solutions can achieve millimetric level repeatability, similar to the global DD GPS solutions. Furthermore, the mean of the biases between the PPP daily solutions and the global DD GPS daily solutions are constellation type dependent, while an improvement is found in the vertical component for PPP GPS+GLO over PPP GLO, as the latter may be more affected by any imperfections in the models for GLONASS antenna phase centre variations. It is concluded that PPP GLO daily solutions have the ability to be used as independent solutions to PPP GPS daily solutions for static positioning, and as an alternative to PPP GPS+GLO or global DD GPS daily solutions

Multilevel Contracts for Trusted Components

This article contributes to the design and the verification of trusted components and services. The contracts are declined at several levels to cover then different facets, such as component consistency, compatibility or correctness. The article introduces multilevel contracts and a design+verification process for handling and analysing these contracts in component models. The approach is implemented with the COSTO platform that supports the Kmelia component model. A case study illustrates the overall approach.Comment: In Proceedings WCSI 2010, arXiv:1010.233

Reliability Analysis of Component-Based Systems with Multiple Failure Modes

This paper presents a novel approach to the reliability modeling and analysis of a component-based system that allows dealing with multiple failure modes and studying the error propagation among components. The proposed model permits to specify the components attitude to produce, propagate, transform or mask different failure modes. These component-level reliability specifications together with information about systems global structure allow precise estimation of reliability properties by means of analytical closed formulas, probabilistic modelchecking or simulation methods. To support the rapid identification of components that could heavily affect systems reliability, we also show how our modeling approach easily support the automated estimation of the system sensitivity to variations in the reliability properties of its components. The results of this analysis allow system designers and developers to identify critical components where it is worth spending additional improvement efforts

On biases in precise point positioning with multi-constellation and multi-frequency GNSS data

© 2016 IOP Publishing Ltd. Various types of biases in Global Navigation Satellite System (GNSS) data preclude integer ambiguity fixing and degrade solution accuracy when not being corrected during precise point positioning (PPP). In this contribution, these biases are first reviewed, including satellite and receiver hardware biases, differential code biases, differential phase biases, initial fractional phase biases, inter-system receiver time biases, and system time scale offset. PPP models that take account of these biases are presented for two cases using ionosphere-free observations. The first case is when using primary signals that are used to generate precise orbits and clock corrections. The second case applies when using additional signals to the primary ones. In both cases, measurements from single and multiple constellations are addressed. It is suggested that the satellite-related code biases be handled as calibrated quantities that are obtained from multi-GNSS experiment products and the fractional phase cycle biases obtained from a network to allow for integer ambiguity fixing. Some receiver-related biases are removed using between-satellite single differencing, whereas other receiver biases such as inter-system biases are lumped with differential code and phase biases and need to be estimated. The testing results show that the treatment of biases significantly improves solution convergence in the float ambiguity PPP mode, and leads to ambiguity-fixed PPP within a few minutes with a small improvement in solution precision

Simulation for training in sinus floor elevation : new surgical bench model

Objectives: to describe a bench model (workshop of abilities) for sinus floor elevation (SFE) training that simulates the surgical environment and to assess its effectiveness in terms of trainees? perception. Study design: thirty-six randomly selected postgraduate students entered this cross-sectional pilot study and asked to fill in an anonymous, self-applied, 12-item questionnaire about a SFE workshop that included a study guide containing the workshop?s details, supervised practice on a simulated surgical environment, and assessment by means of specific check-lists. Results: Thirtiy-six fresh sheep heads were prepared to allow access to the buccal vestible. Using the facial tuber, third premolar and a 3D-CT study as landmarks for trepanation, the sinus membrane was lifted, the space filled with ceramic material and closed with a resorbable membrane. The participants agreed on their ability to perform SFE in a simulated situation (median score= 4.5; range 2-5) and felt capable to teach the technique to other clinicians or to undertake the procedure for a patient under supervision of an expert surgeon (median= 4; range 1-5 ). There were no differences on their perceived ability to undertake the technique on a model or on a real patient under supervision of an expert surgeon (p=0.36). Conclusions: Clinical abilities workshops for SFE teaching are an essential educational tool but supervised clinical practice should always precede autonomous SFE on real patients. Simulation procedures (workshop of abilities) are perceived by the partakers as useful for the surgical practice. However, more studies are needed to validate the procedure and to address cognitive and communication skills, that are clearly integral parts of surgical performance