Towards formal verification of analog mixed signal designs using SPICE circuit simulation traces

An extension to a formal verification approach of hybrid systems is proposed to verify analog and mixed signal (AMS) designs. AMS designs can be formally modeled as hybrid systems and therefore lend themselves to the formal analysis and verification techniques applied to hybrid systems. The proposed approach employs simulation traces obtained from an actual design implementation of AMS circuit blocks (for example, in the form of SPICE netlists) to carry out formal analysis and verification. This enables the same platform used for formally validating an abstract model of an AMS design, to be also used for validating its different refinements and design implementation; thereby, providing a simple route to formal verification at different levels of implementation. The feasibility of the proposed approach is demonstrated with a case study based on a tunnel diode oscillator. Since the device characteristic of a tunnel diode is highly non-linear with a negative resistance region, dynamic behavior of circuits in which it is employed as an element is difficult to model, analyze and verify within a general hybrid system formal verification tool. In the case study presented the formal model and the proposed computational techniques have been incorporated into CheckMate, a formal verification tool based on MATLAB and Simulink-Stateflow Framework from MathWorks.

Photocatalytic Activity of Combustion Synthesized ZrO(2) and ZrO(2)-TiO(2) Mixed Oxides

Tetragonal ZrO(2), synthesized by solution combustion technique, was found to be photocatalytically active for the degradation of anionic dyes. The compound was characterized by FT-Raman spectroscopy, X-ray photoelectron spectroscopy, FT-infrared spectroscopy, UV-vis spectroscopy, BET surface area analysis, and zero point charge pH measurement. A high concentration of surface hydroxyl groups was observed over the catalyst, as confirmed by XPS and FUR. The photocatalytic degradation of orange G, amido black, remazol brilliant blue R, and alizarin cyanine green (ACG) was carried out with this material. The effect of pH, inorganic. salts, and H(2)O(2) on the activity of the catalyst was also studied, and it was found that the catalyst maintained its activity at a wide range of pH and in the presence of inorganic salts. Having established that ZrO(2) was photocatalytically active, mixed oxide catalysts of TiO(2)-ZrO(2) were also tested for the photocatalytic degradation of ACG, and the 50% ZrO(2)-TiO(2) mixed oxides showed activity that was comparable to the activity of TiO(2).

Current‐limiting action of mixed‐phase BaTiO3 ceramic semiconductors

Stable and highly reproducible current‐limiting characteristics are observed for polycrystalline ceramics prepared by sintering mixtures of coarse‐grained, donor‐doped BaTiO3 (tetragonal) as the major phase and ultrafine, undoped cubic perovskite such as BaSnO3, BaZrO 3, SrTiO3, or BaTiO3 (cubic). The linear current‐voltage (I‐V) relation changes over to current limiting as the field strength increases, when thermal equilibrium is attained. The grain‐boundary layers with low donor and high Sn, Zr, or Sr have depleted charge carrier density as compared to that in the grain bulk. The voltage drop at the grain‐boundary layers diminishes the temperature gradient between the interior and surface regions.

A note on magnetization of high temperature superconductors (YBCO, BSCCO) in mixed state

We present a critical study of the temperature and field dependence magnetization of high temperature superconductors (HTSCs). The controversial field dependence of dM/dInB for YBa(2)Cu(3)O(7) (YBCO) and Bi(2)Sr(2)CaCu(2)O(8) (BSCCO) is discussed using different models. Moreover, for both the systems the magnetization (M(H)) dependence is compared with field (H) dependence. (C) 2011 Elsevier B.V. All rights reserved.

Vlbi observations of a mixed selection of extra-galactic objects

VLBI observations at 6 cm reported of several weak radio cores of normal and Seyfert galaxies, of radio sources which have jets or a head tail morphology as well as some stronger cores of flat spectrum galaxies from the NRAO-Bonn "S 4", survey. Nearly all sources were detected at an angular resolution of approximately 15 milli arc s. Some of the sources are resolved at this level.

Continuous phase transition in mixed-valent manganite Nd0.6Pb0.4MnO3

The critical behaviour has been investigated in single crystalline Nd0.6Pb0.4MnO3 near the paramagnetic to ferromagnetic transition temperature (TC) by static magnetic measurements. The values of TC and the critical exponents β, γ and δ are estimated by analysing the data in the critical region. The exponent values are very close to those expected for 3D Heisenberg ferromagnets with short-range interactions. Specific heat measurements show a broad cusp at TC (i.e., exponent α<0) being consistent with Heisenberg-like behaviour.

Photoluminescence study of mixed doped Ge-Se-In-Bi glasses

Photoluminescence studies, carried out using the Fourier Transform method rather than the conventional monochromator-dispersion method,are reported on glassy samples of indium-bismuth mixed doped Ge (10) Se(90-x-y) In (x) Bi (y) system (x,y = 5,10). The amorphous Bi2Se3 is found to be n-type like the crystalline counterpart. The possible contributions from microscopic cluster-level phase separation of Bi2Se3 and from the defects to the change in conductivity from p- to n- typein this system is discussed. The similar situation in related systems is also pointed out.

Chitosan-polyvinyl alcohol-sulfonated polyethersulfone mixed-matrix membranes as methanol-barrier electrolytes for DMFCs

Chitosan (CS)-polyvinyl alcohol (PVA) cross-linked with sulfosuccinic acid (SSA) and modified with sulfonated polyethersulfone (SPES) mixed-matrix membranes are reported for their application in direct methanol fuel cells (DMFCs). Polyethersulfone (PES) is sulfonated by chlorosulfonic acid and factors affecting the sulfonation reaction, such as time and temperature, are studied. The ion-exchange capacity, degree of sulfonation, sorption, and proton conductivity for the mixed-matrix membranes are investigated. The mixed-matrix membranes are also characterised for their mechanical and thermal properties. The methanol-crossover flux across the mixed-matrix membranes is studied by measuring the mass balance of methanol using the density meter. The methanol cross-over for these membranes is found to be about 33% lower in relation to Nafion-117 membrane. The DMFC employing CS-PVA-SPES mixed-matrix membrane with an optimum content of 25 wt % SPES delivers a peak power-density of 5.5 mW cm-2 at a load current-density of 25 mA cm-2 while operating at 70 degrees C. (C) 2011 Wiley Periodicals, Inc. J Appl Polym Sci, 2012

Mixed-ligand aroylhydrazone complexes of molybdenum: Synthesis, structure and biological activity

The reaction of the benzoylhydrazone of 2-hydroxybenzaldehyde (H2L) with MoO2(acac)(2)] proceeds smoothly in refluxing ethanol to afford an orange complex MoO2L(C2H5OH)] (1). The substrate binding capacity of 1 has been demonstrated by the formation and isolation of two mononuclear MoO2L(Q)] {where Q = imidazole (2a) and 1-methylimidazole (2b)} and one dinuclear (MoO2L)(2)(Q)] {Q = 4,4'-bipyridine (3)} mixed-ligand oxomolybdenum complex. All the complexes have been characterized by elemental analysis, magnetic and spectroscopic (IR, UV-Vis and NMR) measurements. The molecular structures of all the oxomolybdenum(VI) complexes (1, 2a, 2b and 3) have been determined by X-ray crystallography. In each complex, the dianionic planar ligand is coordinated to the metal centre via one enolate oxygen, one phenolate oxygen and an azomethine nitrogen atom. The complexes have been screened for their antibacterial activity against Escherichia coli, Bacillus and Pseudomonas aeruginosa. The minimum inhibitory concentration of these complexes and their antibacterial activity indicates that compounds 2a and 2b are potential lead molecules for drug designing. (C) 2012 Elsevier Ltd. All rights reserved.

Mixed convection adjacent to non-isothermal vertical surfaces

Study of laminar boundary layer in mixed convection from vertical plates is carried out. The surface temperature along the vertical plate is assumed to vary arbitrarily with vertical distance. Perturbation technique is used to solve the governing boundary layer equations. The differentials of the wall temperature are used as perturbation elements, which are functions of vertical distance, to obtain universal functions. The universal functions are valid for any type of vertical wall temperature variation. Heat transfer rates and fluid velocity inside the boundary layer can be expressed and calculated using these universal functions. Heat transfer rates are obtained for the special cases of power-law variation of the wall temperature. The effect of the governing parameter (Gr(y)/Re-y(2)) and the power index of the power-law wall temperature variation on heat transfer rates is studied. For the purpose of validation, the mixed convection results obtained by the present technique pertaining to the special cases of isothermal vertical wall are compared with those obtained by similarity analysis reported in literature, and the agreement is found to be good. (C) 2012 Elsevier Ltd. All rights reserved.

Existence of Value in Stochastic Differential Games of Mixed Type

In this article, we address stochastic differential games of mixed type with both control and stopping times. Under standard assumptions, we show that the value of the game can be characterized as the unique viscosity solution of corresponding Hamilton-Jacobi-Isaacs (HJI) variational inequalities.

Highly luminescent and thermally stable lanthanide coordination polymers designed from 4-(dipyridin-2-yl)aminobenzoate: efficient energy transfer from Tb3+ to Eu3+ in a mixed lanthanide coordination compound

Herein, a new aromatic carboxylate ligand, namely, 4-(dipyridin-2-yl)aminobenzoic acid (HL), has been designed and employed for the construction of a series of lanthanide complexes (Eu3+ = 1, Tb3+ = 2, and Gd3+ = 3). Complexes of 1 and 2 were structurally authenticated by single-crystal X-ray diffraction and were found to exist as infinite 1D coordination polymers with the general formulas {Eu(L)(3)(H2O)(2)]}(n) (1) and {Tb(L)(3)(H2O)]center dot(H2O)}(n) (2). Both compounds crystallize in monoclinic space group C2/c. The photophysical properties demonstrated that the developed 4-(dipyridin-2-yl)aminobenzoate ligand is well suited for the sensitization of Tb3+ emission (Phi(overall) = 64%) thanks to the favorable position of the triplet state ((3)pi pi*) of the ligand the energy difference between the triplet state of the ligand and the excited state of Tb3+ (Delta E) = (3)pi pi* - D-5(4) = 3197 cm(-1)], as investigated in the Gd3+ complex. On the other hand, the corresponding Eu3+ complex shows weak luminescence efficiency (Phi(overall) = 7%) due to poor matching of the triplet state of the ligand with that of the emissive excited states of the metal ion (Delta E = (3)pi pi* - D-5(0) = 6447 cm(-1)). Furthermore, in the present work, a mixed lanthanide system featuring Eu3+ and Tb3+ ions with the general formula {Eu0.5Tb0.5(L)(3)(H2O)(2)]}(n) (4) was also synthesized, and the luminescent properties were evaluated and compared with those of the analogous single-lanthanide-ion systems (1 and 2). The lifetime measurements for 4 strongly support the premise that efficient energy transfer occurs between Tb3+ and Eu3+ in a mixed lanthanide system (eta = 86%).

Small-Angle Neutron-Scattering Studies of Mixed Micellar Structures Made of Dimeric Surfactants Having Imidazolium and Ammonium Headgroups

Planar imidazolium cation based gemini surfactants 16-Im-n-Im-16], 2Br(-) (where n = 2, 3, 4, 5, 6, 8, 10, and 12), exhibit different morphologies and internal packing arrangements by adopting different supramolecular assemblies in aqueous media depending on their number of spacer methylene units (CH2)(n). Detailed measurements of the small-angle neutron-scattering (SANS) cross sections from different imidazolium-based surfactant micelles in aqueous media (D2O) are reported. The SANS data, containing the information of aggregation behavior of such surfactants in the molecular level, have been analyzed on the basis of the Hayter and Penfold model for the macro ion solution to compute the interparticle structure factor S(Q) taking into account the screened Coulomb interactions between the dimeric surfactant micelles. The characteristic changes in the SANS spectra of the dimeric surfactant with n = 4 due to variation of temperature have also been investigated. These data are then compared with the SANS characterization data of the corresponding gemini micelles containing tetrahedral ammonium ion based polar headgroups. The critical micellar concentration of each surfactant micelle (cmc) has been determined using pyrene as an extrinsic fluorescence probe. The variation of cmc as a function of spacer chain length has been explained in terms of conformational variation and progressive looping of the spacer into the micellar interior upon increasing the n values. Small-angle neutron-scattering (SANS) cross sections from different mixed micelles composed of surfactants with ammonium headgroups, 16-A(0), 16-Am-n-Am-16], 2Br(-) (where n = 4), 16-I-0, and 16-Im-n-Im-16], 2Br(-) (where n = 4), in aqueous media (D2O) have also been analyzed. The aggregate composition matches with that predicted from the ideal mixing model.