Конференция
    Организаторы
    Логистика
    Проживание
    Контакты
    Заявка
    Программа и сборник
    Участники

 
научная конференция
XVIII Международная конференция "ПРОБЛЕМЫ ТЕОРЕТИЧЕСКОЙ КИБЕРНЕТИКИ"

Список принятых к рассмотрению докладов XVIII Международной конференции «Проблемы теоретической кибернетики»

Пленарные доклады XVIII международной конференции «Проблемы теоретической кибернетики»

1) Журавлев Ю.И. Алгебраические методы в задачах распознавания образов
2) Редькин Н.П. Обобщение функции Шеннона для схем из функциональных элементов
3) Вороненко А.А. Задача построения универсальных функций
4) Кочергин В.В., Михайлович А.В. Немонотонная сложность как обобщение инверсионной сложности
5) Чашкин А.В. Средняя сложность булевых функций: задачи и результаты
6) Колпаков Р.М. О решении задачи о сумме подмножеств методом ветвей и границ
7) Романов Д.С. Оценки функций Шеннона длин тестов для логических схем
8) Шевченко В.Н., Савельев В.П. Задача о рюкзаке и ее приложения
9) Васильев А.В., Зиятдинов М.Т., Аблаев М.Ф., Аблаев Ф.М. Квантовый метод отпечатков и квантовое хеширование: вычислительные и криптографические аспекты
10) Пантелеев В.И. Мультифункции и мультиклоны
11) Бабич М.Ю. Условия отсутствия адекватных решений некоторых задач интеллектуальной поддержки управления в процессе функционирования многоагентных систем.
12) Алехина М.А. Надежность схем и неветвящихся программ
13) Чупрунов А.Н. Предельные теоремы для неравновероятных схем размещения
14) Золотых Н.Ю., Чирков А.Ю. Сложность расшифровки пороговой функции k-значной логики
15) Мартышкин А.И. Математическое моделирование и методы аппаратной поддержки алгоритмов управления взаимодействующими процессами в высокопроизводительных вычислительных системах

Секционные доклады XVIII международной конференции «Проблемы теоретической кибернетики»
(Представлены участники с очными докладами)

Секция: Интеллектуальный анализ данных, исследование операций, оптимальное управление, распознавание образов

16) Субботин Сергей Александрович. Метод оценивания свойств выборок на основе массовой размерности в задачах построения диагностических моделей
17) Козин Игорь Викторович, Полюга Светлана Игоревна. Фрагментарные модели в задачах дискретной оптимизации
18) Коган Дмитрий Израилевич, Федосенко Юрий Семенович, Ульянов Константин Станиславович. Управление двухстадийным обслуживанием конечного детерминированного потока объектов
19) Колпаков Роман Максимович. Эффективная стратегия распараллеливания для решения частного случая задачи о сумме подмножеств методом ветвей и границ
20) Коган Дмитрий Израилевич, Федосенко Юрий Семенович, Хандурин Дмитрий Александрович. Задачи о назначениях в приложении к проблемам доформирования грузовых составов
21) Майсурадзе Арчил Ивериевич. Комбинации метрик при описании текстовых фрагментов
22) Фофанов Вячеслав Борисович, Нагматуллин Тимур Рустэмович. Классификация на основе признака формы: проблемы и результаты
23) Герасимов Михаил Александрович. Субъэкспоненциальные функции и приближенные, полиномиальные по времени методы решения задачи о разбиении
24) Моисеев Александр Владимирович, Федотов Николай Гаврилович, Семов Алексей Александрович. Методы анализа и распознавания 3D изображений основанные на методах стохастической геометрии и функционального анализа
25) Моисеев Александр Владимирович, Киндаев Александр Юрьевич. Проблема оптимизации тарифов страхования зерновых культур
26) Дементьев Евгений Александрович. Особенности прогноза поведения механических систем на основе диффренциально-интегрального исчисления
27) Назарова Наталья Викторовна, Зубков Александр Федорович. Определение оптимального состава кафедры, обеспечивающего эффективность её работы
28) Бабич Андрей Михайлович. Программная структура модифицируемой системы искусственного интеллекта автономного робота
29) Федосеев Виктор Михайлович. Дискретно-континуальный алгоритм вычисления логарифмической функции
30) Сморякова Валентина Михайловна, Коротченко Анатолий Григорьевич. Об одношаговых процедурах поиска экстремума в класса функций, определяемых кусочно-линейными мажорантами.
31) Кувыкина Елена Вадимовна. Адаптивное управление конфликтными транспортными потоками при изменении их интенсивности
32) Дымчаков Илья Игоревич, Афраймович Лев Григорьевич. Оптимизационные модели бизнес процессов разработки технологии
33) Резников Михаил Борисович. Каноническая задача диспетчеризации: анализ масштабируемости решающих алгоритмов динамического программирования
34) Федоткин Михаил Андреевич, Кудрявцев Евгений Владимирович. Достаточные условия существования предельного распределения в системе адаптивного управления конфликтными потоками
35) Зорин Андрей Владимирович, Кочеганов Виктор Михайлович. Изучение процесса управления потоками первичных требований в тандеме систем обслуживания с циклическим алгоритмом с продлением
36) Федоткин Михаил Андреевич, Рачинская Мария Анатольевна. Исследование операций по управлению конфликтными потоками неоднородных требований
37) Зорин Андрей Владимирович. Исследование операций обслуживания конфликтных потоков Пуассона по алгоритму с петлей
38) Федосенко Юрий Семенович, Митрошина Анастасия Сергеевна, Пудов Андрей Семенович. Управление обслуживанием потока объектов в системе с двумя накопительно-расходными компонентами
39) Грибанов Дмитрий Владимирович, Веселов Сергей Иванович. Об оракульной сложности минимизации квазивыпуклых функций на целочисленной решетке
40) Пройдакова Екатерина Вадимоввна. Исследование влияния непостоянной интенсивности обслуживания на среднюю задержку требования в системе с фиксированным ритмом
41) Еникеев Арслан Ильясович, Георгиев Виктор Олегович, Бурнашев Рустам Арифович. Исследование и варианты практической реализации интеллектуальных систем
42) Бурнашев Рустам Арифович, Михайлова Ирина Станиславовна. Исследование вопросов разработки интеллектуальной информационной системы
43) Михайлов Валерий Юрьевич. Логические методы верификации программ развития
44) Бурнашев Рустам Арифович. Исследование логического подхода к структуризации данных в интеллектуальных системах
45) Фазылов Валерий Рауфович, Андрианова Анастасия Александровна, Мухтарова Татьяна Маратовна. Расширение функции гильотинного размещения
46) Ялкаев Николай Сергеевич. Алгоритм структуризации данных и их обработка с помощью СУБД
47) Ялкаев Николай Сергеевич, Бурнашев Рустам Арифович. Исследование вопросов структуризации и первичной обработки данных MS Word
48) Заботин Игорь Ярославич, Казаева Ксения Евгеньевна. Об одном методе минимизации с погружением надграфиков вспомогательных функций
49) Заботин Игорь Ярославич, Шульгина Оксана Николаевна, Яруллин Рашид Саматович. Двухэтапный метод отсечений для условной минимизации функций
50) Бурнашев Рустам Арифович. Разработка программного средства осуществляющее анализ документов Microsoft Word
51) Горбатенко Дмитрий Евгеньевич, Кочемазов Степан Евгеньевич, Семёнов Александр Анатольевич. Об автоматных моделях развития атак в компьютерных сетях и вычислительных алгоритмах их исследования
52) Шихиев Шукур Бабаевич. Формальная грамматика русского языка в примерах
53) Болотин Иван Борисович, Анищенкова Надежда Геннадьевна. О решении одной игры 2xN и Mx2 с использованием систем компьютерной математики
54) Жолондиевский Эрнесто Робертович. Связанные кольцевые сети из нейронов Nvc, использование аксонных и дендритных интерфейсов в схемотехнике стимульно реактивных механизмов
55) Трухина Мария Александровна. Синтез стратегий однопроцессорного обслуживания потока пакетов объектов транспортного типа
56) Зейналлы Фарах Маммад, Шарифов Ягуб Амияр. Необходимое условие оптимальности второго порядка для систем интегрально-дифференциального уравнения с нелокальными условиями

Секция: Синтез и сложность, надежность и контроль управляющих систем. Сложность алгоритмов.

57) Чухров Игорь Петрович. О сложности минимизации квазициклических булевых функций
58) Вороненко Андрей Анатольевич, Малахова Елена Сергеевна. Отождествление переменных у бесповторных функций
59) Шевченко Валерий Николаевич, Титова Елена Борисовна. Структура многоиндексных транспортных многогранников
60) Павлова Анастасия Федоровна, Ложкин Сергей Андреевич. Об одной модели сокрытия функциональности формул (схем) и оценках степени их защищённости при асимптотически оптимальной реализации "типичных" функций
61) Попков Кирилл Андреевич. Некоторые вопросы теории контроля и диагностики схем из функциональных элементов
62) Комбаров Юрий Анатольевич. О схемах глубины два для функции голосования
63) Высоцкий Лев Игоревич. О некоторых асимптотически оптимальных двусторонних вложениях деревьев подобных формул в прямоугольные решётки
64) Бухман Антон Владимирович. О сложности проверки инвариантности булевых полиномов, относительно одного класса линейных преобразований переменных
65) Романов Дмитрий Сергеевич. О тестах для схем из функциональных элементов
66) Селезнева Светлана Николаевна. О длине полиномов не всюду определенных функций k-значной логики
67) Гордеев Михаил Михайлович, Селезнева Светлана Николаевна. О сложности систем функций k-значной логики в классе поляризованных полиномиальных форм
68) Любич Илья Геннадьевич, Романов Дмитрий Сергеевич. Новые оценки функции Шеннона длины единичного диагностического теста в некоторых базисах
69) Захаров Владимир Анатольевич. О минимизации схем программ относительно логико-термальной эквивалентности
70) Довгалюк Екатерина Леонидовна, Ложкин Сергей Андреевич, Садовников Олег Александрович. О сложности и глубине реализации булевых функций схемами, вложенными в единичный куб
71) Сперанский Дмитрий Васильевич. Эволюционные методы в задачах технической диагностики
72) Жуков Владимир Владимирович. Асимптотически наилучший метод синтеза булевых рекурсивных схем ограниченной глубины
73) Подымов Владислав Васильевич, Молчанов Андрей Эрикович. О полиномиальной разрешимости проблемы эквивалентности программ в перегородчатых моделях над прогрессивными полугруппами
74) Решетников Артем Владимирович. Об алгоритме перебора n-арных группоидов, у которых каждое отношение является односторонней конгруэнцией
75) Кочергин Алексей Вадимович. О рациональных задержках функций k-значной логики
76) Грабовская Светлана Михайловна. О надежности неветвящихся программ с ненадежным стоп-оператором при однотипных константных неисправностях вычислительных операторов
77) Антоновская Ольга Георгиевна. Метод функций Ляпунова и проблема оптимизации процесса управления в интервально-неопределенных системах
78) Емельянов Алексей Александрович. Техника суперкомпиляции в анализе алгоритмов трансляции
79) Гайнутдинова Аида Фаритовна. Вычислительные возможности конечных автоматов со счетчиком для задач отделимости
80) Хадиев Камиль Равилевич, Иброгимов Ришат Нариманович, Abuzer Yakaryilmaz. О Лас-Вегас модели автомата с квантовыми и классическими состояниями
81) Кочергин Дмитрий Вадимович, Кочергин Вадим Васильевич. Уточнение нижней оценки сложности вычисления степеней
82) Кочергин Вадим Васильевич, Михайлович Анна Витальевна. Поведение функции Шеннона сложности функций из $P_k$ в одном бесконечном базисе
83) Алехина Марина Анатольевна. О надежности двойственных схем в P_k
84) Савельев Никита Олегович. Об алгоритмах семплирования в потоковой модели обработки данных
85) Хадиев Камиль Равилевич, Хадиева Алия Ихсановна. Иерархии для квантовых и классических один раз читающих упорядоченных ветвящихся программ
86) Георгиев Виктор Олегович, Бурнашев Рустам Арифович, Морозова Маргарита Александровна. Структуризация данных определяющих разработку прототипа экспертной системы
87) Георгиев Виктор Олегович, Бурнашев Рустам Арифович. Исследование и практическая реализация вопросов использования языков высокого уровня для разработки прототипа экспертной системы
88) Шалагин Сергей Викторович. Сложность конвейерной реализации дискретных марковских процессов, заданных блочными стохастическими матрицами
89) Казимиров Алексей Сергеевич. Алгоритмы минимизации гиперфункций
90) Георгиев Виктор Олегович, Прокопьев Николай Аркадьевич. Варианты практической реализации учебно-модельных макетов сборочного генератора ПО сложных систем
91) Георгиев Виктор Олегович, Прокопьев Николай Аркадиевич. Исследование и макетная реализация генератора сложных систем
92) Рублев Вадим Сергеевич, Юсуфов Мурад Теймурович. Анализ сложности алгоритмов и автоматизированная система обучения
93) Чурикова Надежда Петровна, Мельников Борис Феликсович. ФМЦ для базисного автомата и связанные алгоритмические проблемы
94) Георгиев Виктор Олегович. Концепции учебно-макетной реализации генератора ПО сложных систем
95) Колесникова Светлана Ивановна. Метод управления с компенсацией неизвестных возмущений в нелинейных многомерных управляемых объектах
96) Данилов Борис Радиславович. Об одной модели глубины схем из функциональных элементов, в которой глубина элемента зависит от его степени ветвления в схеме
97) Барсукова Оксана Юрьевна. Верхние оценки ненадежности схем в базисе Россера-Туркетта (в P_3) при неисправностях типа 1 на выходах элементов
98) Аблаев Марат Фаритович. Эффективная реализация квантовых хеш-функций в квантовых OBDD на основе техники Фурье преобразований
99) Шуплецов Михаил Сергеевич. Оценки функции Шеннона для динамической активности ориентированных контактных схем

Секция: Теория графов, комбинаторика, теория кодирования. Функциональные системы, автоматы, языки

100) Мельников Борис Феликсович, Пивнева Светлана Валентиновна, Сайфуллина Елена Фаридовна. Проведение вычислительного эксперимента с 5-ю алгоритмами генерации для проверки изоморфности графов
101) Яшунский Алексей Дмитриевич. О преобразованиях дискретных случайных величин многочленами
102) Нагорный Александр Степанович. О свойствах некоторых функций, сохраняющих центральные предикаты, в многозначной логике
103) Лобанов Михаил Сергеевич. Построение m-устойчивых булевых функций с высокой нелинейностью
104) Сысоева Любовь Николаевна. Некоторые свойства автоматного замыкания множеств булевых функций
105) Сыркин Геннадий Иосифович. О выпуклых множествах n-мерного евклидова пространства, неразложимых в пересечение
106) Мещанинов Дмитрий Германович. Некоторые замкнутые классы в P_k и их гомоморфизмы в P_d для d|k
107) Бабин Дмитрий Николаевич. О функциональной системе автоматов с операцией суперпозиции
108) Таранников Юрий Валерьевич. О конструкциях m-устойчивых булевых функций, достигающих границы нелинейности
109) Алексеев Валерий Борисович. О замкнутых классах в частичной k-значной логике, содержащих все функции, доопределимые до монотонных
110) Колчин Андрей Валентинович. Асимптотика числа решений простейших уравнений в подстановках
111) Хорошеньких Сергей Николаевич. Модель случайного геометрического графа с присоединением к области покрытия
112) Малышев Дмитрий Сергеевич. Эффективные алгоритмы различения некоторых типов оснащённых графов
113) Мокеев Дмитрий Борисович. О равенстве чисел упаковки и покрытия относительно P4 в расщепляемых графах и их расширениях
114) Маренич Евгений Евгеньевич. Векторные пространства над решётками с единственным базисом
115) Саргсян Ваге Гнелович. Число сумм и разностей в Абелевых группах
116) Сироткин Дмитрий Валерьевич. Новый способ редукции графов в задаче о независимом множестве и его приложения
117) Перязев Николай Алексеевич, Шаранхаев Иван Константинович. Тождества в суперклонах
118) Бондаренко Леонид Николаевич, Шарапова Марина Леонидовна. Обращение экспоненциальных производящих функций многочленов Эйлера целого положительного порядка
119) Останин Александр Михайлович. Лемма об изолировании: специальные семейства и случайность
120) Петриков Александр Олегович, Кожухов Игорь Борисович. Подпрямо неразложимые полигоны над вполне простыми полугруппами
121) Лавренченко Сергей Александрович. Формулы для четырехугольного рода полного графа
122) Смирнова Татьяна Геннадьевна, Жильцова Лариса Павловна. Квазиоптимальные локально-префиксные коды
123) Иорданский Михаил Анатольевич. Клонирование графов
124) Талецкий Дмитрий Сергеевич. Исследование количества максимальных независимых множеств в полных q-арных деревьях
125) Марченко Антон Александрович, Зиятдинов Мансур Тагирович. Об одном подходе к оценке коммуникационной сложности бент-функций
126) Маннапов Ильназ Магсумович. Декомпозиция квантовых гейтов и исправление ошибок
127) Зиятдинов Мансур Тагирович. Об аутентификации сообщений при помощи имитовставок на основе графов
128) Пантелеев Владимир Иннокентьевич. О принадлежности частичных функций ранга 2 максимальным мультиклонам
129) Магомедов Абдулкарим Магомедович. Перечисление разбиений прямоугольника
130) Молчанов Владимир Александрович, Хворостухина Екатерина Владимировна. О задаче абстрактной характеризации универсальных гиперграфических автоматов
131) Тяпаев Ливат Борисович. Эргодические автоматные отображения с задержкой
132) Абросимов Михаил Борисович, Разумовский Петр Владимирович. О генерации неизоморфных k-раскрасок
133) Поплавский Владислав Брониславович. Идемпотентные бинарные отношения и отношения достижимости на графах
134) Банару Михаил Борисович, Бонару Галина Анатольевна. Приложения теории графов в геометрии 6-мерных почти эрмитовых многообразий
135) Ильев Артем Викторович. Исследование систем уравнений над обыкновенными графами
136) Пивнева Светлана Валентиновна, Трифонов Максим Андреевич. Проведение вычислительного эксперимента по автоматическому обнаружению нескольких круговых форм встроенных в сложные шумные изображения
137) Михайлович Анна Витальевна. Об одном континуальном семействе замкнутых классов функций трехзначной логики
138) Буртыка Филипп Борисович. Эффективный алгоритм нахождения корней односторонних матричных полиномов над простым конечным полем
139) Трепачева Алина Викторовна. Построение эффективных логарифмически сжимающих функций над кольцом вычетов по модулю труднофакторизуемого числа


-------------------
Агора