TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II

We proved in the first part [1] that plane geometry over Pythagorean fields is axiomatizable by quantifier-free axioms in a language with three individual constants, one binary and three ternary operation symbols. In this paper we prove that two of these operation symbols are superfluous.     

我国居民收入、人口、教育、财政政策和货币政策与居民消费模型的实证分析

本文从影响消费的各个因素:居民收入、人口、教育、国家宏观政策等着手,对各因素进行了相关分析,运用多元统计中的岭回归估计法建立消费模型。从定量和定性分析的角度,分析了我国居民消费水平、居民收入、人口增长率、各层次教育、国家财政支出和银行利率等相关因素之间相互影响的数量变动关系和内在规律,就如何提高居民消费水平促进经济协调发展提出若干对策。     

Click chemistry in materials synthesis. III. Metal‐adhesive polymers from Cu(I)‐catalyzed azide–alkyne cycloaddition

1,2,3‐Triazole‐based polymers generated from the Cu(I)‐catalyzed cycloaddition between multivalent azides and acetylenes are effective adhesive materials for metal surfaces. The adhesive capacities of candidate mixtures of azide and alkyne components were measured by a modified peel test, using a customized adhesive tester. A particularly effective tetravalent alkyne and trivalent azide combination was identified, giving exceptional strength that matches or exceeds the best commercial formulations. The addition of Cu catalyst was found to be important for the synthesis of stronger adhesive polymers when cured at room temperature. Heating also accelerated curing rates, but the maximum adhesive strengths achieved at both room temperature and high temperature were the same, suggesting that crosslinking reaches the same advanced point in all cases. Polytriazoles also form adhesives to aluminum, but copper is bound more effectively, presumably because active Cu(I) ions may be leached from the surface to promote crosslinking and adhesion. © 2007 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 45: 5182–5189, 2007     

Eigenvalues of the antiplane-shear crack problem for a power-law material

This paper discusses the problem of finding the eigenvalue spectrum in determining the stress and strain fields at the tip of an antiplane-shear crack in a power-law material. It is shown that the perturbation method provides an analytical dependence of the eigenvalue on the material nonlinearity parameter and the eigenvalue of the linear problem. Thus, it is possible to find the entire spectrum of eigenvalues and not only the eigenvalue of the Hutchinson-Rice-Rosengren problem. __________ Translated from Prikladnaya Mekhanika i Tekhnicheskaya Fizika, Vol. 49, No. 1, pp. 173–180, January–February, 2008.     

Identification of nonstationary axisymmetric load distributed along a cylindrical shell

The paper outlines a procedure to identify the space-and time-dependent external nonstationary load acting on a closed circular cylindrical shell of medium thickness. Time-dependent deflections at several points of the shell are used as input data to solve the inverse problem. Examples of numerical identification of various nonstationary loads, including moving ones are presented. The relationship between the external load and the stress-strain state of the shell is described by the Volterra equation of the first kind. The identification problem is solved using Tikhonov's regularization method and Apartsin's h-regularization method __________ Translated from Prikladnaya Mekhanika, Vol. 44, No. 7, pp. 91–100, July 2008.     

Geometry and electronic structure of a heterometallic cluster Mo<Subscript>2</Subscript>Mg<Subscript>2</Subscript> in different oxidation states of Mo: a DFT study

Reduction of tetranuclear heterometallic complex Mo₂Mg₂ was simulated using the B3LYP and PBE density functional methods. The results of geometry calculations of the initial complex [Mo^VIO₂Mg(MeOH)₂(OMe)₄]₂ and a partially reduced Mo^V complex are in good agreement with experimental data. The reduced Mo^III complex is characterized by a decrease in the binding energy of aqua ligands. Structural rearrangement of the complex with release of a coordination position at the Mo atoms requires small energy expenditure. One can assume that the reduction of the polynuclear complex causes overcrowding of its coordination sphere, which favors formation of dinitrogen complexes. Published in Russian in Izvestiya Akademii Nauk. Seriya Khimicheskaya, No. 3, pp. 441–457, March, 2008.     

虚拟技术在实验教学中的应用

介绍了虚拟技术在实验教学改革中的作用与意义，探讨了电子信息系统实验教学改革的新思路与实现措施，并总结了实验教学改革的初步成果．     

Linearized and rational approximation method for solving non‐linear Burgers' equation

A new numerical method called linearized and rational approximation method is presented to solve non‐linear evolution equations. The utility of the method is demonstrated for the case of differentiation of functions involving steep gradients. The solution of Burgers' equation is presented to illustrate the effectiveness of the technique for the solution of non‐linear evolution equations exhibiting nearly discontinuous solutions. Copyright © 2004 John Wiley & Sons, Ltd.     

Simulation of single‐ and two‐phase flows on sliding unstructured meshes using finite volume method

The paper presents an efficient finite volume method for unstructured grids with rotating sliding parts composed of arbitrary polyhedral elements for both single‐ and two‐phase flows. Mathematical model used in computations is based on the ensemble averaged conservation equations. These equations are solved for each phase and in case of single‐phase flow reduce to the transient Reynolds‐averaged Navier–Stokes (TRANS) equations. Transient flow induced by rotating impellers is thus resolved in time. The use of unstructured grids allows an easy and flexible meshing for the entire flow domain. Polyhedral cell volumes are created on the arbitrary mesh interface placed between rotating and static parts. Cells within the rotating parts move each time step and the new faces are created on the arbitrary interfaces only, while the rest of the domain remain ‘topologically’ unchanged. Implicit discretization scheme allows a wide range of time‐step sizes, which further reduce the computational effort. Special attention is given to the interpolation practices used for the reconstruction of the face quantities. Mass fluxes are recalculated at the beginning of each time step by using an interpolation scheme, which enhances the coupling between the pressure and velocity fields. The model has been implemented into the commercially available CFD code AVL SWIFT (AVL AST, SWIFT Manual 3.1, AVL List GmbH, Graz, Austria, 2002). Single‐phase flow in a mixing vessel stirred by a six‐bladed Rushton‐type turbine and two‐phase flow in aerated stirred vessel with the four‐blade Rushton impeller are simulated. The results are compared with the available experimental data, and good agreement is observed. The proposed algorithm is proved to be both stable and accurate for single‐phase as well as for the two‐phase flows calculations. Copyright 2004 John Wiley & Sons, Ltd.     

Calculation of impulsively started incompressible viscous flows

The paper's focus is the calculation of unsteady incompressible 2D flows past airfoils. In the framework of the primitive variable Navier–Stokes equations, the initial and boundary conditions must be assigned so as to be compatible, to assure the correct prediction of the flow evolution. This requirement, typical of all incompressible flows, viscous or inviscid, is often violated when modelling the flow past immersed bodies impulsively started from rest. Its fulfillment can however be restored by means of a procedure enforcing compatibility, consisting in a pre‐processing of the initial velocity field, here described in detail. Numerical solutions for an impulsively started multiple airfoil have been obtained using a finite element incremental projection method. The spatial discretization chosen for the velocity and pressure are of different order to satisfy the inf–sup condition and obtain a smooth pressure field. Results are provided to illustrate the effect of employing or not the compatibility procedure, and are found in good agreement with those obtained with a non‐primitive variable solver. In addition, we introduce a post‐processing procedure to evaluate an alternative pressure field which is found to be more accurate than the one resulting from the projection method. This is achieved by considering an appropriate ‘unsplit’ version of the momentum equation, where the velocity solution of the projection method is substituted. Copyright © 2004 John Wiley & Sons, Ltd.