BSP -Style Computation: A Semantic Investigation

A BSP (Bulk Synchronous Parallelism) computation is characterized by the generation of asynchronous messages in packages during independent execution of a number of processes and their subsequent delivery at synchronization points. Bundling messages together represents a significant departure from the traditional ‘one communication at a time’ approach. In this paper the semantic consequences of communication packaging are explored. In particular, the BSP communication structure is identified with a general form of substitution—predicate substitution. Predicate substitution provides a means of reasoning about the synchronized delivery of asynchronous communications when the immediate programming context does not explicitly refer to the variables that are to be updated (unlike traditional operations, such as the assignment $x := e$, where the names of the updated variables can be extracted from the context). Proofs of implementations of Newton's root finding method and prefix sum are used to illustrate the practical application of the proposed approach.

North European last glacial-interglacial transition (LGIT; 15-9 ka) tephrochronology: extended limits and new events

High-precision correlation of palaeoclimatic and palaeoenvironmental records is crucial for testing hypotheses of synchronous change. Although radiocarbon is the traditional method for dating late Quaternary sedimentary sequences, particularly during the last glacial–interglacial transition (LGIT; 15–9?ka), there are inherent problems with the method, particularly during periods of climate change which are often accompanied by major perturbations in atmospheric radiocarbon content. An alternative method is the use of tephras that act as time-parallel marker horizons. Within Europe, numerous volcanic centres are known to have erupted during the LGIT, providing considerable potential for high-precision correlation independent of past radiocarbon fluctuations. Here we report the first identification of the Vedde Ash and Askja Tephra in Ireland, significantly extending the known provenance of these events. We have also identified two new horizons (the Roddans Port Tephras A and B) and tentatively recognise an additional horizon from Vallensgård Mose (Denmark) that provide crucial additional chronological control for the LGIT. Two phases of the Laacher See Tephra (LST) are reported, the lower Laacher See Tephra (LLST) and probably the C2 phase of the Middle Laacher See Tephra (MLST-C2) indicating a more northeasterly distribution of this fan than reported previously.

Fecundity and reproductive strategies in deep-sea incirrate octopuses (Cephalopoda: Octopoda).

Coleoid cephalopods show flexibility in their reproductive strategies or mode of spawning, which can range from simultaneous terminal spawning over a short period at the end of the animal’s life to continuous spawning over a long period of the animal’s life. Although a simultaneous terminal spawning strategy is typical of shallow water temperate octopuses, it is not known whether deep-sea octopods would have the same reproductive strategy. The reproductive strategies and fecundity were investigated in nine species of deep-sea incirrate octopuses: Bathypolypus arcticus, Bathypolypus bairdii, Bathypolypus ergasticus, Bathypolypus sponsalis, Bathypolypus valdiviae, Benthoctopus levis, Benthoctopus normani, Benthoctopus sp., and Graneledone verrucosa (total n = 85). Egg-length frequency graphs and multivariate analysis (principal components analysis) suggest that B. sponsalis has a synchronous ovulation pattern and therefore a simultaneous terminal spawning strategy. Although a simultaneous terminal spawning strategy is most likely for B. levis and B. normani, the egg-length frequency graphs and multivariate analysis also suggest a greater variation in egglengths which could lead to spawning over an extended period.

Damping torque analysis for DC bus implemented damping control

Damping torque analysis is a well-developed technique for understanding and studying power system oscillations. This paper presents the applications of damping torque analysis for DC bus implemented damping control in power transmission networks in two examples. The first example is the investigation of damping effect of shunt VSC (Voltage Source Converter) based FACTS voltage control, i.e., STATCOM (Static Synchronous Compensator) voltage control. It is shown in the paper that STATCOM voltage control mainly contributes synchronous torque and hence has little effect on the damping of power system oscillations. The second example is the damping control implemented by a Battery Energy Storage System (BESS) installed in a power system. Damping torque analysis reveals that when BESS damping control is realized by regulating exchange of active and reactive power between the BESS and power system respectively, BESS damping control exhibits different properties. It is concluded by damping torque analysis that BESS damping control implemented by regulating active power is better with less interaction with BESS voltage control and more robust to variations of power system operating conditions. In the paper, all analytical conclusions obtained are demonstrated by simulation results of example power systems.

Effect of Loading, Voltage Difference and Phase Angle on the Synchronisation of a Small Alternator

Synchronisation of small distributed generation, 30 kVA–2 MVA, employing salient-pole synchronous machines is normally performed within a narrow range of tolerances for voltage, frequency and phase angle. However, there are situations when the ability to synchronise with non-ideal conditions would be beneficial. Such applications include power system islanding and rapid generator start-up. The physical process and effect of out-of-phase synchronisation is investigated both through simulation and experimental tests on a salient-pole alternator. There are many factors that affect synchronisation, but particular attention is given to synchronisation angle, voltage difference and, as generators will be loaded during islanding, the load angle. The results suggest that it would be acceptable for the maximum synchronisation angle of distributed generation to exceed that of current practice. Interesting observations on the nature of out-of-phase synchronisation are made, including some specific to small salient-pole synchronous machines. Furthermore, recommendations are made for synchronisation under different system conditions.

Temporal information and children's and adults' causal inferences

Three experiments examined whether children and adults would use temporal information as a cue to the causal structure of a three-variable system, and also whether their judgements about the effects of interventions on the system would be affected by the temporal properties of the event sequence. Participants were shown a system in which two events B and C occurred either simultaneously (synchronous condition) or in a temporal sequence (sequential condition) following an initial event A. The causal judgements of adults and 6-7-year-olds differed between the conditions, but this was not the case for 4-year-olds' judgements. However, unlike those of adults, 6-7-year-olds' intervention judgements were not affected by condition, and causal and intervention judgements were not reliably consistent in this age group. The findings support the claim that temporal information provides an important cue to causal structure, at least in older children. However, they raise important issues about the relationship between causal and intervention judgements.

Climate drivers for peatland palaeoclimate records

Reconstruction of hydroclimate variability is an important part of understanding natural climate change on decadal to millennial timescales. Peatland records reconstruct 'bog surface wetness' (BSW) changes, but it is unclear whether it is a relative dominance of precipitation or temperature that has driven these variations over Holocene timescales. Previously, correlations with instrumental climate data implied that precipitation is the dominant control. However, a recent chironomid inferred July temperature record suggested temperature changes were synchronous with BSW over the mid-late Holocene. This paper provides new analyses of these data to test competing hypotheses of climate controls on bog surface wetness and discusses some of the distal drivers of large-scale spatial patterns of BSW change. Using statistically based estimates of uncertainty in chronologies and proxy records, we show a correlation between Holocene summer temperature and BSW is plausible, but that chronologies are insufficiently precise to demonstrate this conclusively. Simulated summer moisture deficit changes for the last 6000 years forced by temperature alone are relatively small compared with observations over the 20th century. Instrumental records show that summer moisture deficit provides the best explanatory variable for measured water table changes and is more strongly correlated with precipitation than with temperature in both Estonia and the UK. We conclude that BSW is driven primarily by precipitation, reinforced by temperature, which is negatively correlated with precipitation and therefore usually forces summer moisture deficit in the same direction. In western Europe, BSW records are likely to be forced by changes in the strength and location of westerlies, linked to large-scale North Atlantic ocean and atmospheric circulation. (C) 2009 Elsevier Ltd. All rights reserved.

Rapid ecosystem response to abrupt climate changes during the last glacial period in western Europe, 40-16 ka

We present a high-resolution and independently dated multiproxy lake sediment record from the paleolake at Les Echets in southeastern France that displays synchronous changes in independent limnic and terrestrial ecosystem proxies, in concert with millennial-scale climate oscillations during the last glacial period. Distinct lake-level fluctuations, low lake organic productivity, and open, treeless vegetation indicate cold and dry conditions in response to Heinrich events. Alternating phases of higher and low lake organic productivity, stratified surface waters and long-lasting lake ice cover, decreased or increased catchment erosion, and tree-dominated or herb-dominated vegetation resemble Dansgaard-Oeschger interstadial-stadial variability. Transitions between different ecological states occurred in as little as 40-230 yr and seem to have been controlled by the position of the Polar Front. Ecosystem response after 30 ka suggests that local climate conditions became more important. Our results demonstrate that all parts of the terrestrial system responded to the abrupt and dramatic climatic changes associated with Dansgaard-Oeschger and Heinrich events, and that regional factors modulated ecosystem response.

Were last glacial climate events simultaneous between Greenland and France? A quantitative comparison using non-tuned chronologies

Several large abrupt climate fluctuations during the last glacial have been recorded in Greenland ice cores and archives from other regions. Often these Dansgaard-Oeschger events are assumed to have been synchronous over wide areas, and then used as tie-points to link chronologies between the proxy archives. However, it has not yet been tested independently whether or not these events were indeed synchronous over large areas. Here, we compare Dansgaard-Oeschger-type events in a well-dated record from southeastern France with those in Greenland ice cores. Instead of assuming simultaneous climate events between both archives, we keep their age models independent. Even these well-dated archives possess large chronological uncertainties that prevent us from inferring synchronous climate events at decadal to multi-centennial time scales. If possible, comparisons between proxy archives should be based on independent, non-tuned time-scales. Copyright (C) 2009 John Wiley & Sons, Ltd.

Synchrophasor Broadcast over Internet Protocol for Distributed Generator Synchronization

Synchronous islanded operation involves continuously holding an islanded power network in virtual synchronism with the main power system to aid paralleling and avoid potentially damaging out-of-synchronism reclosure. This requires phase control of the generators in the island and the transmission of a reference signal from a secure location on the main power system. Global positioning system (GPS) time-synchronized phasor measurements transmitted via an Internet protocol (IP) are used for the reference signal. However, while offering low cost and a readily available solution for distribution networks, IP communications have variable latency and are susceptible to packet loss, which can make time-critical control applications difficult. This paper investigates the ability of the phase-control system to tolerate communications latency. Phasor measurement conditioning algorithms that can tolerate latency are used in the phase-control loop of a 50-kVA diesel generator. © 2010 IEEE.

Predictive Current Control of Doubly Fed Induction Generators

This paper presents a predictive current control strategy for doubly-fed induction generators (DFIG). The method predicts the DFIG’s rotor current variations in the synchronous reference frame fixed to the stator flux within a fixed sampling period. This is then used to directly calculate the required rotor voltage to eliminate the current errors at the end of the following sampling period. Space vector modulation is used to generate the required switching pulses within the fixed sampling period. The impact of sampling delay on the accuracy of the sampled rotor current is analyzed and detailed compensation methods are proposed to improve the current control accuracy and system stability. Experimental results for a 1.5 kW DFIG system illustrate the effectiveness and robustness of the proposed control strategy during rotor current steps and rotating speed variation. Tests during negative sequence current injection further demonstrate the excellent dynamic performance of the proposed PCC method.

SoC memory hierarchy derivation from dataflow graphs

Hardware synthesis from dataflow graphs of signal processing systems is a growing research area as focus shifts to high level design methodologies. For data intensive systems, dataflow based synthesis can lead to an inefficient usage of memory due to the restrictive nature of synchronous dataflow and its inability to easily model data reuse. This paper explores how dataflow graph changes can be used to drive both the on-chip and off-chip memory organisation and how these memory architectures can be mapped to a hardware implementation. By exploiting the data reuse inherent to many image processing algorithms and by creating memory hierarchies, off-chip memory bandwidth can be reduced by a factor of a thousand from the original dataflow graph level specification of a motion estimation algorithm, with a minimal increase in memory size. This analysis is verified using results gathered from implementation of the motion estimation algorithm on a Xilinx Virtex-4 FPGA, where the delay between the memories and processing elements drops from 14.2 ns down to 1.878 ns through the refinement of the memory architecture. Care must be taken when modeling these algorithms however, as inefficiencies in these models can be easily translated into overuse of hardware resources.

Measurement-based Method for Wind Farm Power System Oscillations Monitoring

The global increase in the penetration of renewable energy is pushing electrical power systems into uncharted territory, especially in terms of transient and dynamic stability. In particular, the greater penetration of wind generation in European power networks is, at times, displacing a significant capacity of conventional synchronous generation with fixed-speed induction generation and now more commonly, doubly fed induction generators. The impact of such changes in the generation mix requires careful monitoring to assess the impact on transient and dynamic stability. This study presents a measurement-based method for the early detection of power system oscillations, with consideration of mode damping, in order to raise alarms and develop strategies to actively improve power system dynamic stability and security. A method is developed based on wavelet-based support vector data description (SVDD) to detect oscillation modes in wind farm output power, which may excite dynamic instabilities in the wider system. The wavelet transform is used as a filter to identify oscillations in frequency bands, whereas the SVDD method is used to extract dominant features from different scales and generate an assessment boundary according to the extracted features. Poorly damped oscillations of a large magnitude, or that are resonant, can be alarmed to the system operator, to reduce the risk of system instability. The proposed method is exemplified using measured data from a chosen wind farm site.

Out of tune: the dangers of aligning proxy archives

<p>Tuning is a widespread technique to combine, date and interpret multiple fossil proxy archives through aligning supposedly synchronous events between the archives. The approach will be reviewed by discussing a number of literature examples, ranging from peat and tephra layers to orbital tuning and d¹⁸O series from marine and ice deposits. Potential problems will be highlighted such as the dangers of circular reasoning and unrecognised chronological uncertainties, and some solutions suggested. Fossil proxy research could become enhanced if tuning were approached in a more quantitative, reliable and objective way, and especially if individual proxy archives were non-tuned and kept on independent time-scales.</p>

Effect of temporal separation on synchronization in rhythmic performance

A variety of short time delays inserted between pairs of subjects were found to affect their ability to synchronize a musical task. The subjects performed a clapping rhythm together from separate sound-isolated rooms via headphones and without visual contact. One-way time delays between pairs were manipulated electronically in the range of 3 to 78 ms. We are interested in quantifying the envelope of time delay within which two individuals produce synchronous per- formances. The results indicate that there are distinct regimes of mutually coupled behavior, and that `natural time delay'o¨delay within the narrow range associated with travel times across spatial arrangements of groups and ensembleso¨supports the most stable performance. Conditions outside of this envelope, with time delays both below and above it, create characteristic interaction dynamics in the mutually coupled actions of the duo. Trials at extremely short delays (corresponding to unnaturally close proximity) had a tendency to accelerate from anticipation. Synchronization lagged at longer delays (larger than usual physical distances) and produced an increasingly severe deceleration and then deterioration of performed rhythms. The study has implications for music collaboration over the Internet and suggests that stable rhythmic performance can be achieved by `wired ensembles' across distances of thousands of kilometers.