?
Материалы XVIII международной конференции "Проблемы теоретической кибернетики" (Пенза, 19-23 июня 2017 г.)
М. :
МАКС Пресс, 2017.
Ответственный редактор: Б. Р. Данилов, Д. С. Романов
Под общей редакцией: Ю. И. Журавлёв
Сборник содержит доклады XVIII международной конференции «Проблемы теоретической кибернетики» (Пенза, 19–23 июня 2017 г.), организованной при поддержке Российского фонда фундаментальных исследований (проект № 17-01-20217-г). Тематика конференции включает следующие направления: синтез и сложность управляющих систем, надежность, контроль и диагностика управляющих систем, автоматы, языки и программирование, теория графов, комбинаторика, теория кодирования, теория распознавания образов, математическое программирование и исследование операций, математическая теория интеллектуальных систем, прикладная математическая логика, теория функциональных систем, теория оптимального управления, приложения кибернетики в естествознании и технике.
Главы книги
Михайлович А. В., Кочергин В. В., В кн.: Материалы XVIII международной конференции "Проблемы теоретической кибернетики" (Пенза, 19-23 июня 2017 г.).: М.: МАКС Пресс, 2017. С. 142–144.
Исследуется задача о сложности реализации функций многозначной логики схемами из функциональных элементов в бесконечном базисе, состоящем из отрицания Поста и всех монотонных функций. ...
Добавлено: 21 сентября 2017 г.
Михайлович А. В., В кн.: Материалы XVIII международной конференции "Проблемы теоретической кибернетики" (Пенза, 19-23 июня 2017 г.).: М.: МАКС Пресс, 2017. С. 166–168.
В работе описаны все замкнутые классы функций многозначной логики, содержащиеся в классе из примера А. А. Мучника замкнутого класса со счётным базисом. ...
Добавлено: 21 сентября 2017 г.
Подымов В. В., Молчанов А. Э., В кн.: Материалы XVIII международной конференции "Проблемы теоретической кибернетики" (Пенза, 19-23 июня 2017 г.).: М.: МАКС Пресс, 2017. С. 174–176.
Проблема эквивалентности программ формулируется так: выяснить, имеют ли две программы схожие (эквивалентные) поведения. Известен алгоритм полиномиального сведения проблемы эквивалентности в перегородчатых моделях программ с процедурами к двум проблемам в моделях программ без процедур с той же семантикой программных операторов: эквивалентности и совместного останова. Проблема совместного останова формулируется так: выяснить, существует ли общий контекст работы программ, ...
Добавлено: 22 октября 2017 г.
Язык:
русский
Ключевые слова: распознавание образовкомбинаторикаpattern recognitionтеория графовинтеллектуальные системыcombinatoricsоптимальное управлениетеория кодированияязыки программированияCoding Theoryautomataавтоматыoptimal controlcontrol systems synthesis and complexitycontrol systems reliability and diagnosticsintelligence systemsapplied mathematical logicсинтез и сложность управляющих системконтроль и диагностика управляющих системприкладная математическая логикаfunctional systemsфункциональные системынадёжность управляющих системcomputer languagesgraph theory
Громов Р. С., Нестеров Р.А., 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 г.
Смирнов С. В., Миллионщиков Д. В., Уфимский математический журнал 2021 Т. 13 № 2 С. 44–73
В данной работе изучаются характеристические алгебры для систем экспоненциального типа, соответствующих вырожденным матрицам Картана. Эти системы обобщают хорошо известные в теории интегрируемых систем гиперболические уравнения синус-Гордон и Цицейки. Для таких систем, соответствующих матрицам Картана ранга 2, характеристические алгебры описаны явно в терминах образующих и соотношений, и доказано, что они имеют линейный рост. Исследуется связь между ...
Добавлено: 11 сентября 2026 г.
Смирнов С. В., Glasgow Mathematical Journal 2026 Vol. 68 No. 2 P. 299–316
Добавлено: 11 сентября 2026 г.
Починка О. В., Шмуклер В. И., / Series math.RT "arXiv:1808.06395 [math.RT]". 2026.
Добавлено: 31 августа 2026 г.
Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
Добавлено: 21 августа 2026 г.