Пленарные доклады

Perspectives of Parallel Programming and new Challenges

Докладчик: Малышкин Виктор Эммануилович, д.т.н., г.н.с., зав. лаб. ИВМиМГ СО РАН

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

О функциональном программировании и модульности

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

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

Недоопределенные вычислительные модели и их приложения

Докладчик: Загорулько Юрий Алексеевич, к.т.н., зав. лаб. ИСИ СО РАН

Аннотация: Метод недоопределенных моделей (Н-моделей) был предложен в начале 80-x годов А.С. Нариньяни для представления и обработки неполностью определенных знаний. Рассматриваемый вначале как оригинальный метод из области искусственного интеллекта, он трансформировался постепенно в прикладную технологию программирования в ограничениях. Технология Н-моделей фактически является единственной технологией, которая позволяет решать задачу удовлетворения ограничений в самой общей постановке. На базе Н-моделей было создано много инструментальных систем и приложений для решения задач в таких областях, как экономика, инженерные расчеты, календарное планирование, вычислительная математика, САПР, ГИС и др.