Конференция "Современные проблемы математики, механики и их приложений". Секция "Интеллектуальные системы и компьютерные науки"

Полная версия программы конференции "Современные проблемы математики, механики и их приложений": http://www.imscs.msu.ru/prog_rus.html.

30 марта

15.00 - 15.10. Кудрявцев В.Б. Открытие секции.

Подсекция 1. Ауд.14-13.

30 марта, председатель В.Б. Алексеев.

15.15 - 15.35. Кудрявцев В.Б., Алисейчик П.А., Вашик К. (Германия), Строгалов А.С. 'Синтез компьютерных обучающих систем на основе автоматных моделей'.

15.40 - 16.00. В.Б.Кудрявцев, И.С.Грунский, В.А.Козловский 'Представления автоматов:

определяющие соотношения и эксперименты'

16.05 - 16.25. Черемных Ю.Н. 'Динамическая модель количественной олигополии'.

16.35 - 16.50. Стаматович Б. (Черногория) 'Автоматное распознавание двухсвязанных лабиринтов с конечным диаметром циклов'.

16.55 - 17.10. Лавров И.А. 'Создание базы данных по общей теории вычислимости'.

17.15 - 17.30. Кучеренко И.В. 'О разрешимости свойства обратимости для двумерных бинарных клеточных автоматов'.

17.35 - 17.50. Жук Д.Н. 'Классификация классов Поста по их способности гарантировать разрешимость А-полноты для дефинитных автоматов'.

17.55 - 18.10. Подколзина М.А. 'К задаче о полноте S-множеств детерминированных функций'.

18.15 - 18.30. Поцелуевская Е.А. 'Полиномиальные случаи решения задачи об F-выполнимости булевых формул'.

31 марта, председатель А.С. Подколзин.

15.00 - 15.20. Пытьев Ю.П., Чуличков А.И. 'Прикладные методы морфологического анализа'.

15.25 - 15.45. Пытьев Ю.П. 'Возможность как альтернативная вероятности модель случайности'.

15.50 - 16.05. Пытьев Ю.П., Фаломкина О.В. 'Неопределенные нечеткие модели, математические и эмпирические аспекты'.

16.15 - 16.35. Ложкин С.А. Седелев О.Б. 'О реализации функций алгебры логики схемами из некоторых классов, вложенными в гиперкубы'.

16.40 - 16.55. Пантелеев П.А. 'Об оценках длины простого диагностического эксперимента для подмножеств состояний конечного автомата'.

17.00 - 17.15. Гераськина Ю.Г.'Автоматная модель одной транспортной системы в биологии'.

17.25 - 17.40. Моисеев С.В. 'К вопросу о формульном описании задач распознавания'.

17.45 - 18.00. Самоненко И. Ю. 'О построении обратимых автоматов из гиперавтоматов'.

18.05 - 18.20. Боков Г.В. 'О необходимых условиях оптимальности в задаче с запаздыванием'.

1 апреля, председатель С.В. Алешин.

15.00 - 15.20. Бабин Д.Н., Черноризов А.М., Соколов Е.Н. 'Динамическая модель взаимодействия колбочек с яркостными горизонтальными клетками'.

15.25 - 15.45. Скобелев В.Г. (Украина) Автоматы как алгебраические структуры.

15.50 - 16.10. Хамдамов Р.Х., Каюмов Ш.Ш. (оба Узбекистан) 'Об одной задаче оптимального управления работой насосной станции'.

16.20 - 16.40. Алексеев В.Б. 'О замкнутых классах частичных самодвойственных функций'.

16.45 - 17.00. Хамдамов Р.Х. Кодиров Н.Х. (оба Узбекистан) 'Об алгоритме закрытого сундука'.

17.05 - 17.20. Холоденко А.Б. 'О свойствах регулярных марковских языков'.

17.30 - 17.45. Родин С.Б. 'Инвариантные свойства кодирований состояний автоматов'.

17.50 - 18.05. Зайцев Д.В. 'О сложности сборки и вложения графов'.

18.10 - 18.25. Лашева М.И. 'Об алгебраических операциях на графах, сохраняющих степенную последовательность'.

18.30 - 18.45. Левин В.Ю. 'Повышение криптостойкости при переходе на эллиптические кривые'.

18.50 - 19.05. Кибкало М.А. 'Представление коллекций языков в конечных автоматах'.

19.10 - 19.25. Пархоменко Д. 'Анализ семейства графиков вероятностными автоматами'.

19.30 - 19.45. Родин А.А. 'О предполных классах во множестве автоматных отображений'.

Подсекция 2. Ауд.14-14.

30 марта, председатель Р.И. Подловченко.

15.15 - 15.35. Подколзин А.С. 'Компьютерное моделирование логических процессов'.

15.40 - 16.00. Сапоженко А.А. 'Проблема Камерона-Эрдеша для групп простого порядка'.

16.05 - 16.25. Фролов А.Б. 'Принцип конечной топологии и распознание топологических форм'.

16.35 - 16.50. Буряк Д.Ю., Ирматов А.А. 'Об одном свойстве алгоритма ADABOOST'.

16.55 - 17.10. Миронов А.М. 'Графовый метод анализа корректности функциональных программ'.

17.15 - 17.30. Волков Н.Ю.'Об автоматной модели преследования'

17.35 - 17.50. Дайняк А.Б. 'О числе максимальных независимых множеств в деревьях фиксированного диаметра'.

17.55 - 18.10. Кучеренко Н.С. 'О средней сложности поиска идентичных объектов для случайных баз данных'.

18.15 - 18.30. Осокин В. 'Расшифровка k-существенных монотонных функций'.

31 марта, председатель Ф.М. Аблаев.

15.00 - 15.20. Подловченко Р.И. 'К проблеме эквивалентности в алгебраических моделях последовательных программ'.

15.25 - 15.45. Козлов А.А., Носов В.А., Панкратьев А.Е. 'Свойства правильных бинарных матриц'.

15.50 - 16.10. Арипов М.М. (Узбекистан) 'Об одной инструментальной системе моделирования многозвенных виртуальных математических лабораторий'.

16.20 - 16.35. Рыжов А.П. 'Системы оценки и мониторинга сложных процессов' .

16.40 - 16.55. Аверкин А.Н. 'Когнитивные модели в гибридных интеллектуальных системах'.

17.00 - 17.15. Половников В.С. 'Нелинейная сложность нейронных схем специального вида'.

17.25 - 17.40. Лебедев А.А. 'Синтез операторов агрегирования информации в нечетких иерархических системах по экспертным описаниям'.

17.45 - 18.00. Будников Ю. 'Об асимптотическом поведении хроматического индекса случайных гиперграфов'.

18.05 - 18.20. Муравьева А.А.'О 2-кодах дискретных фигур'.

1 апреля, председатель А.Б. Фролов.

15.00 - 15.20. Гасанов Э.Э. 'Константный в среднем фоновый алгоритм решения задачи о доминировании'.

15.25 - 15.45. Аблаев Ф. М. 'Квантовые вычислители'.

15.50 - 16.10. Часовских А.А. 'О проблеме полноты в классе линейно-автоматных функций над простыми конечными полями'.

16.20 - 16.35. Воронцов В.В. 'Точные оценки вероятности переобучения'.

16.40 - 16.55. Алексеев Д.В. 'Автоматное моделирование алгоритма RC4'.

17.00 - 17.15. Галатенко А.В. 'О росте безопасных языков'.

17.20 - 17.35. Соколов А.П. 'О конструктивной характеризации пороговых функций'.

17.40 - 17.55. Скиба Е.А. 'Решение задачи об опасной близости при слабых ограничениях на законы движения'.

18.00 - 18.15. Шуткин Ю.С. 'Временная сложность реализации булевых функций'.

18.20 - 18.35. Мастихина А. 'О частичном угадывании сверхслов'.

18.40 - 18.55. Пивоваров А.П. 'Поиск представителя в задаче о метрической близости'.

19.00 - 19.15. Тимирова А.Н. 'О нечеткой устойчивости в экономических моделях'.

19.20 - 19.35. Титова Е.Е. 'Конструирование изображений клеточными автоматами'.

19.40 - 19.55. Членова Т.С. 'О слоистости схем булевых функций'.