Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update

We propose a dynamic verification approach for large-scale message passing programs to locate correctness bugs caused by unforeseen nondeterministic interactions. This approach hinges on an efficient protocol to track the causality between nondeterministic message receive operations and potentially matching send operations. We show that causality tracking protocols that rely solely on logical clocks fail to capture all nuances of MPI program behavior, including the variety of ways in which nonblocking calls can complete. Our approach is hinged on formally defining the matches-before relation underlying the MPI standard, and devising lazy update logical clock based algorithms that can correctly discover all potential outcomes of nondeterministic receives in practice. can achieve the same coverage as a vector clock based algorithm while maintaining good scalability. LLCP allows us to analyze realistic MPI programs involving a thousand MPI processes, incurring only modest overheads in terms of communication bandwidth, latency, and memory consumption. © 2011 IEEE.

Mimicking the colourful wing scale structure of the Papilio blumei butterfly

The brightest and most vivid colours in nature arise from the interaction of light with surfaces that exhibit periodic structure on the micro- and nanoscale. In the wings of butterflies, for example, a combination of multilayer interference, optical gratings, photonic crystals and other optical structures gives rise to complex colour mixing. Although the physics of structural colours is well understood, it remains a challenge to create artificial replicas of natural photonic structures(1-3). Here we use a combination of layer deposition techniques, including colloidal self-assembly, sputtering and atomic layer deposition, to fabricate photonic structures that mimic the colour mixing effect found on the wings of the Indonesian butterfly Papilio blumei. We also show that a conceptual variation to the natural structure leads to enhanced optical properties. Our approach offers improved efficiency, versatility and scalability compared with previous approaches(4-6).

Synthesis by extrusion: continuous, large-scale preparation of MOFs using little or no solvent

Grinding solid reagents under solvent-free or low-solvent conditions (mechanochemistry) is emerging as a general synthetic technique which is an alternative to conventional solvent-intensive methods. However, it is essential to find ways to scale-up this type of synthesis if its promise of cleaner manufacturing is to be realised. Here, we demonstrate the use of twin screw and single screw extruders for the continuous synthesis of various metal complexes, including Ni(salen), Ni(NCS)(2)(PPh3)(2) as well as the commercially important metal organic frameworks (MOFs) Cu-3(BTC)(2) (HKUST-1), Zn(2-methylimidazolate)(2) (ZIF-8, MAF-4) and Al(fumarate)(OH). Notably, Al(fumarate)(OH) has not previously been synthesised mechanochemically. Quantitative conversions occur to give products at kg h(-1) rates which, after activation, exhibit surface areas and pore volumes equivalent to those of materials produced by conventional solvent-based methods. Some reactions can be performed either under completely solvent-free conditions whereas others require the addition of small amounts of solvent (typically 3-4 mol equivalents). Continuous neat melt phase synthesis is also successfully demonstrated by both twin screw and single screw extrusion for ZIF-8. The latter technique provided ZIF-8 at 4 kg h(-1). The space time yields (STYs) for these methods of up to 144 x 10(3) kg per m(3) per day are orders of magnitude greater than STYs for other methods of making MOFs. Extrusion methods clearly enable scaling of mechanochemical and melt phase synthesis under solvent-free or low-solvent conditions, and may also be applied in synthesis more generally.

Large scale test of a novel back-pass non-perforated unglazed solar air collector

This paper describes large scale tests conducted on a novel unglazed solar air collector system. The proposed system, referred to as a back-pass solar collector (BPSC), has on-site installation and aesthetic advantages over conventional unglazed transpired solar collectors (UTSC) as it is fully integrated within a standard insulated wall panel. This paper presents the results obtained from monitoring a BPSC wall panel over one year. Measurements of temperature, wind velocity and solar irradiance were taken at multiple air mass flow rates. It is shown that the length of the collector cavities has a direct impact on the efficiency of the system. It is also shown that beyond a height-to-flow ratio of 0.023m/m³/hr/m², no additional heat output is obtained by increasing the collector height for the experimental setup in this study, but these numbers would obviously be different if the experimental setup or test environment (e.g. location and climate) change. An equation for predicting the temperature rise of the BPSC is proposed.

Infrared and Raman screening of seized novel psychoactive substances: A large scale study of >200 samples

The potential of IR absorption and Raman spectroscopy for rapid identification of novel psychoactive substances (NPS) has been tested using a set of 221 unsorted seized samples suspected of containing NPS. Both IR and Raman spectra showed large variation between the different sub-classifications of NPS and smaller, but still distinguishable, differences between closely related compounds within the same class. In initial tests, screening the samples using spectral searching against a limited reference library allowed only 41% of the samples to be fully identified. The limiting factor in the identification was the large number of active compounds in the seized samples for which no reference vibrational data were available in the libraries rather than poor spectral quality. Therefore, when 33 of these compounds were independently identified by NMR and mass spectrometry and their spectra used to extend the libraries, the percentage of samples identified by IR and Raman screening alone increased to 76%, with only 7% of samples having no identifiable constituents. This study, which is the largest of its type ever carried out, therefore demonstrates that this approach of detecting non-matching samples and then identifying them using standard analytical methods has considerable potential in NPS screening since it allows rapid identification of the constituents of the majority of street quality samples. Only one complete feedback cycle was carried out in this study but there is clearly the potential to carry out continuous identification/updating when this system is used in operational settings.

Large scale identification of protein SUMOylation by mass spectrometry in HEK293 cells

Les fichiers qui accompagnent mon document sont des tableaux supplémentaires réalisés avec Excel (Microsoft Office), dans la version papier du mémoire ces fichiers sont sur un CD-ROM.

Probing the large-scale topology of the heliospheric magnetic field using Jovian electrons

Jupiter’s magnetosphere acts as a point source of near-relativistic electrons within the heliosphere. In this study, three solar cycles of Jovian electron data in near-Earth space are examined. Jovian electron intensity is found to peak for an ideal Parker spiral connection, but with considerable spread about this point. Assuming the peak in Jovian electron counts indicates the best magnetic connection to Jupiter, we find a clear trend for fast and slow solar wind to be over- and under-wound with respect to the ideal Parker spiral, respectively. This is shown to be well explained in terms of solar wind stream interactions. Thus, modulation of Jovian electrons by corotating interaction regions (CIRs) may primarily be the result of changing magnetic connection, rather than CIRs acting as barriers to cross-field diffusion. By using Jovian electrons to remote sensing magnetic connectivity with Jupiter’s magnetosphere, we suggest that they provide a means to validate solar wind models between 1 and 5 AU, even when suitable in situ solar wind observations are not available. Furthermore, using Jovian electron observations as probes of heliospheric magnetic topology could provide insight into heliospheric magnetic field braiding and turbulence, as well as any systematic under-winding of the heliospheric magnetic field relative to the Parker spiral from footpoint motion of the magnetic field.

MIMO Wiener model identification for large scale fading of wireless mobile communications links

The large scale fading of wireless mobile communications links is modelled assuming the mobile receiver motion is described by a dynamic linear system in state-space. The geometric relations involved in the attenuation and multi-path propagation of the electric field are described by a static non-linear mapping. A Wiener system subspace identification algorithm in conjunction with polynomial regression is used to identify a model from time-domain estimates of the field intensity assuming a multitude of emitters and an antenna array at the receiver end.

Large-scale dynamics of the mesosphere and lower thermosphere: an analysis using the extended Canadian Middle Atmosphere Model

The extended Canadian Middle Atmosphere Model is used to investigate the large-scale dynamics of the mesosphere and lower thermosphere (MLT). It is shown that the 4-day wave is substantially amplified in southern polar winter in the presence of instabilities arising from strong vertical shears in the MLT zonal mean zonal winds brought about by parameterized nonorographic gravity wave drag. A weaker 4-day wave in northern polar winter is attributed to the weaker wind shears that result from weaker parameterized wave drag. The 2-day wave also exhibits a strong dependence on zonal wind shears, in agreement with previous modeling studies. In the equatorial upper mesosphere, the migrating diurnal tide provides most of the resolved westward wave forcing, which varies semiannually in conjunction with the tide itself; resolved forcing by eastward traveling disturbances is dominated by smaller scales. Nonmigrating tides and other planetary-scale waves play only a minor role in the zonal mean zonal momentum budget in the tropics at these heights. Resolved waves are shown to play a significant role in the zonal mean meridional momentum budget in the MLT, impacting significantly on gradient wind balance. Balance fails at low latitudes as a result of a strong Reynolds stress associated with the migrating diurnal tide, an effect which is most pronounced at equinox when the tide is strongest. Resolved and parameterized waves account for most of the imbalance at higher latitudes in summer. This results in the gradient wind underestimating the actual eastward wind reversal by up to 40%.

A combined statistical and dynamical approach for downscaling large-scale footprints of European windstorms

The occurrence of mid-latitude windstorms is related to strong socio-economic effects. For detailed and reliable regional impact studies, large datasets of high-resolution wind fields are required. In this study, a statistical downscaling approach in combination with dynamical downscaling is introduced to derive storm related gust speeds on a high-resolution grid over Europe. Multiple linear regression models are trained using reanalysis data and wind gusts from regional climate model simulations for a sample of 100 top ranking windstorm events. The method is computationally inexpensive and reproduces individual windstorm footprints adequately. Compared to observations, the results for Germany are at least as good as pure dynamical downscaling. This new tool can be easily applied to large ensembles of general circulation model simulations and thus contribute to a better understanding of the regional impact of windstorms based on decadal and climate change projections.

Random primordial magnetic fields and the gas content of dark matter haloes

We recently predicted the existence of random primordial magnetic fields (RPMFs) in the form of randomly oriented cells with dipole-like structure with a cell size L(0) and an average magnetic field B(0). Here, we investigate models for primordial magnetic field with a similar web-like structure, and other geometries, differing perhaps in L(0) and B(0). The effect of RPMF on the formation of the first galaxies is investigated. The filtering mass, M(F), is the halo mass below which baryon accretion is severely depressed. We show that these RPMF could influence the formation of galaxies by altering the filtering mass and the baryon gas fraction of a halo, f(g). The effect is particularly strong in small galaxies. We find, for example, for a comoving B(0) = 0.1 mu G, and a reionization epoch that starts at z(s) = 11 and ends at z(e) = 8, for L(0) = 100 pc at z = 12, the f(g) becomes severely depressed for M < 10(7) M(circle dot), whereas for B(0) = 0 the f(g) becomes severely depressed only for much smaller masses, M < 10(5) M(circle dot). We suggest that the observation of M(F) and f(g) at high redshifts can give information on the intensity and structure of primordial magnetic fields.

Suppression of small baryonic structures due to a primordial magnetic field

We investigate the impact of the existence of a primordial magnetic field on the filter mass, characterizing the minimum baryonic mass that can form in dark matter (DM) haloes. For masses below the filter mass, the baryon content of DM haloes are severely depressed. The filter mass is the mass when the baryon to DM mass ratio in a halo is equal to half the baryon to DM ratio of the Universe. The filter mass has previously been used in semi-analytic calculations of galaxy formation, without taking into account the possible existence of a primordial magnetic field. We examine here its effect on the filter mass. For homogeneous comoving primordial magnetic fields of B(0) similar to 1 or 2 nG and a re-ionization epoch that starts at a redshift z(s) = 11 and is completed at z(r) = 8, the filter mass is increased at redshift 8, for example, by factors of 4.1 and 19.8, respectively. The dependence of the filter mass on the parameters describing the re-ionization epoch is investigated. Our results are particularly important for the formation of low-mass galaxies in the presence of a homogeneous primordial magnetic field. For example, for B(0) similar to 1 nG and a re-ionization epoch of z(s) similar to 11 and z(r) similar to 7, our results indicate that galaxies of total mass M similar to 5 x 108 M(circle dot) need to form at redshifts z(F) greater than or similar to 2.0, and galaxies of total mass M similar to 108 M(circle dot) at redshifts z(F) greater than or similar to 7.7.

A large-scale synthesis of enantiomerically pure gamma-hydroxy-organochalcogenides

Enantiomerically pure (R)- and (S)-gamma-hydroxy-organochalcogenides are prepared using poly-[R]-3-hydroxybutanoate (PHB) as the starting material. (C) 2009 Elsevier Ltd. All rights reserved.