Zero-One Designs Produce Small Hard SAT Instances

Some basics of combinatorial block design are combined with certain constraint satisfaction problems of interest to the satisfiability community. The paper shows how such combinations lead to satisfiability problems, and shows empirically that these are some of the smallest very hard satisfiability problems ever constructed. Partially balanced (0,1) designs (PB01Ds) are introduced as an extension of balanced incomplete block designs (BIBDs) and (0,1) designs. Also, (0,1) difference sets are introduced as an extension of certain cyclical difference sets. Constructions based on (0,1) difference sets enable generation of PB01Ds over a much wider range of parameters than is possible for BIBDs. Building upon previous work of Spence, it is shown how PB01Ds lead to small, very hard, unsatisfiable formulas. A new three-dimensional form of combinatorial block design is introduced, and leads to small, very hard, satisfiable formulas. The methods are validated on solvers that performed well in the SAT 2009 and earlier competitions.

Reflection and Transmission at a Phase Discontinuous Interface

In this paper we extend the derivation of the modified form Snells's law that occurs when an additional phase profile is introduced at the material interface. We show that this permits electromagnetic (EM) beam steering, negative refraction and retrodirective action opportunities for such engineered surfaces even if they are immersed in a uniform dielectric. Simple expressions for the retrodirected and negatively refracted beams are derived along with the propagation conditions that occur at the boundary interface inside the critical angle range. It is also demonstrated how the transmission and reflected power levels are affected by the additional phase taper introduced at the surface.

Full duplex reflection amplifier tag

The authors describe a reflection amplifier adapted to have both a reflection and a transmission port. The amplifier uses a single silicon bipolar transistor and demonstrates a reflection gain of 13 dB, transmission gain of 10 dB and 3.4 dB noise figure at 5.25 GHz. The added feature of transmission gain in the reflection amplifier permits practical implementation of full duplex microwave radiofrequency indentification (RFID) tag operation. By using a simple subcarrier modulation scheme full duplex RFID operation utilising this amplifier is demonstrated. These results indicate that for 27 dBm (0.5 W) effective isotropic radiated power (EIRP) transmit power it should be possible to obtain approximately 8 m downlink range and 25 m uplink range

Lovastatin biosynthesis depends on the carbon-nitrogen proportion: model development and controller design

Lovastatin biosynthesis depends on the relative concentrations of dissolved oxygen and the carbon and nitrogen resources. An elucidation of the underlying relationship would facilitate the derivation of a controller for the improvement of lovastatin yield in bioprocesses. To achieve this goal, batch submerged cultivation experiments of lovastatin production by Aspergillus flavipus BICC 5174, using both lactose and glucose as carbon sources, were performed in a 7 liter bioreactor and the data used to determine how the relative concentrations of lactose, glucose, glutamine and oxygen affected lovastatin yield. A model was developed based on these results and its prediction was validated using an independent set of batch data obtained from a 15-liter bioreactor using five statistical measures, including the Willmott index of agreement. A nonlinear controller was designed considering that dissolved oxygen and lactose concentrations could be measured online, and using the lactose feed rate and airflow rate as process inputs. Simulation experiments were performed to demonstrate that a practical implementation of the nonlinear controller would result in satisfactory outcomes. This is the first model that correlates lovastatin biosynthesis to carbon-nitrogen proportion and possesses a structure suitable for implementing a strategy for controlling lovastatin production.

Anxiolytic-like effects observed in rats exposed to the elevated zero-maze following treatment with 5-HT2/5-HT3/5-HT4 ligands

The present study examined the effects of administering selective 5-HT antagonists and agonists to rats tested in the elevated zero-maze (EZM) model of anxiety. The EZM paradigm has advantages over the elevated plus-maze (EPM) paradigm with respect to measuring anxiety, yet has been utilized less frequently. Three experiments were conducted each with a diazepam control (0.25, 0.5 and 0.75 mg/kg). In the first experiment, we administered the 5-HT_2C antagonist RS 102221 (0.5, 1.0, and 2.0 mg/kg) and 5-HT_2C agonist MK-212 (0.25, 0.5 and 0.75 mg/kg); in the second experiment, we administered the 5-HT₃ antagonist Y-25130 (0.1, 1.0 and 3.0 mg/kg) and 5-HT₃ agonist SR 57227A (0.1, 1.0 and 3.0 mg/kg), and in the third experiment, we administered the 5-HT₄ antagonist RS 39604 (0.01, 0.1, 1.0 mg/kg) and 5-HT₄ agonist RS 67333 (0.01, 0.1 and 0.5 mg/kg). The administration of 5-HT_2/3/4 subtype antagonists all generated behavioral profiles indicative of anxiolytic-like effects in the EZM, which was apparent from examination of both traditional and ethological measures. While little effect was observed from 5-HT₂ and 5-HT₃ agonists, the 5-HT₄ agonist RS 67333 was found to produce a paradoxical anxiolytic-like effect similar to that produced by the 5-HT₄ antagonist RS 39604. We conclude by discussing the implications of these findings.