Development of the mechanics of underground and special structures in Kazakhstan over the last 40 years

Some results on underground structures obtained by Kazakh mechanicians are reviewed. The review covers a period of the last forty years. Also results on the mechanics of special objects are discussed.Translated from Prikladnaya Mekhanika, Vol. 40, No. 10, pp. 3–36, October 2004.     

Deciding confluence of certain term rewriting systems in polynomial time

We present a characterization of confluence for term rewriting systems, which is then refined for special classes of rewriting systems. The refined characterization is used to obtain a polynomial time algorithm for deciding the confluence of ground term rewrite systems. The same approach also shows the decidability of confluence for shallow and linear term rewriting systems. The decision procedure has a polynomial time complexity under the assumption that the maximum arity of a function symbol in the signature is a constant.     

Infinite propagation speed of the Camassa-Holm equation

We use the inverse scattering transform to show that a solution of the Camassa-Holm equation is identically zero whenever it vanishes on two horizontal half-lines in the x-t space. In particular, a solution that has compact support at two different times vanishes everywhere, proving that the Camassa-Holm equation has infinite propagation speed.     

An unflexural refined model of deformation of multilayered plates on an undeformable foundation

The stress-strain state of multilayered plates on an undeformable foundation is investigated. The design diagram of a transversely loaded plate is formed by supplementing it with a symmetric one about the contact surface of the foundation. The double-thickness plate obtained becomes loaded bilaterally and symmetrically about its midsurface. In such a way, only unflexural deformations can be modeled, which reduces the number of unknowns and the general order of differentiation of the resolving system of equations. The refined continual model developed takes into account the deformations of transverse shear and transverse compression in high iterative approximations. The cases of a rigid contact between the foundation and the plate and frictionless slip of the plate over the foundation are considered. Calculations confirm the efficiency of such an approach, which allows one to obtain solutions qualitatively and quantitatively close to three-dimensional ones. __________ Translated from Mekhanika Kompozitnykh Materialov, Vol. 42, No. 5, pp. 643–654, September–October, 2006.     

Twin Paradox and the Logical Foundation of Relativity Theory

We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove the usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in Specrel. As it turns out, this is practically equivalent to asking whether Specrel is strong enough to “handle” (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to Specrel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of Specrel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that~the Twin Paradox becomes provable in AccRel, but it is not provable without IND.     

水闸闸室结构三维样条边界元分析

用三维样边界元法分析水闸闸室结构。底板，闸墩和载水墙等为其子结构，交通桥，工作桥和胸墙等处理为内部支撑。地基和边载可以是任意的，只要能给定地表位移面力关系。在各种工况下，不论是设置平板门还是弧形门，是平底板是反拱底板，即使在稀疏剖分下也能给出高精度的位移场，应力场和地基反力场。     

Exact Controllability and Asymptotic Analysis for Shallow Shells

The authors consider the exact controllability of the vibrations of a thin shallow shell, of thickness 2εwith controls imposed on the lateral surface and at the top and bottom of the shell. Apart from proving the existence of exact controls, it is shown that the solutions of the three dimensional exact controllability problems converge, as the thickness of the shell goes to zero, to the solution of an exact controllability problem in two dimensions.     

模糊神经网络在复合地基沉降量预测中的应用

复合地基后期沉降变形对于建筑物设计及安全具有重要意义,针对通过长期沉降观测以得到复合地基的最终沉降需要耗费较多资源的问题,提出了一种基于模糊神经网络的预测方法.该方法考虑沉降变化过程有较大的随机性和模糊性,直接将样本数据进行模糊化,所得的模糊数代表了样本点集与控制点集中各分量之间的相关度,并依此建立模糊BP神经网络进行学习和估算.实验结果表明了该方法对沉降进行预测是可行与有效的,且在相对误差的有效控制方面优于BP网络方法与灰色方法.     

A Singular Limit Problem for Conservation Laws Related to the Camassa–Holm Shallow Water Equation

We consider a shallow water equation of the Camassa–Holm type, which contains nonlinear dispersive effects as well as fourth order dissipative effects. We prove that as the diffusion and dispersion parameters tend to zero, with a condition on the relative balance between these two parameters, smooth solutions of the shallow water equation converge to discontinuous weak solutions of a scalar conservation law. The proof relies on deriving suitable a priori estimates together with an application of the compensated compactness method in the L ^p setting.     

On the free vibration response of rectangular plates,partially supported on elastic foundation

Rectangular plates on distributed elastic foundations are widely employed in footings and raft foundations of variety of structures. In particular, mounted columns and single footings may partially occupy the rectangular plate of any kind.