Headings of the journal
"Educational Resources and Technologies"

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

Annotation: Investigated the one-dimensional inverse problem with an unknown source and an unknown variable coefficient two known solutions at fixed points in the plane. Inverse problem using the method of integral transforms is reduced to inverse problem of Sturm-Liouville problem. The uniqueness theorems are proved

Annotation: The algorithm of replacing some other lattice nodes to minimize the error functional norm is developed under the concordance condition of the convergence order with lattice step and the smoothness of the function along the selected coordinate directions. The results obtained by the method tested in the control examples

Annotation: The wind-influenced deepening of the mixed layer in a stratified rectangular reservoir has been calculated using three-dimensional numerical model. A comparison of results has been made for various turbulence models

Annotation: The problem of verification of logical descriptions of combinational networks is considered for the case when the initial functional description of the network under design has indeterminacy. The proposed verification approach is based on simulation of еру network functionality for the general case when input stimuli are represented by ternary vectors