Open Access Open Access  Restricted Access Access granted  Restricted Access Subscription Access

Vol 30, No 1 (2019)

I. Discrete Models of Information Systems

Universal Functions of Two Variables for Special Values of k

Voronenko A.V., Shchurova A.A.

Abstract

We consider the notion of universal function such that a subset of the function’s values defines any function from some set. For the set of linear functions, we consider all the combinations of the number of variables and the number of values, except four-valued functions of two variables.

Computational Mathematics and Modeling. 2019;30(1):1-6
pages 1-6 views

Article

Finding Maximal Independent Elements of Products of Partial Orders (The Case of Chains)

Dyukova E.V., Maslyakov G.O., Prokof’ev P.A.

Abstract

We consider one of the central intractable problems of logical data analysis – finding maximal independent elements of partial orders (dualization of a product of partial orders). An important particular case is considered with each order a chain. If each chain is of cardinality 2, the problem involves the construction of a reduced disjunctive normal form of a monotone Boolean function defined by a conjunctive normal form. An asymptotic expression is obtained for a typical number of maximal independent elements of products for a large number of finite chains. The derivation of such asymptotic bounds is a technically complex problem, but it is necessary for the proof of existence of asymptotically optimal algorithms for the monotone dualization problem and the generalization of this problem to chains of higher cardinality. An asymptotically optimal algorithm is described for the problem of dualization of a product of finite chains.

Computational Mathematics and Modeling. 2019;30(1):7-12
pages 7-12 views

Circuit Complexity of k-Valued Logic Functions in One Infinite Basis

Kochergin V.V., Mikhailovich A.V.

Abstract

We investigate the realization complexity of k -valued logic functions k 2 by combinational circuits in an infinite basis that includes the negation of the Lukasiewicz function, i.e., the function k−1−x, and all monotone functions. Complexity is understood as the total number of circuit elements. For an arbitrary function f, we establish lower and upper complexity bounds that differ by at most by 2 and have the form 2 log (d(f) + 1) + o(1), where d(f) is the maximum number of times the function f switches from larger to smaller value (the maximum is taken over all increasing chains of variable tuples). For all sufficiently large n, we find the exact value of the Shannon function for the realization complexity of the most complex function of n variables.

Computational Mathematics and Modeling. 2019;30(1):13-25
pages 13-25 views

High-Accuracy Bounds of the Shannon Function for Formula Complexity in Bases with Direct and Iterative Variables

Konovodov V.A., Lozhkin S.A.

Abstract

We consider the realization of Boolean functions by formulas with restrictions on superpositions of basis functions such that superposition is allowed only by iterative variables. For a number of special symmetrical bases, we establish new high-accuracy bounds of the Shannon function L(n) for the complexity of realization of Boolean functions dependent on n direct variables.

Computational Mathematics and Modeling. 2019;30(1):26-35
pages 26-35 views

Single Fault Diagnostic Tests for Inversion Faults of Circuit Elements Over Some Bases

Lyubich I.G., Romanov D.S.

Abstract

The article shows that, in a number of bases, every Boolean function can be realized by an irredundant combinational circuit that admits a single fault diagnostic test of length not greater than 4 with respect to inversion faults on the element outputs.

Computational Mathematics and Modeling. 2019;30(1):36-47
pages 36-47 views

On Symmetries of Tensor Decompositions for the Commutator of 2 × 2 Matrices

Lysikov V.V., Chokaev B.V.

Abstract

We consider symmetries of tensor decompositions related to an algorithm for computing the commutator of 2 × 2 matrices using 5 multiplications.

Computational Mathematics and Modeling. 2019;30(1):48-54
pages 48-54 views

Analytical Solution of the Quantum Master Equation for the Jaynes–Cummings Model

Viktorova N.B., Ozhigov Y.I., Skovoroda N.A., Skurat K.N.

Abstract

The article considers the dynamics of resonator photon occupancy (the probability of finding a photon in the resonator), atom excitation, and sink photon occupancy when a single photon escapes into the sink from an optical resonator populated by an atom in the ground and excited states. The photon-occupancy dynamics of the cavity is investigated using the Lindblad equation.

Computational Mathematics and Modeling. 2019;30(1):68-79
pages 68-79 views

A Three-Dimensional Deconvolution Algorithm Using Graphic Processors

Romanenko T.E., Razgulin A.V.

Abstract

An iterative algorithm is described for three-dimensional deconvolution in the Fourier plane using parallel computations on CPU and GPU. The algorithm demonstrates easy scalability and can process any number of input images of any size. It is only limited by the local storage volume.

Computational Mathematics and Modeling. 2019;30(1):80-90
pages 80-90 views

Mathematical Modeling of the Dynamics of Plasma Heating in a Magnetic Tube During Solar Flares

Kuretova E.D., Kurkina E.S., Kovalev V.A.

Abstract

A mathematical model describing the initial phase of flare heating in the solar corona is proposed. The model is based on the nonlinear heat equation with a sign-changing volume source, which is obtained by reduction of the stationary- plasma energy equation. Flares are assumed to arise as a result of sausage-type instabilities in magnetic tubes and formation of collapsing magnetic traps. A source function is chosen, and model parameters are fitted. Calculations are performed, and the formation of thermal structures under supercritical perturbations against a homogeneous temperature background is studied. It is shown that, during the flare, structures are created in which the energy release half-width shrinks over time. The decrease of the emission measure observed in the early phase of the flare is associated with the decrease of the flare filling factor due to the decrease of structure half-widths.

Computational Mathematics and Modeling. 2019;30(1):91-97
pages 91-97 views

II. Mathematical Modeling

Numerical Analysis of the Integral Equation Method for the Computation of the Electromagnetic Field in a Nonhomogeneous Medium

Dmitriev V.I., Barashkov I.S.

Abstract

The article considers mathematical modeling of the electromagnetic field in a nonhomogeneous medium by the integral equation method. The case of high-contrast conducting media is studied in detail, with the conducting nonhomogeneity embedded in a poorly conducting medium. The analysis of the integral equation, in this case, has shown that the solution deteriorates when the conducting nonhomogeneity is inside a low-conductivity layer. It is shown that this effect can be overcome by Dmitriev’s method of elevated background conductivity. The contrast effect is most pronounced for the H -polarized two-dimensional electromagnetic field in a nonhomogeneous medium. The numerical experiment has accordingly been conducted for this particular case. The solution computed by the integral equation method with elevated background conductivity is compared with the solution computed by the finite-difference method. The results of the two methods show excellent fit.

Computational Mathematics and Modeling. 2019;30(1):55-67
pages 55-67 views