Supercompactness and measurable limits of strong cardinals II: Applications to level by level equivalence

We construct models for the level by level equivalence between strong compactness and supercompactness in which for κ the least supercompact cardinal and δ ≤ κ any cardinal which is either a strong cardinal or a measurable limit of strong cardinals, 2^δ > δ ⁺ and δ is < 2^δ supercompact. In these models, the structure of the class of supercompact cardinals can be arbitrary, and the size of the power set of κ can essentially be made as large as desired. This extends and generalizes [5, Theorem 2] and [4, Theorem 4]. We also sketch how our techniques can be used to establish a weak indestructibility result. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Numerical flow visualization of first cycle and cyclic motion of a rigid fling-clapping wing

A flow visualization of the two-dimensional rigid fling-clap motions of the flat-plate wing is performed to get the knowledge of fling-clapping mechanism that might be employed by insects during flight. In this numerical visualization, the time-dependent Navier-Stokes equations are solved for two types of wing motion; ‘fling followed by clap and pause motion’ and ‘cyclic fling-clapping motion’. The result is observed regarding the main flow features such as the sequential development of the two families of separation vortex pairs and their movement. For the ‘fling followed by clap and pause motion’, a strong separation vortex pair of counterrotation develops in the opening between the wings in the fling phase and they then move out from the opening in the following clap phase. For ‘the cyclic fling-clapping motion’, the separation vortex pair developed in the outside space in the clap phase move into the opening in the following fling phase. The separation vortex pair in the opening developed in the fling phase of the cyclic motion is observed to be stronger than those of the ‘fling followed by clap and pause motion’. Regarding the strong fling separation vortex and the weak clap separation vortex above it in the opening, the flow pattern of the fling phase of the cyclic fling and clap motion is different to that of the fling phase of the first cycle. The flow pattern of the third cycle of the cyclic fling-clapping motion is observed to be almost same as that of the second cycle. Therefore, a periodicity of the flow pattern is established after the second cycle.     

Linear least squares problems with data over incomplete grids

The paper addresses bivariate surface fitting problems, where data points lie on the vertices of a rectangular grid. Efficient and stable algorithms can be found in the literature to solve such problems. If data values are missing at some grid points, there exists a computational method for finding a least squares spline by fixing appropriate values for the missing data. We extended this technique to arbitrary least squares problems as well as to linear least squares problems with linear equality constraints. Numerical examples are given to show the effectiveness of the technique presented. AMS subject classification (2000)  65D05, 65D07, 65D10, 65F05, 65F20     

F.A. Zander and Yu.V. Kondratyuk,pioneers of rocket engineering

The paper briefly describes the life and activities of F.A. Zander and Yu.V. Kondratyuk (A.I. Shargei), pioneers of domestic rocket engineering who made a significant contribution to the development of cosmonautics and rocket technologies. The main ideas and proposals of these prominent scientists and inventors in the field of rocket and space engineering, which found their application in space conquering, are considered. To the 120th anniversary of F.A. Zander and 110th anniversary of Yu.V. Kondratyuk     

Investigation of cold fusion in heavy water

An investigation of cold fusion of deuterium was performed by electrolyzing heavy water in a cell containing a palladium cathode while monitoring levels of tritium and neutron-capture gamma rays. No activity was detected that would indicate a sustained fusion reaction had taken place. Activities that were observed can be attributed to electrolytic enrichment and a normal cosmic-ray induced background.     

Further generalization of the Dubovicki-Milutin theorem

Combining the results of Walczak (Ref. 1) and Lasiecka (Refs. 2 and 3), we extend the well-known Dubovicki-Milutin theorem in two directions: (i) We allow for treatment of several equality constraints in optimization problems; and (ii) We assume less regularity of optimization problems by requiring the existence of external cones instead of tangent cones. An example of an optimization problem is also considered.     

Regularity of Bunimovich’s stadia

Stadia are popular models of chaotic billiards introduced by Bunimovich in 1974. They are analogous to dispersing billiards due to Sinai, but their fundamental technical characteristics are quite different. Recently many new results were obtained for various chaotic billiards, including sharp bounds on correlations and probabilistic limit theorems, and these results require new, more powerful technical apparatus. We present that apparatus here, in the context of stadia, and prove “regularity” properties.      

Another independent self-dual basis for the trivial variety

We give a new independent self-dual 3-basis for the trivial variety with two binary operations. Received October 24, 2006; accepted in final form January 25, 2007.     

Ultra <Emphasis Type="Italic">LI</Emphasis>-ideals in lattice implication algebras and <Emphasis Type="Italic">MTL</Emphasis>-algebras

A mistake concerning the ultra LI-ideal of a lattice implication algebra is pointed out, and some new sufficient and necessary conditions for an LI-ideal to be an ultra LI-ideal are given. Moreover, the notion of an LI-ideal is extended to MTL-algebras, the notions of a (prime, ultra, obstinate, Boolean) LI-ideal and an ILI-ideal of an MTL-algebra are introduced, some important examples are given, and the following notions are proved to be equivalent in MTL-algebra: (1) prime proper LI-ideal and Boolean LI-ideal, (2) prime proper LI-ideal and ILI-ideal, (3) proper obstinate LI-ideal, (4) ultra LI-ideal. This work was supported by the Zhejiang Provincial Natural Science Foundation of China (Grant No. Y605389) and K. C. Wong Magna Fund in Ningbo University.