Vol 13, No 2 (2019)
- Year: 2019
- Articles: 18
- URL: https://journals.rcsi.science/1990-4789/issue/view/13261
Article
On the Conditions for Existence of Unidirectional Motions of Binary Mixtures in the Oberbeck—Boussinesq Model
Abstract
Compatibility conditions are obtained for the nonstationary Oberbeck—Boussinesq equations describing the unidirectional motions of a liquid binary mixture in a horizontal strip. We examine the case of polynomial dependence of temperature on the longitudinal coordinate is considered, and the influence of the dependence of the kind on the remaining unknown functions from the original system. It is shown that a nonstationary unidirectional motion between two solid walls can be described by the Oberbeck—Boussinesq model only for the quadratic or linear law of temperature distribution along the horizontal coordinate. Some initial-boundary value problems are posed.
A Cut Generation Algorithm of Finding an Optimal Solution in a Market Competition
Abstract
We consider a mathematical model of market competition between two parties. The parties sequentially bring their products to the market while aiming to maximize profit. The model is based on the Stackelberg game and formulated as a bilevel integer mathematical program. The problem can be reduced to the competitive facility location problem (CompFLP) with a prescribed choice of suppliers which belongs to a family of bilevel models generalizing the classical facility location problem. For the CompFLP with a prescribed choice of suppliers, we suggest an algorithm of finding a pessimistic optimal solution. The algorithm is an iterative procedure that successively strengthens an estimating problem with additional constraints. The estimating problem provides an upper bound for the objective function of the CompFLP and is resulted from the bilevel model by excluding the lower-level objective function. To strengthen the estimating problem, we suggest a new family of constraints. Numerical experiments with randomly generated instances of the CompFLP with prescribed choice of suppliers demonstrate the effectiveness of the algorithm.
A Contact Problem for a Plate and a Beam in Presence of Adhesion
Abstract
Under consideration is the problem of contact between a plate and a beam. It is assumed that no mutual penetration between the plate and the beam can occur, and so an appropriate nonpenetration condition is used. On the other hand, the adhesion of the bodies is taken into account which is characterized by a numerical adhesion parameter. We study the existence and uniqueness of a solution for the contact problem as well as the passage to the limit with respect to the adhesion parameter. The accompanying optimal control problem is investigated in which the adhesion parameter acts as a control parameter.
A Polynomial 3/5-Approximate Algorithm for the Asymmetric Maximization Version of the 3-PSP
Abstract
We present a first polynomial algorithm with guaranteed approximation ratio for the asymmetric maximization version of the asymmetric 3-Peripatetic Salesman Problem (3-APSP). This problem consists in finding the three edge-disjoint Hamiltonian circuits of maximal total weight in a complete weighted digraph. We prove that the algorithm has guaranteed approximation ratio 3/5 and cubic running-time.
A Local Search Algorithm for the Single Machine Scheduling Problem with Setups and a Storage
Abstract
We present a new mathematical model for a single machine scheduling problem originated from the tile industry. The model takes into account the sequence-dependent setup times, the minimal batch size, heterogeneous orders of customers, and a stock in storage. As the objective function we use the penalty for tardiness of the customers’ orders and the total storage cost for final products. A mixed-integer linear programming model is applied for small test instances. For real-world applications, we design a randomized tabu search algorithm. The computational results for some test instances from a Novorossiysk company are discussed.
Estimating the Stability Radius of an Optimal Solution to the Simple Assembly Line Balancing Problem
Abstract
The simple assembly line balancing problem (SALBP) is considered. We describe the special class of problems with an infinitely large stability radius of the optimal balance. For other tasks we received the lower and the upper reachable estimates of the stability radius of optimal balances in the case of an independent perturbation of the parameters of the problem.
On the Differential Realization of a Second-Order Bilinear System in a Hilbert Space
Abstract
We study the necessary and sufficient conditions for the existence of a nonlinear differential realization of a continuous infinite-dimensional behaviorist system in the class of nonstationary second-order bilinear ordinary differential (in particular, hyperbolic) equations in a separable Hilbert space. The obtained conditions rely upon the tensor products of Hilbert spaces. In passing, we analytically justify some topological-metrical continuity conditions for the projectivization of the Rayleigh—Ritz operator with the calculation of the fundamental group of its image.
Flow Regimes in a Flat Elastic Channel in Presence of a Local Change of Wall Stiffness
Abstract
Some mathematical model is proposed of a flow in a long channel with compliant walls. This model allows us to describe both stationary and nonstationary (self-oscillatory) regimes of motion. The model is based on a two-layer representation of the flow with mass exchange between the layers. Stationary solutions are constructed and their structure is under study. We perform the numerical simulation of various flow regimes in presence of a local change of the wall stiffness. In particular, the solutions are constructed that describe the formation of a monotonic pseudoshock and the development of nonstationary self-oscillations.
On a Construction of Easily Decodable Sub-de Bruijn Arrays
Abstract
We consider the two-dimensional generalizations of de Bruijn sequences; i.e., the integer-valued arrays whose all fragments of a fixed size (windows) are different. For these arrays, dubbed sub-de Bruijn, we consider the complexity of decoding; i.e., the determination of a position of a window with given content in an array. We propose a construction of arrays of arbitrary size with arbitrary windows where the number of different elements in the array is of an optimal order and the complexity of decoding a window is linear.
Functionally Invariant Solutions to Maxwell’s System: Dependence on Time
Abstract
We consider the problem of finding the generalized functionally invariant solutions to Maxwell’s equations. The solutions found contain some functional arbitrariness that can be used for determining the parameters of Maxwell’s system (the dielectric and magnetic constants).
Experimental Methods for Constructing MDS Matrices of a Special Form
Abstract
MDS matrices are widely used as a diffusion primitive in the construction of block type encryption algorithms and hash functions (such as AES and GOST 34.12-2015). The matrices with the maximum number of 1s and minimum number of different elements are important for more efficient realizations of the matrix-vector multiplication. The article presents a new method for the MDS testing of matrices over finite fields and shows its application to the (8 × 8)-matrices of a special form with many 1s and few different elements; these matrices were introduced by Junod and Vaudenay. For the proposed method we obtain some theoretical and experimental estimates of effectiveness. Moreover, the article comprises a list of some MDS matrices of the above-indicated type.
Study of an Inverse Boundary Value Problem of Aerohydrodynamics Given the Value of the Forward Flow Velocity
Abstract
The inverse boundary value problem of aerohydrodynamics is considered in the new formulation: Find the shape of an airfoil streamlined by a potential flow of an inviscid incompressible fluid under assumption that the velocity potential is given as a function of the abscissa of the profile point, as well as the values of the velocity are available on the leading edge of the airfoil and for the unperturbed flow around the unknown profile. The formulas are derived by which the coordinates of the points of the unknown profile can be calculated and the distribution of the velocity value along the obtained profile can be found. It is shown that, depending on the given value of the velocity of the unperturbed forward flow, the problem is either uniquely solvable or has two solutions with different slope angles of the velocity vector of the forward flow with respect to the real axis.
Asymptotics for the Logarithm of the Number of (k, l)-Solution-Free Collections in an Interval of Naturals
Abstract
A collection (A1, … ,Ak+l) of subsets of an interval [1, n] of naturals is called (k, l)-solution-free if there is no set (a1, … , ak+l) ∈ A1 × ⋯ × Ak+l that is a solution to the equation x1 + ⋯ + xk = xk+1 + ⋯ + xk+l. We obtain the asymptotics for the logarithm of the number of sets (k, l)-free of solutions in an interval [1, n] of naturals.
Family of Phase Portraits in the Spatial Dynamics of a Rigid Body Interacting with a Resisting Medium
Abstract
Under study is the problem of spatial free deceleration of a rigid body in a resisting medium. It is assumed that a axisymmetric homogeneous body interacts with the medium only through the front part of its outer surface that has the shape of flat circular disk. Under the simplest assumptions about the impact forces from the medium, it is demonstrated that any oscillations of bounded amplitude are impossible. In this case, any precise analytical description of the force-momentum characteristics of the medium impact on the disk is missing. For this reason, we use the method of “embedding” the problem into a wider class of problems. This allows us to obtain some relatively complete qualitative description of the body motion. For the dynamical systems under consideration, it is possible to obtain particular solutions as well as the families of phase portraits in the three-dimensional space of quasi-velocities which consist of a countable set of the phase portraits that are trajectory-nonequivalent and have different nonlinear qualitative properties.
The Canonical Form of the Rank 2 Invariant Submodels of Evolutionary Type in Ideal Hydrodynamics
Abstract
The equations of ideal hydrodynamics are considered with the state equation in the form of the pressure represented as the sum of density and entropy functions. Some twelve-dimensional Lie algebra corresponds to the admissible group of transformations. Basing on the two-dimensional subalgebras of the Lie algebra, we construct the rank 2 invariant submodels of canonical form and evolutionary type. The form is refined of the rank 2 invariant submodels of canonical form and evolutionary type for the eleven-dimensional Lie algebra admitted by the gas dynamics equations with the state equation of the general type.
Global Solvability of a System of Equations of One-Dimensional Motion of a Viscous Fluid in a Deformable Viscous Porous Medium
Abstract
The mathematical statement is given for the problem of filtration of a viscous fluid in a deformable porous medium that possesses predominantly viscous properties. Some theorems are proved on local solvability and existence of a global-in-time solution in the Hölder classes for the problem.
Selectivity of Electromagnetic Influence on the Oscillations of a Heavy Conductive Liquid in a Channel
Abstract
Under consideration is the MHD problem of oscillations of a heavy conductive liquid inside a channel with vertical walls in presence of an external horizontal electromagnetic field. We show that the standing surface waves are not damped in the case of symmetric position (with respect to the mid-channel) of the segment affected by a magnetic force. In the case of nonsymmetric position of the active segment, the magnetic force acts selectively on different standing waves. The selectivity condition for each standing wave depends on the width and position of the active segment. We obtain the general conditions for the absence of electromagnetic influence and inspect various special cases.
A Numerical Model of Inflammation Dynamics in the Core of Myocardial Infarction
Abstract
Mathematical simulation is carried out of the dynamics of an acute inflammatory process in the central zone of necrotic myocardial damage. Some mathematical model of the dynamics of the monocyte-macrophages and cytokines is presented and the numerical algorithm is developed for solving an inverse coefficient problem for a stiff nonlinear system of ordinary differential equations (ODEs). The methodological studies showed that the solution obtained by the genetic BGA algorithm agrees well with the solutions obtained by the gradient and ravine methods. Adequacy of the simulation results is confirmed by their qualitative and quantitative agreement with the laboratory data on the dynamics of inflammatory process in the case of infarction in the left ventricle of the heart of a mouse.