Оргкомитет конференции

Программный комитет конференции

Секции и председатели секций

Секция 1. Математическое моделирование и контролепригодное проектирование дискретных систем (сопредседатели: Ю.И. Митрофанов, В.Н. Салий, В.Г. Скобелев, А.А. Сытник).

Секция 2. Контроль и диагностирование дискретных систем (сопредседатели: В.А. Козловский, Ю.А. Скобцов, Д.В. Сперанский, В.А. Твердохлебов).

Секция 3. Теория автоматов и ее приложения (сопредседатели: И.С. Грунский, В.Б. Кудрявцев, Л.Б. Тяпаев, А.А. Шалыто).

Секция 4. Информационные технологии в образовании, науке и культуре (сопредседатели: В.Н. Соловьев, А.Г. Федорова).

Регламент работы конференции

1 июля:

9.00 – 18.00 Регистрация участников конференции.

2 июля:

  8.30 –  9.30 Регистрация участников конференции.
10.00 – 12.00 Открытие конференции.
12.00 – 12.30 Кофе-брейк.
12.30 – 13.50 Пленарные доклады.
13.50 – 15.00 Перерыв на обед.
15.00 – 18.30 Заседание секций.

3 июля:

10.00 – 13.40 Пленарные доклады.
12.00 – 12.15 Кофе-брейк.
13.40 – 15.00 Перерыв на обед.
15.00 – 18.30 Заседание секций.

4 июля:

10.00 – 14.00 Заседание секций.
14.30 Закрытие конференции.

Тезисы докладов конференции будут опубликованы до начала конференции. Доклады, рекомендованные программным комитетом, будут опубликованы в журнале «Известия Саратовского университета», включенном решением президиума ВАК Министерства образования и науки РФ от 1 января 2007 года в число изданий, в которых рекомендуется публикация основных результатов диссертационных исследований на соискание ученой степени кандидата наук.

2 июля 2007 года, понедельник

Пленарные доклады

Секционные доклады (15.00 – 18.30)

1. Д.В. Продан. Анализ шифров, основанных на коде Рида – Малера.
2. М.Р. Мирзаянов. Быстрые алгоритмы решения задачи о последовательной факторизации орграфа.
3. М.Л. Платонов. Верхние полурешетки степеней по перечислимости вычислимых нумераций.
4. А.Н. Курганский, И.Г. Потапов. Вычисления одномерными кусочными динамическими системами.
5. А.М. Романкевич, В.А. Романкевич, Бахтари Хедаятоллах. Дерево иерархии ребер GL-модели.
6. В.В. Розен. Задача принятия решения в рамках системного описания.
7. И.С. Грунский, С.В. Сапунов. Идентификаторы вершин помеченных графов.
8. А.В. Карпенков, А.А. Арзамасцев. Имитационная стохастическая модель роста популяции микроорганизмов на основе фазовой гетерогенности.
9. Н.П. Фокина, Е.С. Рогачко. Исследование сетей массового обслуживания с управлением маршрутизацией.

1. А.Ю. Максимова. Алгоритм распознавания образов на основе нечеткого вывода.
2. М.А. Каминская, Э.Н. Кулак. Анализ тестопригодности цифровых устройств на разных стадиях разработки.
3. С.В. Миронов, Д.В. Сперанский. Генетические алгоритмы для сокращения диагностической информации.
4. Д. Е. Иванов, Ю. А. Скобцов, А. И. Эль-Хатиб. Генетические алгоритмы построения инициализирующих последовательностей цифровых схем.
5. Е.В. Волченко. Генетический анализ биссекции графов.
6. Д.Е. Иванов, Ю.А. Скобцов, А.И. Эль-Хатиб. Распределённые генетические алгоритмы в построении тестов для цифровых схем.
7. Д. А. Шаров, В.М. Соловьев. Диагностический кластеризатор на основе нейронных сетей.

1. Г.А. Корнеев, В.Г. Парфенов, А.А. Шалыто. Верификация автоматных программ.
2. О.В. Тубольцева. Анализ автомата Эно.
3. В.А. Сухинин. Анализ автоматов Спротта.
4. С.А. Акимова. Взаимосвязь свойств универсальных упорядоченных полуавтоматов и полугрупп их входных сигналов.
5. О.С. Ермошина. Восстановление поведения конечного автомата с зацикливанием изменений состояний.
6. С.И. Поликарпов. Задание автомата рядом Фурье в задачах диагностирования и управления.

1. Ю.М. Брумштейн, С.В. Окладникова, Р. Н. Вахитов. Автоматизация количественной оценки тематического соответствия тестовых материалов предметной области дисциплины.
2. А.Н. Башкатов. Географические информационные системы в социально-культурном проектировании территории.
3. А.С. Гераськин, В.М. Соловьев. Зависимость эффективности обучения от восприятия информации учащимися.
4. Е.В. Кудрина, А.Г. Федорова. Инновационная образовательная программа Intel «Обучение для будущего» в Саратовском госуниверситете.
5. М.В. Коблова, С.Ю. Кибальникова Метод проектов в преподавании информатики.
6. А.С. Иванов. Модель представления продукционных баз знаний.

3 июля 2007 года, вторник

Пленарные доклады

Секционные доклады (15.00 – 18.30)

1. В.А. Томников. К задаче о минимальных расширениях ориентаций циклов.
2. Д.И. Иванов. Классификация слабо импликативно и комбинаторно селекторных множеств.
3. И.Ю. Юрин, А.Н. Гамова. Логико-лингвистические модели защиты информации.
4. Л.Г. Быстров, А.А. Попов, В.В. Сафронов, Д.П. Тетерин. Математическое моделирование динамических систем, описываемых линейными однородными дифференциальными уравнениями с переменными коэффициентами.
5. А. Н. Якунин. Математическое моделирование физических процессов в электровакуумных приборах методом конечных элементов.
6. А.В. Ткаченко. Моделирование, идентификация и управление пусковыми режимами энергоблоков сверхкритического давления.
7. И. Е. Тананко, Н. В. Юдаева. Моделирование сети массового обслуживания с ненадежными системами и задержкой информации.
8. С.Г. Курносова. О единственности Т-неприводимых расширений.
9. М.Ю. Бенькович. О некоторых свойствах «хороших» перестановок.

1. А.М. Романкевич, В.В. Гроль, О.А. Мирошникова. О повышении эффективности диагностирования отказоустойчивых многопроцессорных систем за счет тестопригодной реализации их модулей.
2. Ю.А. Бродская. Построение системы признаков для распознавания образов при временных ограничениях.
3. О.М. Копытова. Преобразования автоматов, порождающих классы их неисправностей.
4. О.И. Аравин, А.В. Малыгин. Распознавание образов на основе нейронных сетей.
5. Ю.Б. Деглина. Распознавание сигналов акустической эмиссии на основе нейросетевых методов.
6. А.В. Золотницкий. Экстраполяция кривой землетрясений по данным 1556 – 2006 годов.
7. А.В. Климов. Энтропийный подход к решению некоторых задач технической диагностики дискретных устройств.
8. П.М. Хрусталев, И.П. Мангушева. Спектры автоматных операторов.

1. П.В. Белобровый. Интерполяция геометрических образов автоматов методами Лагранжа, Ньютона.
2. К.В. Елисеев. Интерполяция геометрических образов автоматов методом наименьших квадратов.
3. В.А. Козловский, Л.А. Мучникова. Контроль групповых автоматов с выделенным конечным идентификатором состояния.
4. А.А. Илюхин. Метод характеристик для уравнений эллиптического типа.
5. В.Н. Ткаченко, А.А. Иванова, О.В. Шуба. Методы и алгоритмы идентификации параметров внешнего теплообмена процессов тепломассопереноса.
6. А.А. Ширинкин, А.И. Полунин. О влиянии ошибок измерений на точность определения формы сечения крупногабаритных объектов.

1. И.В. Пролеткин, Л.Л. Калинина, М.Е. Шпак. Музей и университет. Опыт совместного внедрения ИТ-технологий в музейную деятельность.
2. И.В. Пролеткин. От ГИС-технологий к ГИС-мировоззрению.
3. В.А. Зелепухина. Применение Internet-технологий в образовании и науке.
4. А.В. Голиков, В.Э. Джашитов. Применение компьютерных технологий при преподавании спецкурса «Математические модели температурно возмущенных датчиков авиакосмического приборостроения».
5. И.А. Батраева, О.Ю. Крючкова, В.Е. Гольдин. Проблема формализации текстов для представления в электронном диалектном корпусе.
6. Д.С. Ермаков, А.С. Шульмин, Р.В. Шульмина. Разработка автоматизированной системы проектирования электронных учебных пособий непрофессиональным пользователем.

4 июля 2007 года, среда

Секционные доклады (10.00 – 14.00)

1. А.А. Максимов. О некоторых свойствах универсально-алгебраических конструкций для нечетких автоматов с функцией выхода.
2. Т.Г. Сапсай, Е.Р. Потапова, А.А. Кононова. О повышении эффективности GL-моделей за счет модификации реберных функций.
3. М.Б. Абросимов. О реберных расширениях некоторых предполных графов.
4. Э.Е. Зайцева. Об одном классе семейств легко вычислимых перестановок.
5. А.С. Сенченко. Определяющая пара для детерминированных графов.
6. И.С. Грунский, И.И. Максименко. Распознавание нагруженных графов.
7. А.А. Долгов. Реконструируемость малых турниров.
8. В.И. Хаханов. Современные технологии моделирования и верификации цифровых систем на кристаллах.
9. А.А. Григор, В.Г. Скобелев. Электронная цифровая подпись на основе эллиптических кривых над полем Q.

1. А.С. Епифанов. Спектры динамических характеристик рекуррентного определения числовых последовательностей.
2. Ю.А. Скобцов, В.Ю. Скобцов. Эволюционные алгоритмы в проектировании вычислительных систем.
3. Ю.А. Скобцов, Т.В. Мартыненко. Эволюционные методы обработки изображений.
4. А.Ф. Резчиков, В.А. Твердохлебов. Синтез и анализ причинно-следственных комплексов в мехатронных системах.
5. И. В. Уколов. Синтез контролирующих тестов для дискретного устройства.
6. Е. В. Уколова. Синтез контролирующих тестовых последовательностей с применением генетического алгоритма.
7. Е.Н. Богатырева. Сложность локализации неисправностей блоков управляемых перестановок.

1. А.С. Богомолов. О синхронизации автоматов.
2. Ю.А. Скобцов, В.Ю. Скобцов, Т.А. Васяева. Применение искусственного интеллекта для вычисления информативности признаков в медицинских задачах.
3. И.П. Мангушева, П.М. Хрусталёв. Толерантные образы и композиции автоматов.
4. И.С. Грунский, Е.А. Татаринов. Распознавание лабиринтов при помощи конечных автоматов.
5. В.С. Гуров, М.А. Мазин, А.А. Шалыто. Текстовый язык автоматного программирования.
6. И.А. Панкратова. Условия реализуемости функций на полурешетках функционально устойчивыми схемами.
7. С.А. Богомолов. Проблема единственности в идентификации автоматов.

1. Е.Е. Лапшева. Реализация принципа социального конструктивизма в системе создания и управления дистанционными курсами moodle.
2. М.С. Портенко, С.Ю. Кибальникова. Формирование глубокого подхода к обучению через использование в учебном процессе мультимедийных образовательных ресурсов.
3. Е.Ю. Кулик. Сетевые социальные сервисы в образовании: новая идеология общения и творчества.
4. А.М. Дворянкин, А.Х. Хыдыров. Создание автоматизированной системы для поддержки бизнес-процессов строительства объектов нефтегазового комплекса.
5. В.М. Соловьев. Сервис-ориентированная архитектура в образовании.