Analytical techniques in high temperature corrosion

This paper considers the application of analytical techniques (particularly AES, SIMS, RHEED, laser Raman, Mössbauer, TEM, EELS) to high-temperature oxidation studies. Specific systems reviewed include NiO on Ni, oxides on Fe, Cr and their alloys, and Al₂O₃ on Al and gif" alt="beta" align="MIDDLE" BORDER="0">-NiAl. The often complementary information provided by the various techniques leads to a better understanding of oxide growth mechanisms on an atomic sale, interfacial segregation phenomena, and the role of reactive elements in modifying transport processes in oxides.     

New results in 2D optimal control theory

The infinite horizon optimal control problem is solved for 2D systems described by the Fornasini-Marchesini model. An gif" alt="ell" align="BASELINE" BORDER="0">₂-approach permits us to reduce the optimal control problem to a norm minimization one in Hilbert spaces. Both necessary and sufficient conditions for solvability and the structure of the solution are established. Moreover, a comparison with known results is presented, and the singularities of the 2D Riccati equation are examined in order to characterize suboptimal control laws that apply whenever the solvability conditions are not satisfied.     

On structure and stability of (Hg, Mo)-1212 superconductors based on SAED and EDS analysis

A superconductor with nominal composition Hg_0.8Mo_0.2Sr₂Y_0.5Ca_0.5Cu_{6+gif" alt="delta" align="BASELINE" BORDER="0">} withT _c up to 96 K has been isolated and carefully examined by electron diffraction and X-ray energy dispersive spectrum analyses. Its structure can be attributed to space groupP4/mmm and lattice constantsa=3.82 å andc=11.91 å. Inhomogeneous distribution of the cations was observed, which is considered to be the key to the broadening ofgif" alt="delta" align="BASELINE" BORDER="0">T _c in theR-T curve. The effect of humid atmosphere on the stability of the sample has also been investigated.     

On mesh restrictions to satisfy comparison principles,maximum principles,and the non-negative constraint: Recent developments and new results

This article concerns mesh restrictions that are needed to satisfy several important mathematical properties—maximum principles, comparison principles, and the nonnegative constraint—for a general linear second-order elliptic partial differential equation. We critically review some recent developments in the field of discrete maximum principles, derive new results, and discuss some possible future research directions in this area. In particular, we derive restrictions for a three-node triangular (T3) element and a four-node quadrilateral (Q4) element to satisfy comparison principles, maximum principles, and the nonnegative constraint under the standard single-field Galerkin formulation. Analysis is restricted to uniformly elliptic linear differential operators in divergence form with Dirichlet boundary conditions specified on the entire boundary of the domain. Various versions of maximum principles and comparison principles are discussed in both continuous and discrete settings. In the literature, it is well-known that an acute-angled triangle is sufficient to satisfy the discrete weak maximum principle for pure isotropic diffusion. Herein, we show that this condition can be either too restrictive or not sufficient to satisfy various discrete principles when one considers anisotropic diffusivity, advection velocity field, or linear reaction coefficient. Subsequently, we derive appropriate restrictions on the mesh for simplicial (e.g., T3 element) and nonsimplicial (e.g., Q4 element) elements. Based on these conditions, an iterative algorithm is developed to construct simplicial meshes that preserve discrete maximum principles using existing open source mesh generators. Various numerical examples based on different types of triangulations are presented to show the pros and cons of placing restrictions on a computational mesh. We also quantify local and global mass conservation errors using representative numerical examples and illustrate the performance of metric.     

Modal Pure Type Systems

We present a framework for intensional reasoning in typed gif" alt="lambda" align="BASELINE" BORDER="0">-calculus. In this family of calculi, called Modal Pure Type Systems (MPTSs), a gif" alt="ldquo" align="MIDDLE" BORDER="0">propositions-as-typesgif" alt="rdquo" align="MIDDLE" BORDER="0">-interpretation can be given for normal modal logics. MPTSs are an extension of the Pure Type Systems (PTSs) of Barendregt (1992). We show that they retain the desirable meta-theoretical properties of PTSs, and briefly discuss applications in the area of knowledge representation.     

Production of perovskite-like La1−xCaxMnO3+δ ferromagnetic thin films by electrochemical reduction

Ferromagnetic and perovskite-like thin films (<1gif" alt="mgr" align="MIDDLE" BORDER="0">m) of La1–xCaxMnO3+gif" alt="delta" align="BASELINE" BORDER="0"> have been routinely prepared by heat treatment of an amorphous La–Ca–Mn precursor. The precursor was electrodeposited cathodically in the absence of oxygen and water onto polished silver substrates from a nonaqueous solution of the components' nitrates. Analysis by X-ray diffraction and SQUID magnetometry shows these materials exhibit the appropriate structural and magnetic phases indicative of colossal magnetoresistance.     

Isochoric p-ρ-T Measurements on 1,1-Difluoroethane (R152a) from 158 to 400 K and 1,1,1-Trifluoroethane (R143a) from 166 to 400 K at Pressures to 35 MPa

The p-gif" alt="rgr" align="MIDDLE" BORDER="0">-T relationships have been measured for 1,1-difluoroethane (R152a) and 1,1,1-trifluoroethane (R143a) by an isochoric method with gravimetric determinations of the amount of substance. Temperatures ranged from 158 to 400 K for R152a and from 166 to 400 K for R143a, while pressures were up to 35 MPa. Measurements were conducted on compressed liquid samples. Determinations of saturated liquid densities were made by extrapolating each isochore to the vapor pressure, and determining the temperature and density at the intersection. Published p-gif" alt="rgr" align="MIDDLE" BORDER="0">-T data are in good agreement with this study. For the p-gif" alt="rgr" align="MIDDLE" BORDER="0">-T apparatus, the uncertainty of the temperature is ±0.03 K, and for pressure it is ±0.01% at p>3 MPa and ±0.05% at p&#60;3 MPa. The principal source of uncertainty is the cell volume (gif" alt="sim" align="MIDDLE" BORDER="0">28.5 cm³), which has a standard uncertainty of ±0.003 cm³. When all components of experimental uncertainty are considered, the expanded relative uncertainty (with a coverage factor k=2 and thus a two-standard deviation estimate) of the density measurements is estimated to be ±0.05%.     

3-Methyl-α-himachalene: Proposed structure for novel homosesquiterpene sex pheromone ofLutzomyia longipalpis (diptera: Psychodidae) from Jacobina,Brazil

The principal behaviorally active volatile component (ca. 90% +) of the sex pheromone glands ofLutzomyia longipalpis from Jacobina. Brazil, has been isolated and characterized as a novel homosesquiterpene with the structure 3-methyl-gif" alt="agr" align="BASELINE" BORDER="0">-himachalene (C₁₆H₂₆). A minor component (ca. 10%) of the gland extract has also been identified as the sesquiterpenegif" alt="agr" align="BASELINE" BORDER="0">-himachalene (C₁₅H₂₄). This work confirms that there are at least 3 members of theL. longipalpis species complex.