Development of a parallel storm surge model

A new parallel storm surge model, the Parallel Environmental Model (PEM), is developed and tested by comparisons with analytic solutions. The PEM is a 2‐D vertically averaged, wetting and drying numerical model and can be operated in explicit, semi‐implicit and fully implicit modes. In the implicit mode, the propagation, Coriolis and bottom friction terms can all be treated implicitly. The advection and diffusion terms are solved with a parallel Eulerian–Lagrangian scheme developed for this study. The model is developed specifically for use on parallel computer systems and will function accordingly in either explicit of implicit modes. Storm boundary conditions are based on a simple exponential decay of pressure from the centre of a storm. The simulated flooding caused by a major Category 5 hurricane making landfall in the Indian River Lagoon, Florida is then presented as an example application of the PEM. Copyright © 2003 John Wiley & Sons, Ltd.     

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.     

氢原子的固有电偶极矩

用经典力学和双波量子力学计算了氢原子的固有电偶极矩。双波量子理论算得的结果在经典极限下与经典力学的结果一致。普通量子力学对氢原子Stark效应中表现出来的电偶极矩难以做出很好的解释，因为一个波函数描述的是系综而不是单个粒子。经典力学和双波量子力学可描述单个粒子的行为，对永久电偶极矩的计算和解释显得自然而合理。     

Integrable Deformations of Tops Related to the Algebra so(p,q)

We propose an integrable deformation of the known model of two interacting tops on the algebra so(p,q). We consider particular cases including the generalized Lagrange and Kovalevskaya tops. We construct the Lax matrices and the corresponding classical R-matrices.     

The Studies of the Heterogeneous Properties of Solid Surfaces by Means of the Derivatograph Q-1500 D

A simple method has been adopted to obtain an important information on the heterogeneous properties of materials studied, adsorbed liquid films and liquid-solid interactions. The method utilizes Q-TG mass loss and the first derivative Q-DTG mass loss curves with respect to temperature and time obtained during programmed liquid thermodesorption in quasi-isothermal conditions. The values of the adsorption capacity, total porosity of material, the value of active centers, desorption energy distribution and mesopore-size distribution functions obtained by this method are in good agreement with those estimated on the basis of independent methods. The theoretical and experimental results provided novel and unique data on the heterogeneity of solid surfaces, properties of liquid adsorbed films and thermal stability of the liquid/solid interfaces. This paper presents the more important results obtained so far in the studies the liquid/solid systems by means of the Paulik's classical and quasi-isothermal techniques. This revised version was published online in July 2006 with corrections to the Cover Date.     

A Testable Theory for the Emergence of the Classical World

The transition from the quantum to the classical world is not yet understood. Here, we take a new approach. Central to this is the understanding that measurement and actualization cannot occur except on some specific basis. However, we have no established theory for the emergence of a specific basis. Our framework entails the following: (i) Sets of N entangled quantum variables can mutually actualize one another. (ii) Such actualization must occur in only one of the 2^N possible bases. (iii) Mutual actualization progressively breaks symmetry among the 2^N bases. (iv) An emerging “amplitude” for any basis can be amplified by further measurements in that basis, and it can decay between measurements. (v) The emergence of any basis is driven by mutual measurements among the N variables and decoherence with the environment. Quantum Zeno interactions among the N variables mediates the mutual measurements. (vi) As the number of variables, N, increases, the number of Quantum Zeno mediated measurements among the N variables increases. We note that decoherence alone does not yield a specific basis. (vii) Quantum ordered, quantum critical, and quantum chaotic peptides that decohere at nanosecond versus femtosecond time scales can be used as test objects. (viii) By varying the number of amino acids, N, and the use of quantum ordered, critical, or chaotic peptides, the ratio of decoherence to Quantum Zeno effects can be tuned. This enables new means to probe the emergence of one among a set of initially entangled bases via weak measurements after preparing the system in a mixed basis condition. (ix) Use of the three stable isotopes of carbon, oxygen, and nitrogen and the five stable isotopes of sulfur allows any ten atoms in the test protein to be discriminably labeled and the basis of emergence for those labeled atoms can be detected by weak measurements. We present an initial mathematical framework for this theory, and we propose experiments.     

Numerical Study on an RBF-FD Tangent Plane Based Method for Convection–Diffusion Equations on Anisotropic Evolving Surfaces

In this paper, we present a fully Lagrangian method based on the radial basis function (RBF) finite difference (FD) method for solving convection–diffusion partial differential equations (PDEs) on evolving surfaces. Surface differential operators are discretized by the tangent plane approach using Gaussian RBFs augmented with two-dimensional (2D) polynomials. The main advantage of our method is the simplicity of calculating differentiation weights. Additionally, we couple the method with anisotropic RBFs (ARBFs) to obtain more accurate numerical solutions for the anisotropic growth of surfaces. In the ARBF interpolation, the Euclidean distance is replaced with a suitable metric that matches the anisotropic surface geometry. Therefore, it will lead to a good result on the aspects of stability and accuracy of the RBF-FD method for this type of problem. The performance of this method is shown for various convection–diffusion equations on evolving surfaces, which include the anisotropic growth of surfaces and growth coupled with the solutions of PDEs.     

Exact results for a generalized classicalO(n) matrix spin model

A generalizedO(n) matrix version of the classical Heisenberg model, introduced by Fuller and Lenard as a classical limit of a quantum model, is solved exactly in one dimension. The free energy is analytic and the pair correlation functions decay exponentially for all finite temperatures. It is shown, however, that even for a finite number of spins the model has a phase transition in then limit. The transition features a specific heat jump, zero long-range order at all temperatures, and zero correlation length at the critical point. The Curie-Weiss version of the model is also solved exactly and shown to have standard mean-field type behavior for all finiten and to differ from the one-dimensional results in then limit.     

Supersymmetric classical mechanics

The purpose of the paper is to construct a supersymmetric Lagrangian within the framework of classical mechanics which would be regarded as a candidate for passage to supersymmetric quantum mechanics. The authors felicitate Prof. D S Kothari on his eightieth birthday and dedicate this paper to him on this occasion.     

关于Fujita类方程组解的有界性和Blow up的一些结论

对Fujita类方程组解的整体存在性和如何在有限时间内发生Blow up现象的研究,具有实际意义.M.Escobedo等人对其二元情形曾做过研究,即在[1]中对非线性项单一如v~(?)或u~(?)的Cauchy问题进行了讨论,本文意在上述基础上作些推广:修改非线性项如u~(?)v~(?)或u~qv~n情形,利用上、下解的方法,证明了在一定条件下,推广后的Cauchy问题亦有[1]中指出的类似的结果.