?
О числовых характеристиках формальных языков
Вестник Московского государственного технического университета им. Н.Э. Баумана. Серия Естественные науки. 2017. № 4. С. 4–15.
Исмагилов Р. С., Мастихина А. А., Филиппова Л. Е.
Рассмотрена задача подсчета числа слов регуляного языка заданного состава. Задан алфавит символов. Состав слова определен как вектор. Введены функции числа слов заданного состава. Определены простые оценки указанных функций для языков, полученных из языков с помощью обычных операций (объединение, конкатенация, итерация). Изучены ряды для языков, порожденных автоматами.
Вялый М. Н., Шиманогов И. Н., Труды Московского физико-технического института 2024 Т. 16 № 4 С. 128–134
В данной работе рассматривается обобщение задачи регулярной реализуемости. Вводится понятие относительно регулярных булевых алгебр — булевых алгебр, состоящих из пересечений регулярных языков с некоторым фиксированным языком. Доказывается теорема о том, что для произвольной атомной булевой алгебры существует изоморфная ей относительно регулярная алгебра. ...
Добавлено: 18 ноября 2025 г.
Артамкин И. В., / Series arXiv "math". 2023.
A collection of vectors in a real vector space is called a unimodular system if any of its maximal linearly independent subsets generates the same free abelian group. This notion is closely connected with totally unimodular matrices: rows or columns of a totally unimodular matrix form a unimodular system and the matrix of coefficients of ...
Добавлено: 1 ноября 2025 г.
Поляков Н. Л., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 Т. 522 № 1 С. 40–49
В работе описан новый метод построения графов без треугольников и с произвольно большим
хроматическим числом. Для обоснования метода применяются свойства различных типов ультрарасширений функций и предикатов. ...
Добавлено: 3 июня 2025 г.
Важным параметром транспортно-логистической задачи является структурная устойчивость системы к внешним воздействиям. В современной литературе понятие структурной устойчивости определяется по своему для каждой индивидуальной задачи, в результате чего появляются сложности применения разработанных методов в новых задачах. Транспортно-логистическая система описана с помощью инструментария теории графов. Воздействие на систему представлено элементарными событиями над графом, в том числе их ...
Добавлено: 7 марта 2025 г.
Статья посвящена проектированию транспортно-логистических систем с заданными характеристиками устойчивости к структурным разрушениям. Показатели устойчивости отражают влияние отказа одного или нескольких узлов (каналов связи) на работоспособность уже функционирующей системы. А также в процессе проектирования системы показатели устойчивости представляют возможности для оптимизации ее структуры с точки зрения заданных представлений о надежности. Авторами уделено внимание моделированию транспортно-логистической системы на ...
Добавлено: 7 марта 2025 г.
Постановка проблемы. Понятие структурной устойчивости определяется применительно для каждой индивидуальной задачи, в результате чего появляются сложности применения разработанных методов в новых задачах. Структурное воздействие на транспортно-логистическую систему представлено элементарными событиями над графом, в том числе их суперпозицией. В работе используется понятие структурного разрушения графа, что подразумевает разбиение графа на несвязные компоненты.
Цель. Рассмотреть фундаментальный подход к ...
Добавлено: 7 марта 2025 г.
Верёвкин Я. А., Рахматуллаев Т. А., Математические заметки 2024 Т. 116 № 1 С. 10–33
Исследован нижний центральный ряд прямоугольной группы Кокстера RCKRCK и соответствующая присоединенная градуированная алгебра Ли L(RCK)L(RCK). Описан базис четвертой градуированной компоненты L(RCK)L(RCK) для любого KK. ...
Добавлено: 15 января 2025 г.
Мутина Е. И., Каперко А. Ф., Погодаев А. К., Системы управления и информационные технологии (Российская Федерация) 2023 № 4(94) С. 13–18
Модели сетевых графов используются для совершенно разных целей. Например, для тестирования заранее определенной характеристики на «значимость» в сетевом графе, изучении механизмов, которые генерируют наблюдаемые в реальных сетях свойства. Статья исследует эти проблемы. ...
Добавлено: 11 января 2024 г.
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и ...
Добавлено: 12 ноября 2023 г.
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы.
Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные ...
Добавлено: 12 ноября 2023 г.
A. E. Rassadin, Журнал Средневолжского математического общества 2023 Vol. 25 No. 1 P. 542–533
Добавлено: 4 апреля 2023 г.
Гнатенко А. Р., Захаров В. А., Моделирование и анализ информационных систем 2021 Т. 28 № 4 С. 356–371
К последовательным реагирующим системам относятся компьютерные программы и вычислительные устройства, которые обрабатывают потоки входных данных или сигналов управления и генерируют на выходе последовательности команд или результатов вычислений. Для проектирования таких систем полезно иметь формальные языки спецификаций, способные выражать отношения между входными и выходными потоками данных. В предшествующих работах нами было предложено семейство таких языков спецификаций, ...
Добавлено: 17 января 2022 г.
Буров А. А., Никонова Е. А., Доклады Российской академии наук. Физика, технические науки 2021 Т. 498 С. 53–56
В работе вводятся функции, позволяющие вычислять компоненты тензора Эйлера–Пуансо с помощью дифференцирования. Роль этих функций аналогична роли производящих функций в математической статистике, позволяющих вычислять статистические моменты любого порядка. Обсуждаются свойства этих функций. ...
Добавлено: 23 октября 2021 г.
Cherkasov A., Пионтковский Д. И., , in: ISSAC '21: Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation.: Association for Computing Machinery (ACM), 2021. P. 91–98.
Добавлено: 27 сентября 2021 г.
Гнатенко А. Р., Захаров В. А., Моделирование и анализ информационных систем 2020 Т. 27 № 4 С. 428–441
К последовательным реагирующим системам относятся программы и устройства, которые работают с двумя потоками данных и осуществляют преобразование входных потоков данных в выходные потоки. К числу таких систем обработки информации относятся контроллеры, драйверы устройств, компьютерные интерпретаторы. Результатом работы таких вычислительных систем являются бесконечные последовательности пар событий типа запрос-отклик, и поэтому в качестве математических моделей для них ...
Добавлено: 31 января 2021 г.
Мы часто принимаем решения не единолично, а в коллективе, с учетом мнений и предпочтений всех членов коллектива: в задачах голосования, распределения работников по работам или студентов по курсам, в задачах дележа наследства или общего имущества, в распределении мест в парламенте после выборов и оценке влияния участников в выборном органе, в задачах оценки эффективности работы в ...
Добавлено: 29 ноября 2020 г.
Решены две задачи об оптимальной остановке геометрического случайного блуждания со степенной функцией выигрыша (с конечным и бесконечным горизонтом). Для этих задач установлены явный вид урезанной цены и правила оптимальной остановки; доказано, что оптимальные правила остановки являются пороговыми нерандомизированными и описывают соответствующую свободную границу, явный вид которой представлен. ...
Добавлено: 27 ноября 2020 г.
Гнатенко А. Р., Захаров В. А., Системная информатика 2020 Vol. 17 P. 21–32
Последовательные реагирующие системы, такие как контроллеры, системные драйверы, компьютерные интерпретаторы, работают с двумя потоками данных и преобразуют входные потоки данных (управляющие сигналы, инструкции) в выходные потоки управляющих сигналов (инструкции, данные). Конечные преобразователи широко используются в качестве подходящей формальной модели для подобных систем обработки информации. Поскольку вычисления преобразователей протекают во времени, темпоральная логика, очевидно, может использоваться ...
Добавлено: 9 ноября 2020 г.
Талецкий Д. С., Журнал Средневолжского математического общества 2017 Т. 19 № 2 С. 105–116
В настоящей работе рассматриваются количественные характеристики максимальных независимых множеств в графах-решетках. В ней используются методы комбинаторного анализа, перечислительной комбинаторики, математического анализа и линейной алгебры. Получен явный вид производящих функций количества максимальных независимых множеств в цилиндрических и тороидальных решетках ширины 4,5,64,5,6. Доказано, что пределы корней mnmn-ой степени из количества (максимальных) независимых множеств в прямоугольных, цилиндрических и тороидальных m×nm×n-решетках существуют ...
Добавлено: 29 октября 2019 г.
Самоненко И. Ю., Интеллектуальные системы. Теория и приложения 2018 Т. 22 № 2 С. 113–121
Назовем гиперавтоматом конечный автомат, состояниями которого являются множества состояний некоторого конечного автомата. Гиперавтомат называется групповым, если полугруппа автомата, на базе которого он построен, является группой. В работе изучается вопрос о максимальном количестве регулярных языков, представимых в групповых гиперавтоматах. ...
Добавлено: 28 сентября 2018 г.
Миронкин В. О., Обозрение прикладной и промышленной математики 2018 Т. 25 № 1 С. 3–8
Исследованы граф внутренних состояний Sponge-конструкции и взаимосвязь между внутренними состояниями и элементами выходной последовательности. Предложены методы построения коллизий, использующие особенности цикловой структуры подстановки Sponge-конструкции. Описан общий вид соответствующих коллизий. ...
Добавлено: 27 апреля 2018 г.