sgen1: A generator of small but difficult satisfiability benchmarks

The satisfiability problem is known to be NP-Complete; therefore, there should be relatively small problem instances that take a very long time to solve. However, most of the smaller benchmarks that were once thought challenging, especially the satisfiable ones, can be processed quickly by modern SAT-solvers. We describe and make available a generator that produces both unsatisfiable and, more significantly, satisfiable formulae that take longer to solve than any others known. At the two most recent international SAT Competitions, the smallest unsolved benchmarks were created by this generator. We analyze the results of all solvers in the most recent competition when applied to these benchmarks and also present our own more focused experiments.

Globally synchronous climate change 2800 years ago: Proxy data from peat in South America

Initial findings from high-latitude ice-cores implied a relatively unvarying Holocene climate, in contrast to the major climate swings in the preceding late-Pleistocene. However, several climate archives from low latitudes imply a less than equable Holocene climate, as do recent studies on peat bogs in mainland north-west Europe, which indicate an abrupt climate cooling 2800 years ago, with parallels claimed in a range of climate archives elsewhere. A hypothesis that this claimed climate shift was global, and caused by reduced solar activity, has recently been disputed. Until now, no directly comparable data were available from the southern hemisphere to help resolve the dispute. Building on investigations of the vegetation history of an extensive mire in the Valle de Andorra, Tierra del Fuego, we took a further peat core from the bog to generate a high-resolution climate history through the use of determination of peat hurnification and quantitative leaf-count plant macrofossil analysis. Here, we present the new proxy-climate data from the bog in South America. The data are directly comparable with those in Europe, as they were produced using identical laboratory methods. They show that there was a major climate perturbation at the same time as in northwest European bogs. Its timinia, nature and apparent global synchronicity lend support to the notion of solar forcing of past climate change, amplified by oceanic circulation. This finding of a similar response simultaneously in both hemispheres may help validate and improve global climate models. That reduced solar activity might cause a global climatic change suggests that attention be paid also to consideration of any global climate response to increases in solar activity. This has implications for interpreting the relative contribution of climate drivers of recent 'global warming'. (c) 2006 Elsevier B.V. All rights reserved.

Techniques for multiple-set synchronous islanding control

Power system islanding can improve the continuity of power supply. Synchronous islanded operation enables the islanded system to remain in phase with the main power system while not electrically connected, so avoiding out-of-synchronism re-closure. Specific consideration is required for the multiple-set scenario. In this paper a suitable island management system is proposed, with the emphasis being on maximum island flexibility by allowing passive islanding transitions to occur, facilitated by intelligent control. These transitions include: island detection, identification, fragmentation, merging and return-to-mains. It can be challenging to detect these transitions while maintaining syn-chronous islanded operation. The performance of this control system in the presence of a variable wind power in-feed is also examined. A Mathworks SimPowerSystems simulation is used to investigate the performance of the island management system. The benefit and requirements for energy storage, com-munications and distribution system protection for this application are considered.

Relativistic plasma surfaces as an efficient second harmonic generator

We report on the characterization of the specular reflection of 50 fs laser pulses in the intensity range 10(17)-10(21)Wcm(-2) obliquely incident with p-polarization onto solid density plasmas. These measurements show that the absorbed energy fraction remains approximately constant and that second harmonic generation (SHG) achieves efficiencies of 22 +/- 8% for intensities approaching 10(21)Wcm(-2). A simple model based on the relativistic oscillating mirror concept reproduces the observed intensity scaling, indicating that this is the dominant process involved for these conditions. This method may prove to be superior to SHG by sum frequency mixing in crystals as it is free from dispersion and retains high spatial coherence at high intensity.

Validation of fixed speed induction generator models for inertial response using wind farm measurements

This paper outlines the use of phasor measurement unit (PMU) records to validate models of fixed speed induction generator (FSIG)-based wind farms during frequency transients. Wind turbine manufacturers usually create their own proprietary models which they can supply to power system utilities for stability studies, subject to confidentiality agreements. However, it is desirable to confirm the accuracy of supplied models with measurements from the particular installation, in order to assess their validity under real field conditions. This is prudent due to possible changes in control algorithms and design retrofits, not accurately reflected or omitted in the supplied model. One important aspect of such models, especially for smaller power systems with limited inertia, is their accuracy during system frequency transients. This paper, therefore, assesses the accuracy of FSIG models with regard to frequency stability, and hence validates a subset of the model dynamics. Such models can then be used with confidence to assess wider system stability implications. The measured and simulated response of a wind farm using doubly fed induction generator (DFIG) technology is also assessed.