Заседания 2010/2011 учебного года

(четверг 17-20 ауд. 2448)

Выговский Леонид Сергеевич (СПбГЭТУ ЛЭТИ), Волков Сергей Андреевич
Система сбора и анализа информации в сети Интернет

* Обзор архитектуры приложения, принципы дизайна;
* Особенности сборки с тематических сайтов, оптимизация;
* Постобработка документов, подготовка индекса;
* Анализ документов.

12 мая 2011
(четверг 17-20 ауд. 2448)

Ханов Артур Рафаэльевич
Распознавание жестов с помощью нейронной сети без учителя

Задача распознавания жестов пользователя с помощью веб-камеры приобрела большую популярность. Существует множество работ на эту тему, для ее решения применяются мощные методы как алгоритмические, так и нейросетевые. Однако на данный момент не существует точного решения этой задачи в общем случае. Мы рассмотрим статический метод с использованием карты Кохонена (SOM) в качестве классификатора, а также различные способы формирования пространства признаков для ее обучения.

5 мая 2011
(четверг 17-20 ауд. 2448)

Булычев Дмитрий Юрьевич
Компонентная реализация компиляторов (по мотивам участия в LDTA Tool Challenge)

Создание компилятора включает в себя ряд стереотипных задач, таких, как написание синтаксического анализатора, описание абстрактного синтаксического дерева и процедур его обработки (обходов, свёрток и пр.) и так далее. Одним из способов добиться существенной экономии усилий является разработка предметно-ориентированных инструментов для написания компиляторов, однако создание хорошего языкового средства всегда сопряжено с большими трудностями.

С другой стороны, современные универсальные языки программирования предоставляют возможности специализации (customization), которые становятся сравнимыми с предметно-ориентированными языками, но имеют то преимущество, что их гораздо легче реализовать и они "погружены" в мощную среду исполнения базового языка.

В сообщении будут рассмотрены некоторые шаблоны программирования, а также библиотеки и расширения для языка Objective Caml, которые позволяют собирать аналитические просмотры компиляторов из переиспользуемых компонент. Данные компоненты могут раздельно компилироваться и независимо распространяться, а также комбинироваться друг с другом, при этом их совместимость верифицируется статически в терминах типизации.

Данный набор приемов был испытан во время проходившего в рамках семинара LDTA (Languages Definitions Tools and Applications) так называемого Tool Challenge, целью которого была реализация некоторого эталонного набора задач из области компиляции c использованием разнообразных современных инструментов.

21 апреля 2011
(четверг 17-20 ауд. 2448)

Коршунов Павел Валерьевич (Сингапур)
Качество видео для видеоанализа

Алгоритмы видео анализа используются во многих современных распределенных системах, в частности в системах видео наблюдения. Однако не до конца ясно какое минимальное (критическое) качество видео достаточно для аккуратной работы алгоритмов видео анализа. Чтобы понять требования этих алгоритмов к качеству видео, мы взяли несколько популярных и нетривиальных алгоритмов: определение лиц, распознавание лиц и отслеживание объектов. Эксперименты с этими алгоритмами показали, что видео можно сжать до очень низкого качества (по сравнению с качеством предназначенным для людей) без существенных потерей корректности алгоритмов.

Эти результаты воодушевили нас на разработку формализованного подхода для определения критического качества видео для различных алгоритмов видео анализа. Мы основываем наш подход на эвристических измерениях видео качества, которые особым образом выбираются специально для алгоритмов. Мы так же показали, что иногда с помощью анализа можно найти критическое качество видео без большого количества трудоемких экспериментов. В результате наших исследований, можно заключить, что компьютерное зрение сильно отличается от зрения человеческого и поэтому подходы к
изучению связи между видео качеством и алгоритмами видео анализа, измерения видео качества и видео кодеки тоже должны отличаться от существующих подходов.

О докладчике:
Павел является выпускником кафедры системного программирования 2002-го года. Диплом был написан под руководством Кознова Д.В. На 5-курсе обучения Павел проходил стажировку в Школе информатики (School of Computing) Национального университета Сингапура (National University of Singapore), в аспирантуру которого он поступил в 2003 году, защитившись в Феврале 2011 года. Интересы Павла включают в себя потоковое видео, его кодировку, обработку, отображение и анализ, а так же человеко-компьютерные интерактивные системы. Павел так же интересуется стартапами и предпринимательством в информационных технологиях. Его исследовательская страница в интернете: http://member.acm.org/~korshunov.

14 апреля 2011
(четверг 17-20 ауд. 2448)

Алиев Артём Александрович (EMC)
Системы хранения: Введение. Повышение производительности

Будет рассказано:
- о том, как устроен современный центр обработки данных;
- о преимуществах и возможностях централизованных систем
  хранения;
- что-такое Direct Attached Storage, Network Attached
  Storage, Storage Area Network.

В процессе доклада будут подробно рассмотрены:
- вопросы улучшения производительности систем;
- направления, в которых ведутся исследования.

7 апреля 2011
(четверг 17-20 ауд. 2448)

Пименов Александр Александрович
Архитектуры систем распознавания изображений. Система 3VI

В настоящее время происходит взрывной рост интереса к компьютерному зрению. Выход Microsoft Kinect, удешевление и коммерциализация сенсоров глубины, базирующихся на structured-light и time-of-flight принципах, задают серьезную планку для тех, кто хочет предлагать решения компьютерного зрения для потребительского рынка.

Доклад будет посвящен обзорy подходов к решению различных задач компьютерного зрения. Будет описана история разработки и возможности программно-аппаратной платформы 3Vi разработанной Теркомом. В первую очередь речь пойдет о ключевой для 3Vi технологии 6D, способной быстро и эффективно вычислять глубину объектов на основе стерео пары, а так же отслеживать их перемещения от кадра к кадру. Такая информация о позициях и скоростях объектов позволяет реализовывать различные пользовательские приложения, в том числе для потребительского и автомобильного рынков.

Так же будет освещен набор технологий с помощью которых можно будет
разрабатывать референсную(опорную) и аппаратно ускоренную реализации пользовательских приложений.

31 марта 2011
(четверг 17-20 ауд. 2448)

Исаев Олег Петрович
Реализация на ПЛИС рандомизированного алгоритма аппаратного сжатия аудиовизуальной информации, допускающего последующее распознавание информации

В последние годы развивается новая парадигма обработки информации - "опознание по сжатию" (Compressive Sensing). В её основе лежит замечательный математический результат о том, что информацию x, имеющую разреженное представление из s-ненулевых компонент в некотором (неизвестном) базисе и передаваемую сигналом f(x)
размерности N, с высокой вероятностью можно точно восстановить по достаточно вариативному вектору рандомизированных измерений y размерности m, где m =<С s log(N/s), (где, например, С=4). И наиболее здесь интересным будет являться случай, когда m << N.

"Опознание по сжатию" нашло своё применение в ряде прикладных задач по распознаванию образов и изображений. В научной литературе хорошо известна "однопиксельная камера".

В докладе будет представлен результат работ по реализации общей идеи цифро-аналоговой "однопиксельной камеры" на стандартном схемном решении на базе программируемой логической интегральной схемы (ПЛИС) и КМОП-видеоматрицы, проведённых на кафедре системного программирования СПбГУ.

24 марта 2011
(четверг 17-20 ауд. 2448)

Шигапова Ксения Асхатовна
Опыт проведения студенческих проектов в 2009-2010 годах

На протяжении многих лет кафедра системного программирования совместно с компанией ЗАО «Ланит-Терком» организует студенческие проекты. Студенческие проекты представляют собой проекты по разработке программного продукта, участники которого - студенты, а руководитель - опытный сотрудник компании. Таким образом, участие в студенческом проекте позволяет студентам прикоснуться к промышленной разработке, опыт которой существенно отличается от академических курсов, читаемых в университете. Кроме такого опыта, активные студенты, получают рекомендации на кафедру системного программирования и работу в IT компании.

За последние годы расширился спектр технологий, охваченных студенческими проектами. Набирают обороты мобильные платформы (iPhone, Google Android), растет интерес к веб-технологиям.  Но не остается без внимания и "традиционный" набор технологий: .NET, C++, Java, а также разработка программного обеспечения под аппаратные платформы.

В докладе будет дан общий обзор студенческих проектов за последние два года, рассмотрены темы и направления, привлекающие студентов. Также будет уделено внимание интересным практикам, применяемым руководителями проектов, приведены примеры успехов и неудач.

17 марта 2011
(четверг 17-20 ауд. 2448)

Моисеев Михаил Юрьевич (СПбГПУ)
Автоматизация обнаружения дефектов в многопоточных программах методами статического анализа

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

В докладе будет описан подход, позволяющий расширить алгоритмы статического анализа на многопоточные программы. В основе подхода лежат алгоритмы, извлекающие информацию о параллельно выполняющихся блоках программы и взаимодействующих конструкциях синхронизации. Разработанные алгоритмы реализованы в системе автоматического обнаружения дефектов в программах на языке C, использующих синхронизацию на основе Pthreads.

10 марта 2011
(четверг 17-20 ауд. 2448)

Василенко Роман Сергеевич (Лаборатория Касперского)
Метод раннего обнаружения вредоносных программ в глобальных вычислительных сетях на основе анализа процесса их распространения

Рост численности пользователей сети Интернет и появление в Сети электронной коммерции (например, онлайн-магазинов, электронной оплаты услуг в сети), а также других услуг, обусловили активное развитие деятельности злоумышленников. Основным инструментом злоумышленников на сегодняшний день являются вредоносные программы. Число ежедневно обнаруживаемых программ лишь за последние три года возросло более чем в 10 раз. И темпы роста продолжают увеличиваться.

Основным средством защиты пользователя является антивирусное программное обеспечение (ПО).

В докладе будет представлены результаты анализа существующих методов детектирования вредоносных программ, выделены плюсы и минусы, оценена пороговая эффективность для каждого из методов. По результатам анализа предложен метод обнаружения вредоносных программ на раннем этапе, основанный на анализе процесса их распространения.  В основе метода заложена гипотеза о различии в динамике и внутренней структуре процессов распространения вредоносных и чистых программ.

3 марта 2011
(четверг 17-20 ауд. 2448)

проф. Новиков Борис Асенович
Семантическое кеширование для слабоструктурированных данных

Идея использования высокоуровневой семантической информации для повышения эффективности систем управления базами данных весьма привлекательна и поэтому попытки ее применить различных контекстах предпринимались неоднократно. Однако реальная возможность использования этих подходов ограничивается теоретической сложностью и даже неразрешимостью в общем случае некоторых неизбежно возникающих задач, в частности, задачи включения запросов.

В докладе представлены результаы проекта по анализу применимости и полезности семантического кеширования при обработке слабоструктурированных данных в распределенных неоднородных системах инфомационных ресурсов.

17 февраля 2011
(четверг 17-20 ауд. 2448)

Смирнов Михаил Николаевич
Проект DocLine. Разработка документации для семейств программных продуктов

Планируется рассказать про проект DocLine, его текущие результаты, первоочередные задаси и планы развития.

Для проектирования и разработки документации с акцентом на повторное использование на кафедре системного программирования математико-механического факультета СПбГУ был разработан метод DocLine, включающий в себя оригинальный язык разработки документации DRL, процесс разработки документации, а также инструментальный пакет. Данный метод охватывает весь жизненный цикл разработки документации от проектирования до публикации итоговых документов и поддерживает плановое адаптивное повторное использование документации.

Язык DRL (Document Reuse Language) имеет две нотации - графическую (DRL/GR) и текстовую (DRL/PR). Графическое представление служит для проектирования структуры повторного использования документации. Текстовое представление позволяет описать в виде XML-представления варианты конфигурирования повторно используемых компонент и конкретные конфигурации для порождения конечных документов.

Внутренне представление документа на языке DRL реализовано на основе XML формата. Все данные хранятся в XML файле. Язык DRL поддерживает модульность документов, структура документа также хранится в XML файле. В совокупности это позволяет легко разбирать структуру документа и извлекать из нее разделы документа.

10 февраля 2011
(четверг 17-20 ауд. 2448)

Амелин Константин Сергеевич, Корявко Александр Владимирович
Мультиагентная система для управления группой лёгких беспилотных летательных аппаратов

В современном мире "Беспилотные летательные аппараты" (БПЛА) приобретают все большую популярность в качестве легких и недорогих инструментов для исследования территорий, разведки, воздушных съемок. Одно из главных преимуществ БПЛА - исключение человеческого фактора при выполнении поставленной задачи, который особенно сказывается в опасных для жизни человека ситуациях. Своей целю, мы ставим увеличение эффективности БПЛА за счёт группового полёта с автономным общением между БПЛА. Для этого мы разрабатываем систему сопряжённых взаимодействий, в основе которой лежит мультиагентный подход.

Большинство современных систем управления группой БПЛА характеризуются невозможностью автономной постановки новых задач для оперативного принятия эффективных решений по изменению сценария выполнения поставленной исходной задачи. Основная цель нашей работы - обеспечение возможностей мультиагентных технологии для решения подобных проблем. Под "агентом" мы понимаем программный объект, способный воспринимать ситуацию, принимать решения и взаимодействовать с себе подобными.

Базовая модель  БПЛА - это мотопланер, сделанный из передовых полимерных материалов, на котором установлен бесколлекторный двигатель с управляющим микроконтроллером, бортовой микрокомпьютер, датчики высоты и скорости, стабилизирующие пироэлементы и пьезогироскопы, спутниковая навигация, мощные управляющие сервомеханизмы. Питание производится за счет легкого литий-полимерного (Li-Po), или литий-фосфатного (LiFePO4) аккумулятора. Максимальный полётный вес примерно 2,2 кг, размах крыла 2,2 м, и длину 1,2 м. Полезная нагрузка в виде различных датчиков может составлять около 500 г. Высота полёта достигает 3 км. Дальность полёта аппарата доходит до 50 км.

Реализуется новая трёх уровневая система управлении БПЛА:
1 уровень (верхний) - задание глобальной задачи группе,
2 уровень (средний) - мультиагентная система для управления группой,
3 уровень (нижний) - управление исполнительными механизмами БПЛА.

Участники проекта: д.ф.-м.н., профессор Граничин Олег Николаевич, c.н.с. Корявко Александр, аспиранты: Амелин Константин и Амелина Наталья

(четверг 17-20 ауд. 2448)

Бреслав Андрей Андреевич (СПбГУ ИТМО)
Автоматизированная реализация механизмов композиции в предметно-ориентированных языках

Предметно-ориентированные языки (ПОЯ), более известные как Domain Specific Languages (DSLs), создаются для сокращения затрат при решении задач в одной узкой предметной области. Широко известными примерами таких языков служат SQL, make или YACC, а также языки регулярных выражений и URI.

Разработчик, создающий такой язык, должен уделять внимание в первую очередь тем его аспектам, которые моделируют понятия из предметной области, поэтому такие возможности как повторное использование и модульность спецификаций, написанных на ПОЯ, часто отходят на второй план. Это приводит к необходимости дублировать код на таких языках, чем затрудняет их использование на практике. Вследствие этого возникает потребность в автоматизации разработки механизмов композиции спецификаций для ПОЯ.

Доклад посвящен автоматизированному методу расширения предметно-ориентированных языков такими возможностями как шаблоны (типизированные макроопределения, корректность использования которых контролируется до разворачивания) и аспекты (средства "инвазивной композиции" спецификаций). Данные механизмы позволяют повторно использовать код, написанный на ПОЯ, и не требуют значительных затрат при разработке самого языка.

16 декабря 2010
(четверг 17-20 ауд. 2448)

Кривошеин Борис Николаевич
Абонентская приставка для IP-телевидения

Абонентская приставка IMAQLIQ TV IP предназначена для применения в сетях цифрового вещания IPTV, а именно, для приема видеосигнала, передаваемого по сети передачи данных и упакованного с использованием MPEG-2, H.264/AVC, VC-1 в форматах SD и HD. Аппаратура приставки разработана по заказу компании IMAQLIQ в департаменте радиоэлектронной аппаратуры нашей компании. Конкретные функции приставки зависят от загруженного в нее программного обеспечения, что является несомненным преимуществом для операторов услуг PTV.

Cодержание доклада:
- Область применения
- Возможности технологии IPTV
- Преимущества технологии IPTV
- Системные параметры
- Сетевые протоколы, аудио и видео декодеры
- Центральный элемент приставки: микросхема HD декодера STi7105
- Структура STi7105, ее основные функции, разработка аппаратной платформы
  приставки на ее основе

9 декабря 2010
(четверг 17-20 ауд. 2448)

Бугайченко Дмитрий Юрьевич
Символическая верификация - теория и практика. Применение многокорневых бинарных решающих диаграмм для вероятностной верификации

По сути доклад из двух частей. В первой части небольшой рассказ о задаче model checking, о классах систем с которыми приходится работать, о некоторых инструментах и успешных случаях применения. Во второй части рассказ о том что такое BDD и как они применяются, о том что такое ADD (MTBDD) и как они применяются для вероятностной верификации. А затем собственно про нашу разработку - MRBDD, позволяющую представлять распределения вероятности более эффективно чем MTBDD без потери общности операций.

2 декабря 2010
(четверг 17-20 ауд. 2448)

Фёдоров Андрей Рюрикович
Использование арифметики конечных колец для построения RAID-6 массивов

Вычисления в полях Галуа вида GF(2^n) имеют большое количество применений. Среди них помехозащищенное кодирование, шифрование, генерация псевдослучайных чисел. При этом сложность организации вычислений существенно возрастает с ростом размера поля. В докладе рассматривается метод вычислений в полях вида GF(2^nm), основанный на представлении поля GF(2^nm), как расширения GF(2^n). На его основании предлагается способ построения дисковых массивов, позволяющих восстанавливать 2 и более дисков в случае утраты (RAID-6).

Последующий анализ алгоритмов RAID-6 приводит к выводу об избыточности требования обратимости всех ненулевых элементов структуры, в которой производятся  вычисления. Это наблюдение позволяет применять арифметику конечных колец при организации RAID-6 вычислений. Приведен метод построения конечных колец с необходимыми характеристиками, как расширений полей GF(2^n) и демонстрируются преимущества данного метода вычислений.

25 ноября 2010
(четверг 17-20 ауд. 2448)

Астапкович Александр Михайлович
Синтез адаптивного помехоустойчивого фильтра границ на основе нейронной сети

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

Для обучения нейронной сети использовалась одношаговая процедура обучения для схемы "Обучение с учителем". Сеть обучалась на примере искусственно сгенерированных изображений.

Для обучения использовались примеры с выделением границ с помощью классического фильтра Лапласа и границ, задаваемых "вручную".

Рассмотрен эффективный алгоритм  обучения сети на последовательности обучающих примеров. Детально исследовались свойства нейросетевого фильтра 5*5,  обеспечивающего выделение границ на зашумленном изображении.

Сделан вывод о перспективности предлагаемого подхода. Обсуждаются шаги по развитию этого направления.

18 ноября 2010
(четверг 17-20 ауд. 2448)

Грачёв Михаил Константинович
Применение аспектно-ориентированной методологии для реализации сквозной фунциональности ПО

В докладе дан обзор методологии аспектно-ориентированного программирования. Будет рассмотрено использование инструментариев PostSharp и Policy Injection Application Block при разработке на платформе Microsoft .NET. Будут рассмотрены примеры реализации проверки входных значений функций, кэширования, поддержки транзакций и обеспечения многопоточности.

28 октября 2010
(четверг 17-20 ауд. 2448)

проф. Фрадков Александр Львович
ЛЕГО-роботы в образовании в школе и вузе

Новые практические задачи в области мехатроники и автоматизации требуют не только нового теоретического аппарата, но и поиска новых средств и подходов к обучению. Развитие вычислительной техники привело к появлению удобных технических средств и сред для реализации адекватных подходов к обучению. Одной из наиболее удачных подобных сред является кибернетический конструктор LEGO Mindstorms NXT. Механические детали LEGO знакомы многим с детства и предоставляют неограниченные возможности для творчества. Входящие в состав LEGO Mindstorms NXT датчики, актуаторы (исполнительные устройства) и вычислительно-коммуникационные средства  (микроконтроллерный блок, Bluetooth) позволяют создавать реальные системы и беспроводные сети, взаимодействующие с окружающей средой.

Перечисленные особенности LEGO Mindstorms NXT открывают дорогу к увлекательному творческому сотрудничеству при обучении студентов и школьников, а также их преподавателей. В докладе описываются первые результаты эксперимента по организации такого сотрудничества: проекта "Киберфизическая лаборатория", начатого в 2008 году совместно кафедрой теоретической кибернетики мат-меха СПбГУ и кружком робототехники физико-математического лицея  239 на базе ИПМаш РАН. Дается краткий обзор некоторых работ в этой области, ведущихся в зарубежных университетах и перечисляются некоторые направления развития.

21 октября 2010
(четверг 17-20 ауд. 2448)

Жуков Николай Николаевич
COSTAR - система комплексной защиты корпоративной сети

Обеспечить полную безопасность корпоративной сети от различных внешних и внутренних угроз на данный момент невозможно. В разных компаниях эта проблема решается системными администраторами и службами безопасности по-своему. Ими используются разные подходы, разное ПО и т.д. Этим летом Лаборатория Касперского объявила конкурс, целью которого было проектирование подобной системы. В результате участия в конкурсе совместной группой СПбГУ-УрГУ была спроектирована система COSTAR.

14 октября 2010
(четверг 17-20 ауд. 2448)

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

При построении беспроводной сети внутри зданий возникают проблемы качественного приема сигнала базовых станций. Это связано с тем, что путь распространения радиосигнала крайне разнообразен: от прямой видимости между приемником и передатчиком до сильно затененного пространства. Кроме этого, заранее невозможно предсказать расположение преград, материал преград, наличие мешающего излучения и т.п. Современные базовые станции беспроводной сети не обладают, за редким исключением, возможностью адаптивного управления качеством радиосигнала.

В докладе рассмотрен один из возможных методов улучшения качества связи в беспроводной сети внутри помещения, основанный на адаптивном управлении излучением и способом модуляции сигнала базовой станции.

7 октября 2010
(четверг 17-20 ауд. 2448)

Брыксин Тимофей Александрович, Литвинов Юрий Викторович
QReal: летняя школа и направления дальнейшего развития

Одним из подходов к созданию ПО является модельно-ориентированная разработка. Она основывается на представлении программы в виде набора моделей, представляющих ее с различных точек зрения. При этом обычно используются визуальные языки моделирования. Существует довольно много инструментов для поддержки данного подхода, один из них разрабатывается на кафедре уже несколько лет под руководством Андрея Николаевича Терехова. Последняя версия этого инструмента носит название QReal.

Одним из направлений развития CASE-технологий является предметно-ориентированное моделирование. Зачастую оказывается, что создание специализированного визуального языка, решающего конкретную задачу, и ее решение с помощью этого языка, оказывается быстрее и эффективнее, чем решение этой же задачи с помощью языка общего назначения. Особенные преимущества это дает, если нужно решать большое количество разных задач в одной предметной области.

В докладе будет дан общий обзор CASE-подхода и предметно-ориентированного моделирования, будет рассказано о системе QReal. Также будет рассказано об организации весеннего студпроекта и последующей летней школы, о том, какие задачи ставились перед студентами, и чего удалось достичь в области поддержки визуального
моделирования и предметно-ориентированных языков.

30 сентября 2010
(четверг 17-20 ауд. 2448)

Ханов Артур Рафаэльевич
ICFPC: соревнования по системному программированию

Доклад является обзором задач, которые были поставлены перед участниками международных соревнований по программированию ICFPC. Эти соревнования приурочены к ежегодной конференции по функциональному программированию ICFP, однако задачи можно решать на любом языке программирования.

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

Эти соревнования приобрели большую популярность и у русскоязычных программистов.

23 сентября 2010
(четверг 17-20 ауд. 2448)

Лучин Роман Михайлович
RoboCup: соревнования роботов

Доклад посвящён перспективам участия команд СПбГУ в RoboCup и первым шагам, предпринимаемым с целью создания такой команды.

RoboCup международные соревнования в четырёх категориях среди роботов (http://www.robocup.org/). Эти соревнования создавались для содействия научным исследованиям в области искусственного интеллекта. Любая команда-участница таких соревнований сталкивается с необходимостью решить огромное число теоретических и практических задач. Можно привести примеры некоторых классов таких задач:
1. Разработка системы видеозрения (включает в себя обработку  видеопотока, распознавание образов, идентификация физических характеристик объектов).
2. Разработка системы стабилизации движений (движение по  траектории, избегая столкновения, согласованное движение разнородных элементов и/или групп объектов).
3. Разработка системы анализа событий и принятия решений. При этом, обычно требуется функционирование системы при ограниченных вычислительных мощностях и в режиме реального времени. Как правило возникают вопросы разработки ОСРВ для устройств различных типов, вопросы коммуникации устройств и программных комплексов.

Не удивительно, что в настоящее время RoboCup превратился, по сути, в соревнования университетов и крупных исследовательских центров.

Не удивительно, что в настоящее время RoboCup превратился, по сути, в соревнования университетов и крупных исследовательских центров.

16 сентября 2010
(четверг 17-20 ауд. 2448)

Медведев Олег Валерьевич
Аппаратная реализация на HaSCoL устройства для классификации сетевых потоков и поиска атак в них

Доклад будет посвящен участию докладчика в соревновании по программно-аппаратному кодизайну при конференции MEMOCODE 2010 (http://memocode2010.csail.mit.edu/redmine/wiki/memocode2010/Memocode2010).

Задача соревнования этого года была весьма практическая - надо было реализовать сканер, в который поступает сетевой поток, содержащий до 64 TCP соединений, на скорости 500MBit/s. Сканер выполняет две задачи:
1. Классификация соединений по протоколам верхнего уровня (HTTP, POP3, SNMP, DNS, WorldOfWarcraft, ...).
2. Поиск в потоках атак, применимых к протоколу, работающему в данном потоке.
Соответствие потока определенному классу, либо наличие в нем определенной атаки определяется поиском в потоке регулярного выражения, задающего класс/атаку.

Целью участия в соревновании было применение языка описания аппаратуры HaSCoL на [еще одной] практической задаче.

Будет, по-возможности, рассказано о вещах из списка:
* собственно постановка задачи;
* как устроено решение докладчика;
* как его можно было бы модифицировать, чтобы снять те или иные ограничения;
* как выглядят отдельные куски реализации (код);
* как устроены некоторые другие решения.

9 сентября 2010
(четверг 17-20 ауд. 2448)

Абусалимов Эльдар Шакирович, Батюков Александр Михайлович, Бондарев Антон Владимирович, Короткий Николай Викторович, Фомин Алексей Дмитриевич
Особенности ОС для встроенных систем

В настоящее время существует множество операционных систем для различных областей применения. Применение той или иной операционной системы сильно влияет на стоимость и время разработки конечного продукта. Все ОС обладают своими особенностями, в том числе и архитектурными, поскольку производительность системы в целом зависит от алгоритмов, используемых в таких частях, как диспетчер памяти, планировщик потоков
(процессов) и так далее.

Сегодня широко распространены несколько принципов построения ОС. Мы рассмотрим некоторые архитектурные особенности, а также процесс разработки конечного продукта в сфере встроенных систем.

2 сентября 2010
(четверг 17-20 ауд. 2448)

Вяткина Кира Вадимовна
Прямолинейные скелеты и их приложения

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

В настоящее время известны три типа скелетов для многоугольника: срединная ось, прямолинейный скелет и линейная ось. Мы сосредоточим свое внимание на прямолинейных скелетах; в докладе будут обсуждаться их структурные свойства, методы их построения и возможности их использования при решении практических задач.