A short note on the entrainment and exit boundary conditions

An attempt is made to find out the suitable entrainment and exit boundary conditions in laminar flow situations. Streamfunction vorticity formulation of the Navier–Stokes equations are solved by ADI method. Two‐dimensional laminar plane wall jet flow is used to test different forms of the boundary conditions. Results are compared with the experimental and similarity solution and the proper boundary condition is suggested. The Kind 1 boundary condition is recommended. It consists of zero first derivative condition for velocity variable and for streamfunction equation, mixed derivative at the entrainment and exit boundaries. Copyright © 2005 John Wiley & Sons, Ltd.     

Constructing Invariant Fairness Measures for Surfaces

The paper proposes a rational method to derive fairness measures for surfaces. It works in cases where isophotes, reflection lines, planar intersection curves, or other curves are used to judge the fairness of the surface. The surface fairness measure is derived by demanding that all the given curves should be fair with respect to an appropriate curve fairness measure. The method is applied to the field of ship hull design where the curves are plane intersections. The method is extended to the case where one considers, not the fairness of one curve, but the fairness of a one parameter family of curves. Six basic third order invariants by which the fairing measures can be expressed are defined. Furthermore, the geometry of a plane intersection curve is studied, and the variation of the total, the normal, and the geodesic curvature and the geodesic torsion is determined.     

Restrictions of Quadratic Forms to Lagrangian Planes,Quadratic Matrix Equations,and Gyroscopic Stabilization

We discuss the symplectic geometry of linear Hamiltonian systems with nondegenerate Hamiltonians. These systems can be reduced to linear second-order differential equations characteristic of linear oscillation theory. This reduction is related to the problem on the signatures of restrictions of quadratic forms to Lagrangian planes. We study vortex symplectic planes invariant with respect to linear Hamiltonian systems. These planes are determined by the solutions of quadratic matrix equations of a special form. New conditions for gyroscopic stabilization are found.     

A rigid subspace of the real line whose square is a homogeneous subspace of the plane

Working in ZFC, we give an example as indicated in the title.

     

半导体带电粒子探测器的研制及其在空间物理中的应用

阐述了空间辐射环境监测的意义,描述了半导体带电粒子探测器的研制及由其组成的望远镜系统在空间物理中的应用,并给出了用此探测器在卫星上进行地球辐射环境监测、太阳质子事件和地磁暴探测的部分结果.     

A characterization of projective-planar signed graphs

A signed graph has a plus or minus sign on each edge. A simple cycle is positive or negative depending on whether it contains an even or odd number of negative edges, respectively. We consider embeddings of a signed graph in the projective plane for which a simple cycle is essential if and only if it is negative. We characterize those signed graphs that have such a projective-planar embedding. Our characterization is in terms of a related signed graph formed by considering the theta subgraphs in the given graph.     

Equisingular Deformations of Sandwiched Singularities

We relate the equisingular deformation theory of plane curve singularities and sandwiched surface singularities. We show the existence of a smooth map between the two corresponding deformation functors and study the kernel of this map. In particular we show that the map is an isomorphism when a certain invariant is large enough.     

Discontinuous travelling wave solutions for certain hyperbolic systems

In an earlier paper on a malignant cell invasion model (Marchantet al., SIAM J. Appl. Math, 60, 2000) we introduced a novelform of discontinuous travelling wave solution. These solutionscould be studied easily by combining behaviour within a phaseplane with the Rankine–Hugoniot shock conditions, whichdescribe properties (such as the ratio of the jump discontinuitiesto the speed of propagation) that solutions may possess. Theseresults were new for several reasons. The shock conditions relateto hyperbolic equations (which the model is) but were appliedin a travelling wave ordinary differential equation phase planeusing techniques that usually apply to parabolic reaction–diffusionsystems. In addition the solutions possess singular behaviournear several points in the phase plane but in spite of thisthere exists a robust and stable family of physically interestingsolutions. In this paper we discuss two previously studied models, oneof detonation theory and one of angiogenesis. We show that eachof these models also possesses a family of discontinuous travellingwave solutions which was not previously discovered. Of particularinterest is the solution which has a blunt interface at thefront of the invading profile. In all three models it is thissolution that is seen to stably evolve from physically relevantinitial data, and for physically relevant parameter values. This work confirms the robustness of these novel travellingwave solutions and their applicability to a wider range of mathematicalmodelling situations.     

Counting unrooted maps on the plane

A planar map is a 2-cell embedding of a connected planar graph, loops and parallel edges allowed, on the sphere. A plane map is a planar map with a distinguished outside (“infinite”) face. An unrooted map is an equivalence class of maps under orientation-preserving homeomorphism, and a rooted map is a map with a distinguished oriented edge. Previously we obtained formulae for the number of unrooted planar n-edge maps of various classes, including all maps, non-separable maps, eulerian maps and loopless maps. In this article, using the same technique we obtain closed formulae for counting unrooted plane maps of all these classes and their duals. The corresponding formulae for rooted maps are known to be all sum-free; the formulae that we obtain for unrooted maps contain only a sum over the divisors of n. We count also unrooted two-vertex plane maps.