?
On syntactic concept lattice models for the Lambek calculus and infinitary action logic
Journal of Logic and Computation. 2026. Vol. 36. No. 1. Article exaf078.
Язык:
английский
Кузютин Д. В., Смирнова Н. В., Veselkov A., Bulletin of the South Ural State University, Series: Mathematical Modelling, Programming and Computer Software 2026 Vol. 19 No. 3 P. 40–49
Рассматриваем динамическую многокритериальную модель управления рыболовством, учитывающую процесс миграции ресурса между зоной свободного вылова и природоохранной зоной, где промысел запрещен. Предложенное обобщение стандартной однокритериальной игровой модели подразумевает, что каждый игрок стремится одновременно максимизировать два критерия: экономическую выгоду и экологический критерий (поддержание размеров популяции в каждой зоне). В статье изучается игра с двумя игроками, имеющими различную ...
Добавлено: 18 сентября 2026 г.
Громов Р. С., Нестеров Р.А., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 4 P. 23–44
В статье исследуются критерии эффективности новейшего алгоритма для решения задачи поиска кратчайших путей на графе из заданной вершины – BM-SSP. Алгоритм был опубликован в 2025 году и, как утверждают его создатели, асимптотически превосходит детерминированный алгоритм Дейкстры. Однако в публикации, посвященной этому алгоритму, был дан только теоретический асимптотический анализ времени выполнения, и не было приведено ни ...
Добавлено: 18 сентября 2026 г.
Ероховец Николай Юрьевич, Математический сборник 2026 Т. 217 № 5 С. 45–89
В торической топологии каждому простому n-мерному многограннику P с m гипергранями сопоставляется n-мерное вещественное момент-угол многообразие RZP с каноническим действием группы Zm2=(Z/2Z)m. В статье рассматриваются (не обязательно свободные) действия подгрупп H⊂Zm2 на RZP. На пространстве орбит N(P,H)=RZP/H действует факторгруппа Zm2/H. Для произвольной размерности n вводится понятие гамильтонова C(n,k)-подкомплекса в границе n-мерного многогранника P. Оно обобщает понятия гамильтонова цикла (k=2), гамильтонова тэта-подграфа ...
Добавлено: 17 сентября 2026 г.
Кузнецов М. Е., Полякова М., Лукьянович В. и др., ФАНУ "Востокгосплан", 2026.
Обзор международных практик развития робототехники и искусственного интеллекта и оценка возможностей их применения в условиях России, в первую очередь для Дальнего Востока и Арктической зоны РФ ...
Добавлено: 16 сентября 2026 г.
Казаков А. О., Корякин В. А., Сафонов К. А. и др., Journal of Differential Equations 2026 Vol. 480 Article 114626
Добавлено: 16 сентября 2026 г.
Добавлено: 16 сентября 2026 г.
Поддьяков А. Н., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.
Добавлено: 15 сентября 2026 г.
Мельман А. С., Евсютин О. О., Computer Science Review 2027 Vol. 63 (A) Article 101066
Добавлено: 15 сентября 2026 г.
Воронова К. Д., Лядова Л. Н., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 4 P. 153–170
Заголовок: Автоматизированное формирование журналов событий на основе неструктурированных Интернет-источников для задач анализа процессов.
Аннотация: В статье представлен подход к автоматизированному структурированию информации о событиях, извлекаемой из неструктурированных текстовых Интернет-источников, для задач углублённого анализа процессов. Во многих практических случаях сведения о событиях, происходящих в рамках различных процессов, представлены не в виде готовых журналов событий, а распределены по новостным публикациям, отчётам ...
Добавлено: 14 сентября 2026 г.
Springer, 2026.
Добавлено: 13 сентября 2026 г.
В статье представлена методика интегральной оценки кибератак на автоматизированные системы управления технологическим процессом с использованием связки «киберполигон Ampire + цифровой двойник». Подход базируется на расчете пяти критериев (тяжесть, возможности нарушителя, уязвимость, сложность, эффективность защиты), формирующих интегральный индекс угрозы. Проверка на трех сценариях подтвердила устойчивость индекса и чувствительность к настройкам защиты. Результаты позволяют количественно ранжировать угрозы и ...
Добавлено: 13 сентября 2026 г.
Лебедев О. Б., Лебедев Б. К., Бесхмельнов М. И., Известия ЮФУ. Технические науки 2024 № 2(242) С. 177–190
В статье рассматриваются алгоритмы формирования траекторий движения беспилотных летательных аппаратов (БПЛА) при проведении поисково-спасательных и ликвидационных операций. Описаны методы и алгоритмы управления движением группы БПЛА в строю, при развертывании в линию, при развертывании в шеренгу, при поворотах, в колонне. Управление осуществляется с помощью альтернативных алгоритмов коллективной адаптации, основанных на идеях коллективного поведения. Рассмотрены принципы функционирования ...
Добавлено: 13 сентября 2026 г.
Лебедев О. Б., Котов Д. В., Известия ЮФУ. Технические науки 2024 № 1(237) С. 155–167
Основным способом решения задач планирования и управления движением является использование интеллектуальных технологий. При этом интеллектуальные технологии применяются для решения задач постановки и корректировки целей управления и программы действий по реализации этих целей, а также для формирования алгоритма управления в условиях неопределенности, обусловленной различными факторами, в исполнительных элементах, подсистеме управления движением, подсистеме планирования и поведения. Данная ...
Добавлено: 13 сентября 2026 г.
Гибридный алгоритм оптимизации на основе объединения моделей роевого интеллекта: роя хромосом и пчел
Разработан гибридный алгоритм решения задачи размещения элементов СБИС, объединяющий процедуры поведения коллектива пчел и роя хромосом. Критерий оптимизации основан на оценках числа цепей, пересекающих заданные линии области трассировки. Описывается модифицированная парадигма роя хромосом, обеспечивающая, в отличие от канонического метода, возможность поиска решений в аффинном пространстве позиций с целочисленными значениями параметров. В качестве веса аффинной связи ...
Добавлено: 13 сентября 2026 г.
Лебедев О. Б., Лебедев Б. К., Бесхмельнов М. И., Вестник Тверского государственного технического университета 2025 № 3(27) С. 103–119
В статье представлен детальный анализ гибридного алгоритма планирования маршрута, предназначенного для навигации в двухмерном пространстве, с учетом частичной неопределенности в информации о местности. Алгоритм функционирует поэтапно и разделяется на два уровня. На первом уровне происходит формирование локальной зоны видимости объекта и определение покрываемого региона на карте. На втором уровне алгоритм отвечает за создание множества возможных ...
Добавлено: 12 сентября 2026 г.
Лебедев О. Б., Лебедев Б. К., Бесхмельнов М. И., Известия ЮФУ. Технические науки 2025 Т. 2(244) С. 68–82
Описывается гибридный алгоритм ситуационного планирования траектории в условиях частичной неопределенности для двухмерного пространства, основанный на интеграции волнового и муравьиного алгоритмов, позволяющий строить в реальном масштабе времени траектории минимальной длины с одновременной оптимизацией ряда других критериев качества построенного пути. Процессы формирования участка траектории и перемещения по нему объекта чередуются на каждом шаге. Формирования траектории осуществляется последовательно ...
Добавлено: 12 сентября 2026 г.
Лебедев О. Б., Beskhielnov M. I., OPTIMIZATION BY THE SWARM OF TRANSFORMING CHROMOSOMES METHOD 2024 Vol. 34 No. 3 P. 652–658
Предложена новая стратегия поиска эффективных решений, основанная на модификации и гибридизации канонических представлений алгоритма роя частиц. Описана парадигма роя трансформирующихся хромосом, позволяющая представлять решения в аффинном пространстве хромосом с целочисленными значениями параметров. Рассмотрены механизмы трансформации хромосом в аффинном пространстве, направленные на увеличение веса аффинных связей. Хромосомы, обновленные в результате трансформации, в свою очередь, служат опорными ...
Добавлено: 12 сентября 2026 г.
Статья посвящена анализу влияния технологий искусственного интеллекта (ИИ) и машинного обучения на развитие, трансформацию киберугроз и создание высокоэффективных систем киберзащиты. Рассматриваются ключевые направления эволюции ИИ, включая ориентированные на данные, модели, приложения и человека подходы, и их роль в формировании как защитных, так и наступательных возможностей. Показано, что злоумышленники активно используют ИИ для автоматизации разведки, персонализации ...
Добавлено: 12 сентября 2026 г.
Игнатов Д. И., , in: 11th International Conference, AIST 2023, Yerevan, Armenia, September 28–30, 2023, Revised Selected Papers. Analysis of Images, Social Networks and Texts. Lecture Notes in Computer Science (LNCS, volume 14486).: Cham: Springer, 2024. P. 349 – 361.
Добавлено: 23 января 2026 г.
Kemgne M. W., Njionou B. B., Игнатов Д. И. и др., International Journal of Approximate Reasoning 2025 Vol. 186 Article 109527
Добавлено: 23 января 2026 г.
Кузнецов С. Л., Сперанский С. О., Annals of Pure and Applied Logic 2022 Vol. 173 No. 2 Article 103057
We introduce infinitary action logic with exponentiation — that is, the multiplicative-additive Lambek calculus extended with Kleene star and with a family of subexponential modalities, which allow some of the structural rules (contraction, weakening, permutation). The logic is presented in the form of an infinitary sequent calculus. We prove cut elimination and, in the case ...
Добавлено: 26 декабря 2025 г.
Кузнецов С. Л., Сперанский С. О., Studia Logica 2023 Vol. 111 No. 2 P. 251–280
Infinitary action logic can be naturally expanded by adding exponential and subexponential modalities from linear logic. In this article we shall develop infinitary action logic with a subexponential that allows multiplexing (instead of contraction). Both non-commutative and commutative versions of this logic will be considered, presented as infinitary sequent calculi. We shall prove cut admissibility ...
Добавлено: 26 декабря 2025 г.