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

Докладчик: Перепёлкин Владислав Александрович, к.т.н., с.н.с. ИВМиМГ СО РАН

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

Время в моделях систем с дискретными событиями

Докладчик: Скопин Игорь Николаевич, к.ф-м.н., с.н.с. ИВМиМГ СО РАН

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

Докладчик: Медведев Юрий Геннадьевич, к.т.н., с.н.с. ИВМиМГ СО РАН

Мастер-класс "Программирование клеточно-автоматных моделей"

Докладчик: Бурнышев Егор Константинович, студент 1 курса магистратуры ФПМИ НГТУ

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

Review of Tools and Methods for Programming Automation

Докладчик: Парфенов Денис Романович, аспирант ФИТ НГУ