The purpose of this work is the development and search of the analysis algorithms for textural features and various orthonormal spectral decompositions of the images obtained by the transmission electronic microscopy. The research is carried out for the Institute of Solid State Chemistry and Mechanochemistry of the Siberian Branch of...

The paper presents a method of the development of operational semantics for imperative programming languages. It is based on the ontological approach to formal programming language specification implemented by information transition systems and conceptual transition systems. The method is illustrated by a fragment of the C language.

The increasing volumes of Internet information and rapid development of social networks make the problem of automated text processing more and more topical. We have studied the use of link grammar for the Kazakh and Turkish languages and considered the possibility of creating dictionaries in these languages and connecting them...

We suggest an approach to the resolution of context-dependent lexical and syntactic ambiguity in a framework of ontology population from natural language texts. We show that a set of maximally determined ontology instances can be represented as a Scott information system with an entailment relation as a collection of information...

The paper proposes an associative version of the Ramalingam algorithm for the dynamic update of the all-pairs shortest paths of a directed weighted graph after inserting an edge. To this end, a model of associative (content addressable) parallel systems with vertical processing (the STAR–machine) is used. The associative version of...

In this paper, we show one of recent GIS-ENDDB algorithms: the algorithm of building seismicity lineaments in terms of Great circles of the Earth. We also show using some other GIS-ENDDB algorithms to identify and to confirm the possibility of existence of global tectonic structures of the lineament type in...

The calculation of the Novosibirsk reservoir ows with the help of the scheme with two splitting steps and a finite element method (FEM) has been carried out. At these steps, for constructing the FEM operators different types of finite elements are used. In particular, at the step corresponding to the...

In this paper, the kinematics of the tsunami wave ray and the wave front in the area, where the depth increases proportional to the squared distance to the straight shoreline, is studied. The exact analytical solution for the wave-ray trajectory above the parabolic bottom topography has been derived. This solution...

A unit vector field *τ* in the Euclidean space *E3* is considered. Let ** P** be
the vector field from the first Aminov divergent representation

*K*= div[(

*r•τ*)

**] for the total curvature of the second kind**

*P**K*of the field

*τ*. For the field

**,...**

*P*In the Euclidean space *E3*, we consider the family {*Lτ*} of the curves *Lτ*
with the tangent unit vector *τ = τ (x, y, z)* and the family {*Sτ*} of the surfaces *Sτ*
with the unit normal *τ* which are orthogonal to the curves *L...*

A family {*Sτ*} of surfaces *Sτ* with the unit normal *τ = τ (x, y, z)* in
the Euclidean space *E3* is considered. The surfaces *Sτ* continuously fill a domain *D*
in *E3*. For the family {*Sτ*} of surfaces *Sτ*, the law...

This paper presents the generalized methodology for identifying the morpho-structural features of new, supposedly, impact large-size structures. Those are the following: the presence of the bank and the central raising, the presence of the hydrocarbons deposits and the mineral resources of hydrothermal origin on the crater territory, the sharp changes...

The propagation of elastic waves in strongly heterogeneous media using subgrid modeling approach is studied. The local elastic parameters and the mass density have essential variations in some interval of scales at each spatial point. To approximate a strongly heterogeneous medium, we have started from the modified Kolmogorov theory in...

In this study, the tsunami source of the 2013 Solomon Island tsunami
event was reconstructed by the *r*-solution method. The focus of this research is
the applying the regularities obtained for a model cases to the real event. To
understand the reasonable strategy of deployment of a tsunami recorders,...

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...

The numerical results obtained have shown that the dynamic atmosphere factor plays an important role in changing the state of the ice cover. A change in the Atlantic water pathway has an influence on the ice depth in the regions of the Barents Sea, the Fram Strait and the Eurasian...

An initial boundary value problem for systems of viscous two-fluid media with equilibrium of pressure phases is considered. Using the test function method proposed by S.I. Pohozhaev and E. Mitidieri, the effect of boundary and initial conditions on the appearance, time and rate of destruction of solutions of this problem...

The water motion in real river-beds is described by the mathematical models that under appropriate assumptions are various approximations of hydrodynamic equations, or the Navier-Stokes equations. The mathematical model of a water flow, based on the laws of conservation of momentum and mass of fluid, was proposed by Saint-Venant. The...

The research into the hydrological regime of the river estuaries conventionally concerns the distribution of the flow across their channels and branches.

There is a known hydraulic method for calculating the hydrological regimes in the river deltas [1]. It is based on a system of the balance equations for branching...

The equations of gas dynamics are an integral part of numerical models of the atmospheric dynamics used for research into variations of climate and anthropogenic changes in the environment. Various modifications of the discrete kinetic models describing a single-particle distribution function are reviewed and tested. A comparison of test solutions...

The results of experimental and numerical studies of regional contamination of the snow cover by the atmospheric emissions of impurities coming in the winter period from the territory of Novosibirsk are discussed. The quantitative regularities in removing of impurities are established. The possibility of creating an efficient monitoring system and...

Results of the land and satellite investigations of dust pollution of the snow cover in the neighborhood of Omsk CHP-5 are discussed. Based on the model of reconstructing the fields of aerosol impurity losses, the numerical analysis of these observations is carried out. A significant influence of the effects of...