Система тестирования реализаций математических функций, поддерживающих режим направленного округления

Вид материала

Содержание

Семинар Касьянова В.Н.
Семинар ИИ, Загорулько Ю.А.
Семинар Федотова А.М.
Семинар «Системное программирование»

Подобный материал:

Семинар Унипро, Скопин И.Н.

1. Рук. кфмн , вед. инженер УНИПРО Бакшеев Д.Г.

Личман Илья Владимирович гр. 0111

Тема: Система тестирования реализаций математических функций, поддерживающих режим направленного округления.

33. Рук. к.ф.-м.н Скопин И.Н., вед. инж. УНИПРО Серяков А.В.

Максименко Полина Александровна гр. 0115

Тема: Расширение технологии J2ME для работы с вещественными типами.

34. Рук. к.ф.-м.н Скопин И.Н., вед. инж. УНИПРО Серяков А.В.

Козырева Алина Владимировна

Тема: Интерактивная система навигации для мобильных устройств,

Поддерживающих технологию J2ME.

35. Рук. к.ф.-м.н Скопин И.Н., вед. инж. УНИПРО Серяков А.В

Гришкин Юрий Евгеньевич гр. 0115

Тема: Система автоматизации диспетчерской службы. Серверная часть.

36. Рук. к.ф.-м.н Скопин И.Н., вед. инж. УНИПРО Серяков А.В

Трунов Алексей Михайлович гр. 0115

Тема: Система автоматизации диспетчерской службы. Клиентская часть.

37. Рук. к.ф.-м.н Скопин И.Н., вед. инж. УНИПРО Тимошенко Г.А.

Кубанцев Василий Александрович гр. 0115

Тема: Структура данных поддержки вариантного тестирования.

38. Рук. к.ф.-м.н Скопин И.Н., вед. инж. УНИПРО Пасько Е.В.

Сабинин иван Владимирович гр.0115

Тема: Оптимизация размещения данных, используемых в тестирующей системе.

39. Рук. к.ф.-м.н Скопин И.Н., вед. инж. УНИПРО Пасько Е.В.

Литвинов Константин Александрович гр. 0115.

Тема: интерфейс взаимодействия тестировщика с тестирующей системой.

40. Рук. к.ф.-м.н Скопин И.Н., вед. инж. УНИПРО Соколов Д.Ю.

Раков Денис Вячеславович

Тема: Разработка модуля упаковки –распаковки данных для передачи в Internet

jт клиента серверу.

41. Рук. к.ф.-м.н Скопин И.Н., вед. инж. УНИПРО Конев А.А.

Парталов Алексей Николаевич гр. 0115

Тема: Визуализация внутреннего представления фортран программы.

42. Рук. к.ф.-м.н Скопин И.Н., вед. инж. УНИПРО Фурсов М.Ю.

Гриневич Артем Николпевич гр. 0114

Тема: Инструментальная поддержка коллективной деятельности специалистов в области анализа генетической информации:кластеризация вычислений.

43. Рук. к.ф.-м.н Скопин И.Н., вед. инж. УНИПРО Фурсов М.Ю.

Рабинов Александр Игоревич

Тема: Инструментальная поддержка коллективной деятельности специалистов в области анализа генетической информации:интерфейсная подсистема.

8. Рук. к.ф.-м.н Скопин И.Н., вед. инж. УНИПРО Серяков А.В

Небогатов Михаил Вадимович гр. 9114

Тема: Интерактивная система навигации для мобильных устройств,

Поддерживающих технологию J2ME.

10. Рук. к.ф.-м.н Скопин И.Н.,

Кальченко Виталий Викторович

Тема: Построение системы управления воздушными потоками на заданном объекте.

11. Рук. к.ф.-м.н Скопин И.Н, нач. лаб. УНИПРО Звездин А.В.

Саяпина Елена Витальевна

Тема: Корпоративная система для учета и контроля дефектов в программных продуктах.

7.Рук. доц. Скопин И.Н. , НИПС

Грехова Наталья Олеговна 8011гр.

Тема: Скрытые константы в алгоритмах нахождения k– ближайших соседей в многомерном пространстве при обработке изображений и векторном квантовании.

12. Рук. доц. Скопин И.Н. НИПС

Устименко Семен Александрович

Тема: Инструмент статического анализа программ для поиска "мертвых блокировок и состязаний.

13. Рук. доц. Скопин И.Н. НИПС

Мельников Константин Сергеевич 8014

Тема: Методология тестирования оптимизирующих компиляторов.

12.Рук. к.ф.м.н. Скопин И.Н.

Бондарь Александр Александрович

Тема: Система хранения больщих массивов данных на основе темпоральных СУБД:языковые аспекты.

13.Рук. к.ф.м.н. Скопин И.Н.

Шпак Алексей Владимирович гр. 9112

Тема: Инструментарий для работы с иерархически структурируемыми данными.

14. Рук. к.ф.м.н. Скопин И.Н., вед.инж .УНИПРО Конев А.А.

Кашаубаев Адилет Мергенович гр. 9112

Тема: Инструментальное средство для разработки компиляторов.

17. Рук. к.ф.м.н. Скопин И.Н.,вед. инж. УНИПРО Есин А.В.

Махнаткина Анастасия Николаевна

Тема: Исследование и реализация средств неполигональной графики для расчетов: управление визуализацией.

18. Рук. к.ф.м.н. Скопин И.Н.,вед. инж. УНИПРО Есин А.В.

Кныш дарья Владимировна

Тема: : Исследование и реализация средств неполигональной графики для расчетов: трансляция данных.

19. Рук. к.ф.м.н. Скопин И.Н

Леконцев Андрей Николаевич

Тема: Система хранения больших массивов данных на основе темпоральных СУБД: реализационные аспекты.

Семинар Касьянова В.Н.

3. Рук. проф. Касьянов В.Н.

Шкурко Дмитрий Владимирович гр.0114

Тема: Системы переписывания графов.

4. Рук. Проф. Касьянов В.Н.

Трушин Максим Николаевич

Тема: Средства построения качественных иллюстраций в рамках системы HIGRES/

5. Рук. проф. Касьянов В.Н.

Юрьев Станислав Викторович

Тема: Разработка универсальной системы администрирования WEB- ресурса.

1. Рук. проф. Касьянов В.Н.

Болдырев Иван Иванович

Тема: Методы и средства для распределенного выполнения Sisal- программ.

25.Рук. Мурзин Ф.А.

Марчук Петр Александрович

Тема: разработка и исследование алгоритмов для анализа динамики цен на акции.

26.Рук. Мурзин Ф.А.

Шабалинский Евгений Андреевич

Тема: Анализ динамики цен на акции на основе кластерного анализа.

27.Рук. Мурзин Ф.А., снс. Базанова О.М. ИКЭМ

Жирков Дмитрий Евгеньевич

Тема: Анадиз электроэнцефалографических предикторов креативности.

28.Рук. Мурзин Ф.А., снс. Базанова О.М. ИКЭМ

Юрченко Максим Александрович

Тема: Прогноз нейробиоуправления по параметрам энцефалографического исследования.

8. Рук. доц. Мурзин Ф.А., снс. ИЦИГ Кель А.Г.

Черемушкин Евгений Сергеевич

Тема: Алгоритмы приближенной идентификации подцепочек для анализа последовательностей ДНК с использованием вейвлет-технологии.

8. Рук. доц. Мурзин Ф.А.

Батура Татьяна Викторовна гр.9115

Тема: Логические методы представления смысла текста на естественном языке.

9. Рук. доц. Мурзин Ф.А.

Фенстер Александр Геннадьевич гр.9115

Тема: Разработка системы аннотирования и каталогизации сайтов.

10.Рук. доц. Мурзин Ф.А.

Мухин Денис Юрьевич гр. 9115

Тема: Исследование алгоритмов варьирования применительно к

MIDI -файлам.

11.Рук. доц. Мурзин Ф.А.

Панычев Алексей Леонидович гр.9115

Тема: Разработка и анализ алгоритмов предсказания поведения функции на основе статистических данных, применительно к MIDI -файлам.

9. Рук. зав. каф. информатики ВКИ Куликов А.И.

Шаманин Денис Владимирович гр. 0114

Тема: Алгоритмы визуализации векторных полей на основе непрерывной кластеризации.

10. Рук. зав. каф. Информатики ВКИ Куликов А.И.

Старостин Михаил Сергеевич гр 0114

Тема: Алгоритм сжатия растровых изображений на основе фрактального подхода.

11. Рук. зав. каф. Информатики ВКИ Куликов А.И., с.н.с. ИВТ СОРАН Пестунов И.А.

Будкина Екатерина Александровна

Тема: Непараметрические алгоритмы автоматической классификации для анализа многоспектральных аэрокосмических изображений.

3. Рук. зав. каф. Информатики ВКИ Куликов А.И.

Ермолин Егор Николаевич гр. 9114

Тема: Алгоритмы визуализации стационарных течений в динамике.

4. Рук. зав. каф. Информатики ВКИ Куликов А.И.

Шаманин Денис Владимирович

2 Рук. зав. кафедрой информатики ВКИ Куликов А.И.

Грехов Сергей Сергеевич гр. 8015.

Тема: Алгоритмы классификации ДНК бактерий.

Семинар ИИ, Загорулько Ю.А.

6. Рук. н. С. ИСИ СОРАН Костов Ю.В.

Хохлунов Евгений Викторович

Тема: Система визуализации и навигации по сложным сетевым структурам.

7. Рук. н. С. ИСИ СОРАН Костов Ю.В.

Игумнов Дмитрий Александрович гр. 0114

Тема: конструктор онтологий, основанных на тезаурусах.

8. Рук. н. С. ИСИ СОРАН Костов Ю.В.

Плотников Кирилл Юрьевич

Тема: Система тестирования для решателя UNICALC.

32.Рук. к.ф.-м.н. Семенов А.Л.

Пономарев Евгений Геннадьевич гр. 0115

Тема: Разработка модуля выполнения символьных преобразований в решателе Sibcale.

44.Рук. к.ф.м.н. Ушаков Д.М.Ю инж. Ершов А.Г.

Аникевич Николай Юрьевич гр. 0115

Тема: Реализация подсистемы выбора натурального решения задачи удовлетворения геометрических ограничений в двумерном геометрическом решателе LGS.

45.Рук. к.ф.м.н. Ушаков Д.М.Ю инж. Ершов А.Г.

Еремческо Андрей Алексеевич

Тема: Моделирование сложных сущностей и методы решения задач удовлетворения ограничений в двумерном геометрическом решателе LGS.

Рук. к.т.н. Загорулько Ю.А.

Цецохо Андрей Сергеевич

Тема: Визуальная среда разработки и отладки специализированных словарей

В системе автоматической обработки текстов ALEX.

Рук. к.т.н. Загорулько Ю.А.

Доровский Савва Витальевич гр. 9114.

Тема: разработка экспертной системы диагностики и корректировки микроэлементного

Состава организма.

7. Рук. н.с.Н.Ф. Рос НИИ ИИ Попов И.Г.

Варавин Алексей Васильевич

Тема: Система группового общения через интернет в режиие «оффлайн».

3. Рук.н.с.ИСИ СО РАН Костов Ю.В.

Батура Янис Норбертович 8015

Тема: Платформа для создания настраиваемых моделей эволюционных мульти-субьектных систем.

6. Рук. к.ф.-м.н. Кашеварова Т.П. снс ИСИ СО РАН

Долгов Юрий Геннадьевич гр. 8011

Тема: Разработка алгоритмов решения задач глобальной оптимизации с использованием интервальных методов распространения ограничений

10..Рук. к.ф.-м.н. Семенов А.Л.,снс ИСИ СО РАН

Манкевич Павел Валерьевич

Тема: Разработка модуля решения полиномиальных ограничений в решетеле Sibcalc.

Семинар Федотова А.М.

12.Рук. к.т.н. Мазов Н.А.Б зав. информационно-библиотечным центром

Кузнецова Любовь Владимировна гр. 0114

Тема: Разработка приложения для межформатного преобразования данных

ISO-2709 и XML.

19.Рук. к.т.н. Подколодный Н.Л., зав. сектором ИВМ и МГ Николаев С.В.

Ожогин Максим Владимирович гр. 0115

Тема: Программная реализация алгоритма докинга белковых молекул.

20. Рук. к.т.н. Подколодный Н.Л.,

Синицын Василий Андреевич гр. 0115

Тема: Применение нейронных сетей для распознавания функциональных

Нуклеотидных последовательностей.

21.Рук. к.ф.-м.н., доцент Молородов Ю.И.

Голиков Николай Владимирович гр. 0114

Тема: Разработка информационной модели обработки данных, полученных из численных экспериментов.

22.Рук. к.ф.-м.н., доцент Молородов Ю.И.

Сударикова Ирина Александровна гр.0114

Тема: Создание информационной системы « Атмосферные аэрозоли Сибири»

Рук. к.ф.-м.н., доцент Молородов Ю.И.

Агафонов Дмитрий Юрьевич гр.0114

Тема: Создание универсальной системы каталогизации на основе информационной модели.

24.Рук. к.ф.-м.н., доцент Молородов Ю.И.

Шалин Алексей Олегович гр.0114

Тема: Разработка технологии создание Веб-сервисов для задачи классификации.

46.Рук. проф. Федотов А.М.

Илларионов Александр Владимирович гр. 0115

Тема: Технология создания - WEB -сервисов

Семинар «Системное программирование»

18.Рук. вед. инж. ИСИ СОРАН им. А.П. Ершова Можейко А.А.

Рязанцева Елизавета Ивановна

Тема: Визуальный отладчик для параллельных программ для мультироцессора фирмы

Cradle Technologies.

11.Рук. вед. инж. ИСИ СО РАН Можейко А.А.

Борцов Кирилл Юрьевич

Тема: Оптимизирующий кодогенератор параллельных программ для фирмы Cradle Technologies.

29.Рук. доц. Пищик Б.Н., инж. Басмов И.Г.

Паньшина Анна Михайловна

Тема: Генерация кода по динамическим диаграммам языка UML на

платформе .NET

30.Рук. доц. Пищик Б.Н., инж. Басмов И.Г.

31.Носков Виктор Сергеевич гр. 0114

Тема: Интерпретатор языка OCL для платформы .NET.

Рук. ктн. Доцент Пищик Б.Н.

Казаков Владимир Петрович гр. 9114

Тема: Тестирование компонентов, исполняемых в среде . NET.

Рук. проф. Замулин А.В.

Мазов Иван Николаевич гр. 9112

Тема: Реализация языка спецификаций Руслан-99.

9. Рук. к.ф.м.н. снс ИСИ Шелехов В.И.

Алгазин Александр Адексеевич гр. 9113

Тема: Построение переносимой среды разработки в системе предикатного программирования.

Рук. доц. Бульонков М.А.

Кулик Мария Владимировна гр.9112

Тема: HyperCode.NET.

Рук. доц. Бульонков М.А.

Вольхина Надежда Константиновна

Тема: Поиск дубликатов в программах.

5. Рук. Руководитель информационного центра ИНХ СОРАН к.ч.н. Кузюмин А.О.

Тупий А.В.

Тема: Разработка редактора XML Schema в среде C#.NET для XML ориентированных информационных систем.

15. Рук. проф. Бадман О.В.

Нечаева О.И.

Тема: Разработка и программная реализация нейросетевого алгоритма

Построения адаптивных сеток.

16. Рук. д.ф.м.н. Вшивков В.А.

Снытников Нниколай Валерьевич

Тема: Численное моделирование эволюции галактик

на многопроцессорных ЭВМ.

2. Рук. К.ф.м.н. внс ИВМ иВГ СО РАН Дебелов В.А.

Пархоменко Иван Николаевич гр. 0114

Тема: Разработка программы визуализации в системе SmogDX сцен, описанных на VRML97.

13. Рук. проф. Марчук А.Г.

Кожевников Александр Константинович гр.

Тема: Система управления XML базами данных, выполненная в виде - WEB-сервиса.

Рук. проф. Марчук А.Г.

Гусев Роман Юрьевич

Тема: Управление информационными потоками в информационной системе кафедры.

Рук. проф. Марчук А.Г.

Борисов Дмитрий Геннадьевич

Тема: Обеспечение базовых функциональностей в информационной системе кафедры.

Рук. проф. Марчук А.Г.

Молостов Егор Александрович гр. 0114

Тема: Гибкий интерфейс к базам данных, построенных на основе XML.

Рук. проф. Марчук А.Г.

Боярский Станислав Андреевич

Тема: Публичный архив документов и информации, построенный по технологии RDF.

4 Рук. проф. Марчук А.Г., директор ИСИ СОРАН

Демин Александр Викторович 8014

Тема: Создание нейросетевых экспертных систем анализа данных

5 Рук. проф. Марчук А.Г.директор ИСИ СО РАН

Докторович Станислав Аркадьевич гр. 815

Тема: Модель построения документарных архивных систем с помошью механизма пошаговой сборки информации.

9. Рук. проф. Марчук А.Г. директор ИСИ СО РАН

Гилев Константин Викторович

Тема: Решение обратной задачи рассеяния одиночной частицей с помощью нейронных сетей.

6. Рук. проф. Марчук А.Г.

Костылев Андрей Ллеонидович гр. 9112

Тема: Распределенное сканирование сетевой активности для создания динамически изменяемых баз сигнатур - DdoS-атак.

7. Рук. проф. Марчук А.Г.

Кутова Евгения Владимировна гр.9112

Тема: Обеспечение безопасности трансфера сильнокомпрессионных аудиоданных в клиент серверных приложениях IP - телефонии.

Семинар «Теоретическое программирование»

5.Рук. Непомнящий Валерий Александрович

Марьясов Илья Владимирович

Тема: Автоматическая генерация условий корректности для программ на языке ПАСКАЛЬ.

Blog