Vol. 45 No. 2 (225) (2011)

Mathematics

Mechanics

  • Mechanics

    PROPAGATION OF A HARMONIC WAVE IN A PLATE WITH SYMMETRIC STRUCTURE

    A.V. Melkonyan, S.V. Sarkisyan
    View PDF
    Abstract

    In this paper a three-layer plate with symmetrical structure to solve the prob-lem of determining the properties of the middle layer, which can propagate the harmonic wave in three-layer plate with phase speed equal to the phase speed of a single-layer plate.

    References

Informatics

  • Informatics

    DECIDABILITY OF Δ-EQUIVALENCE PROBLEM FOR MONADIC LOGIC PROGRAMS

    L.A. Haykazyan
    View PDF
    Abstract

    Chair of Programming and Information Technologies, YSU In the present paper the Δ-equivalence problem of monadic logic programs (logic programs using only monadic functional and predicate symbols) is investigated. It is shown that contrary to the general case, the relation of Δ-equivalence is decidable in case of monadic programs. Our proof is based on the decidability of Rabin’s monadic second order logic of successor functions.

    References

Physics

  • Physics

    CONFINED AND INTERFACE POLARONS IN CYLINDRICAL NANOWIRES IN AN ELECTRIC FIELD

    A.L. Vartanyan
    View PDF
    Abstract

    The effect of an electric field on the basic parameters of confined and interface polarons in cylindrical nanowires embedded in a non-polar matrix are studied theoretically for the first time. Analytical expressions for the quasi-onedimensional Fröhlich polaron self-energy and effective mass are obtained as functions of wire radius and strength of the electric field applied perpendicular to the wire axis, which may be of use at the interpretation of optical phenomena related to polaron motion in cylindrical nanowire, when the effect of an applied electric field competes with the size quantization.

    References

Short Communications