Необслуживаемый объект
объект, для которого техническое обслуживание не предусмотрено документацией.
Программа верификации (program verification)
Предмет
Технологические машины и оборудование
Разместил
🤓 goodymnanisrup695
👍 Проверено Автор24
выполнение программы задач для подтверждения пути робота и процесса его функционирования; программа верификации может включать весь путь, отслеживаемый центральной точкой инструмента во время выполнения программы задач, или сегмент этого пути; пакет инструкций может представлять собой одну инструкцию или непрерывную последовательность инструкций; программа верификации может использоваться в новых приложениях, а также при настройке/редактировании существующих приложений.
Научные статьи на тему «Программа верификации (program verification)»
Дедуктивная верификация и реализация предикатной программы инвертирования списков
Представлен метод предикатного программирования в применении к известной программе инвертирования односвязных списков. Данная программа признана крайне трудной для дедуктивной верификации (verification challenge). Описываются построение и дедуктивная верификация предикатной программы инвертирования списка как объекта алгебраического типа. Эффективная императивная программа получена применением оптимизирующих трансформаций. Дедуктивная верификация предикатной программы на порядок проще верификации аналогичной императивной программы, использующей указатели.The simple predicate program of reversing a list as datatype object is presented. Deductive verification of this program is simple. The imperative program of reversing a linked list is obtained by the set of program transformations for the predicate program.
Creative Commons
Научный журнал
Методы верификации моделей автоматных программ
В статье рассматриваются способы преобразования программ, разработанных на основе автоматного подхода, в модели Крипке, предназначенные для проверки свойств, относящихся к поведению системы. Эти свойства задаются формулами темпоральной логики. Предложены несколько методов такого преобразования и способов формулировки свойств.
Creative Commons
Научный журнал
Еще термины по предмету «Технологические машины и оборудование»
Опора (base)
конструкция, к которой крепится первая исходная связка манипулятора.
Технологические машины (машины-орудия, рабочие машины)
машины, использующие механическую работу, получаемую от машин-двигателей для изменения свойств, формы и состояния обрабатываемых объектов – твердых, жидких и газообразных (металлообрабатывающие станки, прокатные станы, сельскохозяйственные машины, ткацкие и типографские станки и т.д.).
- Верификация программы (program verification)
- Верификация (verification)
- Верификация программы
- Программа (program, routine)
- Программа рисования (painting program)
- Трансляция программы (program translation)
- Управляющая программа (control program)
- Интерпретация программы (program interpretation)
- Компиляция программы; program compilation)
- Программа управления (control program)
- Верификация
- Программа выполнения задания (task program)
- Верификация прогноза
- Верификация требований
- Прямая верификация
- Программа
- Voice Biometric Identification (verification)
- Верификация коридора ожидаемой доходности
- Социальные программы
- Офис программы
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
