apanovich_bull_43.pdf402.76 KB
Nowadays, entity resolution is being intensively investigated in the context of the integration of heterogeneous data sets. Collecting data from heterogeneous data sets and integrating them in a query able environment increases completeness and correctness as well as ensures a more effective analysis. Of special interest is the problem of...
korovina_bull_43.pdf187.49 KB
In this paper we report on new black-box and white-box approaches implemented in ksmt-solver for checking satisfiability of non-linear constraints over the reals. These approaches are applicable to a large number of constraints involving computable non-linear functions, piecewise polynomial splines, transcendental functions and beyond. A prototypical implementation has been evaluated...
virbgrib-_bull_43.pdf221.27 KB
In this paper, we deal with event-oriented models of concurrent processes which are generalizations of the well-studied model of prime event structures. In particular, we translate flow event structures into structures for resolvable conflict (the most expressive event-oriented model) and back, define two structurally different methods of generating transition systems...
zubarev_bull_43.pdf246.59 KB
We consider the time Petri nets (an extension of Petri nets), where every transition has its time interval. The policies of time-elapsing and the memory policies define different semantics for time Petri nets. The decidability of many standard problems with an infinite discrete structure depends on the choice of semantics...
kurbonov_bull_43.pdf339.02 KB
The most important and cryptographically significant goal of a stream cipher is to produce a pseudorandom sequence of bits or words using a fixed length secret key, often paired with a fixed length public initialization vector. Over the last three decades of research and development in stream ciphers, a number...
haydarov.pdf205.28 KB
A chemically inert deformable rock is considered, taking into account only changes in stress and pore pressure: the chemistry of a porous fluid has no direct effect on deformation. Accounting the chemical effects leads to changes in the pore pressure and in the strain of rocks. This theory is applied...
hazivaliev_0.pdf2.77 MB
On many territories of the Earth, the unnaturally at extended surface areas are observed that are geomorphologically expressed relative to the adjacent areas and resembling a pattern of a planed-down tree in satellite images. A new hypothesis is proposed, explaining the formation of such a pattern due to the Earth...
imomnazarov_0_0.pdf276.03 KB
A modified version of the linear poroelasticity theory described by three elastic parameters is applied to shale swelling with an aqueous electrolyte. It is assumed that the shale behaves as an isotropic, ideal ionic membrane, and in this case, swelling depends only on the total stress and on the chemical...
imomnazarov2_3.pdf212.37 KB
We have considered the classical solution in the half-space of the second boundary value problem for an overdetermined stationary system of second order equations arising in a two-fluid medium with phase equilibrium in pressure. The solution is constructed using the Fourier transform apparatus. The effect of the kinetic parameters of...
marchuk_11.pdf6.27 MB
The new method for the numerical simulation of partial reflection of the long waves off the submerged vertical barrier was developed and tested. This method is based on the inner boundary condition which takes into account the wave energy loss due to such a kind of reflection. The method was...
mikheeva_6.pdf4.61 MB
A technique that allows by secondary signs finding and determining the size of impact craters with a diameter exceeding 5 kilometers, whose profile has been erased by erosion processes or hidden with sediment cover is proposed.
voronina_7.pdf563.37 KB
This paper highlights the influence of the model parametrization, including the sea level recorders localization and source discretization, on the tsunami source inversion. Modeling the initial water displacement in the tsunami source area is based on the least square inversion and a truncated singular value decomposition approach that makes possible...
yusupov.pdf178.38 KB
This paper studies a class of second order partial differential equations utt = f(ux)uxx + g(ut) arising in poroelasticity theory with arbitrary functions f(ux) and g(ut), using the group classification. It is shown that the principal Lie algebra of...
boronina.pdf324.28 KB
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...
dudnikova.pdf381.51 KB
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...
genrikh.pdf297.61 KB
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...
lazareva.pdf512.76 KB
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...
perepechko.pdf751.2 KB
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...
prigarin.pdf374.42 KB
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.
sapetina.pdf325.44 KB
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...
stoyanovskaya.pdf629.72 KB
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...
borovko_3.pdf331.53 KB
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...
iakshina_0.pdf985.64 KB
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...
kraineva_0.pdf683.79 KB
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...
kravtchenko.pdf1.67 MB
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...
krylova_2.pdf671.92 KB
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...
penenko_5.pdf1.63 MB
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...
raputa_8.pdf1.25 MB
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...