Cекция "Математическая теория интеллектуальных систем" 8-го международного семинара "Дискретная математика и ее приложения"
Руководитель секции – акад. Кудрявцев В.Б.
День первый, вторник, 3 февраля.
Начало работы секции – 15:30
Аудитория 12-08
Председательствующий – проф. Козлов Вадим Никитович
15:30-16:00
Акад. В.Б.Кудрявцев, к.ф.-м.н. П.А.Алисейчик, доцент АС.Строгалов
Автоматные модели обучения
16:00-16:30
М.н.с. Д.В.Алексеев, доц. Т.А. Ежова, акад. В.Б.Кудрявцев, проф. В.Н.Козлов, к.б.н. А.А. Пенин, акад. К.Г. Скрябин, к.б.н. В.В. Чуб, акад. С.В. Шестаков, доцент О.А. Шульга
Об автоматной модели генного механизма растений
16:30-16:40
Перерыв
16:40-17:10
М.н.с. Галатенко А.В.
Автоматная модель компьютерной системы с ограниченным доступом
17:10-17:30
М.н.с. В. Владиславлев.
О сложности представления конфигураций в клеточных автоматах
17:30-17:40
Перерыв
17:40-18:00
М.н.с. А.Кирнасов.
Установочные эксперименты с автоматами.
18:00-18:20
И.В. Кучеренко.
Об обратимых клеточных автоматах
18:20-18:40
Н.Б. Чаплыгина, г.Ярославль.
Выбор критерия оптимизации в задаче о равномерном назначении
18:40-19:00
В.С. Рублев, г. Ярославль.
Концепция выполнения взаимодействия динамической информационной модели
4 февраля (среда), 15:00
Аудитория 12-08
Председательствующий – проф. Подколзин А.С.
Бабин Д. Н. (Москва)
Неразрешимость проблемы полноты конечных систем автоматов с функциональной добавкой из Pk (k>2) типа Слупецкого
Часовских А. А. (Москва)
Об A-выразимости через системы линейных автоматов, содержащих сумматор
Мазуренко И. Л. (Москва)
Эффективный способ введения метрики на множестве непрерывных монотонных вероятностных автоматов
Холоденко А. Б. (Москва)
О предельных частотных свойствах регулярных языков
Матвеев А. В. (Москва)
Об одной линейной последовательной машине без входов
Марченко М. А. (Москва)
Модель графа перестановок для оптимизации размещения элементов СБИС
Белозерова А. Р. (Димитровград)
Задача дискретной оптимизации схемы нуклидных превращений для расчетов трансмутаций
Малинаускас К. К. (Москва)
Динамический алгоритм построения диаграмм Вороного для решения задач топологического анализа интегральных схем
Спицына Н. В., Евтушенко Н. В. (Томск)
Синтез условных проверяющих тестов для недетерминированных автоматов
Мельников Б. Ф. (Тольятти)
Некоторые эвристические алгоритмы в задачах дискретной оптимизации
Рыжов А. П. (Москва)
Математические проблемы информационного мониторинга
Морозов А. А. (Москва)
Логическое программирование агентов для поиска информации в Интернет
Кожухов И. Б. (Москва)
Полигоны над цепями
5 февраля (четверг), 15.30, ауд. 12-08.
Председательствующий – проф. Бабин Д.Н.
Подколзин А. С. (Москва).
О компьютерном моделировании логических процессов
Козловский В. А., Копытова О. М. (Донецк)
Представления автоматов относительно m-плотных классов
Алексеев Д. В. (Москва)
Приближение функций нескольких переменных нейронными сетями
Пантелеев П. А. (Москва)
Обобщенные эксперименты с автоматами
Грунская В. И. (Димитровград)
О восстановлении лабиринтов по словам
Толмачевская Л. А. (Донецк)
Циклические эксперименты с автоматами и их сложность
Сапунов С. В. (Донецк)
Структура класса неотличимости неориентированных помеченных графов
Грунский И. С., Курганский А. Н. (Донецк)
Свойства языков, порождаемых неориентированными графами с отмеченными вершинами
Захаров В. К., Яшин А. Д.
Динамическая модель самоорганизующегося нома
Золотых Н. Ю. (Н. Новгород)
О мощности минимального разрешающего множества пороговой функции многозначной логики
Ахтеров А. В.
Задача обнаружения как часть задачи информационного блокирования при управлении распределенной мобильной системой
Тихончев М. Ю. (Димитровград)
Контрольный эксперимент для детерминированных графов с уникальной отметкой
Сенченко А. С. (Слявянск)
Алгебраическое представление частичных автоматов без выхода
Глубокая М. Г. (Жуковский)
Интеллектуальная система поддержки принятия решений на этапе разбега магистрального самолета
| 
