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

24 мая 2012
(четверг 14-00 каб. А.Н. Терехова)

проф. Сергей Михайлович Ермаков
О параметрически разделяемых алгоритмах

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

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

Фирун Константин Борисович
Современные проблемы автоматического распознавания речи

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

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

Торегожин Арстан Едигеевич
Практическое руководство по монетизации научных идей

Будет сделан обзор опыта проекта Менютка по поиску и получения инвестиций, даны практические советы и рассмотрены примеры комерческой реализации проектов с нуля (на стадии идеи или без) без начального капитала.

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

Фирун Константин Борисович
Создание распределённой вычислительной среды на базе мобильных устройств для решения задачи распознавания речи

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

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

Петров Александр Георгиевич, Николаев Сергей Николаевич
Трехмерное моделирование деформаций мягких тканей

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

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

Сартасов Станислав Юрьевич
Параллелизм в биометрических идентификационных системах

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

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

Венгеров Виктор Вячеславович
Мобильные коммуникации на море и реке. СН-5703 case study

Будет сделан обзор коммуникационных технологий и основанных на них приложений, используемых в морском и речном судоходстве (в частности, AIS и спутниковая связь).

Будут кратко представлены результаты проекта разработки коммуникационного блока системы навигации и управления движением речных судов (http://www.navis.ru/catalog_12_182.html).

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

Uolevi Nikula (LUT, Finland)
Managing educational software projects with the Rational Unified Process

In this talk we shall present a second year Master’s level course on software development focusing on the software development process. The course is based on an educational adaptation of the Rational Unified Process, the UPEDU process model, and the student teams go through a complete software development project from the inception phase to product release during a 14 week term with five member teams. During the course both engineering and management disciplines are covered, and the student progress on the software development project is followed in weekly progress report meetings. The course includes three reviews to demonstrate the benefit of documentation and using it in a software development project.

The talk will also discuss findings from a systematic study of this course. The key findings from the study indicate that from the course topics the students were the least familiar with project and team management topics and cultural differences as well as motivational theories proved important in understanding the team dynamics during the course as, for example, elements of Tuckman’s Four-Stage Team Development model were observed in the teams during the course. The students background knowledge such as previously completed degrees and acquired technical skills as well as the systematic completion of weekly assignments throughout the course following the course workload estimates correlated positively with good course results. The course appeared more challenging for the international students who had limited experience of the course environment including national and organizational cultures as well as the language and the prevailing climate.

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

Амелин Константин Сергеевич
Математическое обеспечение микрокомпьютеров группы лёгких БПЛА для распознавания образов

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

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

Ханов Артур Рафаэльевич
Сравнение потоков исполнения программ на основе списка системных вызовов

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

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

Цель данной работы - обработать эти данные и на их основе выдвинуть какие-либо гипотезы. Эти гипотезы прежде всего касаются "нестандартного" поведения процесса, под которым понимается поведение, отличное от того, которое встречалось ранее. Также рассмотрены возможности сравнения двух потоков на схожесть их набора вызовов.

Данный метод может быть применен для обнаружения взлома процесса и исполнения вредоносного кода, который будет генерировать не свойственные процессу системные вызовы.

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

Мехедов Иван Сергеевич (ВЦ РАН, Москва)
Многолистная фигура и ее медиальные дескрипторы

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

Тарасов Александр Александрович, Кокарев Константин Сергеевич (Доктор Веб)
Использование языка Perl для внутренних задач компании Dr.Web

Первая часть. Введение. Основные проблемы, общие концепции разработки.
* Группа внутренних разработок Dr.Web: назначение и примеры решаемых задач. Кратко.
* Почему Perl? Чем обусловлен выбора языка, проблемы, потенциально возможные альтернативы.
* Использование пакетного менеджера (RPM) для управления своими скриптами.
* Использование собственной сборки Perl.
* Сервис-ориентированная архитектура. Что мы подразумеваем под этим и что это дает. Понятие "сервиса". Обзор одного-двух работающих сервисов.

Вторая часть. Практики при разработке сервисов:
- библиотека gridMachine. Использование, проблемы. Рассмотрим в контексте сервиса для тестирования вирусных баз;
- Perl web-framework Mojolicious. Использование в реализации сервисов (Control Panel или Base fab);
- журналирование работы сервисов через (r)syslog. Модуль Sys::Syslog, facility, уровни, перенаправление, logrotate;
- обработка сигналов, DIE и WARN в модулях;
- Использование тестов. Модуль Test;
- Про LOCK'и (лок-файлы);
- меж-сервисное взаимодействие. Варианты, решения;
- Конфиги. Способы хранения, плюсы и минусы. Альтернативы.

Заключительная часть.
Задачи для студентов и комментарии к ним. Вопросы-ответы.

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

Mingyue Ding (HUST, China)
3D Ultrasound imaging and its medical applications

First, what is 3D ultrasound imaging technology, why we need to develop a 3D ultrasound imaging technology were discussed. Then, the different techniques of 3D ultrasound imaging were introduced. After that, the main applications in medicine were given, including diseases diagnosis, image-guided interventional surgery and therapy and the evaluation of therapy and surgery and follow up. Finally, the researches in the Medical Ultrasound Laboratory of Huazhong University of Science and Technology in China and main advances of the research were described. Furthermore, the future works are given.

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

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

Это первый из двух докладов, представляющий результаты работы авторского коллектива по созданию оригинальной технологии создания мобильных распределенных приложений. Предлагаемый авторами подход основан на двух компонентах - платформе Ubiq Mobile, обеспечивающей средства программирования и среду выполнения распределенных приложений на различных мобильных платформах, и метатехнологии графического проектирования QReal, позволяющей быстро создавать специализированные графические языки (DSL), ориентированные на конкретные предметные области и типы приложений.

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

В рамках доклада будет рассказано о том, как технология QReal может быть применена как средство программирования для Ubiq Mobile. Будет описан прототип технологии, представленный на конференции FRUCT10 в Тампере, будут приведены планы создания работающего в облаке средства визуального программирования под платформу Ubiq Mobile на основе QReal.

24 ноября 2011
(четверг 16-00 ауд. 2448)

Тихонова Ульяна Николаевна (СПбГПУ)
Автоматный подход к определению операционной семантики языков предметной области

В последнее время в разработке программного обеспечения возрос интерес к использованию языков предметной области (Domain Specific Languages, DSLs). Это связано с появлением новых подходов и методик к реализации новых языков, призванных упростить этот трудоёмкий процесс. Основной технологией, широко используемой для создания языков предметной области, является Model Driven Engineering (MDE, разработка управляемая моделями). В контексте MDE при создании нового языка явно и формально описываются только его метамодель (абстрактный синтаксис) и конкретный синтаксис (текстовый или графический). А реализация языка подразумевает программирование его (динамической) семантики на более низком уровне абстракции - с помощью трансформаций модели или генераций исходного кода. В предлагаемой работе исследуется возможность явного описания семантики языка предметной области с помощью стандартной для MDE нотации унифицированного языка моделирования UML (Unified Modeling Language), а именно с помощью диаграмм автомата UML (state charts diagrams). Такое описание не только позволяет достичь всех преимуществ наличия формальной спецификации языка, но и одновременно является его реализацией.

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

Здобнов Игорь Геннадьевич (Доктор Веб)
Сравнение файлов по структурной энтропии

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

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

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

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

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

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

Мечтаев Сергей Владимирович
Элиминация стереотипного кода в программах на языке Objective Caml

Проблемой многих программ является наличие в них большого количества стереотипного (англ. boilerplate) кода: вспомогательного, шаблонного кода, который повторяется от места к месту с незначительными изменениями. Его негативное воздействие проявляется в ухудшении гибкости и выразительности, увеличении количества ошибок.

В функциональных языках программирования особенно заметен стереотипный код, связанный с обходом данных. Для борьбы с ним было создано большое количество подходов, одним из самых известных из которых является подход Scrap Your Boilerplate (SYB) для языка Haskell. Он реализует концепцию обобщённого управляемого типами программирования (generic type-driven programming) и позволяет просто создавать запросы и трансформации для любых типов данных.

На данном докладе будет детально описан подход SYB, а также будет представлена его адаптация для языка Objective Caml. Процесс адаптации не является тривиальным в силу отсутствия требуемых для SYB возможностей в Objective Caml: безопасного приведения и классов типов. Также будут представлены техники оптимизации подхода, которые позволяют добиться значительно лучшей производительности по сравнению с оригинальным SYB.

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

Фёдоров Андрей Рюрикович
Школа системного программиста: приглашение к сотрудничеству

На семинаре будет рассказано о том, что такое "Школа Системного Программиста" и какие принципы положены в ее основу.

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

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

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

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

Зеленчук Илья Валерьевич (УрФУ)
Хакерские команды России и мира

На семинаре будет рассказано о том, кто такие хакеры, что означают слова BlackHat, GrayHat и WhiteHat, а также о том какие есть хакерские команды и чем они занимаются.

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

Вторая часть доклада будет посвящена теме хэк-культуры в университетах. Будет подробно рассказано про CTF соревнования, которые стали популярны в университетской среде, а также про CTF команды России и мира, кто они и чем занимаются.

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

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

Во всем мире активно ведутся исследования и работы и разработки в области электронных государственных сервисов (e-government services). Однако до настоящего времени не уделяется внимания методам проектирования и формальной спецификации таких сервисов. В основном, имеющиеся подходы используют онтологический подход (то есть создание различных классификаций информации). Эти онтологии бывают весьма детальными, но с ними трудно работать именно при создании электронных сервисов. Необходимы также доступные средства для формальной спецификации базовой информации о государственных услугах, содержащейся в законодательных актах и административных регламентах  - соответствующие алгоритмы оказываются запутанными и противоречивыми, количество документов велико и варьируется и т.д.

В данном докладе будет представлен русско-финский проект "Improving social services", стартовавший в мае 2011 году. В нем участвуют СПбГУ, СПбГПУ, Технический ун-т Лаапееранты (Software Engineering Department), Мэрия СПб (комитет по информатизации), мэрия города  Иматры и ряд других организаций. Проект нацелен на создание метода спецификации и пилотного Web-портала для подробного описания приграничных сервисов – то есть государственных сервисов РФ, которые нужны финским гражданам, путешествующим в России, и финских сервисов, которые нужны россиянам в Финляндии. По данным Госкомстата в 2010 году зафиксировано около 1 миллиона поездок финских граждан в Россию и около 3 миллионов поездок россиян в Финляндию.  По прогнозам финское консульство в СПб к концу 2011 года должно выдать около 1 миллиона финских виз. Так что потенциальных пользователей результатов этого проекта много, а существующие Интернет-ресурсы  в этой области либо освещают какой-то один фрагмент вопросов, либо охватывают более-менее все, но очень поверхностно.

В рамках доклада будет рассказано о текущем состоянии данного проекта. Будет представлена русско-финская статистика, приведен краткий обзор электронных гос. сервисов в Финляндии и в России, изложены идеи нашей Web-системы, а также приведено краткое описание текущей версии метода формальных спецификаций. Во всем мире активно ведутся исследования и работы и разработки в области электронных государственных сервисов (e-government services). Однако до настоящего времени не уделяется внимания методам проектирования и формальной спецификации таких сервисов. В основном, имеющиеся подходы используют онтологический подход (то есть создание различных классификаций информации). Эти онтологии бывают весьма детальными, но с ними трудно работать именно при создании электронных сервисов. Необходимы также доступные средства для формальной спецификации базовой информации о государственных услугах, содержащейся в законодательных актах и административных регламентах  - соответствующие алгоритмы оказываются запутанными и противоречивыми, количество документов велико и варьируется и т.д.

В данном докладе будет представлен русско-финский проект "Improving social services", стартовавший в мае 2011 году. В нем участвуют СПбГУ, СПбГПУ, Технический ун-т Лаапееранты (Software Engineering Department), Мэрия СПб (комитет по информатизации), мэрия города  Иматры и ряд других организаций. Проект нацелен на создание метода спецификации и пилотного Web-портала для подробного описания приграничных сервисов – то есть государственных сервисов РФ, которые нужны финским гражданам, путешествующим в России, и финских сервисов, которые нужны россиянам в Финляндии. По данным Госкомстата в 2010 году зафиксировано около 1 миллиона поездок финских граждан в Россию и около 3 миллионов поездок россиян в Финляндию.  По прогнозам финское консульство в СПб к концу 2011 года должно выдать около 1 миллиона финских виз. Так что потенциальных пользователей результатов этого проекта много, а существующие Интернет-ресурсы  в этой области либо освещают какой-то один фрагмент вопросов, либо охватывают более-менее все, но очень поверхностно.

В рамках доклада будет рассказано о текущем состоянии данного проекта. Будет представлена русско-финская статистика, приведен краткий обзор электронных гос. сервисов в Финляндии и в России, изложены идеи нашей Web-системы, а также приведено краткое описание текущей версии метода формальных спецификаций.

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

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

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

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

3. Организация бизнес ангелов С.Петербурга (клуб инвесторов стартапов ранних стадий) занимается неформальной подготовкой предпринимателей, в основном, из студентов, формированием команд проектов из студентов разных ВУЗов и специальностей, а  также помогает университетам в коммерциализации разработок. Сотрудничество с ВУЗами происходит в форме студенческих НИР и НИОКР, и подготовки университетских разработок к получению финансирования, и выходу на рынок.

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

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

Освоение конкретных технологий,  программных продуктов и профессиональная сертификация положительно влияют на образование в области ИТ в экономике, повышают конкурентоспособность выпускников, позволяют получить более комплексные знания (от теории до конкретной реализации). При этом, интеграция программ в учебный процесс является проблемой для многих ВУЗов. В докладе рассматривается опыт ФЭУ по адаптации программ вендоров и их интеграции в учебный процесс. Сотрудничество с вендорами и работа Центра сертификации сочетаются с развитием культуры студенческих проектов. Предложена методика организации и коммерциализации студенческих проектов, которые позволяют не только овладеть предметной областью, но и научиться работать в команде.

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

Вяткина Кира Вадимовна (Академический университет)
Эффективные методы идентификации масс-спектров с использованием тегов

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

В докладе будут обсуждаться эффективные методы идентификации и анализа масс-спектров, полученных по технологиям bottom-up и top-down, в основе которых лежит использование тегов -- коротких последовательностей аминокислот.