An algebraic multigrid solver for Navier-Stokes problems

An efficient numerical method is presented for solving the equations of motion for viscous fluids. The equations are discretized on the basis of unstructured finite element meshes and then solved by direct iteration. Advective fluxes are temporarily fixed at each iteration to provide a linearized set of coupled equations which are then also solved by iteration using a fully implicit algebraic multigrid (AMG) scheme. A rapid convergence to machine accuracy is achieved that is almost mesh-independent. The scaling of computing time with mesh size is therefore close to the optimum.     

A rate-dependent algebraic stress model for turbulence

Based on the stress transport model, a rate-dependent algebraic expression for the Reynolds stress tensor is developed. It is shown that the new model includes the normal stress effects and exhibits viscoelastic behavior. Furthermore, it is compatible with recently developed improved models of turbulence. The model is also consistent with the limiting behavior of turbulence in the inertial sublayer and is capable of predicting secondary flows in noncircular ducts. The TEACH code is modified according to the requirements of the rate-dependent model and is used to predict turbulent flow fields in a channel and behind a backward-facing step. The predicted results are compared with the available experimental data and those obtained from the standard k-ε and algebraic stress models. It is shown that the predictions of the new model are in better agreements with the experimental data.     

解抛物问题的一类新的瀑布型多重网格法

本文推广石钟兹 ,许学军对椭圆问题提出的新的瀑布型多重网格法到抛物问题 ,建立了相应的理论结果 .     

A purely algebraic characterization of the hyperreal numbers

The hyperreal numbers of nonstandard analysis are characterized in purely algebraic terms as homomorphic images of a suitable class of rings of functions.

     

散射体系A+BC的平-振能量传递

用Alhassid与Levine所提出的动力学李代数的方法(简称A-L理论),研究了含有二级非简谐的共线散射体系A+BC的平-振能量传递问题,计算了散射过程含有主要动力学参量的跃迁矩阵和跃迁几率的解析表示式.     

Algebraic Formulation of Quantum Decoherence

An algebraic formalism for quantum decoherence in systems with continuous evolution spectrum is introduced. A certain subalgebra, dense in the characteristic algebra of the system, is defined in such a way that Riemann–Lebesgue theorem can be used to explain decoherence in a well defined final pointer basis.     

逻辑函数在布尔减-异或、布尔除-符合代数系统中的规范展开式

证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的RM、CRM展开式出发,分别推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范展开式.举例说明了与-或-非代数系统中规范展开式与布尔减-异或、布尔除-符合代数系统中的规范展开式之间的转换.     

Least-Squares Fitting of Algebraic Spline Surfaces

We present an algorithm for fitting implicitly defined algebraic spline surfaces to given scattered data. By simultaneously approximating points and associated normal vectors, we obtain a method which is computationally simple, as the result is obtained by solving a system of linear equations. In addition, the result is geometrically invariant, as no artificial normalization is introduced. The potential applications of the algorithm include the reconstruction of free-form surfaces in reverse engineering. The paper also addresses the generation of exact error bounds, directly from the coefficients of the implicit representation.     

Algebraic cycles and topology of real Enriques surfaces

For a real Enriques surface Y we prove that every homology class in H₁(Y (R), Z/2) can be represented by a real algebraic curve if and only if all connected components of Y(R) are orientable. Furthermore, we give a characterization of real Enriques surfaces which are Galois-Maximal and/or Z-Galois-Maximal and we determine the Brauer group of any real Enriques surface Y.     

Quadratic transformations of the sixth Painlevé equation with application to algebraic solutions

In 1991, one of the authors showed the existence of quadratic transformations between the Painlevé VI equations with local monodromy differences (1/2, a, b, ±1/2) and (a, a, b, b). In the present paper we give concise forms of these transformations. They are related to the quadratic transformations obtained by Manin and Ramani–Grammaticos–Tamizhmani via Okamoto transformations. To avoid cumbersome expressions with differentiation, we use contiguous relations instead of the Okamoto transformations. The 1991 transformation is particularly important as it can be realized as a quadratic‐pull back transformation of isomonodromic Fuchsian equations. The new formulas are illustrated by derivation of explicit expressions for several complicated algebraic Painlevé VI functions. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)