2019 № 3(44)

Содержание

  1. Скопин И. Н. О функциональном программировании и модульности
  2. Имомназаров Х.Х., Турдиев У. К. Исследование задачи Коши для одномерной системы уравнений типа Бюргерса методом слабой аппроксимации
  3. Самигулина Г. А., Самигулина 3. И. Мультиагентная система ведения научных исследований для прогнозирования зависимости ,, структура-свойство “ лекарственных соединений на основе модифицированных алгоритмов искусственных иммунных систем
  4. Щербакова Н. Г. Модели сетей с предпочтительным присоединением
  5. Ершов А. П. Вычислимость в произвольных областях и базисах

Скопин И. Н.

Институт вычислительной математики и математической геофизики СО РАН, 630090, Новосибирск, Россия

О ФУНКЦИОНАЛЬНОМ ПРОГРАММИРОВАНИИ И МОДУЛЬНОСТИ

УДК 004

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

 

Библиографическая ссылка: Скопин И. Н. О функциональном программировании и модульности // журнал "Проблемы информатики", 2019, № 3, с.4-19


Имомназаров Х. Х., Турдиев У. К.

Институт вычислительной математики и математической геофизики СО РАН, Новосибирск, Россия
Каршинский филиал ТУИТ, Карши, Узбекистан

ИССЛЕДОВАНИЕ ЗАДАЧИ КОШИ ДЛЯ ОДНОМЕРНОЙ СИСТЕМЫ УРАВНЕНИЙ ТИПА БЮРГЕРСА МЕТОДОМ СЛАБОЙ АППРОКСИМАЦИИ

УДК 532.5

Получена система уравнений типа Бюргерса. Рассмотрена задача Коши для одномерной системы уравнений типа Бюргерса возникающая
в двухскоростной гидродинамике. Методом слабой аппроксимации доказано существование и единственность решения задачи Коши для одномерной системы типа Бюргерса.

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

 

Библиографическая ссылка: Имомназаров Х. Х., Турдиев У. К. Исследование задачи коши для одномерной системы уравнений типа Бюргерса методом слабой аппроксимации // журнал "Проблемы информатики", 2019, № 3, с.20-30


Самигулина Г. А., Самигулина З. И.

Институт информационных и вычислительных технологий, 050010, г. Алма-Ата, Республика Казахстан,
Казахстанско-Британский Технический Университет, 050010, г. Алма-Ата, Республика Казахстан

МУЛЬТИАГЕНТНАЯ СИСТЕМА ВЕДЕНИЯ НАУЧНЫХ ИССЛЕДОВАНИЙ ДЛЯ ПРОГНОЗИРОВАНИЯ

ЗАВИСИМОСТИ  «СТРУКТУРА-СВОЙСТВО” ЛЕКАРСТВЕННЫХ СОЕДИНЕНИЙ НА ОСНОВЕ

МОДИФИЦИРОВАННЫХ АЛГОРИТМОВ ИСКУССТВЕННЫХ ИММУННЫХ СИСТЕМ

УДК 004.89

В статье рассматриваются вопросы создания мультиагентной Smart-системы ведения научных
исследований для компьютерного молекулярного дизайна новых лекарственных препаратов
с заданными свойствами и прогнозирования зависимости "структура-свойство/активность\
(QSAR, Quantitative Structure-Activity Relationship) на основе модифицированных алгоритмов искусственных иммунных систем и других биоинсперированных подходов искусственного
интеллекта. Приведены основные достоинства и недостатки применения различных интеллектуальных алгоритмов при построении Smart-системы. Разработана структура мультиагентной Smart-системы ведения научных исследований и описано функционирование агентов.
 
Ключевые слова: мультиагентная Smart-система, лекарственные препараты, молекулярный дизайн, прогнозирование зависимости "структура-свойство” (QSAR), искусственные иммунные системы, модифицированные алгоритмы искусственного интеллекта

 

Библиографическая ссылка: Самигулина Г. А., Самигулина З. И. Мультиагентная система ведения научных исследований для прогнозирования зависимости  «структура-свойство” лекарственных соединений на основе модифицированных алгоритмов искусственных иммунных систем // журнал "Проблемы информатики", 2019, № 3, с.31-45


Щербакова Н. Г.

Институт вычислительной математики и математической геофизики СО РАН, 630090, Новосибирск, Россия

МОДЕЛИ СЕТЕЙ С ПРЕДПОЧТИТЕЛЬНЫМ ПРИСОЕДИНЕНИЕМ

УДК 519.177

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

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

 

Библиографическая ссылка: Щербакова Н. Г. Модели сетей с предпочтительным присоединением // журнал "Проблемы информатики", 2019, № 3, с.46-60


Ершов А. П.

Вычислительный центр, Новосибирск, 630090

ВЫЧИСЛИМОСТЬ В ПРОИЗВОЛЬНЫХ ОБЛАСТЯХ И БАЗИСАХ

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

Библиографическая ссылка: Ершов А. П. Вычислимость в произвольных областях и базисах // журнал "Проблемы информатики", 2019, № 3, с.62-92