ПРОГРАММА
Международной научной конференции «КОМПЬЮТЕРНЫЕ НАУКИ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ», посвященной памяти профессора А. М. Богомолова 1 – 4 июля 2009 г.

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

Председатель оргкомитета Л.Ю. Коссович, проф., д-р физ.-мат. наук.
Заместители председателя: Д.В. Сперанский, проф., д-р техн. наук; А.Г. Федорова, доц., канд. физ.-мат. наук.
Члены оргкомитета: И. А. Батраева, доц., канд. физ.-мат. наук; В.М. Гурьянов, проф., д-р физ.-мат. наук; А.С. Иванов; С.В. Миронов; Л.Н. Ромакина; А.Н. Тихонов, проф., д-р техн. наук; Л.Б. Тяпаев доц., канд. физ.-мат. на-ук; Д.А. Усанов, проф., д-р физ.-мат. наук.

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

Председатель программного комитета В.А. Твердохлебов, проф., д-р техн. наук.
Члены программного комитета: Г.П. Агибалов, проф., д-р физ.-мат. наук; В.А. Ведешенков, проф., д-р тех. наук; И.С. Грунский, канд. физ.-мат. наук; Н.В. Евтушенко, проф., д-р техн. наук; А.Д. Закревский, чл.-кор. НАН Беларуси; М.Ф. Каравай, проф., д-р техн. наук; В.А. Козловский, канд. физ.-мат. наук; В.Б. Кудрявцев, проф., д-р физ.-мат. наук; А.Ю. Матросова, проф., д-р техн. наук; Ю.И. Митрофанов, проф., д-р техн. наук; П.П. Пархоменко, чл.-кор. РАН; А.Ф. Резчиков, чл.-кор. РАН; А.М. Романкевич, проф., д-р техн. наук; В.Н. Салий, проф., канд. физ.-мат. наук; В.М. Соловьев, доц., канд. техн. наук; В.Г. Скобелев, проф., д-р техн. наук; Ю.А. Скобцов, проф., д-р техн. наук; А.А. Сытник, проф., д-р техн. наук; В.Н. Ткаченко, д-р техн. наук; Д.И. Трубецков, чл.-кор. РАН; В.Ф. Халчев, канд. техн. наук; В.И. Хаханов, проф., д-р техн. наук; А.А. Шалыто, проф., д-р техн. наук.
Ученый секретарь конференции Л.Б. Тяпаев – доц., канд. физ.-мат. наук.

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

Секция 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 Закрытие конференции.
Время пленарного доклада 30 мин.
Время доклада на секции 15 мин.

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

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

10.00 – 12.00 Открытие конференции.
12.00 – 12.30 Кофе-брейк.

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

12.30 – 13.10 В.Б. Кудрявцев, И.С. Грунский, В.А. Козловский. Восстановление автоматов по их поведению.
13.10 – 13.50 А.Г. Федорова, Е.О. Коваль. Использование инновационных образовательных технологий для подготовки программистов.
13.50 – 15.00 Перерыв на обед.

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

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

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

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

10.00–10.40 В.А. Твердохлебов. Спектр общих характеристик для последовательностей, геометрических фигур и автоматов.
10.40–11.20 Ю.И. Митрофанов, В.И. Долгов, Е.П. Станкевич. Моделирование сети массового обслуживания с управлением интенсивностями обслуживания.
11.20–12.00 Шалыто А. А. Автоматное программирование.
12.00–12.20 Кофе-брейк.
12.20–13.00 В.Н. Салий. Минимальные ядра связного идемпотентного графа.
13.00–13.40 Л.Б. Тяпаев. Фрактальные свойства геометрических образов автоматов.
13.40–15.00 Перерыв на обед.

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

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

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

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

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