Руководство для читателя и необходимая подготовка

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

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

Технический минимум

Основной текст предполагает общую базу в программировании, машинном обучении и базовой математике. Следующая подготовка позволяет читать пояснения и следить за короткими расчетами:

Программирование и системы: Читатель должен уметь читать и писать функции на Python, прослеживать данные через программу и осознавать, что исполнение занимает время и использует память. Знакомство с C или C++, указателями и выделением памяти полезно для необязательной работы по реализации.
Интуиция машинного обучения: Читатель должен уловить разницу между обучением модели и ее использованием для предсказаний и знать массивы или тензоры как входы и выходы модели. Опыт с какой-либо конкретной библиотекой не требуется.
Базовая физика и математика: Читателю должны быть удобны основы алгебры, векторы и матрицы и математический анализ одной переменной (скорости изменения). Физический ИИ прямо опирается на первокурсную ньютонову механику:
- Второй закон Ньютона для линейных и вращательных систем ( $F = ma$ , $τ = I α$ ).
- Прикидки кинетической энергии и остановочного пути ( $E_{k} = \frac{1}{2} m v^{2}$ , $d_{stop} \approx v τ_{delay} + \frac{v ^{2}}{2 a _{brake}}$ ).
- Основы электрической мощности и нагрева ( $P = I_{phase}^{2} R_{phase}$ ). Продвинутая дифференциальная геометрия, теория непрерывного управления на группах Ли и формальный анализ достижимости сознательно не требуются; их математические изложения собраны в приложениях тома.

Эта подготовка позволяет рассуждать о полной системе. Специализированная теория управления, детальная математика робототехники и владение низкоуровневыми реализациями не входят в стартовые требования для основного изложения.

Дисциплинарные маршруты чтения

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

Практикам машинного обучения: Сосредоточьтесь на физических последствиях вычислений. Машина продолжает движение, пока ее модель обрабатывает наблюдение. Обратите особое внимание на раздел «Физическое тело» — ограничения движения и торможения, «Физические данные» и «Обучение политики» — эндогенную обратную связь и нарастающий дрейф ( $O (T^{2} ϵ)$ ), «Оценка в замкнутом контуре» — реальность замкнутого контура, «Обеспечение безопасности» — проверку предложенных действий до исполнения, и «Размещение на кремнии» — вычислительные ресурсы, влияющие на тайминг.
Архитекторам встроенных систем и кремния: Сосредоточьтесь на том, как обученные вычисления вносят вклад в решения, которые машина должна выполнить вовремя. Обратите особое внимание на раздел «Каузальная граница» — границу предложения, «Сенсорное восприятие» — как сенсорные наблюдения питают решения, «Пространственная память» — представления пространственной оценки, «Обоснованное намерение» и «Планирование траекторий» — синтез траекторий, и «Размещение на кремнии» — конкуренцию за шину памяти системы на кристалле (SoC) и тепловые пределы.
Робототехникам и инженерам по управлению: Сосредоточьтесь на замыкании физического контура вокруг обученных моделей. Обратите особое внимание на раздел «Каузальная граница» — пределы того, что может командовать модель, «Нервная система» — тайминг и обмен между компонентами, «Вмешательство супервизора» — рукопожатия человеческих полномочий и передачу без разрыва, «Верификация» — внедрение отказов с аппаратурой в контуре, и «Выпуск в эксплуатацию» — структурированные свидетельства, нужные для суждения о готовности к выпуску.

Эти акценты дополняют последовательное чтение, а не заменяют его, потому что аргумент книги состоит в том, как каждая дисциплина связывается с остальной машиной.

Что вводит книга

Книга начинается с физических и вычислительных соотношений, необходимых для объяснения поведения системы. Специализированные концепции входят через задачи, которые они помогают решать, с явными предпосылками и пределами. Основной текст развивает следующие идеи из этой общей базы:

Предложения и разрешение действовать: Текст объясняет, как обученная модель может предлагать действие, тогда как отдельный компонент определяет, может ли это действие дойти до тела.
Проверки в условиях физических пределов: Пояснение связывает предложенные действия с доступным пространством и движением машины, формулируя предпосылки, при которых проверка может помочь.
Тайминг между компонентами: Текст развивает то, как компоненты, работающие на разных частотах, обмениваются результатами и координируют работу, и почему задержки важны для физического отклика.
Наблюдения и движение: Пояснение соотносит положения и направления, описываемые датчиками и моделями, с движениями тела, включая то, как внезапные изменения командуемого движения влияют на механический отклик.
Свидетельства для выпуска: Текст объясняет, как связать утверждение о поведении системы с подтверждающими свидетельствами и определить, что эти свидетельства оставляют нерешенным.

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

Как читать числа

Каждое число в этой книге несет одну из пяти меток: четыре категории свидетельств и одну для проектных решений, и его метка определяет, для чего оно может быть использовано.

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

Бюджет или требование, такие как длительность аренды или запас свободного расстояния, не относятся ни к одной из четырех категорий. Это проектное решение с меткой выбранное, и оно что-то значит, только когда сверено с измеренным или выведенным числом, в которое оно должно вписаться, подобно тому как выбранная аренда сверяется с выведенным потолком задержки до торможения.

Разобранный проект в этой книге показывает процедуру решения. Когда его входы иллюстративны, достигаемое им решение тоже иллюстративно. Оно показывает, как устанавливались бы скорость, аренда или вердикт машины, и связало бы реальную машину только после того, как названные им входы будут измерены.

Когда число что-то решает — например, ограничение скорости, тайм-аут или выпуск, — книга хранит его как протокол пределов с шестью элементами: значение или распределение; условия эксплуатации, в которых оно держится (груз, температура, напряжение питания, поверхность, сопутствующая нагрузка, прошивка); неопределенность измерения; инженерный запас между рабочей целью и порогом разрушения; детектор, улавливающий отклонение, пока машина работает; и его происхождение, то есть его метку и прибор или модель, которые его породили. Предел держится только в заявленных условиях. Когда износ, нагрев, новый груз или новая сборка меняют их, предел должен быть установлен заново до его повторного использования.

Разобранные примеры метят категорию каждого числа один раз, при первом использовании. Результат держится в пределах предпосылок, заявленных вместе с его примером, и больше нигде. Граница из конечного числа испытаний держится в пределах своих выборочных предпосылок и не доказывает ничего сверх них, а измеренный процентиль описывает испытанную нагрузку, а не худший случай. В аргументе выпуска каждая предпосылка также имеет статус: установленная (измеренная или выведенная), предполагаемая, решенная ответственным суждением, необоснованная или находящаяся вне модели угроз. Разделы «Выпуск в эксплуатацию» и «Эпистемическая граница» используют эти статусы.

Что мы сознательно опускаем

Книга фокусируется на том, как работают вместе обученные вычисления, физические механизмы и системы исполнения. Этот фокус ограничивает глубину рассмотрения в соседних областях:

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

Эти границы оставляют существенные механизмы и их следствия в системном аргументе. Они ограничивают исчерпывающее специалистское рассмотрение, не делая знакомство с ним предпосылкой для слежения за книгой.