О конференции
    Программа
    Сборник трудов
    Организаторы
    Место и сроки
    Проживание
    Участники
    О Казани
    Контакты
КФУ
НИКС

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

16 июня, понедельник
09.00-18:00Ауд. 902Регистрация участников

17 июня, вторник
09.00-10:00 Ауд. 109Регистрация участников
09.50-10:00Ауд. 109Открытие конференции

Пленарные доклады (аудитория 109)
10:00-11:00Евдокимов А.А. Проблема "Змея в ящике": современное состояние, обобщения, приложения
11:00-12:00Алексеев В.Б. О некоторых результатах в алгебраической теории сложности
12:00-13:00Латыпов Р.Х. Исследования по информационной безопасности в Казанском университете
13:00-14:30Обед

Секция "Синтез, надежность, контроль управляющих систем, сложность алгоритмов" (ауд. 109, председатель Ложкин С.А.)
Секция посвящается памяти Нигматуллина Р.Г.

14:30-14:45Алехина Марина Анатольевна, Барсукова Оксана Юрьевна
Синтез надежных схем в Р3
14:45-15:00Васильев Александр Валерьевич.
Квантовые коммуникационные вычисления на основе квантового хеширования
15:00-15:15Габбасов Булат Нилович.
О сравнительных характеристиках моделей квантовых алгоритмов Гровера -- алгоритма точного и алгоритма с ошибками
15:15-15:30Зиятдинов Мансур Тагирович.
Об одной конструкции квантовой хеш-функции. Алгебраический подход
15:30-15:45Лещёв Алексей Николаевич.
Вычислительные возможности односторонних машин Тюринга с сублогарифмическими ограничениями на память
15:45-16:00Селезнева Светлана Николаевна.
О мультипликативной сложности некоторых булевых функций
16:00-16:30Перерыв
16:30-16:45Селезнева Светлана Николаевна, Башов Максим Александрович.
Порядок функции Шеннона длины функций k-значной логики в классе полиномиальных нормальных форм по модулю k
16:45-17:00Морозов Евгений Валерьевич.
О тестах для булевых функциях относительно монотонных симметрических слипаний переменных
17:00-17:15Федичкин Л.Е., Мельников А.А.
Влияние шума на квантовые блуждания по графам
17:15-17:30Хадиев Камиль Равилевич.
Иерархия классов булевых функций, представимых в детерминированных и недетерминированный моделях OBDD ветвящихся программ по параметру ширины
17:30-17:45Гайнутдинова А.Ф.
Вычислительные возможности квантовых и классических OBDD
17:45-18:00Марченко А.А.
Сложность реализации некоторых классов бент-функций в модели упорядоченных один раз читающих ветвящихся программ

Секция "Теория графов, комбинаторика, теория кодирования. Функциональные системы, автоматы, языки" (ауд. 216, председатель Евдокимов А.А.)

14:30-14:45Шевченко Валерий Николаевич
Мебиусовы алгебры, связанные с задачами линейного программирования
14:45-15:00Бондаренко Леонид Николаевич, Шарапова Марина Леонидовна.
Статистики спусков и средних на множествах слов
15:00-15:15Захарова Дарья Владимировна.
Задача редактирования для симметрических линейных пространств графов
15:15-15:30Колпаков Роман Максимович.
О числе максимальных повторов и субпериодичностей в формальных словах
15:30-15:45Колчин Андрей Валентинович.
Применение вероятностного метода к изучению разбиений целого числа на слагаемые
15:45-16:00Лавренченко Сергей Александрович, Щиканов Алексей Юрьевич.
Оценки числа неизоморфных комплексов заданного вида
16:00-16:30Перерыв
16:30-16:45Саргсян Ваге Гнелович.
Асимптотика логарифма числа множеств, свободных от решений линейных уравнений, в абелевой группе
16:45-17:00Магомедов Абдулкарим Магомедович.
(6,3)-бирегулярные графы, не раскрашиваемые интервально 6 цветами
17:00-17:15Дудакова Ольга Сергеевна.
О порождающих системах в классах монотонных функций
17:15-17:30Захаров Владимир Анатольевич.
Об эквивалентности ограниченно недетерминированных автоматов-преобразователей над полугруппами
17:30-17:45Подымов Владислав Васильевич.
Быстрый алгоритм проверки эквивалентности программ с коммутативными и подавляемыми операторами
17:45-18:00Подолько Дмитрий Константинович.
О мощности некоторых семейств классов функций многозначной логики, замкнутых относительно расширенной суперпозиции
18:00-18:15Новикова Татьяна Анатольевна.
О сложности задачи решения линейных уравнений над конечными подстановками
18:15-18:30Костенко Константин Иванович.
Сравнение формализмов знаний


Секция "Интеллектуальный анализ данных, исследование операций, оптимальное управление" (ауд. 218, председатель Майсурадзе А.И.)

14:30-14:45Семенов Владимир Ильич, Шурбин А.К., Желтов П.В.
Применение вейвлет-преобразования для определения средних размеров объектов на изображении
14:45-15:00Андрианова Анастасия Александровна, Коннов Игорь Васильевич.
Метод ветвей и границ для задачи вогнутого программирования
15:00-15:15Гостев Максимилиан Вадимович, Хабибуллин Рустем Фарукович.
Об одной задаче оптимального выбора пропускных способностей каналов транспортных сетей
15:15-15:30Заботин Игорь Ярославич, Яруллин Рашид Саматович.
Метод отсечений с аппроксимацией надграфика и оценка точности решения
15:30-15:45Зорин Андрей Владимирович.
Кибернетическая модель циклического управления конфликтными потоками с последействием.
15:45-16:00Коннов Игорь Васильевич.
Аукционный принцип распределения сетевых ресурсов
16:00-16:30Перерыв
16:30-16:45Кудрявцев Евгений Владимирович, Федоткин Михаил Андреевич.
Кибернетический подход к изучению вероятностной модели адаптивного управления конфликтными потоками
16:45-17:00Фазылов Валерий Рауфович, Андрианова А.А., Мухтарова Т.М.
Модель задачи негильотинного размещения набора прямоугольников на полуполосе.
17:00-17:15Федоткин Михаил Андреевич, Рачинская Мария Анатольевна.
Подход Ляпунова-Яблонского при построении и исследовании модели управляющих систем обслуживания конфликтных потоков
17:15-17:30Кашуба Алексей Юрьевич.
Оценка алгоритмов распределения ресурсов в когнитивных системах связи с зональными аукционами

18 июня, среда
Пленарные доклады (аудитория 109, председатель Алексеев В.Б.)
10:00-11:00Ложкин С.А., Власов Н.В. О сложности реализации функций мультиплексорного типа в некоторых классах схем
11:00-12:00Чашкин А.В. Линейное хеширование
12:00-13:00Аблаев Ф.М. Квантовое хеширование
13:00-14:30Обед

Секция "Синтез, надежность, контроль управляющих систем, сложность алгоритмов" (ауд. 109, председатель Алехина М.А.)
14:30-14:45Лысиков Владимир Владимирович.
О билинейных отображениях малого ранга
14:45-15:00Алексеев Валерий Борисович.
О билинейной сложности умножения матриц размеров 5х2 и 2х2
15:00-15:15Ложкин Сергей Андреевич, Шуплецов Михаил Сергеевич.
О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с оптимальной по порядку динамической активностью
15:15-15:30Чашкин Александр Викторович.
Вычисление булевых функций с распределением Бернулли на области определения
15:30-15:45Шуплецов Михаил Сергеевич, Кулешов О.В.
О динамической активности схем из функциональных элементов, реализующих мультиплексорную функцию
15:45-16:00Бородина Юлия Владиславовна.
Нижняя оценка длины полного проверяющего теста в базисе {|}
16:00-16:30Перерыв
16:30-16:45Попков Кирилл Андреевич.
О проверяющих и диагностических тестах для функциональных элементов
16:45-17:00Коноводов Владимир Александрович.
Некоторые особенности задачи синтеза булевых формул в полных базисах с прямыми и итеративными переменными

Секция "Теория графов, комбинаторика, теория кодирования. Функциональные системы, автоматы, языки" (ауд. 216, председатель Захаров В.А.)

14:30-14:45Евдокимов Александр Андреевич, Федоряева Татьяна Ивановна.
О графическом разнообразии шаров
14:45-15:00Замараева Елена Михайловна.
О мощности и структуре разрешающих множеств k-пороговых функций
15:00-15:15Иорданский Михаил Анатольевич.
Избыточность конструктивных описаний графов
15:15-15:30Мартынов Игорь Михайлович.
О распределении нетерминалов в словах, порождаемых деревьями вывода фиксированной высоты
15:30-15:45Мокеев Дмитрий Борисович.
Кёниговы графы относительно 4-пути
15:45-16:00Малышев Дмитрий Сергеевич.
О сложности задач о раскраске для наследственных классов с запретами небольшого размера
16:00-16:30Перерыв
16:30-16:45Семенов Александр Анатольевич, Кочемазов Степан Евгеньевич, Фисенко Дмитрий Леонидович.
Вычислительное исследование дискретных моделей конформного поведения
16:45-17:00Молчанов Андрей Эрикович.
Сводимость проблемы эквивалентности в специального вида алгебраических моделях программ с процедурами
17:00-17:15Рубцов Александр Александрович.
Исследование задачи регулярной реализуемости для контекстно-свободных языков
17:15-17:30Казимиров Алексей Сергеевич, Пантелеев Владимир Иннокентьевич, Токарева Л.В.
О базисах клона всех гиперфункций ранга 2
17:30-17:45Подловченко Римма Ивановна (предст. Захаров Владимир Анатольевич).
О проблеме эквивалентности и проблеме эквивалентных преобразований в двухпараметрических алгебраических моделях программ
17:45-18:00Эминов Булат Фаридович.
Представление автоматных марковских моделей на основе укрупнения цепей Маркова.
18:00-18:15Мещанинов Дмитрий Германович, Мамонтов Андрей Игоревич.
Алгоритмические задачи, связанные с полнотой в функциональной системе L(Z)


Секция "Интеллектуальный анализ данных, исследование операций, оптимальное управление" (ауд. 218, председатель Федоткин М.А.)

14:30-14:45Майсурадзе Арчил Ивериевич.
Обучение линейной комбинации метрик на конечной выборке
14:45-15:00Melnikov A. (Мельников Алексей Андреевич), Makmal A., Briegel H.-J.
Proective simulation agent in real world task
15:00-15:15Рублев Вадим Сергеевич.
Теорема о статической полноте СУБД DIM
15:15-15:30Фофанов Вячеслав Борисович, Жизневсий А.Н.
Поиск объектов как задача распознавания образов
15:30-15:45Сморякова Валентина Михайловна.
Об одном классе задач, имеющих многоэтапный характер
15:45-16:00Булгакова Александра Сергеевна, Зосимов Вячеслав Валериевич.
Интеллектуальный подход к извлечению знаний из данных с помощью алгоритмов индуктивного моделирования
16:00-16:30Перерыв
16:30-16:45Костенко Константин Иванович.
Вложения формализмов знаний
16:45-17:00Буй Дмитрий Борисович, В.Г. Скобелев.
Модели и методы обеспечения безопасности программных средств (обзор)
17:00-17:15Буй Дмитрий Борисович, Пузикова Анна Валентиновна.
Обзор современной теории нормализации

19 июня, четверг
10:00-18:00Выездное заседание конференции

20 июня, пятница
Пленарные доклады (аудитория 109, председатель Аблаев Ф.М.)
10:00-11:00Колпаков Р.М. О вычислении регулярных фрагментов символьных последовательностей
11:00-12:00Алексеев В.Б. О научных работах Сергея Всеволодовича Яблонского

Секционные доклады (аудитория 109, председатель Аблаев Ф.М.)

12:00-12:15Колесникова Светлана Ивановна.
Метод скользящего управления на многообразиях с компенсацией возмущений
12:15-12:30Мубаракзянов Рустам Гамирович.
Оценка количества состояний последовательности, порожденной вероятностным автоматом
12:30-12:45Сысоева Любовь Николаевна.
О реализации булевых функций обобщенными формулами
12:45-13:00Тарасов Павел Борисович.
О некоторых необходимых условиях равномерности систем функций многозначной логики


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