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.

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.

Self-generated expressions of residual complaints following brain injury

Following brain injury there is often a prolonged period of deteriorating psychological condition, despite neurological stability or improvement. This is presumably consequent to the remission of anosognosia and the realisation of permanently worsened status. This change is hypothesised to be directed partially by the socially mediated processes which play a role in generating self-awareness and which here direct the reconstruction of the self as a permanently injured person. However, before we can understand this process of redevelopment, we need an unbiassed technique to monitor self-awareness. Semi-structured interviews were conducted with 30 individuals with long-standing brain injuries to capture their spontaneous complaints and their level of insight into the implications of their difficulties. The focus was on what the participants said in their own words, and the extent to which self-knowledge of difficulties was spontaneously salient to the participants. Their responses were subjected to content analysis. Most participants were able to say that they had brain injuries and physical difficulties, many mentioned memory and attentional problems and a few made references to a variety of emotional disturbances. Content analysis of data from unbiassed interviews can reveal the extent to which people with brain injuries know about their difficulties. Social constructionist accounts of self-awareness and recovery are supported.

Current brood size and residual reproductive value predict offspring desertion in the burying beetle Nicrophorus vespilloides

Life-history theory suggests that offspring desertion can be an adaptive reproductive strategy, in which parents forgo the costly care of an unprofitable current brood to save resources for future reproduction. In the burying beetle, Nicrophorus vespilloides, parents commonly abandon their offspring to the care of others, resulting in female-only care, male-only care, brood parasitism, and the care of offspring sired by satellite males. Furthermore, when there is biparental care, males routinely desert the brood before larval development is complete, leaving females behind to tend their young. We attempted to understand these patterns of offspring desertion by using laboratory experiments to compare the fitness costs associated with parental care for each sex and the residual reproductive value of the 2 sexes. We also tested whether current brood size and residual reproductive value together predicted the incidence of brood desertion. We found that males and females each sustained fecundity costs as a consequence of caring for larvae and that these costs were of comparable magnitude. Nevertheless, males had greater residual reproductive value than females and were more likely than females to desert experimental broods. Our results can explain why males desert the brood earlier than females in nature and why female-only care is more common than male-only care. They also suggest that the tipping point from brood parasitism or satellite male behavior to communal breeding (and vice versa) depends on the value of the current brood relative to residual reproductive value.

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.

Residual stress due to curing can initiate damage in porous bone cement: experimental and theoretical evidence

Residual stress due to shrinkage of polymethylmethacrylate bone cement after polymerisation is possibly one factor capable of initiating cracks in the mantle of cemented hip replacements. No relationship between residual stress and observed cracking of cement has yet been demonstrated. To investigate if any relationship exists, a physical model has been developed which allows direct observation of damage in the cement layer on the femoral side of total hip replacement. The model contains medial and lateral cement layers between a bony surface and a metal stem; the tubular nature of the cement mantle is ignored. Five specimens were prepared and examined for cracking using manual tracing of stained cracks, observed by transmission microscopy: cracks were located and measured using image analysis. A mathematical approach for the prediction of residual stress due to shrinkage was developed which uses the thermal history of the material to predict when stress-locking occurs, and estimates subsequent thermal stress. The residual stress distribution of the cement layer in the physical model was then calculated using finite element analysis. Results show maximum tensile stresses normal to the observed crack directions, suggesting a link between residual stress and preload cracking. The residual stress predicted depends strongly on the definition of the reference temperature for stress-locking. The highest residual stresses (4-7 MPa) are predicted for shrinkage from maximum temperature, in this case, magnitudes are sufficiently high to initiate cracks when the influence of stress raisers such as pores or interdigitation at the bone/cement interface are taken into account (up to 24 MPa when calculating stress around a pore according to the method of Harrigan and Harris (J. Biomech. 24(11) (1991) 1047-1058)). We conclude that the damage accumulation failure scenario begins before weight-bearing due to cracking induced by residual stress around pores or stress raisers. (C) 2002 Elsevier Science Ltd. All rights reserved.

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.