Acesso aberto Acesso aberto  Acesso é fechado Acesso está concedido  Acesso é fechado Somente assinantes

Volume 40, Nº 3 (2016)

Article

A comparative analysis of adaptive algorithms in the finite element method for solving the boundary value problem for a stationary reaction-diffusion equation

Zolotareva N., Nikolaev E.

Resumo

A new adaptive algorithm is proposed for constructing grids in the hp-version of the finite element method with piecewise polynomial basis functions. This algorithm allows us to find a solution (with local singularities) to the boundary value problem for a one-dimensional reaction-diffusion equation and smooth the grid solution via the adaptive elimination and addition of grid nodes. This algorithm is compared to one proposed earlier that adaptively refines the grid and deletes nodes with the help of an estimate for the local effect of trial addition of new basis functions and the removal of old ones. Results are presented from numerical experiments aimed at assessing the performance of the proposed algorithm on a singularly perturbed model problem with a smooth solution.

Moscow University Computational Mathematics and Cybernetics. 2016;40(3):97-109
pages 97-109 views

Bankruptcy prevention in multiperiod Markowitz optimization problem

Soloviev A., Gao H.

Resumo

A multiperiod version of the Markowitz optimization problem is considered by assuming that the financial market model is discrete with respect to time and the number of scenarios. Basing on the optimal strategy of securities trading, we find the upper bound of the expected final portfolio value which does not lead to bankruptcy.

Moscow University Computational Mathematics and Cybernetics. 2016;40(3):110-113
pages 110-113 views

Almost everywhere convergence of a wavelet thresholding risk estimate in a model with correlated noise

Shestakov O.

Resumo

The problem of estimating a function in a model with correlated noise by thresholding its wavelet decomposition coefficients is considered. The risk estimate using this approach is shown to be strongly consistent.

Moscow University Computational Mathematics and Cybernetics. 2016;40(3):114-117
pages 114-117 views

On queue length in a queueing system with Erlang incoming flow

Ushakov V., Ushakov N.

Resumo

A single-channel queueing system with an Erlang incoming flow and random server unavailability intervals as the system releases is considered. The nonstationary and stationary distributions of queue length are obtained.

Moscow University Computational Mathematics and Cybernetics. 2016;40(3):118-122
pages 118-122 views

Order of the length of Boolean functions in the class of exclusive-OR sums of pseudoproducts

Selezneva S.

Resumo

An exclusive-OR sum of pseudoproducts (ESPP) is a modufo-2 sum of products of affine (linear) Boolean functions. The length of an ESPP is defined as the number of summands in this sum; the length of a Boolean function in the class of ESPPs is the minimum length of an ESPP representing this function. The Shannon length function LESPP(n) on the set of Boolean functions in the class of ESPPs is considered; it is defined as the maximum length of a Boolean function of n variables in the class of ESPPs. It is proved that LESPP(n) = Ɵ (2n/n2). The quantity LESPP(n) also equals the least number l such that any Boolean function of n variables can be represented as a modulo-2 sum of at most l multiaffine functions.

Moscow University Computational Mathematics and Cybernetics. 2016;40(3):123-127
pages 123-127 views

On maximal subgroups of the group of recursive permutations

Kolmakov E., Marchenkov S.

Resumo

The group GR of all permutations belonging to R is considered for any partially recursively closed class of functions R. It is proved that the group GR has a continuum number of maximal subgroups. Examples of constructive maximal subgroups of GR are given.

Moscow University Computational Mathematics and Cybernetics. 2016;40(3):128-132
pages 128-132 views

Specific properties of canonical separated grammars

Soloviev S.

Resumo

A class of canonical separated grammars capable of generating the same languages as general-type separated grammars is considered. The main properties and two criteria of canonical grammars are described. A way of unifying nonterminal symbols and proving the uniqueness of the canonical representation for separated grammars is proposed.

Moscow University Computational Mathematics and Cybernetics. 2016;40(3):133-140
pages 133-140 views

Static binary analysis of mobile applications for the android platform, according to the requirements of information security

Aleksandrov Y., Safin L., Troshina K., Chernov A.

Resumo

An approach is presented for solving the problem of automatically analyzing mobile applications for the Android platform in light of information security requirements when no source code is available.

Moscow University Computational Mathematics and Cybernetics. 2016;40(3):141-146
pages 141-146 views