A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

High-throughput screening of fuel cell electrocatalysts

The drawbacks of our earlier report of preparing fuel cell catalyst arrays by borohydride reduction of inkjet prepared arrays of metal salts are discussed along with the need for inclusion of state-of-the-art metrics in all array screening. An alternative method for screening of hydrogen/air cathode catalysts, direct methanol fuel cell (DMFC) anode catalysts, and catalyst loading studies is provided. State-of-the-art Johnson Matthey catalysts were used in control experiments to demonstrate the utility of the array fuel cell for high throughput screening of fuel cell catalysts in the 3-4 mg/cm² range. This report lays out hard learned rules for high throughput screening and demonstrates that the array fuel cell can be used for very precise screening of libraries of membrane electrode assembly (MEA) components without the pitfalls discussed in the introduction.     

Novel route to 5-position vinyl derivatives of thiolactomycin: Olefination vs. deformylation

Vinyl and diene derivatives of thiolactomycin have been prepared via Horner-Wadsworth-Emmons olefination from protected 5-formyl-3,5-dimethylthiotetronic acid. Several 4-position protecting groups and a variety of phosphonates were evaluated, with MOM protection and β-ketophosphonates yielding the highest ratio of the desired product to deformylated product.     

Distributed feedback multipeak laser emission in Rhodamine 6G doped organic-inorganic hybrids

Organic-inorganic hybrid materials were prepared from an ureasil precursor (ureapropyltriethoxysilane designated as UPTES) and acrylic acid modified zirconium (IV) n-propoxide. Thin films containing rhodamine 6G (Rh6G) were prepared by spin-coating on glass substrates with different Zr:Si molar ratios (Zr:Si = 75:25, 50:50 and 25:75). Refractive index, thickness, number of propagating modes and attenuation coefficient were measured at 543.5, 632.8 and 1550 nm wavelengths by the prism coupling technique. Distributed feedback (DFB) laser effect was observed and studied as a function of films thickness and refractive index.     

A Class of C ·0-Contractions: Hyperinvariant Subspaces and Intertwining Operators

We consider a class of C_·0-contractions that is a generalization of the class of C_·0-contractions with finite defect indices. Some results of Uchigama and Wu for C_·0-contractions with finite defect indices are generalized: the lattices of hyperinvariant subspaces of such a contraction T is isomorphic to that of its Jordan model and is generated by subspaces of the form Ker ϕ(T) and Ran ϕ(T), where ϕ ∈ H^∞. The form of the inverse to an isomorphism of the invariant subspace lattices given by an intertwining quasiaffinity is also studied. Next, for C_·0-contractions in question, the characteristic disc related to the lattice of invariant subspaces is computed. Bibliography: 13 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 315, 2004, pp. 48–62.     

Estimates for the Second Order Derivatives of Eigenvectors in Thin Anisotropic Plates with Variable Thickness

For the second order derivatives of eigenvectors in a thin anisotropic heterogeneous plate Ω_h, we derive estimates of their weighted L₂-norms with majorants whose dependence on the plate thickness h and on the eigenvalue number is expressed explicitly. These estimates maintain the asymptotic sharpness throughout the entire spectrum, whereas inside its low-frequency band the majorants remain bounded as h → +0. The latter is a rather unexpected fact, because for the first eigenfunction u¹ of a similar boundary-value problem for a scalar second order differential operator with variable coefficients, the norm ‖∇ _x ² u⁰; L₂(Ω_h)‖ is of order h⁻¹ and grows as h tends to zero. Bibliography: 35 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 308, 2004, pp. 161–180.     

Dissociative excitation cross sections of the lead atom in collisions between electrons and PbI2 molecules

Dissociative excitation of the lead atom in e-PbI₂ collisions has been studied experimentally. 27 excitation cross sections were measured for an energy of the exciting electrons equal to 100 eV. Nine optical excitation functions were recorded with variation of the electron energy in the range 0–100 eV. The most probable reaction channels for low electron energies are discussed, as well as the ratio of the dissociative excitation cross sections for the lead atom in e-PbI₂ and e-PbCl₂ collisions. __________ Translated from Zhurnal Prikladnoi Spektroskopii, Vol. 73, No. 6, pp. 701–706, November–December, 2006.     

A method for calculating invariant subspaces of symmetric hyperbolic equations

An algorithm is constructed for calculating invariant subspaces of symmetric hyperbolic systems arising in electromagnetic, acoustic, and elasticity problems. Discrete approximations are calculated for subspaces that correspond to minimal eigenvalues and smooth eigenfunctions. Difficulties related to the presence of an infinite-dimensional kernel in the differential operator are successfully handled. The efficiency of the algorithm is demonstrated using acoustics equations.     

The dielectric constant of barium mono-chalcogenides and their improved band gap results

We have applied Engel-Vosko exchange energy within density functional theory, to calculate the electronic structure and the optical properties of BaX (X = Te, Se, and S) compounds via full potential linearized augmented plane wave method. We have found that this improves the band gap results comparing to our previous work in which we had made use of Perdew et al. exchange energy functional. We have also calculated the dielectric constant of these compounds, using both Perdew et al. and Engel-Vosko schemes. It is shown that Engel-Vosko exchange energy functional leads to a better result. We have also reported the effect of spin-orbit coupling on the results.