RUS ENG

2016 год

Научная группа доц. Трифонова П.В. 

  1. Разработано обобщение полярных кодов, называемое цепными полярными подкодами. Предложенная кодовая конструкция позволяет получить коды произвольной длины без использования выкалывания или укорочения (П. Трифонов).
  2. Разработано обобщение полярных кодов, называемое звездными полярными подкодами. В отличие от классических полярных кодов Арикана, звездные полярные подкоды дают возможность реализовать параллельную процедуру декодирования (П. Трифонов).
  3. Разработан быстрый алгоритм декодирования обобщенных каскадных кодов с перекрестными связями (К. Иванов).

Научная группа проф. Ивановского Р.И. 

В рамках договора о творческом сотрудничестве с НИПНИ им. Бехтерева:

  1. Разработан новый подход к анализу межканальных связей в данных ЭЭГ на основе корреляционных отношений.
  2. Разработаны новые алгоритмы определения направленности связей между каналами; разработанные подход и программа внедрены в клиническую практику НИПНИ им. Бехтерева.

2015 год

Научная группа доц. Трифонова П.В.  

  1. Разработан метод построения укороченных полярных кодов, обеспечивающий получение кодов произвольной длины (В.Д. Милославская).
  2. Разработан метод построения полярных кодов для Релеевского канала (П.В. Трифонов).
  3. Разработан блочный последовательный алгоритм декодирования полярных кодов, имеющий существенно меньшую сложность по сравнению со списочным и стековым алгоритмами декодирования полярных кодов, а также алгоритмом распространения доверия кодов с малой плотностью проверок на четность  (Г.А. Трофимюк, Н.В. Якуба, П.В. Трифонов).

2014 год

Научная группа доц. Трифонова П.В. 

  • Разработан быстрый алгоритм декодирования полярных кодов с произвольным ядром (Милославская В.Д., Трифонов П.В.).
  • Предложен новый алгоритм мягкого декодирования кодов Рида-Соломона, основанный на их представлении в виде полярных кодов с динамически замороженными символами (П.В. Трифонов, В.Д. Милославская).
  • Представлена к защите диссертация Милославской В.Д.

2013 год

Научная группа доц. Трифонова П.В.

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

Научная группа проф. Сениченкова Ю.Б.

  • Завершена работа по созданию и регистрации 7-версии программного продукта MvStudium - 7.0, позволяющей работать с «агентными» моделями.
  • Продолжается работа по созданию специальной версии программного продукта Rand Model Designer Professional (RMD/ProfTran) для группы компаний Транзас, разрабатывающей тренажеры реального времени в рамках хоздоговорной работы (Ю.Б. Колесов, Ю.Б. Сениченков, Д. Инихов, А. Исаков).
  • Внедрена RMD-6 в учебный процесс. Система моделирования использовалась в следующих курсах: «Модели информационных систем», «Современные информационные технологии», «Информационные системы», «Средства проектирования информационных систем» учебной программы «Фундаментальная информатика и информационные технологии» (Ю.Б. Сениченков). 
  • Завершен перевод документации RMD на испанский язык. Написана совместная статья с испанскими коллегами (Carla Martin-Villalba, Alfonso Urquia, Ю.Б. Сениченков, Ю.Б. Колесов). 
  • В издательстве Политехнического университета изданы два учебных пособия: «Компонентные технологии математического моделирования» (Ю.Б. Колесов, Ю.Б. Сениченков) и «Моделирование. Компьютерный практикум» (Ю.Б. Сениченков).
  • Проф. Ю.Б. Сениченков принял участие в международных конференциях MIM-2013 и EuroSim 2013 в качестве члена международного и национального организационых комитетов.
  • Проф. Ю.Б. Сениченков прочитал очередной цикл лекций для школ приморского района (дистанционная форма сразу для нескольких школ), провел конференцию школьников в рамках недели науки и летнюю учебную практику.

2012 год

Научная группа проф. Карпова Ю.Г.

  • Проф. Ю.Г.Карпов и ст.преп. И.В.Шошмина провели мастер-класс по теме: "Верификация программных систем: Model checking" в Высшей Школе Экономики по приглашению д.ф.-м.н., профессора И.А. Ломазовой. 
  • Проф. Ю.Г.Карпов приглашен сделать Пленарный доклад на тему "Повышение качества программных систем" на С.Петербургском научном Форуме "Наука и общество. Наука и прогресс человечества. VII Петербургская встреча лауреатов Нобелевских премий".

Научная группа доц. Трифонова П.В.

  • По заказу компании EMC разработаны новые технологии кодирования информации для перспективных систем хранения данных. (П.В. Трифонов, В.Д Милославская)
  • Разработаны методы построения полярных кодов с ядром БЧХ (В.Д. Милославская).
  • Получена новая оценка минимального расстояния квазициклических кодов (П.К. Семенов).

Научная группа проф. Ивановского Р.И.

  • Аспирант М.А.Кондратьев успешно защитил диссертацию на соискание ученой степени кандидата технических наук на тему "Разработка модели распространения инфекционных заболеваний на основе агентного подхода" (науч. рук. проф. Ивановский Р.И.)
  • Издательством Политехнического университета выпущено учебное пособие профессора Р.И.Ивановского "Статистическое моделирование".

2011 год

Научная группа проф. Карпова Ю.Г.

  • Проф. Ю.Г.Карпов приглашен в качестве пленарного докладчика на Международную конференцию SECR-2011 с докладом “На пути к практическому применению верификации в разработке программ”.
  • Проф. Ю.Г.Карпов, ст.преп. И.В.Шошмина и аспирант А.Б.Беляев приглашены для проведения мастер-класса по теме: “Верификация параллельных и распределенных программных систем” на молодежной школе-семинаре «Перспективные технологии и модели вычислений» (Perspective Technologies and Computational Models, PTCM 2011) совместно с конференцией PaCT-2011.
  • Проф. Ю.Г.Карпов и асп. К.А.Сотников приглашены сделать Пленарный доклад на тему “Применение имитационного моделирования для управления в Smart Grid” на Международной конференции ИММОД-2011.
  • Научная монография проф. Ю.Г.Карпова “Model checking. Верификация параллельных и распределенных программных систем”, написанная на основе лекций, читаемых автором выпускникам факуольтета, отмечена третьей премией за лучшее научное издание Санкт-Петербургского Политехнического университета в 2012 году.

Научная группа доц. Трифонова П.В.

  • На основе выявленной связи полярных кодов и классических обобщенных каскадных и многоуровневых кодов предложена новая конструкция, обеспечивающая большую корректирующую способность по сравнению со стандартными полярными кодами. В некоторых случаях эта конструкция допускает более простое декодирование.
  • Исследовательский проект "Разработка высокоустойчивых телекоммуникационных протоколов на основе помехоустойчивого кодирования" получил поддержку в рамках ФЦП "Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса РФ".
  • Исследовательский проект "Разработка надежных методов передачи мультимедиа-данных в радиосетях" поддержан грантом Президента РФ.

2010 год

Научная группа проф. Ивановского Р.И.

  • По заданию МЧС и руководства НИИ гриппа на основе разработанного агентного подхода в среде Anylogic 6 создана имитационная модель распространения заболевания в г. Санкт-Петербурге (асп. Кондратьев М.А., науч. рук. проф. Ивановский Р.И.)
  • Создана технология многокритериального выбора судового оборудования в условиях неопределенности, включающая теоретические обоснования,  разработанную вычислительную среду (Dephi) анализа вариантов и программу на языке Object Paskal. (асп. Сергеев К.В., науч. рук. проф. Ивановский Р.И.)
  • Разработана технология синтеза многомерных систем с заданными динамическими свойствами. Проведено теоретическое обоснование, создано алгоритмическое и программное обеспечение. (проф. Ивановский Р.И. ) 

Научная группа доц. Трифонова П.В.

  • Разработан быстрый алгоритм мягкого декодирования кодов Рида-Соломона, обеспечивающий снижение сложности в 3-5 раз по сравнению с широко используемым методом Кёттера-Варди. (студ. Милославская В.Д., науч. рук. доц. Трифонов П.В. )
  • Разработан быстрый алгоритм многомерной интерполяции, обеспечивающий снижение сложности алгоритма Ву списочного декодирования кодов Рида-Соломона в 5-7 раз.. (доц. Трифонов П.В.)
  • Разработано обобщение алгоритма Ву списочного декодирования на случай сложенных кодов Рида-Соломона, обеспечивающее большую корректирующую способность по сравнению с алгоритмом Гурусвами-Рудры. (доц. Трифонов П.В.)

 

2009 год

Научная группа проф. Ивановского Р.И.

  • Разработана технология синтеза и модернизации многомерных систем управления энергетических объектов, использующая последовательно: анализ их свойств по результатам первичной обработки экспериментальных данных; построение математических и имитационных моделей, синтез многомерных регуляторов и корректоров; обеспечение условий реализуемости полученных решений.(проф. Ивановский Р.И., асп. Сотников К.А.)

 

Научная группа проф. Карпова Ю.Г.

  • Разработаны методы проектирования распределенных систем логического управления с верификацией (моделирование на основе технологии model driven development, средство трансляции в язык Promela). В рамках этого создан алгоритм построения автоматов Бюхи по LTL–формулам на основе бинарных решающих диаграмм. (проф. Карпов.Ю.Г., соискатель Шошмина И.В.)

Научная группа доц. Трифонова П.В.

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