?
Задачи бесконечной регулярной реализуемости
Дискретный анализ и исследование операций. 2025. Т. 32. № 4(166). С. 213–230.
Шиманогов И. Н., Вялый М. Н.
Хорошо изученным классом алгоритмических задач являются задачи регулярной реализуемости: проверка непустоты пересечения регулярного языка с заданным языком. Данная задача имеет естественную алгебраическую интерпретацию: проверка принадлежности элемента булевой алгебры ядру определенного гомоморфизма. Это мотивирует рассмотрение аналогичной задачи бесконечной регулярной реализуемости: проверка бесконечности пересечения регулярного языка с заданным. В работе рассматриваются задачи регулярной реализуемости для разрешимых языков и приводится сравнительный анализ сложности задач бесконечной регулярной реализуемости и задач регулярной реализуемости.
Болбачан В. С., / Series math "arxiv.org". 2024.
Полилогарифмы Чжоу — это специальные функции, возникающие при явном описании отображения регулятора Бейлинсона. Наиболее интересное функциональное уравнение для этой функции отражает тот факт, что она обращается в нуль на границе в комплексе циклов Блоха. Мы показываем, что это функциональное уравнение формально вытекает из более простых свойств: кососимметричности, функториальности и мультипликативности. Для доказательства этого мы рассматриваем ...
Добавлено: 16 июля 2026 г.
Болбачан В. С., / Series math "arxiv.org". 2024.
Пусть K поле характеристики ноль. Мы доказываем что его когомологии в степени m-1 и весе m рационально изоморфны когомологиям полилогарифмического комплекса в соответствующей степени. Это дает частичное расширение теоремы Суслина, описывающую неразложимую K теорию K_3 для поля. ...
Добавлено: 16 июля 2026 г.
Запрягаев А. А., Пахомов Ф. Н., Logic Journal of the IGPL 2026 Vol. 34 No. 4 Article 12
Добавлено: 16 июля 2026 г.
Веретенников А. Ю., Веретенникова М. А., Reliability: Theory & Applications 2022 Vol. 17 No. 3(69) P. 273–291
Добавлено: 16 июля 2026 г.
Веретенников А. Ю., Stochastics and Partial Differential Equations: Analysis and Computations 2022 Vol. 10 P. 1165–1179
Добавлено: 15 июля 2026 г.
Physical Review E - Statistical, Nonlinear, and Soft Matter Physics 2026 Vol. 114 No. 1 P. 014217–014217
Добавлено: 15 июля 2026 г.
Прокофьев В. В., Забродин А. В., Proceedings of the Steklov Institute of Mathematics 2020 Vol. 309 P. 225–239
Добавлено: 14 июля 2026 г.
Прокофьев В. В., Забродин А. В., Journal of Physics A: Mathematical and Theoretical 2021 Vol. 54
Добавлено: 14 июля 2026 г.
Прокофьев В. В., Забродин А. В., Theoretical and Mathematical Physics 2021 Vol. 208 P. 1093–115
Добавлено: 14 июля 2026 г.
Прокофьев В. В., Забродин А. В., Теоретическая и математическая физика 2023 Т. 217 № 2 С. 299–316
Продолжено изучение иерархии B-Тоды (решетки Тоды со связью типа B), которую можно рассматривать как дискретизацию иерархии Кадомцева–Петвиашвили типа B. Вводится тау-функция для иерархии B-Тоды и получены билинейные уравнения для нее. В явном виде даны примеры солитонных тау-функций. ...
Добавлено: 14 июля 2026 г.
Силаков Д. В., Системный администратор 2026 № 5 С. 46–51
В предыдущей статье про Open Source в КНР [1] мы рассказали про Alibaba – крупную корпорацию, занимающую тридцатое место в рейтинге самых значимых мировых брэндов за 2025 год [2]. Место почетное, но не первое среди китайских компаний – на тринадцатом месте расположилась Tencent, разработчик WeChat и ряда других продуктов, широко используемых нашими восточными соседями. Tencent ...
Добавлено: 14 июля 2026 г.
IEEE, 2026.
Добавлено: 13 июля 2026 г.
Switzerland: Springer, 2026.
Добавлено: 12 июля 2026 г.
Рыбаков М. Н., Annals of Pure and Applied Logic 2026 Vol. 177 Article 103811
Добавлено: 11 июля 2026 г.
Панов В. А., Рябченко А. П., / Series arXiv "stat.ME". 2026. No. 2607.05048.
Добавлено: 9 июля 2026 г.
Добавлено: 8 июля 2026 г.
Springer, 2027.
Добавлено: 8 июля 2026 г.
Маликов М. А., Монахова Э. А., Рзаев Э. Р. и др., Ученые записки Казанского университета. Серия: Физико-математические науки 2026 Т. 168 № 2 С. 269–286
В качестве топологий сетей на кристалле рассмотрены серии семейств оптимальных по диаметру двумерных циркулянтных сетей с прямоугольным контуром укладки на плоскости. Прямоугольный контур укладки графа межмодульных соединений даёт возможность компоновки
элементов в сетях на кристалле с минимальным количеством пересечений связей и ограниченной
длиной максимальной из них, не зависящей от размера сети. Для серий семейств циркулянтных сетей с ...
Добавлено: 8 июля 2026 г.
Вялый М. Н., Шиманогов И. Н., Труды Московского физико-технического института 2024 Т. 16 № 4 С. 128–134
В данной работе рассматривается обобщение задачи регулярной реализуемости. Вводится понятие относительно регулярных булевых алгебр — булевых алгебр, состоящих из пересечений регулярных языков с некоторым фиксированным языком. Доказывается теорема о том, что для произвольной атомной булевой алгебры существует изоморфная ей относительно регулярная алгебра. ...
Добавлено: 18 ноября 2025 г.
Гнатенко А. Р., Захаров В. А., Моделирование и анализ информационных систем 2021 Т. 28 № 4 С. 356–371
К последовательным реагирующим системам относятся компьютерные программы и вычислительные устройства, которые обрабатывают потоки входных данных или сигналов управления и генерируют на выходе последовательности команд или результатов вычислений. Для проектирования таких систем полезно иметь формальные языки спецификаций, способные выражать отношения между входными и выходными потоками данных. В предшествующих работах нами было предложено семейство таких языков спецификаций, ...
Добавлено: 17 января 2022 г.
Гнатенко А. Р., Захаров В. А., Моделирование и анализ информационных систем 2020 Т. 27 № 4 С. 428–441
К последовательным реагирующим системам относятся программы и устройства, которые работают с двумя потоками данных и осуществляют преобразование входных потоков данных в выходные потоки. К числу таких систем обработки информации относятся контроллеры, драйверы устройств, компьютерные интерпретаторы. Результатом работы таких вычислительных систем являются бесконечные последовательности пар событий типа запрос-отклик, и поэтому в качестве математических моделей для них ...
Добавлено: 31 января 2021 г.
Гнатенко А. Р., Захаров В. А., Системная информатика 2020 Vol. 17 P. 21–32
Последовательные реагирующие системы, такие как контроллеры, системные драйверы, компьютерные интерпретаторы, работают с двумя потоками данных и преобразуют входные потоки данных (управляющие сигналы, инструкции) в выходные потоки управляющих сигналов (инструкции, данные). Конечные преобразователи широко используются в качестве подходящей формальной модели для подобных систем обработки информации. Поскольку вычисления преобразователей протекают во времени, темпоральная логика, очевидно, может использоваться ...
Добавлено: 9 ноября 2020 г.