ПРОГРАММА
Международной научной конференции
«КОМПЬЮТЕРНЫЕ НАУКИ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ»,
посвященной памяти
профессора А. М. Богомолова
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. Математическое моделирование и контролепригодное проектирование дискретных систем:
- Д.В. Продан. Анализ шифров, основанных на коде Рида – Малера.
- М.Р. Мирзаянов. Быстрые алгоритмы решения задачи о последовательной факторизации орграфа.
- М.Л. Платонов. Верхние полурешетки степеней по перечислимости вычислимых нумераций.
- А.Н. Курганский, И.Г. Потапов. Вычисления одномерными кусочными динамическими системами.
- А.М. Романкевич, В.А. Романкевич, Бахтари Хедаятоллах. Дерево иерархии ребер GL-модели.
- В.В. Розен. Задача принятия решения в рамках системного описания.
- И.С. Грунский, С.В. Сапунов. Идентификаторы вершин помеченных графов.
- А.В. Карпенков, А.А. Арзамасцев. Имитационная стохастическая модель роста популяции микроорганизмов на основе фазовой гетерогенности.
- Н.П. Фокина, Е.С. Рогачко. Исследование сетей массового обслуживания с управлением маршрутизацией.
Секция 2. Контроль и диагностирование дискретных систем:
- А.Ю. Максимова. Алгоритм распознавания образов на основе нечеткого вывода.
- М.А. Каминская, Э.Н. Кулак. Анализ тестопригодности цифровых устройств на разных стадиях разработки.
- С.В. Миронов, Д.В. Сперанский. Генетические алгоритмы для сокращения диагностической информации.
- Д. Е. Иванов, Ю. А. Скобцов, А. И. Эль-Хатиб. Генетические алгоритмы построения инициализирующих последовательностей цифровых схем.
- Е.В. Волченко. Генетический анализ биссекции графов.
- Д.Е. Иванов, Ю.А. Скобцов, А.И. Эль-Хатиб. Распределённые генетические алгоритмы в построении тестов для цифровых схем.
- Д. А. Шаров, В.М. Соловьев. Диагностический кластеризатор на основе нейронных сетей.
Секция 3. Теория автоматов и ее приложения:
- Г.А. Корнеев, В.Г. Парфенов, А.А. Шалыто. Верификация автоматных программ.
- О.В. Тубольцева. Анализ автомата Эно.
- В.А. Сухинин. Анализ автоматов Спротта.
- С.А. Акимова. Взаимосвязь свойств универсальных упорядоченных полуавтоматов и полугрупп их входных сигналов.
- О.С. Ермошина. Восстановление поведения конечного автомата с зацикливанием изменений состояний.
- С.И. Поликарпов. Задание автомата рядом Фурье в задачах диагностирования и управления.
Секция 4. Информационные технологии в образовании, науке
и культуре:
- Ю.М. Брумштейн, С.В. Окладникова, Р. Н. Вахитов. Автоматизация количественной оценки тематического соответствия тестовых материалов предметной области дисциплины.
- А.Н. Башкатов. Географические информационные системы в социально-культурном проектировании территории.
- А.С. Гераськин, В.М. Соловьев. Зависимость эффективности обучения от восприятия информации учащимися.
- Е.В. Кудрина, А.Г. Федорова. Инновационная образовательная программа Intel «Обучение для будущего» в Саратовском госуниверситете.
- М.В. Коблова, С.Ю. Кибальникова Метод проектов в преподавании информатики.
- А.С. Иванов. Модель представления продукционных баз знаний.
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. Математическое моделирование и контролепригодное
проектирование дискретных систем:
- В.А. Томников. К задаче о минимальных расширениях ориентаций циклов.
- Д.И. Иванов. Классификация слабо импликативно и комбинаторно селекторных множеств.
- И.Ю. Юрин, А.Н. Гамова. Логико-лингвистические модели защиты информации.
- Л.Г. Быстров, А.А. Попов, В.В. Сафронов, Д.П. Тетерин. Математическое моделирование динамических систем, описываемых линейными однородными дифференциальными уравнениями с переменными коэффициентами.
- А. Н. Якунин. Математическое моделирование физических процессов в электровакуумных приборах методом конечных элементов.
- А.В. Ткаченко. Моделирование, идентификация и управление пусковыми режимами энергоблоков сверхкритического давления.
- И. Е. Тананко, Н. В. Юдаева. Моделирование сети массового обслуживания с ненадежными системами и задержкой информации.
- С.Г. Курносова. О единственности Т-неприводимых расширений.
- М.Ю. Бенькович. О некоторых свойствах «хороших» перестановок.
Секция 2. Контроль и диагностирование дискретных систем:
- А.М. Романкевич, В.В. Гроль, О.А. Мирошникова. О повышении эффективности диагностирования отказоустойчивых многопроцессорных систем за счет тестопригодной реализации их модулей.
- Ю.А. Бродская. Построение системы признаков для распознавания образов при временных ограничениях.
- О.М. Копытова. Преобразования автоматов, порождающих классы их неисправностей.
- О.И. Аравин, А.В. Малыгин. Распознавание образов на основе нейронных сетей.
- Ю.Б. Деглина. Распознавание сигналов акустической эмиссии на основе нейросетевых методов.
- А.В. Золотницкий. Экстраполяция кривой землетрясений по данным 1556 – 2006 годов.
- А.В. Климов. Энтропийный подход к решению некоторых задач технической диагностики дискретных устройств.
- П.М. Хрусталев, И.П. Мангушева. Спектры автоматных операторов.
Секция 3. Теория автоматов и ее приложения:
- П.В. Белобровый. Интерполяция геометрических образов автоматов методами Лагранжа, Ньютона.
- К.В. Елисеев. Интерполяция геометрических образов автоматов методом наименьших квадратов.
- В.А. Козловский, Л.А. Мучникова. Контроль групповых автоматов с выделенным конечным идентификатором состояния.
- А.А. Илюхин. Метод характеристик для уравнений эллиптического
типа.
- В.Н. Ткаченко, А.А. Иванова, О.В. Шуба. Методы и алгоритмы идентификации параметров внешнего теплообмена процессов тепломассопереноса.
- А.А. Ширинкин, А.И. Полунин. О влиянии ошибок измерений на точность определения формы сечения крупногабаритных объектов.
Секция 4. Информационные технологии в образовании, науке и культуре:
- И.В. Пролеткин, Л.Л. Калинина, М.Е. Шпак. Музей и университет. Опыт совместного внедрения ИТ-технологий в музейную деятельность.
- И.В. Пролеткин. От ГИС-технологий к ГИС-мировоззрению.
- В.А. Зелепухина. Применение Internet-технологий в образовании и
науке.
- А.В. Голиков, В.Э. Джашитов. Применение компьютерных технологий при преподавании спецкурса «Математические модели температурно возмущенных датчиков авиакосмического приборостроения».
- И.А. Батраева, О.Ю. Крючкова, В.Е. Гольдин. Проблема формализации текстов для представления в электронном диалектном корпусе.
- Д.С. Ермаков, А.С. Шульмин, Р.В. Шульмина. Разработка автоматизированной системы проектирования электронных учебных пособий непрофессиональным пользователем.
4 июля 2007 года, среда
Секционные доклады (10.00 – 14.00)
Секция 1. Математическое моделирование и контролепригодное проектирование дискретных систем:
- А.А. Максимов. О некоторых свойствах универсально-алгебраических конструкций для нечетких автоматов с функцией выхода.
- Т.Г. Сапсай, Е.Р. Потапова, А.А. Кононова. О повышении эффективности GL-моделей за счет модификации реберных функций.
- М.Б. Абросимов. О реберных расширениях некоторых предполных графов.
- Э.Е. Зайцева. Об одном классе семейств легко вычислимых перестановок.
- А.С. Сенченко. Определяющая пара для детерминированных графов.
- И.С. Грунский, И.И. Максименко. Распознавание нагруженных графов.
- А.А. Долгов. Реконструируемость малых турниров.
- В.И. Хаханов. Современные технологии моделирования и верификации цифровых систем на кристаллах.
- А.А. Григор, В.Г. Скобелев. Электронная цифровая подпись на основе эллиптических кривых над полем Q.
Секция 2. Контроль и диагностирование дискретных систем:
- А.С. Епифанов. Спектры динамических характеристик рекуррентного определения числовых последовательностей.
- Ю.А. Скобцов, В.Ю. Скобцов. Эволюционные алгоритмы в проектировании вычислительных систем.
- Ю.А. Скобцов, Т.В. Мартыненко. Эволюционные методы обработки изображений.
- А.Ф. Резчиков, В.А. Твердохлебов. Синтез и анализ причинно-следственных комплексов в мехатронных системах.
- И. В. Уколов. Синтез контролирующих тестов для дискретного устройства.
- Е. В. Уколова. Синтез контролирующих тестовых последовательностей с применением генетического алгоритма.
- Е.Н. Богатырева. Сложность локализации неисправностей блоков управляемых перестановок.
Секция 3. Теория автоматов и ее приложения:
- А.С. Богомолов. О синхронизации автоматов.
- Ю.А. Скобцов, В.Ю. Скобцов, Т.А. Васяева. Применение искусственного интеллекта для вычисления информативности признаков в медицинских задачах.
- И.П. Мангушева, П.М. Хрусталёв. Толерантные образы и композиции автоматов.
- И.С. Грунский, Е.А. Татаринов. Распознавание лабиринтов при помощи конечных автоматов.
- В.С. Гуров, М.А. Мазин, А.А. Шалыто. Текстовый язык автоматного программирования.
- И.А. Панкратова. Условия реализуемости функций на полурешетках функционально устойчивыми схемами.
- С.А. Богомолов. Проблема единственности в идентификации автоматов.
Секция 4. Информационные технологии в образовании, науке и культуре:
- Е.Е. Лапшева. Реализация принципа социального конструктивизма в системе создания и управления дистанционными курсами moodle.
- М.С. Портенко, С.Ю. Кибальникова. Формирование глубокого подхода к обучению через использование в учебном процессе мультимедийных образовательных ресурсов.
- Е.Ю. Кулик. Сетевые социальные сервисы в образовании: новая идеология общения и творчества.
- А.М. Дворянкин, А.Х. Хыдыров. Создание автоматизированной системы для поддержки бизнес-процессов строительства объектов нефтегазового комплекса.
- В.М. Соловьев. Сервис-ориентированная архитектура в образовании.
14.30 Закрытие конференции.
|