«Информационно-измерительные и управляющие системы»

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

П.И. Баштанов¹, П.А. Шапкин²

¹ˑ²Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

¹pavel@shapkin.link

7-14

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

А.М. Диникеев¹

¹Университет Иннополис (г. Иннополис, Россия)

¹a.dinikeev@innopolis.university

15-25

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

Р.В. Душкин¹

¹ООО «А-Я эксперт» (Москва, Россия)

¹Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

¹drv@aia.expert

26-40

Повышение эффективности потоковой обработки данных в интеллектуальной образовательной системе

С.Р. Ермаков¹, С.В. Зыков²

¹Российский технологический университет МИРЭА (Москва, Россия)

²Национальный исследовательский университет «Высшая школа экономики» (Москва, Россия)

¹ermakov_s@mirea.ru, ²szykov@hse.ru

41-54

Реализация арифметики с плавающей точкой с регулируемой длиной мантиссы в системе HomeLisp

Б.Л. Файфель¹

¹Саратовский государственный технический университет имени Ю.А. Гагарина (г. Саратов, Россия)

¹catstail@ya.ru

55-60

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

В.Э. Вольфенгаген¹, Л.Ю. Исмаилова², С.В. Косиков³

¹ˑ²Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

³НАО «ЮрИнфоР» (Москва, Россия)

¹jir.vew@gmail.com, ²LYIsmailova@mephi.ru, ³kosikov.s.v@gmail.com

61-66

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

В.В. Рословцев¹, Д.Р.Максимов², Е.Е. Балашова³, Ф.С.Черваков⁴, К.Г. Беляков⁵, Д.Н. Гущин⁶, С.И. Валиуллина⁷, Е.Д. Калинкин⁸, Р.Н. Кузьмин⁹, А.Ш. Сироджев¹⁰, А.В. Фатеев¹¹

¹⁻¹¹Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

¹vvroslovtsev@mephi.ru

67-77

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

В.В. Рословцев¹, Д.Р.Максимов², Е.Е. Балашова³, Ф.С.Черваков⁴, К.Г. Беляков⁵, Д.Н. Гущин⁶, С.И. Валиуллина⁷, Е.Д. Калинкин⁸, Р.Н. Кузьмин⁹, А.Ш. Сироджев¹⁰, А.В. Фатеев¹¹

¹⁻¹¹Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

¹vvroslovtsev@mephi.ru

78-85

Поддержка полиморфизма и объектно-ориентированных аспектов в системе абстрактных спецификаций программ

П.А. Шапкин¹, К.А. Легкодух², Е.Д. Гайдук³

¹⁻³Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

¹pavel@shapkin.link

86-94

Аппликативный язык конструирования стратегий редукций

И.О. Слепцов¹, В.Э. Вольфенгаген²

¹НАО «ЮрИнфоР» (Москва, Россия)

²Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)