Axiomatizability of reducts of algebras of relations

In this paper, we prove that any subreduct of the class of representable relation algebras whose similarity type includes intersection, relation composition and converse is a non-finitely axiomatizable quasivariety and that its equational theory is not finitely based. We show the same result for subreducts of the class of representable cylindric algebras of dimension at least three whose similarity types include intersection and cylindrifications. A similar result is proved for subreducts of the class of representable sequential algebras. Received October 7, 1998; accepted in final form September 10, 1999.     

白骨化尸体死亡时间的推断

本文分析了15具白骨化尸体标本的股骨汞(Hg),铅(Pb),镉(Cd)元素含量数据,在三年的时间内采集了3次,一共收集到45个数据。首先将这组数据看着纵向数据,利用线性随机效应混合模型、Cox随机混合效应模型进行分析,结果显示,如果对每个白骨化尸体标本建立线性模型,可以精确预测出死亡时间,而且不需要采集铅元素含量数据。混合效应模型的预测效果也很好,最大误差不会超过1个月。其次我们对数据不作任何假设,利用机器学习中随机森林方法分析数据,并利用5折交叉验证方法来判断结果的可靠性,训练集和测试集的NMSE分别为0.1205944,0.5604286,因此可以用训练出的模型来预测死亡时间。     

Computer approximation of families of curves of physically nonlinear creep of polymer materials

The determination of confidence intervals of deformations was studied for an individual measurement and arithmetical mean common for all points of an experimental family of curves. From the experimental data on the creep of polyamide resin and five different analytical equations of physically nonlinear creep, the problems of the computer approximation of families of creep curves and the determination of the material parameters are discussed. A method is proposed for a quantitative evaluation of the degree of correspondence of the initial data to the similarity of isochronous creep curves and the similarity of the creep curves.Institute of Polymer Mechanics, Academy of Sciences of the Latvian SSR, Riga. Translated from Mekhanika Polimerov, No. 2, pp. 220–229, March–April, 1976.     

Problems of similarity and simulation of the processes of deformation of linear viscoelastic media

Problems of similarity and simulation of the processes of deformation of linear media with memory are investigated by the method of similarity for cases of different and identical materials. In the latter case coincidence of the body and surface forces in the natural object and the model, coincidence of the characteristic displacements at like points, and proportionality of the stresses are considered.Mekhanika Polimerov, Vol. 3, No. 1, pp. 54–59, 1967     

On Sums of Coefficients of Products of Polynomials

We study the nilpotency of the sums of all coefficients of some sorts of products of polynomials over reversible, IFP, and NI rings, and introduce an SCN ring as a generalization. We characterize SCN rings in relation with related ring properties, and also provide several useful properties and ring extensions of SCN rings.     

Stability estimates of solutions of systems of functional-differential equations of neutral type

A system of linear functional-differential equations of neutral type is considered. Investigation of stability is carried out by the method of Lyapunov functions of quadratic form. Sufficient conditions for the asymptotic stability and estimates of the exponential decay of solutions for an arbitrary and a small deviation of the argument are obtained.Candidate of the Physicomathematical Sciences.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 43. No. 9, pp. 1123–1135, September, 1991.     

Definition of boundary values of thickness of chrome coverings of piston rings

An approach to the definition of adhesion and cohesion stresses that appear in a piston ring after chroming and its mounting on the piston, its performance in a motor, and corresponding conditions of the critical thicknesses of the covering on the basis of a representation of the ring as a two-layer beam is described.Translated from Dinamicheskie Sistemy, No. 9, pp. 72–76, 1990.     

旋转壳边界条件广义表达式

旋转壳的边界条件,传统的表达方式是在中面位移μ,μ,ω,ψ或相应的四个力共八个量当中给定四个.而以节圆广义位移作为基本未知数,一个节圆上未知数的数目超过四个[1][2][3][4].在这种情况下关于边界条件的处理问题尚无令人满意的解决办法.本文利用虚功原理,导出一组壳边广义量与非广义量关系公式.研究了七种类型常见边界,给出用广义力与广义位移表示的边界条件公式.每一种边界条件公式的数目可以和一个节圆上所采用的未知数数目相一致.有了这些公式,即可直接将边界条件代入广义位移法运动方程以求解广义位移.这样做,避免了文献[2]关于未知数的变换与逆变换过程,不仅道理上简明而且也简化了计算.有了边界条件广义表达式,使得旋转壳广义位移法在理论上也更为完善.     

一类柔性臂机器人的稳定性

本文研究了一类柔性臂机器人的控制问题,且柔性臂的弯曲振动与扭转振动的耦合作用表现在边界方程中。本文运用算子谱理论、算子半群理论等,得到系统的主算子生成的C0-半群的具体表示式,并证明了半群的解析性、非紧性及非一致指数稳定性。     

Variational analysis of functions of the roots of polynomials

The Gauss-Lucas Theorem on the roots of polynomials nicely simplifies the computation of the subderivative and regular subdifferential of the abscissa mapping on polynomials (the maximum of the real parts of the roots). This paper extends this approach to more general functions of the roots. By combining the Gauss-Lucas methodology with an analysis of the splitting behavior of the roots, we obtain characterizations of the subderivative and regular subdifferential for these functions as well. In particular, we completely characterize the subderivative and regular subdifferential of the radius mapping (the maximum of the moduli of the roots). The abscissa and radius mappings are important for the study of continuous and discrete time linear dynamical systems. Dedicated to R. Tyrrell Rockafellar on the occasion of his 70th birthday. Terry is one of those rare individuals who combine a broad vision, deep insight, and the outstanding writing and lecturing skills crucial for engaging others in his subject. With these qualities he has won universal respect as a founding father of our discipline. We, and the broader mathematical community, owe Terry a great deal. But most of all we are personally thankful to Terry for his friendship and guidance. Research supported in part by the National Science Foundation Grant DMS-0203175. Research supported in part by the Natural Sciences and Engineering Research Council of Canada. Research supported in part by the National Science Foundation Grant DMS-0412049.     

Comparisons of models for estimation of safe doses using measures of the heaviness of tail of a distribution

Summary Procedures to estimate a dose of which the incidence probability is very small (e.g. 10⁻⁶) have been developed to evaluate the safety of chemical compounds. To compare models for estimation of safe doses quantitatively, a measure of the heaviness of tail of a distribution and a measure of tail at the origin are introduced. These measures have a theoretical basis for the comparison of tail behavior between distributions. Using the two measures, a tail ordering is defined to present a criterion for the comparison of models and is discussed for the probit, the logit, the Weibull, the (generalized) multihit, the (generalized) multitarget and the multistage models. The multistage model is most conservative among them, while the probit model has the reverse property. The Weibull model is more conservative than the logit. The multihit and multitarget models are found to be more sensitive than the Weibull and the logit. The Institute of Statistical Mathematics National Institute of Environmental Health Sciences     

Problem of the theory of functions and essential self-adjointness of powers of operators

A connection is established between the essential self-adjointness of powers of a symmetric operator and a generalization of a problem of the theory of functions which was studied by Levitan, Vul, and other authors.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 11, pp. 1492–1500, November, 1990.     

碾压混凝土坝施工层面变形分析模型

针对碾压混凝土坝施工层面对大坝变形产生显著影响的问题,深入研究了施工层面的变化性质及规律,提出了层面不同阶段变形的模拟方法,建立了施工层面有厚度和无厚度分析模型,提出的模型能反映层面的弹性变形、衰减蠕变、不可逆变形以及加速蠕变等变形状态．实例分析表明:所提出的碾压混凝土坝施工层面有厚度和无厚度分析模型能较客观地模拟大坝的结构变化形态,尤其是施工层面有厚度分析模型较完整地模拟了层面的渐变规律,其计算结果与原位监测成果吻合较好．同时,提出的方法和建立的分析模型可推广应用于常规混凝土坝,特别是坝基内断层和夹层等变形规律的分析．     

The use of splitting of the equations of motion in the numerical solution of problems of the dynamics of elastic systems

Linear elastic systems with a finite number of degrees of freedom, the initial equations of motion of which are constructed using the finite element method or other discretization methods, are considered. Since, in applied dynamics problems, the motions are usually investigated in a frequency range with an upper bound, the degrees of freedom of the initial system of equations are split into dynamic and quasi-dynamic degrees. Finally, the initial system of equations is split into a small number of differential equations for the dynamic degrees of freedom and into a system of algebraic equations for determining the quasi-static displacements, represented in the form of a matrix series. The number of terms of the series taken into account depends on the accuracy required.     

Homology of algebras of families of pseudodifferential operators

We compute the Hochschild, cyclic, and periodic cyclic homology groups of algebras of families of Laurent complete symbols on manifolds with corners. We show in particular that the spectral sequence associated with Hochschild homology degenerates at E² and converges to Hochschild homology. As a byproduct, we identify the space of residue traces on fibrations by manifolds with corners. In the process, we prove some structural results about algebras of complete symbols on manifolds with corners.     

Comparison of methods of investigating the components of the elongation of textile fibers

Resolving the elongation of textile fibers into its components (rapidly disappearing, slowly disappearing, and residual) provides valuable information on the mechanical properties and makes it possible to predict a series of mechanical characteristics of the fabrics into which they are made. The optimal methods of determining these components are established.Moscow Textile Institute. Translated from Mekhanika Polimerov, No. 3, pp. 444–450, May–June, 1972.     

Analytic description of statistics of spectra of quantum graphs

We discuss how to obtain exact and approximate distributions for various statistical characteristics of the spectra of quantum graphs using previously found exact solutions of the spectral problem. We indicate the relation between the appearing spectral decompositions and the theory of weakly dependent random variables and indicate the relation between the known limit theorems for trigonometric sums and the universal statistical properties of the spectra of quantum chaotic systems. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 156, No. 1, pp. 38–66, July, 2008.     

Modelling and analysis of dynamics of viral infection of cells and of interferon resistance

Interferons are active biomolecules, which help fight viral infections by spreading from infected to uninfected cells and activate effector molecules, which confer resistance from the virus on cells. We propose a new model of dynamics of viral infection, including endocytosis, cell death, production of interferon and development of resistance. The novel element is a specific biologically justified mechanism of interferon action, which results in dynamics different from other infection models. The model reflects conditions prevailing in liquid cultures (ideal mixing), and the absence of cells or virus influx from outside. The basic model is a nonlinear system of five ordinary differential equations. For this variant, it is possible to characterise global behaviour, using a conservation law. Analytic results are supplemented by computational studies. The second variant of the model includes age-of-infection structure of infected cells, which is described by a transport-type partial differential equation for infected cells. The conclusions are: (i) If virus mortality is included, the virus becomes eventually extinct and subpopulations of uninfected and resistant cells are established. (ii) If virus mortality is not included, the dynamics may lead to extinction of uninfected cells. (iii) Switching off the interferon defense results in a decrease of the sum total of uninfected and resistant cells. (iv) Infection-age structure of infected cells may result in stabilisation or destabilisation of the system, depending on detailed assumptions. Our work seems to constitute the first comprehensive mathematical analysis of the cell-virus-interferon system based on biologically plausible hypotheses.     

Completeness of the system of Floquet solutions of equations of the neutral type

The necessary and sufficient conditions for the completeness of the system of Floquet solutions, the eigenfunctions and associated functions of the displacement operator, over a period of the coefficient in metrics C₁ and C in the space of all solutions of the equationy (t)=q(t) y (t– n)+ay (t–m), are obtained. Here q(t) is a continuous function of the period.Translated from Matematicheskie Zametki, Vol. 3, No. 3, pp. 297–306, March, 1968.In conclusion we wish to express our deep gratitude to B. Ya. Levin and A. D. Myshkis for discussion and help with the work.     

Properties of asymptotic coefficients of the functions of the continuous spectrum of a lightguide

The asymptotic coefficients of the eigenfunctions of the continuous spectrum of a periodic lightguide are investigated. Integral equations, describing the spectrum of scattering matrices and other symplectic matrices that connect the asymptotic coefficients, are obtained. The directed motion of the eigenvalues of the scattering matrices and of certain groups of eigenvalues of symplectic matrices, under a parametric monotonic change in the medium of the lightguide, is established.Translated from Problemy Matematicheskogo Analiza, No. 11, pp. 161–176, 1990.