Mission and proof of existence theorem for hyperband m n SH A which carrier conjugated system (; * ) of planar elements are examined: the tangent subbundle of (; * ) -planes (-subbundle) and the tangent subbundle of lines (* -subbundle). Internal beams of normalizations of hyperband m SH and its tangent subbundles in the second-order differential neighborhood are constructed.
It is proved that mean value of almost periodic function with values in Banach space is an internal point of a solid cone.
Various visualization methods for classical mathematic models, including statistical graphics, 2D and 3D animation are reviewed, and possible means of realization for such animations are suggested.
The features of the method implementation Persistent Scatterers Interferometry in MATLAB environment on a high performance computer cluster are considered. The process and results of interferometric processing of multi-time measurements made by radar ALOS/PALSAR in 2007—2011 is described. For processing software package developed used high-precision evaluation of the displacement of man-made objects. The technology publication of displacement velocity of terrestrial surface on the basis of GeoServer and Google Maps services is offered.
A numerical algorithm for solving inverse dynamical problem recovering an absorption by the boundary control method is developed. The absorption coefficient is determined independently of a speed of sound, which can be an arbitrary smooth positive function. The results of numerical experiments are represented.
Formal approaches to creation of algorithms implemented in automated tests generation system are considered. Structure of a software system of programming tests generation is presented. Problem statements and mathematical models for some modules of the system are described.