Опора (base)
конструкция, к которой крепится первая исходная связка манипулятора.
парадигма программирования, которая описывает действия надданными в виде выражения определений.
В работе предлагается декларативный подход к реализации автоматных объектов при использовании объектно-ориентированных императивных языков программирования со статической проверкой типов. Отличительной особенностью предлагаемого подхода является возможность применения наследования и вложения макросостояний.
Реляционная парадигма позволяет описывать программы как набор отношений. Отношения не делают различий между входными и выходными параметрами. Благодаря этому одна и та же реляционная программа может использоваться для решения нескольких связанных проблем. В статье представлена реализация двух расширений реляционного программирования, полезных при разработке интерпретаторов: табличной мемоизации и конструктивного отрицания. Мемоизация позволяет эффективно обходить пространство состояний интерпретатора, а отрицание – проверять, что заданное состояние интерпретатора недостижимо. Полезность данных расширений продемонстрирована на примере интерпретатора для многопоточного императивного языка программирования.
конструкция, к которой крепится первая исходная связка манипулятора.
объект, характеризующийся наличием установленных защитных функций, обеспечивающих функционирование с заданным уровнем безопасности; пример — уменьшенная скорость, соответствующая заданному уровню безопасности; скорость мониторинга, соответствующая заданному уровню безопасности; выходной параметр, соответствующий заданному уровню безопасности.
максимальное смещение механического интерфейса, приходящееся на единицу нагрузки, приложенной к механическому интерфейсу.