Minimal unsatisfiable sets: Classification and bounds

Proving the unsatisfiability of propositional Boolean formulas has applications in a wide range of fields. Minimal Unsatisfiable Sets (MUS) are signatures of the property of unsatisfiability in formulas and our understanding of these signatures can be very helpful in answering various algorithmic and structural questions relating to unsatisfiability. In this paper, we explore some combinatorial properties of MUS and use them to devise a classification scheme for MUS. We also derive bounds on the sizes of MUS in Horn, 2-SAT and 3-SAT formulas.

Compositionally modulated Pb(Mg1/3Nb2/3)O-3-PbTiO3 relaxor thin films deposited by pulsed excimer laser ablation technique

Thin films of (1-x)Pb(Mg1/3Nb2/3)O-3 - xPbTiO(3) (x = 0.1 to 0.3)(PMN-PT) were deposited on the platinum coated silicon substrate by pulsed excimer laser ablation technique. A template layer of LaSr0.5Co0.5O3 (LSCO) was deposited on platinum substrate prior to the deposition of PMN-PT thin films. The composition and the structure of the films were modulated via proper variation of the deposition parameter such as substrate temperature, laser fluence and thickness of the template layers. We observed the impact of the thickness of LSCO template layer on the orientation of the films. A room temperature dielectric constant varying from 2000 to 4500 was noted for different composition of the films. The dielectric properties of the films were studied over the frequency range of 100 Hz - 100 kHz over a wide range of temperatures. The films exhibited the relaxor- type behavior that was characterized by the frequency dispersion of the temperature of dielectric constant maxima (T-m) and also diffuse phase transition. C1 Indian Inst Sci, Mat Res Ctr, Bangalore, Karnataka 560012 India.

Compositionally and structurally modulated Pb(Mg1/3Nb2/3)O3-PbTiO3 relaxor thin films for microactuator application

Thin films of (1-x)Pb(Mg1/3Nb2/3)O3-xPbTiO3(x = 0.1 to 0.3) (PMN-PT) were successfully grown on the platinum coated silicon substrate by pulsed excimer laser ablation technique. A thin template layer of LaSr0.5Co0.5O3 (LSCO) was deposited on platinum substrate prior to the deposition of PMN-PT thin films. The composition and the structure of the films were modulated via proper variation of the deposition parameter such as substrate temperature, laser fluence and thickness of the template layers. We observed the impact of the thickness of LSCO template layer on the orientation of the films. The crystallographic structure and compositional variation were confirmed with x-ray diffraction and energy diffraction x-ray (EDX) analysis. A room temperature dielectric constant varying from 2000 to 4500 was noted for different composition of the films. The dielectric properties of the films were studied over the frequency range of 100 Hz - 100 kHz over a wide range of temperatures. The films exhibited the relaxor-type behavior that was characterized by the frequency dispersion of the temperature of dielectric constant maxima (Tm) and also diffuse phase transition. This relaxor nature in PMN-PT thin films was attributed to freezing of the dipole moment, which takes place below a certain temperature. This phenomenon was found to be very similar to spin glass system, where spins are observed to freeze after certain temperature.

Coupled Wavenumbers in an Infinite Flexible Fluid-Filled Circular Cylindrical Shell: Comparison between Different Shell Theories

Analytical expressions are found for the wavenumbers in an infinite flexible in vacuo I fluid-filled circular cylindrical shell based on different shell-theories using asymptotic methods. Donnell-Mushtari theory (the simplest shell theory) and four higher order theories, namely Love-Timoshenko, Goldenveizer-Novozhilov, Flugge and Kennard-simplified are considered. Initially, in vacuo and fluid-coupled wavenumber expressions are presented using the Donnell-Mushtari theory. Subsequently, the wavenumbers using the higher order theories are presented as perturbations on the Donnell-Mushtari wavenumbers. Similarly, expressions for the resonance frequencies in a finite shell are also presented, using each shell theory. The basic differences between the theories being what they are, the analytical expressions obtained from the five theories allow one to see how these differences propagate into the asymptotic expansions. Also, they help to quantify the difference between the theories for a wide range of parameter values such as the frequency range, circumferential order, thickness ratio of the shell, etc.

Near-Room-Temperature Colossal Magnetodielectricity and Multiglass Properties in Partially Disordered La2NiMnO6

We report magnetic, dielectric, and magnetodielectric responses of the pure monoclinic bulk phase of partially disordered La2NiMnO6, exhibiting a spectrum of unusual properties and establish that this compound is an intrinsically multiglass system with a large magnetodielectric coupling (8%-20%) over a wide range of temperatures (150-300 K). Specifically, our results establish a unique way to obtain colossal magnetodielectricity, independent of any striction effects, by engineering the asymmetric hopping contribution to the dielectric constant via the tuning of the relative-spin orientations between neighboring magnetic ions in a transition-metal oxide system. We discuss the role of antisite (Ni-Mn) disorder in emergence of these unusual properties.

Effect of Grain Size on Structural and Magnetic Properties of CuFe2O4 Nanograins Synthesized by Chemical Co-Precipitation

CuFe2O4 nanograins have been prepared by the chemical co-precipitation technique and calcined in the temperature range of 200-1200 degrees C for 3 h. A wide range of grain sizes has been observed in this sintering temperature range, which has been determined to be 4 to 56 nm. Formation of ferrite has also been confirmed by FTIR measurement through the presence of wide band near 600 and 430 cm(-1) for the samples in the as-dried condition. Systematic variation of wave number has been observed with the variation of the calcination temperature. B-H loops exhibit transition from superparamagnetic to ferrimagnetic state above the calcination temperature of 900 degrees C. Coercivity of the samples at lower calcination temperature of 900 degrees C reduces significantly and tends towards zero coercivity, which is suggestive of superparamagnetic transition for the samples sintered below this temperature. Frequency spectrum of the real and imaginary part of complex initial permeability have been measured for the samples calcined at different temperature, which shows wide range of frequency stability. Curie temperature, T-c has been measured from temperature dependence initial permeability at a fixed frequency of 100 kHz. Although there is small variation of T-c with sintering temperature, the reduction of permeability with temperature drastically reduce for lower sintering temperature, which is in conformity with the change of B-H loops with the variation of sintering temperatures.

Physics-Based Band Gap Model for Relaxed and Strained 100] Silicon Nanowires

In this paper, we propose a physics-based simplified analytical model of the energy band gap and electron effective mass in a relaxed and strained rectangular 100] silicon nanowires (SiNWs). Our proposed formulation is based on the effective mass approximation for the nondegenerate two-band model and 4 x 4 Luttinger Hamiltonian for energy dispersion relation of conduction band electrons and the valence band heavy and light holes, respectively. Using this, we demonstrate the effect of the uniaxial strain applied along 100]-direction and a biaxial strain, which is assumed to be decomposed from a hydrostatic deformation along 001] followed by a uniaxial one along the 100]-direction, respectively, on both the band gap and the transport and subband electron effective masses in SiNW. Our analytical model is in good agreement with the extracted data using the extended-Huckel-method-based numerical simulations over a wide range of device dimensions and applied strain.

Motion Analysis for Short and Long Jump

Motion analysis is very essential in sport activities to enhance the performance of an athlete and to ensure the correctness of regimes. Expensive methods of motion analysis involving the use of sophisticated technology has led to limited application of motion analysis in sports. Towards this, in this paper we have integrated a low-cost method for motion analysis using three axis accelerometer, three axis magnetometer and microcontroller which are very accurate and easy to use. Seventeen male subjects performed two experiments, standing short jumps and long jumps over a wide range of take-off angles. During take-off and landing the acceleration and angles at different joints of the body are recorded using accelerometers and magnetometers, and the data is captured using Lab VIEW software. Optimum take-off angle in these jumps are calculated using the recorded data, to identify the optimum projection angle that maximizes the distance achieved in a jump. The results obtained for optimum take off angle in short jump and long jump is in agreement with those obtained using other methodologies and theoretical calculations assuming jump to be a projectile motion. The impact force (acceleration) is also analysed and is found to progressively decrease from foot to neck.

Ultrasonic performance of the PVDF thin film sensors under thermal fatigue

In the present work, the ultrasonic strain sensing performance of the large area PVDF thin film subjected to the thermal fatigue is studied. The PVDF thin film is prepared using hot press and the piezoelectric phase (beta-phase) has been achieved by thermo-mechanical treatment and poling under DC field. The sensors used in aircrafts for structural health monitoring applications are likely to be subjected to a wide range of temperature fluctuations which may create thermal fatigue in both aircraft structures and in the sensors. Thus, the sensitivity of the PVDF sensors for thermal fatigue needs to be studied for its effective implementation in the structural health monitoring applications. In present work, the fabricated films have been subjected to certain number of thermal cycles which serve as thermal fatigue and are further tested for ultrasonic strain sensitivity at various different frequencies. The PVDF sensor is bonded on the beam specimen at one end and the ultrasonic guided waves are launched with a piezoelectric wafer bonded on another end of the beam. Sensitivity of PVDF sensor in terms of voltage is obtained for increasing number of thermal cycles. Sensitivity variation is studied at various different extent of thermal fatigue. The variation of the sensor sensitivity with frequency due to thermal fatigue at different temperatures is also investigated. The present investigation shows an appropriate temperature range for the application of the PVDF sensors in structural health monitoring.

Electrochemical Detection of Bisphenol A Using Graphene-Modified Glassy Carbon Electrode

Graphene's nano-dimensional nature and excellent electron transfer properties underlie its electrocatalytic behavior towards certain substances. In this light, we have used graphene in the electrochemical detection of bisphenol A. Graphene sheets were produced via soft chemistry route involving graphite oxidation and chemical reduction. X-ray diffraction, Fourier transform infra-red (FT-IR) and Raman spectroscopy were used for the characterization of the as-synthesized graphene. Graphene exhibited amorphous structure in comparison with pristine graphite from XRD spectra. FTIR showed that graphene exhibits OH and COOH groups due to incomplete reduction. Raman spectroscopy revealed that multi-layered graphene was produced due to low intensity of the 2D-peak. Glassy carbon electrode was modified with graphene by a simple drop and dry method. Cyclic voltammetry was used to study the electrochemical properties of the prepared graphene-modified glassy carbon electrode using potassium ferricyanide as a redox probe. The prepared graphene- modified glassy carbon electrode exhibited more facile electron kinetics and enhanced current of about 75% when compared to the unmodified glassy carbon electrode. The modified electrode was used for the detection of bisphenol A. Under the optimum conditions, the oxidation peak current of bisphenol A varied linearly with concentration over a wide range of 5 x 10(-8) mol L-1 to 1 x 10(-6) mol L-1 and the detection limit of this method was as low as 4.689 x 10(-8) M. This method was also employed to determine bisphenol A in a real sample

Realization of thermally durable close-packed 2D gold nanoparticle arrays using self-assembly and plasma etching

Realization of thermally and chemically durable, ordered gold nanostructures using bottom-up self-assembly techniques are essential for applications in a wide range of areas including catalysis, energy generation, and sensing. Herein, we describe a modular process for realizing uniform arrays of gold nanoparticles, with interparticle spacings of 2 nm and above, by using RF plasma etching to remove ligands from self-assembled arrays of ligand-coated gold nanoparticles. Both nanoscale imaging and macroscale spectroscopic characterization techniques were used to determine the optimal conditions for plasma etching, namely RF power, operating pressure, duration of treatment, and type of gas. We then studied the effect of nanoparticle size, interparticle spacing, and type of substrate on the thermal durability of plasma-treated and untreated nanoparticle arrays. Plasma-treated arrays showed enhanced chemical and thermal durability, on account of the removal of ligands. To illustrate the application potential of the developed process, robust SERS (surface-enhanced Raman scattering) substrates were formed using plasma-treated arrays of silver-coated gold nanoparticles that had a silicon wafer or photopaper as the underlying support. The measured value of the average SERS enhancement factor (2 x 10(5)) was quantitatively reproducible on both silicon and paper substrates. The silicon substrates gave quantitatively reproducible results even after thermal annealing. The paper-based SERS substrate was also used to swab and detect probe molecules deposited on a solid surface.

Bose-Hubbard models in confining potentials: Inhomogeneous mean-field theory

We present an extensive study of Mott insulator (MI) and superfluid (SF) shells in Bose-Hubbard (BH) models for bosons in optical lattices with harmonic traps. For this we apply the inhomogeneous mean-field theory developed by Sheshadri et al. Phys. Rev. Lett. 75, 4075 (1995)]. Our results for the BH model with one type of spinless bosons agree quantitatively with quantum Monte Carlo simulations. Our approach is numerically less intensive than such simulations, so we are able to perform calculations on experimentally realistic, large three-dimensional systems, explore a wide range of parameter values, and make direct contact with a variety of experimental measurements. We also extend our inhomogeneous mean-field theory to study BH models with harmonic traps and (a) two species of bosons or (b) spin-1 bosons. With two species of bosons, we obtain rich phase diagrams with a variety of SF and MI phases and associated shells when we include a quadratic confining potential. For the spin-1 BH model, we show, in a representative case, that the system can display alternating shells of polar SF and MI phases, and we make interesting predictions for experiments in such systems.

Structural and phase dependent thermo and photoluminescent properties of Dy(OH)(3) and Dy2O3 nanorods

Hexagonal Dy(OH)(3) and cubic Dy2O3 nanorods were prepared by hydrothermal method. Dy(OH)(3) nanorods was directly obtained at 180 degrees C for 20 h after hydrothermal treatment whereas subsequently heat treatment at 750 degrees C for 2 h gives pure cubic Dy2O3. SEM micrographs reveal that needle shaped rods with different sizes were observed in both the phases. TEM results also confirm this. The TL response of hexagonal Dy(OH)(3) and cubic Dy2O3 nanorods have been analyzed for gamma-irradiation over a wide range of exposures (1-5 kGy). TL glow peak intensity increases with gamma dose in both the phases. The activation energy (E), order of kinetics (6), and frequency factor (s) for both the phases have been determined using Chen's peak shape method. The simple glow curve shape, structure and linear response to gamma-irradiation over a large span of exposures makes the cubic Dy2O3 as a useful dosimetric material to estimate high exposures of gamma-rays. (c) 2012 Elsevier Ltd. All rights reserved.

Modeling of Ascending/Descending Velocity of Metal Droplet Emulsified in Pb-Salt System

Metal-slag emulsion is an important process to enhance the reaction rate between the two phases; thus, it improves the heat and mass transfer of the process significantly. Various experimental studies have been carried out, and some system specific relations have been proposed by various investigators. A unified, theoretical study is lacking to model this complex phenomenon. Therefore, two simple models based on fundamental laws for metal droplet velocity (both ascending and descending) and bubble velocity, as well as its position at any instant of time, have been proposed. Analytical solutions have been obtained for the developed equations. Analytical solutions have been verified for the droplet velocity, traveling time, and size distribution in slag phase by performing high-temperature experiments in a Pb-salt system and comparing the obtained data with theory. The proposed model has also been verified with published experimental data for various liquid systems with a wide range of physical properties. A good agreement has been found between the analytical solution and the experimental and published data in all cases.

Methods for Detecting Early Warnings of Critical Transitions in Time Series Illustrated Using Simulated Ecological Data

Many dynamical systems, including lakes, organisms, ocean circulation patterns, or financial markets, are now thought to have tipping points where critical transitions to a contrasting state can happen. Because critical transitions can occur unexpectedly and are difficult to manage, there is a need for methods that can be used to identify when a critical transition is approaching. Recent theory shows that we can identify the proximity of a system to a critical transition using a variety of so-called `early warning signals', and successful empirical examples suggest a potential for practical applicability. However, while the range of proposed methods for predicting critical transitions is rapidly expanding, opinions on their practical use differ widely, and there is no comparative study that tests the limitations of the different methods to identify approaching critical transitions using time-series data. Here, we summarize a range of currently available early warning methods and apply them to two simulated time series that are typical of systems undergoing a critical transition. In addition to a methodological guide, our work offers a practical toolbox that may be used in a wide range of fields to help detect early warning signals of critical transitions in time series data.