Англо-русский толковый словарь по искусственному интеллекту и робототехнике - Эдуард Михайлович Пройдаков
Шрифт:
Интервал:
Закладка:
2. динамометрический преобразователь, динамометрический датчик.
forearm – предплечье [робота] # звено шарнирно-подвижной руки манипулятора, соединяющее кисть с локтем (см. также arm, elbow, hand, manipulator, shoulder, wrist).
forget gate – вентиль забывания [в структуре LSTM-сети] # элемент GRU, который контролирует, какие данные будут стёрты, удалены из памяти ИНС (см. также catastrophic forgetting, LSTM).
forgetting – забывание [в ИНС] # в ИИ и машинном обучении (МО) – ИНС “забывают” информацию не так, как человек, а катастрофически, переписывая её, и это одно из фундаментальных ограничений ИНС. Для его преодоления разрабатываются разные методы – например, elastic weight consolidation, LSTM и “бутылочное горлышко” (когда в ИНС поступают данные, она пропускает их через фильтр, будто через бутылочное горлышко, сохраняя только релевантную информацию) (см. также catastrophic forgetting).
formal knowledge – формальные (формализованные, сформулированные, вербализованные) знания # явно описанные (сформулированные) знания, которые можно найти (почерпнуть) в учебниках, книгах, документах и которые легко излагаются в учебных курсах. Синонимы – explicit knowledge, hard knowledge.
formal neuron – формальный нейрон, ФН # математическая модель нейрона, используемая в нейронных сетях. Например, стандартный формальный нейрон имеет x входов, на которые поступают сигналы либо от других нейронов, либо с входных устройств нейрокомпьютера. Каждому входу присваивается коэффициент ax (синаптический коэффициент, или коэффициент межнейронной связи), входной сигнал на каждом входе умножается на этот коэффициент. Если значение коэффициента ax отрицательное, то данная связь считается тормозящей, если положительное – возбуждающей. Сумматор нейрона вычисляет сумму поступивших сигналов, складывает её с величиной, характеризующей начальное состояние ФН, и передаёт результат блоку вывода, реализующему функцию активации (activation function). По сравнению с реальным нейроном эта модель сильно упрощена. Схема, реализующая ФН, – это, по существу, автономный аналоговый или цифровой вычислительный элемент с ограниченной системой команд. Синонимы – linear threshold device (линейное пороговое устройство), threshold logic unit (блок логический пороговый) (см. также neural computer, neural network, neuron).
formal reasoning – формальное рассуждение # рассуждение, основанное на формальных методах (см. также formal method, problem solving, reasoning).
formal representation – формальное представление, формализованное представление # например, formal knowledge representation – формализованное представление знаний; formal representation of product design specifications for validating product design – формализованное представление конструкторских спецификаций продукта (изделия) для [автоматизированной] валидации конструкции этого продукта (см. также knowledge engineering, representation).
formal review – формализованная экспертиза # экспертиза (инспекция, проверка) продукта или процесса разработки, которая базируется на утверждённой документированной процедуре.
formal test – официальное испытание # испытание продукта (изделия) силами официальной комиссии (организации) по утверждённой методике и утверждёнными средствами. Существуют различные виды официальных испытаний – например, сертификационные, приёмо-сдаточные, государственные и др.
formal verification – формальная верификация # набор методов, служащих для того, чтобы математически доказать, что компьютерная программа делает то, что должна делать, т. е. верификация по формальным (формализованным, стандартизованным) правилам, верификация формальными средствами (способами). Формальное доказательство соответствия микросхемы (системы, приложения и т. п.) её спецификации на основе документации, исходных текстов и других документов. Пример: Formal verification is becoming a critical tool for designing software and hardware today. – Формальная верификация сегодня становится критически важным инструментом при проектировании программных и аппаратных средств.
formal verification tool – инструмент (инструментарий) формальной верификации # среди существующих средств формальной верификации выделяются системы доказательства теорем, обеспечивающие наиболее полную верификацию самых сложных аппаратно-программных комплексов (см. также ATP, formal verification, interactive theorem prover).
forward chaining – прямая цепочка рассуждений, прямая цепочка [логического] вывода # один из методов поиска решения или логического вывода в экспертных системах. Ход рассуждений начинается от одного или нескольких фактов, идёт вперёд по цепочке правил и приводит к одному или нескольким заключениям (к решениям; к тому, что нужно доказать) (см. также backward chaining, expert system).
forward compatibility – совместимость снизу вверх, прямая совместимость # совместимость предыдущих версий системы с её последующими версиями: программа (ПО) работает не только на том компьютере, для которого была разработана, но и на новых моделях. Прямая совместимость очень важна, поскольку позволяет переходить на более мощные машины без необходимости конвертировать существующие [производственные] программы и данные. Аналогичное значение этот термин имеет для аппаратуры, обозначая совместимость новой модели с младшими или ранее разработанными моделями, но не наоборот. Синоним – upward compatibility (ср. backward compatibility).
forward engineering – прямая разработка # традиционный процесс разработки системы от концепции до физической реализации (в отличие от reverse engineering).
forward kinematics (также forward kinematic solution, FK) – прямая кинематика, упреждающая кинематика; прямое кинематическое решение # вычислительная процедура, использующая соответствующие математические алгоритмы для определения положения и ориентации рабочего органа робота в зависимости от перемещений его суставов. Для большинства реальных топологий (конфигураций) роботов прямое кинематическое решение найти бывает проще, чем обратное. Прямая кинематика активно используется также в трёхмерной компьютерной анимации и в разработке компьютерных игр. Алгоритм прямой кинематики противоположен алгоритму инверсной кинематики. Синонимы – direct kinematics, direct task (см. также end-effector, inverse kinematics, kinematic chain, kinematics, motion types).
FPV – First Person View – досл. вид от первого лица, технология FPV # технология радиоуправления (radio-controlling), или видеопилотирования (video piloting), предусматривающая установку на БПЛА (дроне, квадрокоптере и т. п.) видеокамеры, изображение с которой транслируется непосредственно на экран ноутбука (планшета), находящегося на земле, на экран пульта управления БПЛА или специальные FPV-очки. При этом управление БПЛА пилот или оператор, находящийся на земле, осуществляет по изображению, передаваемому с видеокамеры на экран или на FPV-очки, со своей точки наблюдения (обзора, view point). Большинство систем с FPV выводит на экран также текущие параметры полёта: высоту и направление полёта, скорость, расстояние до базы, а также заряд батареи и другие телеметрические данные. Синонимы – remote-person view (RPV), video piloting (см. также drone, multicopter).
frame – фрейм # в ИИ – таксономическая иерархическая структура, удобная для представления знаний о концепциях и их взаимосвязях; фрейм состоит из имени и слотов (slot), каждый из которых имеет своё имя и значение (как правило, ссылку на другой фрейм); Марвин Мински (M. Minsky, США), автор данного подхода, отмечает, что фреймы могут использоваться не только для представления структур знаний, но и для сопоставления с объектами исследуемой проблемной области, с целью их
