Estimates of stability of characterization of additive types of distributions

An estimate of stability of characterization of distribution types is obtained for the case of additive types. Under some conditions, the estimate has the order ε^1/3L(ε), where L(ε) is a slowly varying function. Proceedings of the Seminar on Stability Problems for Stochastic Models, Moscow, Russia, 1996, Part I.     

Characterization of types of asymptotic discernibility of families of hypotheses

We give a characterization of the types of asymptotic discernibility of families of hypotheses in the case of hypothetical measures that are not, in general, mutually absolutely continuous. The case when the logarithm of the likelihood ratio admits an asymptotic expansion of the type of an expansion with local asymptotic normality is examined in detail. Examples are studied.Translated fromTeoriya Sluchainykh Protsessov, Vol. 15, pp. 64–71, 1987.     

Singularities of Solutions of One Class of Equations of Continuum Mechanics

We analyze one class of families of integral equations and describe the dependence of the singularities of solutions of integral equations on the dimensions of the families of kernels of equations. On the basis of these results, we propose procedures for the construction of approximate solutions for a small parameter.     

Regularity of minimizers of non-isotropic integrals of the calculus of variations

The regularity of the minimizers of a special type of non-isotropic variational minimization problem is studied. The particularity of the potential of energy is that it has different growth rate with respect to different parts of the derivatives of the function. In particular, the model treated in this paper can be described as $$\Phi (Du) = |\partial _1 u|^2 + |\partial _2 u|^2 + |\partial _3 u|^2 + |\partial _3 u - |^p .$$ By using a result of P.Marcellini (cf. [4]) and perturbation method, it is proved that the minimizer of the Dirichlet boundary value problem is a function of W _loc ^{1, ∞} .     

Preservation of equivalence of derivations under reduction of depth of formulas

In this paper we consider derivations in the (&, )-fragment of the intuitionistic propositional calculus. As is known, replacement of any occurrence of a formula [F] in a sequent S by an occurrence of the formula [p], where p is a new propositional variable, with the simultaneous addition to the antecedent of the formula F p or p F depending on the sign of the occurrence of F in S, leaves the derivability unchanged. We give a proof of the fact that the natural extension of this transformation to derivations preserves the relation of equivalence of derivations, i.e., transformed derivations are equivalent if and only if the originals are equivalent. (Derivations are considered equivalent if certain of their normal forms coincide, or, what is the same, if their deductive terms coincide.) It is proved that by the iteration of this transformation, each derivation of an arbitrary sequent S can be transformed into a derivation of a sequent S, depending only on S, whose succedent is a variable, and in the antecedent there occur only formulas of the form a,a & b, a b,,(a b) c, a & b c, a (b & c), wherea, b, c are variables. Here if S is balanced, then S is also balanced. (A sequent is called balanced if each variable occurs in it no more than twice.) The familiar correspondence between certain concepts of the theory of categories and concepts of the theory of proofs allows one to assert that there has been constructed a univalent functor, mapping a free Cartesian closed category into itself.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 197–207, 1979.     

一类完全正则半群簇子簇格的性质

本文研究了完全正则半群簇的子簇格［Ｖ＋∩ＰＶ，Ｖ＋∩ＰＶ］的某些格运算性质，我们证明了簇Ｖ＋∩ＰＶ可分解为Ｖ与Ｖ＋∩ＰＶ的并；对任意完全正则半群簇Ｗ，有Ｗ∩（Ｖ∨Ｖ＋∩ＰＶ）＝（Ｗ∩Ｖ）∨（Ｗ∩Ｖ＋∩ＰＶ）．特别地，我们得到了等式Ｖ＋∩ＰＶ＝Ｖ成立的若干条件．     

Study of the blow-up of solutions of systems of equations of hydrodynamic type

Mathematical Notes - We study the initial boundary-value problem for three-dimensional systems of equations of pseudoparabolic type. The system is similar to the Oskolkov system, but differs from...     

Limit of Iterates of Cascade Addition of Matrices

With the cascade connection of electrical multiport networks as a model, the cascade sum of two positive semi-definite matrices has been considered. The existence of the limit of iterates of cascade addition of a single matrix is proved and various characterizations for the limit are presented.     

Birational aspects of the geometry of Varieties of Sums of Powers

Varieties of Sums of Powers describe the additive decompositions of a homogeneous polynomial into powers of linear forms. The study of these varieties dates back to Sylvester and Hilbert, but only few of them, for special degrees and number of variables, are concretely identified. In this paper we aim to understand a general birational behavior of VSP. To do this we birationally embed these varieties into Grassmannians and prove the rational connectedness of many VSP in arbitrary degrees and number of variables.     

Determination of asymptotic solutions of problems of nonlinear theories of thermoviscoelasticity

It is shown that the asymptotic solution of a problem of the nonlinear theory of thermoviscoelasticity, if it exists, can be found directly from the solution of the asymptotic boundary-value problem without completely solving the starting problem.M. V. Lomonosov Moscow State University. Translated from Mekhanika Polimerov, No. 3, pp. 395–400, May–June, 1976.     

Emptiness of set of points of lower semicontinuity of Lyapunov exponents

We consider parametric families of differential systems with coefficients that are bounded and continuous on the half-line and uniformly in time continuously depend on a real parameter. For each Lyapunov exponent, we construct a family such that the Lyapunov exponent of its systems treated as a function of the parameter is not a lower semicontinuous function for any value of the parameter.     

Invariant properties of systems of equations of the mechanics of inhomogeneous fluids

The invariant properties of the fundamental system of equations of the mechanics of inhomogeneous fluids and its widely used approximations are analysed by the methods of continuous group theory. Simplifying assumptions significantly alter the invariant properties of the systems of equations. Both extending and contracting the admissible symmetry group can occur and provide evidence of the violation of the conditions of equivalence between the original and derived systems. For example, the use of the incompressibility and Boussinesq approximations leads to extension of the concept of an inertial reference frame to all frames moving relative to one another with arbitrary linear acceleration.     

Doubly-Exponential Growth of the Number of Vectors of Multipilicities for Solutions of Systems of Polynomial

Earlier, D. Yu. Grigoriev and N. N. Vorob'yov obtained an upper bound for the number of vectors of multiplicities for solutions of systems of the form (assuming that the system has a finite number of solutions). In the system above, are polynomials of degrees . In the present paper, we show that the order of growth of this bound is close to the exact one. In particular, in the case d=n, the construction provides a doubly-exponential (in n) number of vectors of multiplicities. Bibliography: 4 titles.     

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.     

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.     

非线性方程分枝解理论在线性闭环系统极点摄动量估计中的应用

本文利用非线性方程小分枝解的理论,研究多变量定常线性控制系统的状态矩阵与控制矩阵受到摄动时,闭环系统的极点所受到的摄动量的估计问题.     

Numerical characteristics of the degree of anisotropy of the mechanical properties of materials

Conclusions 1. A unique procedure for determination of the numerical characteristics of the degree of anisotropy of the strength and deformation properties of materials is proposed.2. The concepts of the deformability surface and the anisotropy surface of the deformability permit representing graphically the deformation properties of materials.3. The system of integral characteristics of the mechanical properties of materials opens up new possibilities in connection with the analysis and optimization of different reinforcement schemes.Institute of Polymer Mechanics, Academy of Sciences of the Latvian SSR, Riga. Translated from Mekhanika Polimerov, No. 4, pp. 601–609, July–August, 1978.     

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

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

Boundedness of the series of absolute values of blocks of sine series

The series of absolute values of blocks of a sine series whose coefficients satisfy a certain weakened monotonicity condition are considered. It is shown that to ensure the bounded convergence of such a series, one can take the same blocks as for the Fourier series of functions of bounded variation.     

有资格限制的指派问题的求解方法

在实际的指派工作中，常会遇到某个人有没有资格去承担某项工作的问题，因此，本建立了有资格限制的指派问题的数学模型。在此数学模型中，将效益矩阵转化为判定矩阵，由此给出了判定此种指派问题是否有解的方法；在有解的情况下，进一步将效益矩阵转化为求解矩阵，从而将有资格限制的指派问题化为传统的指派问题来求解。最后给出了一个数值例子来说明这样的处理方法是有效的。