Персональные инструменты
Вы здесь: Главная seminar

Семинар кафедры системного программирования

 

 

 

 

 

Ближайшее заседание: среда 1 марта 2017 17-30 каб. А.Н. Терехова

Луцив Дмитрий Вадимович
Распределённая обработка информации и NoSQL базы данных (курс повышения квалификации)

Данный курс был разработан в рамках совместных работ ЗАО "Ланит-Терком" и СПбГПУ по повышению квалификации инженеров-программистов. Программа инспирирована программой одноимённого семинара, который автор курса проводит для студентов Матмеха СПбГУ. Курс для практикующих программистов, по сравнению с программой студенческого семинара, фокусируется на повышении профессиональной эрудиции и выделении классов задач, которые могут решаться при помощи различных классов программных систем. Также затронуты связанные с тематикой курса вопросы программной инженерии.

Прошедшие заседания 20016/2017 учебного года:

19 октября 2016
(среда 17-30 каб. А.Н. Терехова)

Сартасов Станислав Юрьевич
Эффект биометрического зверинца

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

12 октября 2016
(среда 17-30 каб. А.Н. Терехова)

Павлов Владимир Александрович (СПбПУ)
Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова

Рассматривается применение обратного метода Маслова для автоматического логического вывода в интуиционистской логике первого порядка. На данный момент существует немного программных реализаций обратного метода для этой логики при этом остаётся пробел между теоретическим достижениями и их внедрением на практике.
1. Разработано новое исчисление обратного метода для интуиционистской логики первого порядка и стратегии оптимизации для этого исчисления.
2. Разработан алгоритм логического вывода с возможностью комбинирования стратегий оптимизации, применимый к предложенному исчислению и к другим исчислениям обратного метода. На основе алгоритма разработана программа логического вывода WhaleProver.
3. Проведено экспериментальное сравнение используемых стратегий оптимизации по ряду критериев, выявлена оптимальная комбинация стратегий.
4. Программа WhaleProver апробирована на обширной библиотеке задач ILTP версии 1.1.2. Всего программа решила 810 задач, что сопоставимо с результатами лучших аналогов. Решён ряд новых задач. Программу можно использовать для обучения или интегрировать в существующие системы искусственного интеллекта.

28 сентября 2016
(среда 17-30 каб. А.Н. Терехова)

Сысоев Сергей Сергеевич
Эффективное решение задач из NP на квантовом компьютере

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

14 сентября 2016
(среда 17-30 каб. А.Н. Терехова)

Кознов Дмитрий Владимирович
Обзор открытых правительственных данных России

Сообщение представляет систематический обзор открытых правительственных данных России и основывается на статье D. Koznov, O. Andreeva, U. Nikula, A. Maglyas, D.Muromtsev, I. Radchenko «A Survey of Open Government Data in Russian Federation», принятой на 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (Porto, Portugal, 9-11 November, 2016). Открытые данные – это новое, активно развивающееся направление, посвящённое публикации в Интернете и использованию данных правительственных учреждений. Открытые такие данные повышает прозрачность органов власти, а также способствуют развитию новых e-сервисов в социальной сфере и в бизнесе.  На Саммите G8 в 2013 году Россия вместе с остальными странами-участницами подписала Хартию Открытых Данных; с тех пор данная тематика является в России одним из значимых направлений развития ICT-сектора. В представленной работе для обзора и анализа  использован  концептуальный фреймворк, созданный  Организацией экономического сотрудничества и развития (Organisation for Economic Co-operation and Development, OECD) для оценки национальных порталов и инициатив в области открытых данных.

Несмотря на то, что исследование не относится к области Software Engineering, а является работой из сферы Information Systems и E-Government, ряд следующих моментов может оказаться также интересным аудитории семинара. Во-первых, это успешный опыт организации международного сотрудничества – в исследованиях приняли участие сотрудники, аспиранты и студенты из СПбГУ (Россия), LUT (Финляндия), ИТМО (Россия). Во-вторых, опыт выполнения обзоров (related works) и создания методологий исследования. Все  это является важным для написания успешных международных статей в области Software Engineering.


7 сентября 2016
(среда 17-30 каб. А.Н. Терехова)

Булычев Дмитрий Юрьевич
Реляционное программирование в среде языка Objective Caml

Техника реляционного программирования использует идею о представлении программ не как функций, а как отношений. Такой подход позволяет получить много программ по одной реляционной спецификации, задавая "направление" вычислений. Отдельного упоминания заслуживают реляционные интерпретаторы, которые в некоторых случаях могут быть использованы для решения задач синтеза программ.
В докладе будут изложены основы реляционного программирования на языке miniKanren, а также описана его реализация в виде DSL для Objective Caml.


Архив семинара

Заседания 2014/2015 учебного года

Заседания 2013/2014 учебного года

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

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

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

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

Действия с Документом