Вообще-то проблема с доказательством теорем, когда используется
компьютер, появилась очень давно. Смотрите теорему про окрашивание
планарного графа с помощью четырёх цветов.
Обычно pitch бывает для поликремния и иногда для второго металла,
первый металл не обязательно располагать в сетке.
Или вы имеете ввиду pitch = width + spacing?
Нельзя. DE — это множество временных отрезков с соответствующим
множеством полиномов Чебышева, верных только для
этого интервала времени. Если выбрать полиномы не
из правильного диапазона даже на минимальный промежуток
времени, результат будет гарантированно неверный — зачем такой результат?
> Стоит отметить что даже задача о движении трех тел не может быть решена аналитически.
Это неправда.
Например, аналитические теории движения Луны — это специальные задачи трёх тел.
Если говорить про общую аналитическую задачу трёх тел, то она была решена
ещё в начале двадцатого века.
Проблема в том, что ряды, полученные по этой теории, сходятся настолько медленно,
что получить практический результат по ним не представляется возможным.
Теория не может быть построена на полиномах Чебышева.
На самом деле DE405 — это интерполяция положения планет и Луны
на основе наблюдений и вычислений по теории тяготения
Ньютона и Общей Теории Относительности.
А представление данных в виде полиномов Чебышева сделано
просто по той причине, что полиномы Чебышева наилучшим образом
интерполирую данные.
Какой вес? Какое ускорение g?
А на МКС космонавты тоже испытывают ускорение?
В полёте шар находится в состоянии невесомости, если
пренебречь сопротивлением воздуха.
Ускорение есть только когда его бросают.
компьютер, появилась очень давно. Смотрите теорему про окрашивание
планарного графа с помощью четырёх цветов.
первый металл не обязательно располагать в сетке.
Или вы имеете ввиду pitch = width + spacing?
то лучше пользоваться волновым алгоритмом.
Не знал, что этот стиль программирования так называется.
которые не показывали репортажи про успехи американской
лунной программы.
множеством полиномов Чебышева, верных только для
этого интервала времени. Если выбрать полиномы не
из правильного диапазона даже на минимальный промежуток
времени, результат будет гарантированно неверный — зачем такой результат?
для которого он рассчитан.
с помощью SAT солверов.
Здесь такое есть?
Это неправда.
Например, аналитические теории движения Луны — это специальные задачи трёх тел.
Если говорить про общую аналитическую задачу трёх тел, то она была решена
ещё в начале двадцатого века.
Проблема в том, что ряды, полученные по этой теории, сходятся настолько медленно,
что получить практический результат по ним не представляется возможным.
На самом деле DE405 — это интерполяция положения планет и Луны
на основе наблюдений и вычислений по теории тяготения
Ньютона и Общей Теории Относительности.
А представление данных в виде полиномов Чебышева сделано
просто по той причине, что полиномы Чебышева наилучшим образом
интерполирую данные.
Посмотрите, какой объём информации хранится в вычислительном центре ЦЕРНа.
Не оно?
А на МКС космонавты тоже испытывают ускорение?
В полёте шар находится в состоянии невесомости, если
пренебречь сопротивлением воздуха.
Ускорение есть только когда его бросают.
В системе отсчёта, связанной с камерой,
никакого ускорения нет.
Вспоминаем мысленный эксперимент с
падающим лифтом.