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)     

Double-layer structural-acoustic coupling for cylindrical shell by using a combination of WDA and BIE

This work formulates the double-layer structural-acoustic coupling problem for cylindrical shell by using a combination of the wave-number domain approach (WDA) and the boundary integral equation (BIE). Expressions for the spectral radial velocity of the outer surface of a finite fluid-filled/submerged (FFS) cylindrical thin shell are formulated by means of the transfer matrix equation in wave-number domain. It is shown that the spectral variables on the inner surface of the shell are related to those on the outer surface of the shell. The far field sound radiation from this kind of shell is numerically evaluated for various fluid cases. An experimental verification is performed, and a good correlation between the theoretical results and the experimental results shows that the theoretical study work in this paper is correct.     

Miscibility of bisphenol-A polycarbonate with poly(methyl methacrylate)

The miscibility of bisphenol-A polycarbonate (PC) with poly(methyl methacrylate) (PMMA) has been reexamined using differential scanning calorimetry (DSC) and optical indications for phase separation on heating, i.e., lower critical solution temperature (LCST) behavior. Various methods have been used to prepare the blends including methylene chloride (CH₂Cl₂) and tetrahydrofuran (THF) solution casting, melt mixing, and precipitation of PC and PMMA simultaneously from THF solution by using the nonsolvents methanol and heptane. It is shown that the resulting phase behavior for PC/PMMA blends is strongly affected by the blend preparation method. However, these blends are miscible over the whole blend composition range (unambiguous single composition-dependent T_g's and LCST behavior) when prepared by precipitation from solution using heptane as the nonsolvent. To the contrary, solution-cast and melt-mixed PC/PMMA blends were all phase separated, which may be attributed to the “solvent” effect and LCST behavior, respectively, not discovered in previous reports. Methanol precipitation does not lead to fully mixed blends, which demonstrates the importance of the choice of nonsolvent when using the precipitation method.     

Semi‐analytical integration of the 8‐node plane element stiffness matrix using symbolic computation

The semi‐analytical integration of an 8‐node plane strain finite element stiffness matrix is presented in this work. The element is assumed to be super‐parametric, having straight sides. Before carrying out the integration, the integral expressions are classified into several groups, thus avoiding duplication of calculations. Symbolic manipulation and integration is used to obtain the basic formulae to evaluate the stiffness matrix. Then, the resulting expressions are postprocessed, optimized, and simplified in order to reduce the computation time. Maple symbolic‐manipulation software was used to generate the closed expressions and to develop the corresponding Fortran code. Comparisons between semi‐analytical integration and numerical integration were made. It was demonstrated that semi‐analytical integration required less CPU time than conventional numerical integration (using Gaussian‐Legendre quadrature) to obtain the stiffness matrix. © 2005 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2006     

Nonlinear Theory of Spectra of Thermally Stimulated Currents in Complex Crystals with Hydrogen Bonds

The nonlinear theory of thermally stimulated depolarization currents is developed. The theory explains the processes of hetero- and homocharge relaxation in complex crystals with hydrogen bonds and allows the relaxation oscillator parameters to be calculated using the quadratic approximation for the external electric field.     

Conformational analysis of dipeptide‐derived polyisocyanides

The conformational properties of polymers derived from isocyanodipeptides have been investigated with a combination of model calculations, X‐ray diffraction, and circular dichroism spectroscopy. Depending on the configuration of the side chains, defined arrays of hydrogen bonds along the polymeric backbone are formed. This leads to a well‐defined conformation as, for example, expressed in the formation of lyotropic liquid‐crystalline phases and increased helical stability. Upon the disruption of the hydrogen bonds by a strong acid, a less well‐defined macromolecular conformation is observed. © 2003 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 41: 1725–1736, 2003     

Nonequilibrium Ionization by Vibrationally Excited Molecules in Supersonic Flows

The results of experimental investigations on thermal nonequilibrium ionization in CO₂: N₂: He mixtures are presented. Measurements of electron density, n_e, in vibrationally excited nitrogen were made in a supersonic flow with different CO₂ contents as well as in a CO₂: N₂: He = 1 : 5 : 4 mixture laser gas. The mixtures were heated in a shock tube and expanded through a supersonic nozzle. Furthermore, supersonic mixing of N₂ and CO₂ + He was used in some experiments. The measured values of n_e in the plenum chamber and in the supersonic nozzle are reported, and the processes responsible for nonequilibrium ionization in a laser-active medium are discussed.     

Cochran's statistical theorem for outer inverses of matrices and matrix quadratic forms

We extend the matrix version of Cochran's statistical theorem to outer inverses of a matrix. As applications, we investigate the Wishartness and independence of matrix quadratic forms for Kronecker product covariance structures.