Заседания 2014/2015 учебного года
Кривоконь Дмитрий Сергеевич
Рандомизированные подходы к оценке положения движущегося объекта при помощи камеры (предзащита)
В работе рассматривается задача оценки координат движущегося объекта на основе изображений, получаемых с одной камеры. Для ее решения предлагаются новые методы, использующие рандомизацию положения камеры в своей основе. Такой подход позволяет построить состоятельные итеративные псевдоградиентные алгоритмы, успешно осуществляющие оценку положения объекта без каких либо существенных ограничений на характер его движения. Это является принципиальным свойством этих методов, отличающим их от существующих аналогов, которые либо используют дополнительные сенсоры, либо предполагают, что объект движется в заранее известных рамках (например, в плоскости или с постоянной скоростью).
Баклановский Максим Викторович
Система множественной загрузки 1b00t
Будет показана работа системы 1b00t на машине, на которой установлены
и загружаются независимо друг от друга более 10 современных ОС. После
этой демонстрации планируется разбор основных приёмов работы с
мультизагрузчиком и минимальный обзор теоретических основ его работы.
Так же возможен показ некоторых инструментов, которые использовались при
разработке данного продукта.
2015
Немешев Марат Халимович
Система BlackBoard СПбГУ
С 2012 году в нашем университете началась эксплуатация системы поддержки образовательного процесса BlackBoard с целью улучшить дистанционное взаимодействие преподавателей и студентов, организовать самостоятельную работу. Вначале прошли пилотные эксперименты по использованию этой системы по направлениям менеджмент и юриспруденция, в дальнейшем руководство СПбГУ наверняка будет уделать внимание использованию BlackBoard и на других факультетах.
В декабре 2014 года докладчик прошел обучение основам работы в системе BlackBoard СПбГУ и готов поделиться информацией о том, что из себя представляет эта система, ее возможности, сильные и слабые стороны. А нам всем вместе придется поразмыслить о том, какую пользу может принести BlackBoard в преподавании наших дисциплин.
Для предварительного ознакомления с системой можно
попробовать зайти в систему BlackBoard
СПбГУ по адресу https://bb.spbu.ru – для доступа нужен общеуниверситетский
логин типа st00XXXX и пароль к нему и/или зарегистрироваться в бесплатном сервисе
https://www.coursesites.com/ в качестве инструктора (для
регистрации можно вопользоваться имеющимся аккаунтом facebook/linkedin/google+ и так далее).
2014
Фирун Константин Борисович (предзащита)
Создание распределённой вычислительной среды на базе мобильных устройств для решения задачи распознавания речи и голоса
Объект исследования: Распределённая вычислительная среда на базе
мобильных устройств, Автоматическое распознавание речи и его применение.
Предмет
исследования: Создание распределённой вычислительной среды на базе
мобильных устройств для решения задачи распознавания речи.
Цель
исследования: Создание программного комплекса распределённой
вычислительной сети, работающей на множестве мобильных устройств
последнего поколения, поддерживающих беспроводное соединение Bluetooth
или Wi-Fi для организации вычислительного кластера выполняющего
приложение мгновенного автоматического распознавания речи и её перевода в
текст из аудиоинформации.
Результаты исследования: Создание
программного комплекса распределённой вычислительной сети, работающей на
множестве мобильных устройств; Создание персональных мобильных
вычислительных кластеров на примере решения задачи мгновенного
автоматического распознавания речи и её перевода в текст.
2014
Елена Сивоголовко (научный руководитель проф. Б.А. Новиков)
Оценка качества кластеризации
Кластеризация является одной из ключевых областей интеллектуального анализа данных. Кажущаяся простота постановки задачи, возможность выявления скрытых взаимоотношений между данными как на множестве в целом, так и внутри каждого кластера по отдельности, а так же несомненное улучшение восприятия аналитиками данных, разбитых на кластерную структуру, — всё это делает методы кластерного анализа широко используемыми в самых различных областях. Оценка качества очень важна для всего процесса кластеризации, потому что без неё полученная структура кластеров не может быть сочтена достаточно достоверной для того, чтобы делать из него какие-то выводы или проводить дальнейший анализ на её основе. Автоматические методы оценки качества кластеризации могут быть рассмотрены как функции от полученной кластерной структуры и исходного множества, в литературе они носят названия индексов или метрики. Их использование может упростить оценку качества кластеризации, в случаях приведённых выше, а так же повысить её эффективность. В рамках доклада будет рассмотрен основной спектр индексов оценки качества кластеризации, разработанный и используемый на текущий момент. Рассмотрен вопрос применимости различных индексов оценки качества к разным классам алгоритмов кластеризации. Представлено исследование о влиянии ошибок данных на качество кластеризации. Поднята проблема о семантической стороне оценки качества кластеризации. Предложен способ ее решения с помощью RDF модели.
2014
Мохов Андрей Анатольевич (Ньюкаслский университет)
Графы с предикатами и их применения
Графы с предикатами — это графы, элементы которых (ребра и вершины)
размечены логическими условиями (предикатами), которые могут эти
элементы «включать» и «выключать». Предикаты могут зависеть от свободных
параметров и, соответственно, могут принимать как истинные, так и
ложные значения в зависимости от значений этих параметров. Элемент с
ложным предикатом считается «выключенным» и исчезает из графа.
Графы с
предикатами обладают многими интересными свойствами и находят
применения в разработке программных и аппаратных систем. В этом докладе
будут даны основные определения теории графов с предикатами, рассмотрены
некоторые их применения, и продемонстрировано программное обеспечение
для автоматизации работы с ними.
О докладчике:
Андрей Анатольевич Мохов закончил аспирантуру в
университете Ньюкасла в 2009 году и в данный момент продолжает работать
там доцентом. Его основные научные интересы: формальные методы
разработки программного и аппаратного обеспечения, теория параллельных
вычислений, асинхронные схемы, высокопроизводительные и
энергоэффективные вычислительные системы.
2014
Линский Евгений Михайлович (ГУАП)
Проблема нехватки ресурсов каналов связи в мобильных сетях. Подходы к решению
Доклад посвящен проблеме нехватки ресурсов каналов связи в различных сегментах мобильной сети: опорной сети, транспортной сети, радиосети. Будут рассмотрены два подхода к решению этой проблемы: кэширование и приоритизация трафика. Будет сделан обзор существующих программных решений, использующих эти подходы. Особое внимание будет уделено работе с видео трафиком, поскольку передача этого вида трафика требует большого объема ресурсов канала.
Баклановский Максим Викторович, Луцив Дмитрий Вадимович
Новое аудиторное оборудование
1. Ознакомление с новым оборудованием и сигнализацией.
2. Демонстрация возможностей оборудования.
3. Краткое описание технологий (в т.ч. 3D).
Ломов Александр Андреевич (ПетрГУ)
Метод онтолого-ориентированной разработки программных агентов с косвенным взаимодействием в интеллектуальных пространствах
Материалы к докладу:
1. Автореферат диссертации
2. Презентация
Баклановский Максим Викторович
Новый ресурс кафедры для публикации результатов (дискуссионное выступление)
Материалы к докладу: описание нового ресурса
Стипендия А.Н. Терехова
