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.

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.

Field-programmable true random number generator

True random number generation is crucial in hardware security applications. Proposed is a voltage-controlled true random number generator that is inherently field-programmable. This facilitates increased entropy as a randomness source because there is more than one configuration state which lends itself to more compact and low-power architectures. It is evaluated through electrical characterisation and statistically through industry-standard randomness tests. To the best of the author's knowledge, it is one of the most efficient designs to date with respect to hardware design metrics.

The machinist landscape:Land Art Generator Initiative (Competition)

THE MACHINIST LANDSCAPE: AN ENTROPIC GRID OF VARIANCE
‘By drawing a diagram, a ground plan of a house, a street plan to the location of a site, or a topographic map, one draws a “logical two dimensional picture”. A “logical picture” differs from a natural or realistic picture in that it rarely looks like the thing it stands for.’
A Provisional Theory of Non-Sites, Robert Smithson (1968)

Between design and ground there are variances, deviations and gaps. These exist as physical interstices between what is conceptualised and what is realised; and they reveal moments in the design process that resist the reconciliation of people and their environment (McHarg 1963). The Machinist Landscape interrogates the significance of these variances through the contrasting processes of coppice and photovoltaic energy. It builds on the potential of these gaps, and in doing so proposes that these spaces of variance can reveal the complexity of relationships between consumption and remediation, design and nature.
Fresh Kills Park, and in particular the draft master plan (2006), offers a framework to explore this artificial construct. Central to the Machinist Landscape is the analysis of the landfill gas collection system, planned on a notional 200ft grid. Variations are revealed between this diagrammatic grid measure and that which has been constructed on the site. These variances between the abstract and the real offer the Machinist Landscape a powerful space of enquiry. Are these gaps a result of unexpected conditions below ground, topographic nuances or natural phenomena? Does this space of difference, between what is planned and what is constructed, have the potential to redefine the dynamic processes and relations with the land?
The Machinist Landscape is structured through this space of variance with an ‘entropic grid’, the under-storey of which hosts a carefully managed system of short-rotation coppice (SRC). The coppice, a medieval practice related to energy, product, and space, operates on theoretical and programmatic levels. It is planted along a structure of linear bunds, stabilized through coppice pole retaining structures and enriched with nutrients from coppice produced bio-char. Above the coppice is built an upper-storey of photovoltaic (PV); its structures fabricated from the coppiced timber and the PV produced with graphene from coppice charcoal processes.

Discrete cosine transform generator for VLSI synthesis

A generator for the automated design of Discrete Cosine Transform (DCT) cores is presented. This can be used to rapidly create silicon circuits from a high level specification. These compare very favourably with existing designs. The DCT cores produced are scaleable in terms of point size as well as input/output and coefficient wordlengths. This provides a high degree of flexibility. An example, 8-point 1D DCT design, produced occupies less than 0.92 mm when implemented in a 0.35µ double level metal CMOS technology. This can be clocked at a rate of 100MHz.