• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
Crystallochemical Design of Huntite-Family Compounds

Kuz’micheva G. M., Kaurova I. A., Rybakov V. B. et al.

Crystals. 2019. Vol. 9. No. 2. P. 1-49.

Глава в книге
Structural Synthesis of the IoT System for the Fog Computing

Saksonov E., Leokhin Y., Panfilov, P.

In bk.: 24th Conference of Open Innovations Association FRUCT, FRUCT 2019. IEEE Computer Society, 2019. P. 381-387.

Препринт
Темпоральные расширения в стандарте SQL

С.Д. Кузнецов

Препринты ИСП РАН. Институт системного программирования им. В.П. Иванникова РАН, 2017. № 30.

Автоматы и модели процессов

Руководитель семинара

 



Аннотация

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