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.

Comparison of porcine urine and bile as matrices to screen for the residues of two sulfonamides using a semi-automated enzyme immunoassay.

Porcine urine enzyme immunoassays for sulfamethazine and sulfadiazine have previously been employed as screening tests to predict the concentrations of the drugs in the corresponding tissues (kidneys), If a urine was found positive (> 800 ng ml(-1)) the corresponding kidney was then analysed by an enzyme immunoassay and, if found positive, a confirmatory analysis by HPLC was performed. Urine was chosen as the screening matrix since sulfonamides are mainly eliminated through this body fluid, However, after obtaining a number of false positive predictions, an investigation was carried out to assess the possibility of using an alternative body fluid which would act as a superior indicator of the presence of sulfonamides in porcine kidney, An initial study indicated that serum, plasma and bile could all be used as screening matrices. From these, bile was chosen as the preferred sample matrix and an extensive study followed to compare the efficiencies of sulfonamide positive bile and urine at predicting sulphonamide positive kidneys, Bile was found to be 17 times more efficient than urine at predicting a sulfamethazine positive kidney and 11 times more efficient at predicting a sulfadiazine positive kidney, With this enhanced performance of the initial screening test, the need for the costly and time consuming kidney enzyme immunoassay, prior to HPLC analysis, was eliminated

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.

Pharmacokinetics of UC781-loaded intravaginal ring segments in rabbits: a comparison of polymer matrices

UC781 is a potent and poorly water-soluble nonnucleoside reverse transcriptase inhibitor being investi- gated as a potential microbicide for preventing sexual transmission of HIV-1. This study was designed to evaluate the in vivo release and pharmacokinetics of UC781 delivered from matrix-type intravaginal ring segments in rabbits. Three polymer matrices (polyurethane, ethylene vinyl acetate copolymer, and silicone elastomer) and two drug loadings (5 and 15 mg/segment) were evaluated in at least one of two independent studies for up to 28 days in vivo. Inter-study comparison of in vivo release, vaginal tissue, and plasma concentrations for similar formulations demonstrated good reproducibility of the animal model. Mean estimates for a 28-day in vivo release ranged from 0.35 to 3.17 mg UC781 per segment. Mean proximal vaginal tissue levels (adjacent to the IVR segment) were 8– 410 ng/g and did not change significantly with time for most formulations. Distal vaginal tissue levels of UC781 were 6- to 49-fold lower than proximal tissue levels. Mean UC781 plasma levels were low for all formulations, at 0.09–0.58 ng/mL. All formulations resulted in similar UC781 concentrations in vaginal tissue and plasma, except the low loading polyurethane group which provided significantly lower levels. Loading dependent release and pharmacokinetics were only clearly observed for the polyurethane matrix. Based on these results, intravaginal ring segments loaded with UC781 led to vaginal tissue concen- trations ranging from below to approximately two orders of magnitude higher than UC781’s EC50 under in vitro conditions (2.8 ng/mL), with little influence by polymer matrix or UC781 loading. Moreover, these findings support the use of rabbit vaginal pharmacokinetic studies in preclinical testing of microbicide intravaginal rings.

Distribution of the Demmel Condition Number of Wishart Matrices

This paper studies the Demmel condition number of Wishart matrices, a quantity which has numerous applications to wireless communications, such as adaptive switching between beamforming and diversity coding, link adaptation, and spectrum sensing. For complex Wishart matrices, we give an exact analytical expression for the probability density function (p.d.f.) of the Demmel condition number, and also derive simplified expressions for the high tail regime. These results indicate that the condition of complex Wishart matrices is dominantly decided by the difference between the matrix dimension and degree of freedom (DoF), i.e., the probability of drawing a highly ill conditioned matrix decreases considerably when the difference between the matrix dimension and DoF increases. We further investigate real Wishart matrices, and derive new expressions for the p.d.f. of the smallest eigenvalue, when the difference between the matrix dimension and DoF is odd. Based on these results, we succeed to obtain an exact p.d.f. expression for the Demmel condition number, and simplified expressions for the high tail regime.

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.

Determination of thyreostat residues from bovine matrices using high-performance liquid chromatography

High-performance liquid chromatography (HPLC) methodologies were evaluated for the detection and quantification of thyreostatic drug residues in cattle serum and thyroid tissue. The paper details a protocol, using a simple ethyl acetate extraction for the determination of thiouracil, tapazole, methyl thiouracil, propyl thiouracil and phenyl thiouracil in thyroid tissue. Using two sequential HPLC injections, and quantitative analysis, in two steps, all five thyreostats were detectable at concentrations greater than 2.45-4.52 ng/g. Modifications to a published method for detection of thyreostatic residues in serum involving the addition of mercaptoethanol and a freezing step are described. The modifications improved sensitivity and allowed detection of the five thyreostats at levels greater than 16.98-35.25 ng/ml. Young bulls were treated with thyreostats to demonstrate the validity of the methodologies described. Administered thyreostats were not absorbed equally by the test animals and the compounds were not all detected in the serum samples removed at 7 days following drug withdrawal. These experiments indicate the necessity to be able to detect thyreostat residues in a variety of matrices. (C) 1998 Elsevier Science B.V. All rights reserved.

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.