?
Asymptotic Bounds of the Shannon Function for a Depth Model of Functional-Element Networks With Capacity Parameters for Element Outputs
Computational Mathematics and Modeling. 2019. Vol. 30. No. 1. P. 129-136.
Danilov B.R., Lozhkin S. A.
The article proposes a synthesis method for amplifying networks of functional elements (ANFE) that establishes the asymptotic behavior of the Shannon function for th ANFE generalized depth, i.e., the depth of the "worst" Boolean function of n given variables, in a special basis (the depth model) where the element depth is determined both by its type and by its fan-out in the network. The asymptotic behavior of the Shannon function is established apart from a term logarithmic in n.
Ложкин С. А., Danilov B. R., Прикладная математика и информатика 2011 № 39 С. 107-129
The article investigates a model of delays in a network of functional elements (a gate network) in an arbitrary finite complete basis B, where basis elements may have different input delays. Asymptotic bounds of the form τ_B n ± O(1), where τ_B is a constant that depends only on the basis B, are obtained for ...
Added: December 2, 2019
Ложкин С. А., Шуплецов М. С., Коноводов В. А. et al., Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС) 2016 Т. 1 С. 40-47
The synthesis of optimal or suboptimal switching circuits is an actual problem of theory of discrete control
systems. Libraries of such circuits could be used in various algorithms of logic synthesis (e.g., see [1]). The structure
analysis of optimal circuits for functions of few variables may be useful in the development of standard cell libraries.
The first catalogs ...
Added: December 2, 2019
Lozhkin S. A., Danilov B.R., Computational Mathematics and Modeling 2012 Vol. 23 No. 4 P. 487-506
The article investigates a model of delays in a network of functional elements (a gate network) in an arbitrary finite complete basis B, where basis elements may have different input delays. Asymptotic bounds of the form τ B n±O(1), where τ B is a constant that depends only on the basis B, are obtained for ...
Added: December 2, 2019
М. : МАКС Пресс, 2017
The collection represents proceedings of the XVIII international conference “Problems of Theoretical Cybernetics” (Penza, 19–23 June, 2017), that is sponsored by Russian Foundation for Basic Research (project N 17-01-20217-г). The conference subject area includes: control systems synthesis, complexity, reliability, and diagnostics; automata; computer languages and programming; graph theory; combinatorics; coding theory; theory of pattern recognition; ...
Added: September 21, 2017
Danilov B. R., Известия высших учебных заведений. Поволжский регион. Физико-математические науки 2015 Т. 4 № 36 С. 58-77
Background
The problem of synthesis of discrete control systems is one of the main problems of mathematical cybernetics. In general form it consists in construction of an optimal (in a varying sense) structural implementation of a given discrete function in a given class of control systems. Theoretical results obtained during the solution of the mentioned problem ...
Added: December 2, 2019
Danilov B.R., Moscow University Computational Mathematics and Cybernetics 2013 Vol. 37 No. 4 P. 180-188
The article investigates a model of delays in a network of functional elements (a gate network) in an arbitrary finite complete basis B, where basis elements delays are arbitrary positive real numbers that are specified for each input and each set of boolean variables supplied on the other inputs. Asymptotic bounds of the form τ ...
Added: December 2, 2019
М. : МАКС Пресс, 2015
The collection represents proceedings of the nineth international conference "Discrete Models in Control Systems Theory" that is held by Lomonosov Moscow State Uneversity and is dedicated in 90th anniversary of Sergey Vsevolodovich Yablonsky's birth. The conference subject are includes: discrete functional systems; discrete functions properties; control systems synthesis, complexity, reliability, and diagnostics; automata; graph theory; ...
Added: March 28, 2015
Danilov B. R., Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика 2013 Т. 4 С. 25-33
В~работе изучается модель задержки схем из функциональных элементов в произвольном конечном полном базисе~$\lBase$, в которой задержки базисных элементов задаются произвольными положительными действительными числами для каждого входа и каждого входного набора переменных, поступающих на остальные входы. В~рассматриваемой модели для задержки мультиплексорной функции порядка~$n$ получены асимптотические оценки вида~$\tau_{\lBase} n \pm O(\log n)$, где~$\tau_{\lBase}$ "--- константа, зависящая только ...
Added: December 2, 2019
М. : Изд-во механико-математического факультета МГУ, 2016
Сборник содержит материалы XII Международного семинара «Дискретная математика и ее приложения» имени академика О.Б. Лупанова, проходившего на механико-математическом факультете МГУ имени М. В. Ломоносова с 20 по 25 июня 2016 г. при поддержке Российского фонда фундаментальных исследований (проект 16–01–20345). Для студентов, аспирантов и научных работников в области дискретной математики и математической кибернетики. ...
Added: August 29, 2016
Danilov B. R., Известия высших учебных заведений. Поволжский регион. Физико-математические науки 2014 Т. 3 № 31 С. 78-100
Background
The problem of synthesis of discrete control systems is one of the main problems of mathematical cybernetics. In general form it consists in construction of an optimal (in a varying sense) structural implementation of a given discrete function in a given class of control systems. Theoretical results obtained during the solution of the mentioned problem ...
Added: December 2, 2019
М. : МАКС Пресс, 2017
The collection represents proceedings of the XVIII international conference “Problems of Theoretical Cybernetics” (Penza, 19–23 June, 2017), that is sponsored by Russian Foundation for Basic Research (project N 17-01-20217-г). The conference subject area includes: control systems synthesis, complexity, reliability, and diagnostics; automata; computer languages and programming; graph theory; combinatorics; coding theory; theory of pattern recognition; ...
Added: August 25, 2017
Sysoeva L., Вестник Московского университета. Серия 1: Математика. Механика 2019 № 6 С. 51-55
Рассматривается задача о реализации булевых функций инициальными булевыми автоматами с константными состояниями и n входами, т.е. автоматами, такими, что в любом из состояний функция выхода совпадает с одной из булевых констант 0 или 1, зависящих от n переменных, n > 0.
Построен пример инициального булева автомата с минимальным количеством константных состояний и n входами, реализующего максимальное возможное число булевых функций от n фиксированных переменных, при ...
Added: October 14, 2018
Fomin D., Математические вопросы криптографии 2019 Vol. 10 No. 2 P. 169-180
This work introduces new classes of 8-bit permutation based on a butterfly structure. These classes set up a new way for generating 2n-bit permutation from n-bit ones. We introduce some classes that contain permutations with good cryptographic properties and could be efficiently implemented for hardware and software applications. ...
Added: May 4, 2019
Fomin D., Обозрение прикладной и промышленной математики 2018 Т. 25 № 4 С. 379-381
Одним из негласных правил создания низкоресурсного блочного шифра стало использование подстановок маленькой размерности. Это обусловлено тем, что такие подстановки хорошо исследованы, требуют небольшого количества ресурсов при аппаратной реализации, и известны эффективные механизмы маскирования, позволяющие защититься от атак по побочным каналам утечки. В то же время, криптографические свойства таких подстановок уступают криптографическим характеристикам подстановок большей размерности.Одним из компромиссов является построение подстановок больших размерностей ...
Added: May 4, 2019
Ivchenko G., Миронова В. А., Дискретная математика 2013 Т. 25 № 1 С. 90-110
We analyse properties of the Walsh spectrum of Boolean functions of n variables which are chosen at random from some subsets of the set of all these functions. We derive the characteristic functions of the spectrum and find exact and asymptotic, as n → ∞, distributions of its various characteristics. ...
Added: August 20, 2013
Ivchenko G., Медведев Ю. И., Математические вопросы криптографии 2012 Т. 3 № 3 С. 21-34
Предлагается общая вероятностная модель для булевых функций от n переменных, задаваемая произвольной вероятностной мерой на множестве всех таких функций. Выводится характеристическая функция спектра Уолша случайной функции и находятся точные и асимптотические (при n→∞) распределения некоторых его характеристик для случая
параметрической меры. ...
Added: November 19, 2012
Kochergin V., Mikhailovich A., Прикладная дискретная математика 2015 № 4 С. 24-31
Complexity of realization of Boolean functions and Boolean function systems over a basis which consist of all monotone functions and finite number of non-monotone funcitons is investigated. The weight of any monotone function from the basis equal 0. The weight of non-monotone function is positive. A. A. Markov studied special case of such basis. The ...
Added: December 8, 2015
Hansen K. A., Podolskii V. V., Lecture Notes in Computer Science 2013 Vol. 8087 P. 516-527
We initiate a comprehensive study of the complexity of computing Boolean functions by polynomial threshold functions (PTFs) on general Boolean domains. A typical example of a general Boolean domain is {1,2}^n . We are mainly interested in the length (the number of monomials) of PTFs, with their degree and weight being of secondary interest.
First we motivate ...
Added: October 20, 2014
A.V. Mikhailovich, V. V. Kochergin, / Cornell University. Series math "arxiv.org". 2015.
The minimum number on NOT gates in a Boolean circuits computing a Boolean function f is called inversion complexity of f. In 1957, A.A. Markov determined inversion complexity of every Boolean function. In the paper we consider circuits over arbitrary basis that consist of all monotone functions (with zero weight) and finite nonempty set of nonmonotone functions (with ...
Added: June 15, 2015
V.V. Kochergin, A.V. Mikhailovich, Mathematical notes 2019 Vol. 105 No. 1 P. 28-35
We study the complexity of the realization of Boolean functions by circuits in infinite complete bases containing all monotone functions with zero weight (cost of use) and finitely many nonmonotone functions with unit weight. The complexity of the realization of Boolean functions in the case where the only nonmonotone element of the basis is negation ...
Added: April 22, 2019
Gottlob G., Kikot S., Kontchakov R. et al., Artificial Intelligence 2014 Vol. 213 P. 42-59
We give a solution to the succinctness problem for the size of first-order rewritings of conjunctive queries in ontology-based data access with ontology languages such as OWL 2 QL , linear Datalog± and sticky Datalog±. We show that positive existential and nonrecursive datalog rewritings, which do not use extra non-logical symbols (except for intensional predicates in the ...
Added: March 24, 2015
Kotelnikova M. V., Aistov A., Вестник Нижегородского университета им. Н.И. Лобачевского. Серия: Социальные науки 2019 Т. 55 № 3 С. 183-189
The article describes a method that allows to improve the content of disciplines of the mathematical cycle by dividing them into invariant (general) and variable parts. The invariants were identified for such disciplines as «Linear algebra», «Mathematical analysis», «Probability theory and mathematical statistics» delivered to Bachelors program students of economics at several universities. Based on ...
Added: January 28, 2020
Borzykh D., ЛЕНАНД, 2021
Книга представляет собой экспресс-курс по теории вероятностей в контексте начального курса эконометрики. В курсе в максимально доступной форме изложен тот минимум, который необходим для осознанного изучения начального курса эконометрики. Данная книга может не только помочь ликвидировать пробелы в знаниях по теории вероятностей, но и позволить в первом приближении выучить предмет «с нуля». При этом, благодаря доступности изложения и небольшому объему книги, ...
Added: February 20, 2021
В. Л. Попов, Математические заметки 2017 Т. 102 № 1 С. 72-80
Мы доказываем, что аффинно-треугольные подгруппы являются борелевскими подгруппами групп Кремоны. ...
Added: May 3, 2017