• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
Transformation of the Mixed Chinese Postman Problem in multigraph into the Asymmetric Travelling Salesman Problem

Maria K. Gordenko, Avdoshin S. M.

International Journal of Open Information Technologies. 2017. Vol. 5. No. 6. P. 6-11.

Глава в книге
Satellite Imagery and Array DBMS: Towards Big Raster Data in the Cloud
В печати

Rodriges Zalipynis R. A., Pozdeev E., Bryukhov A.

In bk.: Analysis of Images, Social Networks and Texts. 6th International Conference, AIST 2017, Lecture Notes in Computer Science, Revised Selected Papers. Springer, 2017.

Научный семинар Департамента программной инженерии

16 марта 2017 года

Жукова Галина Николаевна,

к.ф.-м.н., доцент, Московский политехнический университет

Фомичев Михаил Игоревич,

преподаватель ДПИ ФКН НИУ ВШЭ

Ульянов Михаил Васильевич,

д.т.н., профессор ИПУ РАН, ВМК МГУ, ФКН НИУ ВШЭ



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

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

Время:     16:40
Место:     Кочновский проезд,  д. 3, ауд.402
Язык семинара:     русский

31 января 2017 года


Uolevi Nikula

Associate Professor, D.Sc. (Tech.), Department of Innovation and Software, LUT School of Business and Management

LUT Software Engineering Activities

In this presentation we shall introduce in short the LUT School of business and management, Department of Industrial Engineering and Management, and the Software Engineering Research Group. The software engineering activities are presented from the research, educational and staff points of view to get an overview of LUT activities, and each topic can be discussed further as time allows. The school is responsible for about 2/3 of the degrees produced at LUT with circa 400 Master’s and 220 Bachelor’s degrees annually from which 43 Master’s and 28 Bachelor’s degrees graduated from the Computer Science programs given by the Software Engineering group. The LUT software engineering research builds on empirical and qualitative approaches with the key research areas on usability, testing, requirements, process improvement, sustainability, and gaming to name just a few. Most of the research involves partners both from industry and international forums.

Время:     16:40
Место:     Кочновский проезд,  д. 3, ауд.402
Язык семинара:     английский

1 декабря 2016 года


Дударев Виктор Анатольевич

к.т.н., доцент ДПИ ФКН

Интеграция гетерогенных информационных систем по свойствам неорганических веществ

В докладе кратко рассматриваются методы компьютерного конструирования неорганических соединений. Выделяется метод поиска многомерных эмпирических классифицирующих закономерностей как наиболее перспективный  для  прогнозирования  свойств неорганических веществ. Приводится информация по созданию ряда информационных систем по свойствам неорганических веществ и материалов. Рассматривается методология интеграции   информационных систем по свойствам неорганических веществ и материалов, основанная на трех методах интеграции: EAI, EII  и ETL, а также создание интегрированной информационной системы по свойствам неорганических веществ в ИМЕТ РАН. Приводятся результаты использования интегрированной информационной системы в комплексе  с программами распознавания образов для решения практических задач компьютерного конструирования неорганических соединений.

Время:     16:40
Место:     Кочновский проезд,  д. 3, ауд.402
Язык семинара:     русский


26 октября 2016 года

Мандрыкин Михаил Усамович

Сотрудник ИСП РАН

Моделирование памяти Си-программ для инструментов статической верификации на основе SMT-решателей

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

Время:     16:40
Место:     Кочновский проезд,  д. 3, ауд.402
Язык семинара:     русский

29 сентября 2016 года

Лаборатория Касперского 

Целенаправленные кибератаки: анатомия, развитие, защита.

Кибервойна откатилась в средневековье: атаки становятся все жестче, и в то же время — проще и эффективнее. Вместо эксплойтов нулевого дня, руткитов нулевого кольца и кастомных пиринговых протоколов с нестандартной криптографией злоумышленники все чаще пользуются стандартными утилитами, социальной инженерией, ошибками конфигурации, скриптами и даже bat-файлами.Сергей Гордейчик, эксперт «Лаборатории Касперского», расскажет вам все об анатомии современных кибератак.

На примерах реальных атак вы увидите, как развиваются тактики, техники и процедуры злоумышленников, проанализируете современные технологии защиты и снижения рисков, связанных с целенаправленными атаками (таких как SandBoxing, Network Forensic, Endpoint Detection and Response, Cyber Threat Intelligence), а также узнаете о подходах к организации процесса Threat Hunting на базе корпоративного SOC или MSSP. 

РАСПИСАНИЕ КИБЕРВСТРЕЧИ

17:30-18:00        Сбор гостей

18:00-18:30        Выступление Кирилла Ширяева

18:30-20:00        Выступление Сергея Гордейчика

20:00-20:30        Q&A-сессия

20:30-21:00        Неформальное общение

Не забудьте зарегистрироваться до 27 сентября включительно! https://goo.gl/441X8y  

Время:     18.00
Место:     Кочновский проезд,  д. 3, ауд.622
Язык семинара:     русский


21 сентября 2016 года

Ульянов Михаил Васильевич
Профессор Департамента программной инженерии НИУ ВШЭ, 
профессор ВМК МГУ, МГТУ 
в.н.с.ИПУ РАН

Математические этюды. По мотивам результатов Леонарда Эйлера

1.      Фокус Эйлера и ядро Дирихле.
2.      Рождение экспонеты из бинома Ньютона.
3.      Решето Эратосфена в исполнении Леонарда Эйлера.

Время:     16:40
Место:     Кочновский проезд,  д. 3, ауд.311
Язык семинара:     русский


17 марта 2016 года

Ульянов Михаил Васильевич

Профессор Департамента программной инженерии,
профессор ВМК МГУ,
в.н.с.ИПУ РАН

 
 
Фомичев Михаил Игоревич

Студент 4-го курса ОП "Прогарммная инженерия"

 
Некоторые подходы к прогнозированию сложности индивидуальных задач коммивояжера

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

Время:     16:40
Место:     Кочновский проезд,  д. 3, ауд.509
Язык семинара:     русский



29 февраля 2016 года

Демидов Михаил Иванович

Управление инновационной деятельности: Заместитель начальника управления

 

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

Научно-технологические проекты в современных реалиях часто ищут финансирование на ранней стадии для создания прототипа или развития существующего продукта для новых рынков. В ВШЭ существует программа поддержки сотрудников, ученых и обучающихся, позволяющая получить на конкурсной основе деньги на разработку перспективных коммерческих проектов. На семинаре будет рассказано более подробно о схеме и правилах работы Фонда поддержки инновационного предпринимательства в 2016 году и дана общая информация о других институтах поддержки научно-технических проектов в России.


Время:  16:40
Место:   Кочновский проезд,  д. 3, ауд.317
Язык семинара:   русский



25 февраля 2016 года

Родригес Залепинос Рамон Антонио

Департамент программной инженерии: Доцент

 

Аннотация

Доклад посвящен информационным технологиям, с помощью которых можно выстроить полный производственный цикл хранения, доступа, обработки и визуализации данных реанализа климата и дистанционного зондирования Земли (ДЗЗ) на регулярных широтно-долготных решетках. Рассматриваются отличия хранения и обработки, а также организации доступа к данным, которые находятся на одной машине, суперкомпьютере либо компьютерном кластере, состоящем из оборудования широкого потребления. Подробно освещены технологии распространения (dissemination) потребителям реанализа климата и ДЗЗ. Будет описан современный тренд обработки этих данных в своих исходных форматах, их 2D и 3D визуализация в настольных и веб приложениях. Особое внимание уделяется отечественным системам ChronosServer (не имеет мировых аналогов) и Climate Wikience:

Страница проекта

Краткое видео (1 минута 52 секунды) 

Статья на портале GIS-LAB

Брошюра


Время:  16:40
Место:   Кочновский проезд,  д. 3, ауд.509
Язык семинара:   русский


4 февраля 2016 года

Баканов Валерий Михайлович

Департамент программной инженерии: Профессор

 

Анализ тонкой информационной структуры алгоритмов по их информационным графам с целью выявления скрытого параллелизма и построения рационального плана выполнения параллельных частей программы

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



Время:  
16:40
Место:   
Кочновский проезд,  д. 3, ауд.509
Язык семинара:  
русский

 


24 декабря 2015 года

Полицын Сергей Александрович

Департамент программной инженерии: Преподаватель

 

Математическая модель процесса выполнения задач при разработке программного обеспечения

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


Время:     
15:10
Место:      
Кочновский проезд,  д. 3, ауд.435
Язык семинара:      
русский


10 декабря 2015 года

Михаил Васильевич Ульянов,
д.т.н., профессор департамента программной инженерии

О реконструкции слов в гипотезе сдвига 1

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


Время:     
16:40
Место:      
Кочновский проезд,  д. 3, ауд.509
Язык семинара:      
русский


26 ноября 2015 года

Алексей Шевенков,
руководитель отдела разработки Яндекс.Маркет

Становление команды Яндекс.Маркета

Сервис "Яндекс.Маркет" - один из самых крупных и долгоживущих сервисов компании Яндекс. В месяц им пользуются около 40 млн человек. За 10 лет команда сервиса выросла с 5 до 300 человек и прошла различные этапы становления. На примерах из жизни будут рассказаны типичные стадии роста команды, а также те проблемы, с которыми при этом команда сервиса сталкивается, и как эти проблемы могут решаться на разных стадиях.


Время:     
16:40
Место:      
Кочновский проезд,  д. 3, ауд.509
Язык семинара:      
русский


5 ноября 2015 года

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

Киберпреступность: лица, факты, противодействие

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

 Программа мастер-класса (PDF, 406 Кб)

Время:      16:40
Место:       Кочновский проезд,  д. 3, ауд.509
Язык семинара:      русский


22 октября 2015 года

Турдаков Денис Юрьевич,
к.ф.-м.н, доцент базовой кафедры "Системное программирование" департамента программной инженерии

Текстерра: система для анализа текстов

Система Текстерра, разрабатываемая в ИСП РАН, предоставляет масштабируемое решение для быстрой обработки текстов, основанное на использовании знаний, извлекаемых из веб-ресурсов. В докладе будут рассмотрены детали реализации системы, варианты использования и результаты экспериментальных исследований. Также будут продемонстрированы возможности системы Текстерра.

Время:   16:40
Место:   Кочновский проезд,  д. 3, ауд.509
Язык семинара:   русский


1 октября 2015 года

Константин Юрьевич Дегтярев,
к.т.н, доцент департамента программной инженерии


Иерархия описания неопределенности в задачах моделирования и анализа систем

В повседневной жизни мы постоянно сталкиваемся с необходимостью обработки информации, которая оказывается неполной и/или неточной, характеризуется отсутствием конкретных деталей и оказывается доступной в словесной (вербальной) форме на уровне оценок, мнений, суждений и объяснений. Проблема моделирования неопределенности в системных исследованиях имеет долгую историю, но не может считаться полностью решенной, прежде всего, из-за присутствия разных типов неопределенности, с которыми приходится иметь дело. В начале 80-х годов прошлого столетия проф. Лютфи Заде отметил, что природа неопределенности, присущей многим системам, имеет очевидный возможностный (possibilistic) характер, нежели вероятностное (probabilistic) выражение. Таким образом, 'неопределенность' можнорассматривать как весьма "емкий термин, используемый для обозначения множественности концепций" (M.G.Morgan, M.Henrion).В докладе, на примере процедуры структурного анализа сложности (связности) систем (Q-анализа) и метода анализа иерархий, рассматриваются подходы к формальному описанию исходной информации (ограничений на возможные значения переменных), используемой в моделях, обсуждаются имеющиеся проблемы и перспективы обработки такой информации на основе когниции с целью получения интуитивно понятных результатов.

Время:  16:40
Место:  Кочновский проезд,  д. 3, ауд.509
Язык семинара:  русский


17 сентября 2015 года

Валерий Михайлович Баканов,
д.т.н., профессор департамента программной инженерии

Управление динамикой вычислений в процессорах  потоковой (Data-Flow) архитектуры  для различных типов алгоритмов

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

Ключевые слова: распараллеливание процессов обработки данных, проблемы распараллеливания, автоматизация распараллеливания, программное и аппаратное распараллеливание, пост фон-Неймановские архитектуры, потоковые вычислители, интенсивность вычислений, компьютерное моделирование, стратегии управления интенсивностью вычислений.

Время: 16:40
Место: Кочновский проезд,  д. 3, ауд. 509.
Язык семинара: русский

Архив: научный семинар в 2014-2015 учебном году