Interface analysis of the system Si/YBa2Cu3O7?x

Summary The influence of different preparation conditions and substrate surface orientations on the superconducting properties of thin YBa₂Cu₃O_7–x (YBCO) films on silicon was studied. Comparative electrical and surface spectroscopic measurements were performed. SAM and SIMS depth profile analysis show an enrichment of barium at the interface between the superconductor and silicon for samples with T_c<76 K. Comparison with XPS data obtained for thin silicon films on YBCO indicates the formation of barium and yttrium silicates at the interface under these conditions.     

Numerical analysis of time-dependent Boussinesq models

In this paper we analyse numerical models for time-dependent Boussinesq equations. These equations arise when so-called Boussinesq terms are introduced into the shallow water equations. We use the Boussinesq terms proposed by Katapodes and Dingemans. These terms generalize the constant depth terms given by Broer. The shallow water equations are discretized by using fourth-order finite difference formulae for the space derivatives and a fourth-order explicit time integrator. The effect on the stability and accuracy of various discrete Boussinesq terms is investigated. Numerical experiments are presented in the case of a fourth-order Runge-Kutta time integrator.     

Spectroscopic imaging display and analysis.

A system for display of magnetic resonance (MR) spectroscopic imaging (SI) data is described which provides for efficient review and analysis of the multidimensional spectroscopic and spatial data format of this technique. Features include the rapid display of spectra from selected image voxels, formation of spectroscopic images, spectral and image data processing operations, methods for correlating spectroscopic image data with high resolution 1H MR images, and hardcopy facilities. Examples are shown for 31P and 1H spectroscopic imaging studies obtained in human and rat brain.     

Inertia-preserving secant updates

Corrections to the last two equations of Ref. 1 are given.     

Short-range order in miscible polymer blends: A monte carlo study

Local ordering in miscible binary polymer blends with strong attractive interactions between the two types of chains was investigated by computer simulation of allowable conformations on an incompressible cubic lattice. A tendency toward maximum ordering (in which chains pack in alternate parallel rows) is shown by the calculation of pair correlations and in “snapshots” of the mixtures. A specific directional interaction is not necessarily required for ordering. A comparison of these results with those recently obtained using mean-field theory is presented. The heat capacity of mixing was also calculated and found to be positive, with a value close to that reported experimentally.     

Models of linear logic

We engage a study of nonmodal linear logic which takes times ⊗ and the linear conditional ⊸ to be the basic connectives instead of times and linear negation ()^⊥ as in Girard's approach. This difference enables us to obtain a very large subsystem of linear logic (called positive linear logic) without an involutionary negation (if the law of double negation is removed from linear logic in Girard's formulation, the resulting subsystem is extremely limited). Our approach enables us to obtain several natural models for various subsystems of linear logic, including a generic model for the so-called minimal linear logic. In particular, it is seen that these models arise spontaneously in the transition from set theory to multiset theory. We also construct a model of full (nonmodal) linear logic that is generic relative to any model of positive linear logic. However, the problem of constructing a generic model for positive linear logic remains open. Bibliography: 2 titles. Published inZapiski Nauchnykh Seminarov POMI, Vol. 220, 1995, pp. 23–35. Original