Рассматриваются методы, обеспечивающие выполнение только корректных и легальных команд управления в автоматизированных системах управления технологическими процессами (АСУ ТП). Защита целостности программного обеспечения АСУ ТП на всех узлах технологической сети, включая защиту от несанкционированной подмены, осуществляется проверкой контрольных параметров программного обеспечения во время запуска. Защита команд управления от искажений в процессе передачи по сети реализуется двухкратным кодированием на разных уровнях системы. Защита от подачи на технологическое оборудование несанкционированных команд управления осуществляется посредством распознавания этих команд в подсистеме нижнего уровня и сравнением их текущих характеристик с контрольными.

Определенный вклад в безопасность работы АСУ ТП вносит использование безопасной среды исполнения – ОС CentOS 7.

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

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

Статья посвящена оценке применимости SLAM фреймворков для задачи мобильных роботов проекта Duckietown. Проведен сравнительный анализ существующих SLAM алгоритмов и фреймворков, были отобраны фреймворки с учетом всех ограничений, накладываемых роботами проекта. Приведены практические результаты апробации фреймворка OpenVSLAM как на данных реального окружения Duckietown, так и на данных симулятора Duckietown.

Рассматривается подход к созданию интеллектуальных помощников в виде чат-ботов, поддерживающих информационный поиск на основе предварительной жанровой и тематической кластеризации контента веб-сайтов. Решаются задачи поиска необходимой информации и обеспечения информационной поддержки пользователя, организации обратной связи для улучшения качества поиска. Особенностью подхода является использование жанровых моделей, разрабатываемых для заданного типа ресурса (образовательный, информационный и т. п.), на основе которых осуществляется жанровая структуризация контента конкретного сайта. Полученные жанровые структуры позволяют более точно определять границы тематических кластеров, относящиеся к теме поискового запроса пользователя. Для обеспечения обратной связи с пользователем разработан простой сценарий, позволяющий не просто уточнить запрос, но и неявно получить информацию о том, что именно не устроило пользователя в результирующей выдаче. Проведено экспериментальное исследование на платформе Telegram, полученные результаты сравнивались с поисковой системой Яндекс.

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

В работе также приведены способы дискретизации конечными элементами и алгоритм построения системы разрешающих уравнений, используемый в МИРЕЛА+, выражения для определения компонентов тензора преобразования координат, тензора деформаций в центрах КЭ в декартовой системе координат. Приведены примеры визуального представления в трехмерном изображении с помощью цветной картины, где каждому оттенку или цвету соответствует определенный диапазон числовых значений функции. 

Обсуждается вопрос создания редактора SPARQL-запросов – запросов к онтологиям в форматах RDF и OWL. Потребность в удобном и функциональном инструменте для составления SPARQL-запросов постоянно растет в связи с распространением концепции семантического веба. Приводится анализ возможностей, а также общих подходов к реализации существующих редакторов SPARQL-запросов. Предлагается концепция инструмента, одновременно предоставляющего интеллектуальные дополняющие подсказки, а также возможности построения визуального представления запроса и сравнения результатов выполнения запросов с использованием различных программризонеров и без них. Языковая поддержка реализуется в соответствии с современным подходом к предоставлению инструментальной поддержки языков программирования, основанного на протоколе LSP. Приводятся скриншоты работы редактора.