English
03.2016 - том 20 выпуск 1 (PDF)
Статья посвящена оптимальной стратегии управления кредитно-депозитными ставками с целью максимизации банковского капитала. Для описании работы Банка используется динамическая система с дискретным временем и рядом нормативных ограничений. В модели присутствуют гипотезы экспертов о поведении рынка, что позволяет использовать её в условиях отсутствия достаточной статистики, в т.ч. когда происходят серьезные изменения в экономики страны. Представлены основные этапы построения модели, исследованы поведения банковских ставок в двух периодах: в обычное время и в кризис.
Ключевые слова: банк, банковские ставки, управление, моделирование.
И.А. Рачковская К вопросу об обеспечении прослеживаемости в условиях неиндустриализации
В статье показано воздействие неоиндустриализации или новой промышленной революции на обеспечение прослеживаемости в цепи поставок. Рассмотрены основные тенденции в развитии Индустрии 4.0 и их влияние на участников рынка. Процедура прослеживаемости рассмотрена на примере предприятий пищевой промышленности.
Ключевые слова: неоиндустриализация, Индустрия 4.0, интернет вещей, прослеживаемость, управление цепями поставок.
Задачи энтропийно-линейного программирования часто возникают в различных приложениях (транспортные задачи, исследования химических реакций и др.). Такие задачи формулируются обычно как задачи максимизации энтропии (или минимизации минус энтропии) с аффинными ограничениями и линейными ограниченияминеравенствами. В работе исследуется метод решения такой задачи, в основе которого лежит решение двойственной задачи с восстановлением решения прямой задачи: каждой точке в двойственном пространстве, вычисляемой методом, ставится в соответствие определенная точка в прямом. Для указанного метода получена верхняя оценка числа итераций, необходимого для достижения решения с заданной точностью. Изложенный метод применим также к более широкому классу сильно выпуклых функционалов с аналогичным допустимым множеством.
Ключевые слова: энтропийно-линейное программирование, быстрый градиентный метод, двойственная задача, прямо-двойственный метод.
В работе исследуется глубина аппаратной (схемной) реализации блочного шифра Кузнечик. Также проводится сравнение глубины реализации алгоритма Кузнечик с другими распространенными алгоритмами блочного шифрования.
Ключевые слова: оптимизация глубины схем, блочные шифры.
В статье рассматривается математическая модель и методы верификации функциональных программ. Основное внимание уделено теории функций, вычисляемых функциональными программами (эти функции называются наименьшими неподвижными точками функциональных программ). Также излагаются основные методы верификации функциональных программ: метод вычислительной индукции и метод структурной индукции.
Ключевые слова: верификации функциональных программ, метод вычислительной индукци,метод структурной индукции.
В данной статье рассматривается применение алгоритма двумерной упаковки при вырезании прямоугольных панелей произвольных размеров из стандартных прямоугольных панелей фиксированных размеров (сэндвич-панелей). Требуется определить минимальное количество сэндвичпанелей, необходимое для производства всех требуемых панелей. Будет рассмотрено решение этой задачи при помощи HBF-алгоритма с реализацией на языке программирования PHP.
Ключевые слова: PHP, двумерная упаковка, HBFалгоритм
В работе исследуются относительные влияния переменных булевой функции. Найдены значения нижней и верхней границы максимума относительного влияния для пороговых функций от n переменных в зависимости от n. Они равны \(1/n\) и \(({2^{n-1}})/({2^{n-1}+n-2})\). Приводится разбиение всех пороговых функций четырёхмерного пространства на классы в зависимости от максимального относительного влияния переменных.
Ключевые слова: пороговые функции, влияние переменных булевой функции, относительное влияние переменных булевой функции, τ -регулярные булевы функции.
Рассматривается оценка одного из параметров конечных автоматов — степень различимости состояний. В работе рассматриваются множества конечных автоматов с произвольными функциями выхода и переходов. Состояния конечного автомата называются r эквивалентными, если соответствующие им автоматные функции одинаковы на словах длины r. Состояния называются r–различимыми, если они (r–1)-эквивалентны и соответствующие им автоматные функции различаются на словах длины r. Максимальная степень различимости состояний автомата называется его степенью различимости. При отсутствии ограничений известна достижимая верхняя оценка степени различимости равная s−1, где s — число состояний автомата. В каждом своем состоянии конечный автомат реализует функцию, аргументы которой (значения которой) суть элементы входного (выходного) алфавита. Число различных таких функций будем называть статической функциональностью автомата. Рассматриваются автоматы с заданной статической функциональностью. Получена достижимая верхняя оценка степени различимости, равная s + 1 − F, где F — статическая функциональность автомата. Множество \(\{s_1, s_2, . . . , s_F\}\), где \(s_i\), \(1\leq {i}\leq{F}\), — мощность i-го класса 1-эквивалентности будем называть спектром конечного автомата. Показана зависимость максимальной степени различимости состояний конечного автомата от его спектра.
Ключевые слова: конечный автомат, автоматная функция, различимость состояний.
Рассматривается динамическая задача поиска идентичных объектов (ДЗПИО). В данной работе представлен конечный МДИГ с радиусом видимости один и степени ветвления два, обрабатывающий произвольный поток запросов. Это минимально возможный по степени ветвления МДИГ с радиусом видимости один, решающий поставленную задачу.
Ключевые слова: динамические базы данных, информационный граф, автомат, потоки запросов.
В данной работе доказана нижняя оценка числа вершин (t,s)-бирегулярных графов обхвата 6 при 2 < t < s. Придуман алгоритм построения (t,s)-бирегулярных графов. Доказано, что при определенных значениях t и заданных значениях s алгоритм «(t,s)-построения» строит граф обхвата 6.
Ключевые слова: бирегулярный граф, двудольный граф, обхват, LDPC-код.