Системная информатика, 15.06.2018, № 12
Скачать выпуск целиком (4.13 МБ)
Системная Информатика, № 12
Парадигмальный подход к факторизации определений языков и систем программирования
Статья посвящена проблеме факторизации определений языков и систем программирования. В качестве основного параметра факторизации выбрана семантическая декомпозиция в рамках анализа парадигм программирования. Такой выбор позволяет выделять автономно развиваемые типовые компоненты систем программирования. Типовые компоненты должны быть приспособлены к конструированию различных информационных систем. Кроме того, их существование позволяет формировать методику обучения...
Подход к реализации паттернов содержания при разработке онтологий научных предметных областей
Рассматривается подход к разработке и реализации такого вида паттернов онтологического проектирования, как паттерны содержания. Использование паттернов содержания при построении онтологии научной предметной области позволяет, с одной стороны, обеспечить единообразное и согласованное представление всех сущностей разрабатываемой онтологии, с другой – сэкономить человеческие ресурсы и избежать типичных ошибок онтологического моделирования.
Разработка параллельной предикатной программы решения системы линейных уравнений методом Гаусса-Жордано
Описывается технология предикатного программирования для реализации параллельной программы решения системы линейных уравнений методом Гаусса-Жордано. Предикатная программа изначально параллельна и не требует распараллеливания. Описывается построение предикатной программы и ее оптимизирующая трансформация с получением эффективной параллельной императивной программы.
Дедуктивная верификация и оптимизация предикатной программы конкатенации строк
Дедуктивная верификация намного проще и быстрее для предикатных программ, чем для аналогичных императивных программ. Для любой программы на языке Си можно построить эквивалентную предикатную программу, провести её дедуктивную верификацию, применить к ней набор оптимизирующих трансформаций и в результате получить исходную программу на языке Си.
Данный метод иллюстрируется для известной библиотечной...
Язык Рефлекс: практическая нотация для кибер-физических систем
В статье вводится понятийный аппарат для сложных алгоритмов управления, представленный в виде математической модели. Для демонстрации практической ценности модели, описываются грамматика и семантика процесс-ориентированного языка, известного под названием Reflex, или "Си с процессами". Выразительные свойства языка показаны на примере разработки алгоритма управления сушилки для рук. Также представлены результаты практической апробации...