?
Материалы 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
Бельдиев И. С., Тимашёв Д. А., Алгебра и анализ 2026 Т. 38 № 5 С. 1–10
Алгебраическое многообразие X называется однородным пространством, если на X существует транзитивное регулярное действие алгебраической группы. Мы доказываем неравенства, связывающие размерность однородного пространства линейной алгебраической группы и его число Пикара. ...
Добавлено: 30 сентября 2026 г.
Добавлено: 30 сентября 2026 г.
Глуцюк А. А., Ильяшенко Ю. С., Izvestiya. Mathematics 2026 Vol. 90 No. 1 P. 73–89
Добавлено: 30 сентября 2026 г.
Джамбонг Тенке Х., Institute for System Programming of the RAS, 2026.
Добавлено: 29 сентября 2026 г.
Тужилин М. А., Автоматика и телемеханика 2026 № 11 С. 84–97
Предлагается обобщение двух известных инвариантов реальных сетей: степени и кси-центральности. Строится серия центральностей, основанная на матрице Лапласа сети и параметризованная параметром j со следующими свойствами: во-первых, при j = 0, 1 эти центральности совпадают со степенью и ксицентральностью; во-вторых, их распределение хорошо приближается распределением Вейбулла; в-третьих, для реальных сетей они имеют правостороннюю асимметрию, а для ...
Добавлено: 29 сентября 2026 г.
Мельников И. Е., Пелиновский Е. Н., Доклады Российской академии наук. Физика, технические науки (ранее - Доклады Академии Наук. Физика) 2026 Т. 529 С. 29–36
Представлены условия для появления пирамидальных уединенных волн (уединенных волн, с количеством точек перегиба больше двух) в семействе обобщенного уравнения Кортевега – де Фриза (КдФ). Для обобщенного уравнения Гарднера показано, что пирамидальные солитоны неустойчивы. Продемонстрирован численно распад начальных возмущений, близких к пирамидальным уединенным волнам. В зависимости от возмущения пирамидальный солитон либо расщепляется на два солитона (толстый ...
Добавлено: 29 сентября 2026 г.
Меркулов С. А., Journal of Pure and Applied Algebra 2026 Vol. 230 P. 1–19
Добавлено: 29 сентября 2026 г.
Иванашев Я. М., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2026 Т. 529 С. 93–101
Язык L является нижним для релятивизируемого сложностного класса C, если CL=C. Для классов #P, GapP и SpanP известны точные нижние классы языков: Low(#P) = UP ∩ coUP, Low(GapP) = SPP и Low(SpanP) = NP ∩ coNP. В этой статье мы доказываем, что Low(TotP) = P, и приводим характеризации нижних классов функций для #P, GapP, TotP ...
Добавлено: 28 сентября 2026 г.
Хрыстик М. А., European Journal of Combinatorics 2026 Vol. 136 P. 104393–104393
Добавлено: 28 сентября 2026 г.
Piliugin L., Antropov A., Lobashev E. и др., Journal of Nuclear Materials 2026 Vol. 632 Article 156876
Добавлено: 28 сентября 2026 г.
Kashpurovich I., Oleynichenko A., Стегайлов В. В., Supercomputing Frontiers and Innovations 2026 Vol. 13 No. 1 P. 52–73
Добавлено: 28 сентября 2026 г.
Терегулов Т. Р., Лубенец Е. Р., / Series Quantum Physics "arXiv". 2026. No. 2609.31472.
Добавлено: 28 сентября 2026 г.
Силаков Д. В., Системный администратор 2026 С. 84–89
Пользователи социальных сетей редко задумываются о том, что стоит за красивым фасадом с лентами активностей, пестрящими фотографиями и видеоисториями. Однако массовое увлечение подобными платформами порождает огромное количество всевозможного контента, который надо хранить, оперативно обрабатывать и отображать, а в эру ИИ — еще и активно помогать в его создании и адаптации.
Неудивительно, что последние десятилетия разработчики ведущих социальных сетей стабильно являются поставщиками инфраструктурных программных продуктов, многие из которых распространяются ...
Добавлено: 28 сентября 2026 г.
Prokhorov A., Wei Z., Sang H. и др., Journal of Productivity Analysis 2026 Vol. 65 P. 1–16
Добавлено: 28 сентября 2026 г.
Guterman A., Jonoska N., Kreines E. и др., Proceedings of the Edinburgh Mathematical Society 2026 Vol. 69 No. 3 P. 1041–1057
Добавлено: 27 сентября 2026 г.
Qian X., Guan X., Zhang B. и др., Journal of Global Optimization 2026
Добавлено: 27 сентября 2026 г.
Пятов П. Н., Пивоваров П. А., / Series math "arxiv.org". 2026. No. 2609.06274.
Добавлено: 24 сентября 2026 г.
Медведев В. О., / Series arXiv "math". 2026.
We study complete static manifolds with boundary admitting a nowhere-vanishing static potential. Our main result shows that, under a natural lower bound relating the scalar curvature and the boundary mean curvature, a simple static manifold with boundary must in fact have positive scalar curvature, negative boundary mean curvature, and be compact; we also obtain explicit ...
Добавлено: 19 сентября 2026 г.
Поддьяков А. Н., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.
Добавлено: 15 сентября 2026 г.