ON SOME INTERPRETATIONS OF CLASSICAL LOGIC

In distinction from the well-known double-negation embeddings of the classical logic we consider some variants of single-negation embeddings and describe some classes of superintuitionistic first-order predicate logics in which the classical first-order calculus is interpretable in such a way. Also we find the minimal extensions of Heyting's logic in which the classical predicate logic can be embedded by means of these translations.     

Two-dimensional on-line particle imaging velocimetry

A high-performance algorithm is described for the on-line computation of two-dimensional velocity maps using particle displacement imaging. It relies on the computation of direct correlations in a multiple-scale spatial hierarchy. Layered rejection criteria based on correlation quality and conditional averaging techniques are employed to achieve the robustness required for continuous, unsupervised operation. Implementations are described using a UNIX-based workstation and a DOS-based personal computer with a real-time image processing/correlator subsystem. The cooperation of the algorithm with other real-time visualization techniques is demonstrated using the example of colour-coded streak integration.The authors wish to thank Dr. Philippe Georis of the Université Libre de Bruxelles (ULB) for making available to us video sequences of his Marangoni convection experiment.     

The automatic conversion of spinor equations to dyad form in MAPLE

A new package in the symbolic algebra system MAPLE is presented for the conversion of complicated spinor equations to their expansions with respect to a normalized spinor dyad. By following a simple index convention, we obtain a powerful computational tool with a straightforward and easy to use syntax. A number of examples, including nontrivial applications of the package to recent research, are provided.     

Application of the variation principle for the problem of buckling of a nonlinearly elastic ring nonuniform along its thickness

There has been considerable recent attention given to the stressed and buckled states of items with complicated configuration made of different nonlinearly elastic materials joined by complete adhesion. However, effective analytical solutions for such problems have been hindered by mathematical difficulties. Approximate methods have thus been developed for such problems. A variational combined principle has been formulated in this communication. A nonlinear geometrical approach has been used for formulating a mixed-type functional with physical relationships given by Euler equations, nonlinear equilibrium equations, and nonlinear boundary conditions for a piecewise-nonuniform nonlinearly elastic body composed of finite elements (particles). As an example, buckling along the nonuniform thickness of nonlinearly elastic rings was analyzed hypothetically assuming plane cross-sections. Options for two-, three-, four-, five-, and six-layered rings in a periodical structure have been reviewed. The critical buckling forces for an even number of layers have been found to be equal to each other. The ratios of the critical forces, elasticity moduli, and proportionality levels were determined for all five variants by the Runge-Kutta method.Presented at the Ninth International Conference on the Mechanics of Composite Materials (Riga, October, 1995).Translated from Mekhanika Kompozitnykh Materialov, Vol. 31, No. 2, pp. 262–268, March–April, 1995.     

Temperature dependence of magnetization in nanocrystalline FeCoZr alloy

The temperature dependence of magnetization of a nanocrystalline Fe₆₀Co₃₀Zr₁₀ alloy annealed at various temperatures to varying crystal sizes was investigated down to 5 K in the field range up to 5 T. The fitting procedure gave T^3/2 as the leading term irrespective of the crystal size. We suggest that the increase of the coefficient by this term for smaller crystals may be connected to an increased relative volume of their surface.     

The use of sulfide cluster-derived catalysts to understand the promotional effect in hydrotreatment catalysis

Sulfide cluster-derived ensembles are promising models of the active sites in commercial hydrotreatment catalysts. A series of sulfide clusters were adsorbed intact onto high-surface-area γ-alumina, magnesium oxide and activated carbon supports, then pretreated to produce highly dispersed catalytic ensembles with sizes similar to those of their precursor clusters. The activities of the bimetallic cluster-derived catalysts were significantly higher than those of the monometallic catalysts. We took this as evidence that direct interactions between molybdenum and the promoter element cause the promotional effect observed in commercial hydrotreatment catalysts. The hydrodesulfurization and hydrodenitrogenation activities correlated with the extent of molybdenum reduction. Our results suggested that the active sites in promoted hydrotreatment catalysts are centered on molecular-scale ensembles containing molybdenum, sulfur and the promoter element.     

NMR Study of the propagation center in the cationic polymerization of N-benzoyl-8-octanelactam. II. Investigation of the propagation center

The nature of the propagation center in the cationic polymerization of N-benzoyl-8-octanelactam initiated by octanoylium hexachlcroantimonate, SbCl₅, and Ph₃CAsF₆ in perdeuterated tetrachloroethane or its mixture with o-dichlorobenzene was studied using ¹H, ¹³C, ¹⁹F, ³¹P, ⁷⁵As, and ¹²¹Sb nuclear magnetic resonance (NMR) of model oligomers and the products of their end-capping with triphenylphosphine. In all cases, the nature of the propagation center has been found to be of an acylium ion pair with an SbCl₆^? or AsF₆^? counterion coordinated with the nearest benzoylamide group and cosolvated by the solvent. © 1994 John Wiley & Sons, Inc.