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