___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Кабинет директора ИСИ СО РАН (к.308)
Время: 14.30
Заседания NN 358 — 361
___________________________________________________________________
Рассмотрение дипломных работ
21 апреля
Емельянов Павел Геннадьевич. Анализатор семантических свойств
МОДУЛА программ
Грабарь Анатолий Витальевич. Программные средства анализа де-
композиции программ
——————————————————————
28 апреля
Климов Владислав Анатольевич. Архитектура и алгоритмы системы
для манипулирования функциями булевой алгебры.
Боровой Сергей Владимирович. Обучающая программа по методам
вычислительной математики.
Бусыгин Владислав Владимирович. Автоматизированная система
обучения вопрос-ответного типа.
Гладких Игорь Евгеньевич. Средства поддержки разработки графи-
ческого интерфейса прикладных программ.
——————————————————————
5 мая
Брыксин Алексей Александрович. Разработка инструментальных
средств для описания учебных сценариев в многотерминальной обучаю-
щей системе на базе локальной сети УК-НЦ.
Ростовский Владислав Валентинович. Программные средства визуа-
лизации и проверки учебного материала.
Ивания Антон Викторович. Реализация языка начального обучения
программированию на базе системы ГРИН.
Кожевников. Реализация учебного интерпретатора, настраиваемого
на методику применения.
——————————————————————
12 мая
Матюков Петр Юрьевич. Система управления и контроля локальных
вычислительных сетей АСУ ТП Энергоблока Уренгойской ГРЭС.
Пешкичев Юрий Юрьевич. Монитор портов для операционной системы
реального времени АСУ ТП Энергоблока Уренгойской ГРЭС.
Рыжков Виктор Леонидович. Программная модель протокола ТСР/IP.
——————————————————————