The work is devoted to an attempt to use Golang programs for the specification and verification of distributed systems. The A.P. Ershov Institute of Informatics Systems, SB RAS, has been developing this approach for years. A distributed system described in terms of an SDL specification, which is first translated to...

Nowadays, the creation of custom electronic devices of varying degrees of complexity is available for a wide audience. The applications vary from simple devices such as clocks and weather stations to automated homes and manufacturing control systems. In the last decade, the Arduino platform [1] has significantly simplified the development...

This paper presents a comparison of ELMO-based models. The comparison was performed on data in the Russian language for the task of named entity recognition (NER). The paper also discusses a comparison of the architectures based on the Simple Recurrent Unit (SRU) and Gated Recurrent Unit (GRU). All the models...

This paper describes a pipeline for extracting the author’s terms and definitions from mathematical texts. We used two models: one, for detecting mathematical formulas to clear text from noise and the other, for converting images into LaTeX formulas to restore the deleted formulas. Experimental data show that noise clearing is...

The application of a hydrodynamic model of the two-velocity media flow of to non-stationary problems of the heterophase flows motion in channels is considered. Various flow regimes of such media are studied for given penetration rates for initially inhomogeneous flow at various values of channel inclination.

The presented mathematical model...

The paper is devoted to modeling the solvent and solute transfer in a chemically inert elastically deformable rock, the model takes into account only the variation in stress and pore pressure. Chemical effects are taken into account by changing the pore pressure and deformation of rocks in the transport equations...

The process of capturing wave energy by a round-shaped island with a conical relief for the surrounding bottom is studied in this work. The kinematics of the tsunami wave having initially straight front near such an island was investigated by the method of step-by-step orthogonal advancement of wave front. An...

A study was continued to identify the spatial-temporal relationship
between strong crustal earthquakes and moderate intermediate-depth seismicity
preceding them. In the field of preparation of these shocks, a pattern of direct
correlation of graphs *MS(t)* and *Cr(t)* has been revealed, testifying creation the
conditions for strictly deterministic influence...

The impact theory of mass extinction for Earth's biota has not yet received either its final confirmation or complete rejection and remains a working hypothesis, often explaining what is not explicable by other theories. Among all the five mass extinctions recorded in the stratigraphic annals of the Earth, only the...

Inverse dynamic problems for a one-dimensional system of Hopf-type equations are considered. Theorems on the solvability of the considered problems in the class of analytic functions are proved.

The paper considers applications of a two-velocity model of hydrody- namics for a two-phase medium for describing natural geological systems, such as movement of magma melts in magma channels, the flow of a river and the erosion of an unfixed sandy river bottom. The study deals with a test problem...

The paper investigates a mathematical model of a two-phase medium under the assumption that the phases are in equilibrium with respect to pressure and temperature. Dissipative effects are determined by interfacial friction. In the one-dimensional case, a group analysis of the dissipative system of equations for a two-phase medium is...

Two-velocity models of suspension hydrodynamics are considered, using the equality condition for chemical potentials of the phases or without this condition. The model equations are obtained by the conservation law method and are thermodynamically consistent under the assumption of one pressure or two pressure systems. Models are compared numerically on...

Potential vorticity (PV) streamers and cutoffs are indicators to the Rossby wave breaking (RWB) near the extratropical tropopause. In the Rossby waves breaking, the formation of elongated high-PV stratospheric air tongues extending to the equator and tropospheric low PV air tongues extending to the pole are obtained. There are two...

A numerical simulation of the water and sea ice dynamics of the Arctic Ocean was carried out to identify the physical mechanisms that determine the variability of the state of the ice cover. For the research, we used the coupled ocean-ice regional numerical model of the North Atlantic and the...

The Laptev Sea, one of the most severe Arctic shelf seas is the focus of the international research on account of a pronounced climate change (warming of the atmosphere temperature, lengthening of the summer open-water season, reduction of the ice extent, rapid coastal erosion). In recent years, as compared to...

In this paper, the adaptation of the SibCIOM three-dimensional thermodynamic model is considered that allows modeling a three-dimensional velocity and temperature distribution, as well as a two-dimensional field of the ice cover for the Novosibirsk reservoir with seasonal changes in the water level. An analysis of the numerical results shows...

A hydrologically correct digital model of the bottom topography of
the Lena River basin with a resolution of *(1/3)° x (1/3)°* is constructed. Based on
the linear model of forming a water balance in the river-bed network and a model
network of river channels schematized in the form of a...

In the data assimilation algorithms for the air quality applications, the source identification problem can be considered as an auxiliary one for the solution of the model state function continuation problem. The algorithm based on the ensembles of the adjoint problem solutions is applied to solve the inverse problems. The...

The satellite observations of smoke plumes from the pipes of power stations make possible to obtain prompt information about the processes of impurities distribution in the atmosphere and about the source parameters. This paper proposes a method of numerical reconstruction of characteristics of the active stage of the smoke stream...

Conditional stability of explicit schemes in finite differences complicates the choice of a time step. The increase in the number of the grid nodes for more precise computations and the corresponding space step decrease leads to the increase in computer costs due to the decreasing of the time step. We...

The self-consistent evolution of the ion-acoustic collisionless shock with shock-reflected ions is numerically studied with kinetic simulations. We want to compare different approaches to the shock simulation based on the PIC-method. The results of one-dimensional fully kinetic simulation for both plasma components with the real ion-to-electron mass ratio are compared...

Today the method for the development of portable numerical simulation programs is very important because of the two main reasons. The first reason is the diversity of supercomputer architectures in Top500 and the second one is a demand for using the most powerful computers to simulate, for example, plasma. The...

The paper reviews the problem of forecasting the possible maximum pressure at the well-head, at the well-bore and at near-wellbore zone of reservoir during the process of new stimulation technology like reactive chemistry application. The technology provides stimulation by thermobaric effects. This impact occurs as a result of thermal decomposition...

This paper investigates a magma flow in permeable zones of the lithosphere. The model equations describing the dynamics of saturated porous media both without tangential stresses and with them are presented. The phenomenological method used for deriving the equations provides the thermodynamic correctness. Based on the model of the heterophase...

This paper deals with an ill-posed problem to determine the size distribution for water drops in a cloud from a given scattering phase function. Numerical experiments have shown that a method based on non-negative least squares with additional requirements of smoothness can be used to solve the ill-posed problems.

In order to create systems of vibroseismic monitoring for earthquakeprone areas it is needed to carry out the simulation of seismic wave propagation in the media typical of volcanic structures. To this end it is required to develop supercomputer technologies for decreasing the computation time and simulation of "big" 3D...

New parallel algorithm is developed for simulating the dynamics of a thin circumstellar disk. It is based on the combination of a gridless method of smoothed particle hydrodynamics (SPH) and the grid-based convolution method for calculating a gravitational potential. To develop the algorithm, we made software profiling of numerical experiments...