Журналы

Headings of the journal
"Educational Resources and Technologies"

All rubrics

Inverse problem for linear pseudoparabolic equation of filtration type

Page:357-363

Release: 2016-2 (14)

Annotation: The paper discusses the inverse problem on determination of an unknown coefficient in the linear pseudoparabolic equations. The results obtained by the author and A. Tani earlier are extended to the case of the equation containing not only the unknown function, but its first derivatives as well. The assumptions on the input data are formulated wherein the local existence and uniqueness of the solution of the problem is proved

Numerical modeling of pendulum waves in a blocky medium

Page:364-369

Release: 2016-2 (14)

Annotation: The computational algorithms for study of propagation of stress waves and strain in layered media, consisting of a large number of deformable blocks with elastic layers are developed. Numerical results demonstrate the features of plane wave propagation in a blocky media

Analysis of the equations of a liquid crystal taking into account moment interaction

Page:369-374

Release: 2016-2 (14)

Annotation: Based on the mathematical model of a liquid crystal in the acoustic approximation, the system of two equations of second-order was obtained for tangential stress and angular velocity. Computational algorithm for numerical solution of boundary-value problems is worked out, implemented as a parallel program in the С language using the CUDA technology

Simulation of the stability of a system by the theory of one-dimensional percolation

Page:374-378

Release: 2016-2 (14)

Annotation: A mathematical model of the system resistance to damage is considered. A new algorithm to determine the stability of damage based on quasi-one-dimensional percolation theory is proposed. The model can be used for interpretation of results in quasi-one-dimensional nanometer systems

The deterministic semantic of the regular expressions

Page:379-386

Release: 2016-2 (14)

Annotation: The problem of conversion of formal language texts is of considerable practical importance for software reengineering and for the software integration. Pattern matching is technique of searching a text string based on a specific search pattern. The pattern specified by regular expression forms the basis for building a variety of converters. It is proposed to change the traditional model of the language parser by pattern matching based on the finite state machine into the algebra of patterns with side effects. The proposed deterministic semantic of regular expression eliminates the need to switch from the regular expression engine and user code execution environment and back again