Математика список научных статей
-
Комбинированные оценки линейного функционала с априорной догадкой о параметрическом классе распределений
Рассматривается задача оценивания линейного функционала от неизвестного распределения, который выражает некоторую числовую характеристику наблюдаемой случайной величины. Предполагается, что исследователь на основании своего опыта и знаний может высказать предположение о допустимости конкретного...
2024 / Юрий Глебович Дмитриев, Геннадий Михайлович КошкинScopusВАКESCI -
Оценка длительности мертвого времени в рекуррентном обобщенном полусинхронном потоке событий с продлевающимся мертвым временем в особом случае
Исследуется дважды стохастический обобщенный полусинхронный поток событий с двумя состояниями, функционирующий в условиях продлевающегося мертвого времени фиксированной длительности. Рассматривается особый случай задания параметров потока. Разработан алгоритм оценивания длительности мертвого...
2024 / Людмила Алексеевна Нежельская, Илья Денисович СтепаненкоScopusВАКESCI -
Фильтрация в дискретных системах со случайными и интервальными параметрами
Рассматривается задача фильтрации для дискретного объекта со случайными и интервальными параметрами. Случайные параметры в модели задаются как гауссовские случайные последовательности. Для представления интервальных параметров используется вероятностный подход, в основе которого лежит замена...
2024 / Валерий Иванович Смагин, Константин Станиславович Ким, Владимир Алексеевич ЗыковScopusВАКESCI -
Оптимальный выбор начальных условий задачи Коши и его применение для расчета начального состава реакционной смеси
Статья посвящена разработке численного алгоритма оптимального выбора начальных условий задачи Коши и его применению к задаче оптимального выбора начальных концентраций веществ химической реакции. В общем виде сформулирована задача определения оптимального состава реакционной смеси на основе...
2024 / Евгения Викторовна Антипина, Светлана Анатольевна Мустафина, Андрей Федорович АнтипинScopusВАКESCI -
Булева разность и обнаружение неисправностей задержек пути
Исследуется метод получения тестовых пар соседних булевых векторов, порождаемых булевой разностью исследуемого пути. Использование таких пар позволяет снизить потребляемую мощность при тестировании и дает большие возможности однозначно определить неисправный путь в схеме по сравнению с...
2024 / Анжела Юрьевна Матросова, Вячеслав Зиновьевич Тычинский, Валентина Валерьевна АндрееваScopusВАКESCI -
Синтез обнаруживающих тестов для нечетких автоматов с конечной памятью
Предложен и проиллюстрирован метод синтеза тестов, обнаруживающих неисправности в нечетких автоматах с конечной памятью (АКП). В качестве АКП рассмотрены ц-определенные и синхронизируемые автоматы. Поскольку любой линейный автомат (ЛА) имеет конечную память, то рассматриваемая задача может быть...
2024 / Дмитрий Васильевич СперанскийScopusВАКESCI -
Multi-Groups
In the present paper we define homogeneous algebraic systems. Particular cases of these systems are semigroup (monoid, group) systems. These algebraic systems were studied by J. Loday, A. Zhuchok, T. Pirashvili, and N. Koreshkov. Quandle systems were introduced and studied by V. Bardakov, D....
2024 / Tatyana A. KozlovskayaScopusВАКRSCIESCI -
ПРИНЦИПЫ ПОСТРОЕНИЯ КЛАСТЕРНОЙ СЕМАНТИКИ ДЛЯ ОСНОВНЫХ НОРМАЛЬНЫХ МОДАЛЬНЫХ СИСТЕМ
Рассматривается единая стратегия построения естественной семантики для основных нормальных модальных логик. Смысл модальных операторов выражается при помощи кластеров конечных множеств описаний состояний и их систем, выполняющих роль модельных структур семантик возможных миров. Исчерпывающий...
2023 / Николай Львович АрхиереевВАКRSCIESCI -
ПОЗНАВАЕМОСТЬ В ГИБРИДНОЙ ЭПИСТЕМИЧЕСКОЙ ЛОГИКЕ
Формализация понятия познаваемости в эпистемической логике остается открытой проблемой. Проиетти предложил формализацию этого понятия в гибридной бимодальной логике первого порядка. Цель данной статьи имеет критический характер: я показываю, что понятие познаваемости, предложенное Проиетти,...
2023 / Евгений Васильевич БорисовВАКRSCIESCI -
ЛОГИКА ЭФФЕКТОВ ФРЕЙМИНГА Ф. БЕРТО И А. ОЗГЮН - НОВЫЙ ФОРМАЛИЗМ ДЛЯ РЕШЕНИЯ ПРОБЛЕМ СЕМАНТИКИ ПРОПОЗИЦИОНАЛЬНЫХ УСТАНОВОК
Логика эффектов фрейминга Ф. Берто и А. Озгюн это доксастическая логика, разработанная ее авторами как способ формального описания так называемых эффектов фрейминга, которые не описываются корректно в рамках стандартного языка семантики возможных миров, что составляет один из аспектов проблемы...
2024 / Анна Юрьевна МоисееваВАКRSCIESCI -
О РАСПРЕДЕЛЕНИИ ДЛИН ЦИКЛОВ В ГРАФЕ k-КРАТНОЙ ИТЕРАЦИИ РАВНОВЕРОЯТНОЙ СЛУЧАЙНОЙ ПОДСТАНОВКИ
Изучается влияние процесса итерирования на структуру графа Gn исходной равновероятной случайной подстановки π: S → S. Выписаны точные формулы для распределения βπ (x) цикл Kπ (x), содержащего произвольную фиксированную вершину x ∈ S. Получено выражение для математического ожидания случайной...
2023 / Миронкин Владимир ОлеговичScopusВАКRSCIESCI -
ON BLINDNESS OF SEVERAL ELGAMAL-TYPE BLIND SIGNATURES
Blind signature schemes are the essential element of many e-cash and e-voting systems. Anonymity in such systems is ensured through the blindness property of the signature schemes. We discuss the blindness property and analyze several ElGamal-type blind signature schemes regarding this property. We ...
2023 / Бабуева Александра Алексеевна, Ахметзянова Лилия Руслановна, Алексеев Евгений Константинович, Тараскин Олег ГеннадьевичScopusВАКRSCIESCI -
Оценка наибольшего собственного числа глобальной матрицы жесткости регулярной сетки
Обсуждается обусловленность глобальных матриц жесткости регулярных сеток конечных элементов. Предложена оценка сверху наибольшего собственного числа такой матрицы. Оценка строится по локальной матрице жесткости произвольного конечного элемента, следовательно, зависит только от размера и формы...
2024 / Винник П. М., Винник Т. В. -
ON THE NUMBER OF l-SUITABLE BOOLEAN FUNCTIONS IN CONSTRUCTIONS OF FILTER AND COMBINING MODELS OF STREAM CIPHERS
It is well known that every stream cipher is based on a good pseudorandom generator. For cryptographic purposes, we are interested in generating pseudorandom sequences with the maximum possible period. A feedback register is one of the most known cryptographic primitives that is used to construct...
2023 / T.A. Bonieh, M.A. Panferov, N.N. TokarevaScopusВАКRSCIESCI -
MATHEMATICAL PROBLEMS AND SOLUTIONS OF THE NINTH INTERNATIONAL OLYMPIAD IN CRYPTOGRAPHY NSUCRYPTO
Every year the International Olympiad in Cryptography Non-Stop University CRYPTO (NSUCRYPTO) offers mathematical problems for university and school students and, moreover, for professionals in the area of cryptography and computer science. The main goal of NSUCRYPTO is to draw attention of students ...
2023 / V.A. Idrisova, N.N. Tokareva, A. A. Gorodilova, I.I. Beterov, T. A. Bonich, E.A. Ishchukova, N. A. Kolomeec, A. V Kutsenko, E. S. Malygina, I. A. Pankratova, M. A. Pudovkina, A. N. UdovenkoScopusВАКRSCIESCI -
КОРОТКИЕ ПРОВЕРЯЮЩИЕ ТЕСТЫ ДЛЯ КОНТАКТНЫХ СХЕМ ПРИ ПРОИЗВОЛЬНЫХ СЛАБО СВЯЗНЫХ НЕИСПРАВНОСТЯХ КОНТАКТОВ
Доказано, что для любого натурального k любую булеву функцию можно реализовать двухполюсной контактной схемой, k-неизбыточной и допускающей k-проверяющий тест длины не более 3 относительно произвольных связных неисправностей контактов в группах, где каждая группа состоит из одного замыкающего и...
2023 / Попков Кирилл АндреевичScopusВАКRSCIESCI -
АЛГЕБРОГЕОМЕТРИЧЕСКИЕ КОДЫ И ИХ ДЕКОДИРОВАНИЕ НА ОСНОВЕ ПАР, ИСПРАВЛЯЮЩИХ ОШИБКИ
Рассматриваются теоретические основы алгебраических кривых и их функциональных полей, необходимые для построения алгебро-геометрических (АГ) кодов, а также пар, исправляющих ошибки, с целью их дальнейшего применения для декодирования кодов. Приведены теория, необходимая для обоснования корректности ...
2023 / Малыгина Екатерина Сергеевна, Кунинец Артем Андреевич, Раточка Вячеслав Леонидович, Дупленко Александр Геннадьевич, Нейман Даниил ЯковлевичScopusВАКRSCIESCI -
WEIGHT DISTRIBUTION OF LOW-DENSITY PERIODIC RANDOM ERRORS AND THEIR CORRECTING CODES WITH ERROR DECODING PROBABILITY
We present weight distribution of low-density periodic random errors in the space of all q-ary n-tuples along with the average Hamming weight of the error set. We also provide necessary and sufficient conditions for the existence of linear codes correcting such error pattern. Examples of such codes ...
2023 / Haokip Letminthang, Das Pankaj KumarScopusВАКRSCIESCI -
О ГЕНЕРИЧЕСКОЙ СЛОЖНОСТИ ПРОБЛЕМЫ ИЗВЛЕЧЕНИЯ КВАДРАТНОГО КОРНЯ ПО ПРОСТОМУ МОДУЛЮ
Изучается генерическая сложность проблемы извлечения квадратного корня по простому модулю. Вопрос о вычислительной сложности этой проблемы до сих пор открыт. Однако известны алгоритмы (например, алгоритм Чиполлы), которые являются полиномиальными при условии истинности расширенной гипотезы Римана....
2023 / Рыбалов Александр НиколаевичScopusВАКRSCIESCI -
КОНСТРУКЦИЯ УРАВНОВЕШЕННЫХ ФУНКЦИЙ С ВЫСОКОЙ НЕЛИНЕЙНОСТЬЮ И ДРУГИМИ КРИПТОГРАФИЧЕСКИМИ СВОЙСТВАМИ
Предлагается новая итеративная конструкция, которую можно применить для построения уравновешенных функций с высокой нелинейностью. Показано, как данная конструкция может быть использована для построения уравновешенных функций от чётного числа n ≥ 18 переменных без линейных структур с нелинейностью...
2024 / Шапоренко Александр СергеевичScopusВАКRSCIESCI