Добици:
- Способност да се добије костур физичког извођења из АИ и да се тачно провери сваки алгебарски корак помоћу СимПи-а
- Способност тестирања изведене формуле са инверзним извод-интеграл и провером граничног стања/граничног стања
- Способност потврђивања измишљених назива закона и теорема и елиминисања нефизичких корена
Моћ физике долази из њене способности да сумира сложене догађаје са неколико једначина. Извођење брзине из једначине кретања, извођење закона одржања из израза енергије, имплицитно решавање интеграла—ово су симболичке (словима, а не бројевима) операције. У овој јединици ћете научити како да користите вештачку интелигенцију (АИ) као план и партнер у размишљању у процесу извођења физичког модела и аналитичког решења; и научићете како да верификујете сваку деривацију помоћу СимПи-а (Питхон-ова симболичка математичка библиотека; она ради деривате, интеграле и решава једначине словима, у тачном облику). Основни принцип овде је: АИ показује пут до извођења, СимПи доказује исправност извођења.
АИ и СимПи подела рада у симболичном извођењу
АИ је веома добар у постављању опште стратегије деривације („у овом проблему почните са очувањем енергије, а затим урадите делимичну диференцијацију“) и објашњавању међукорака. Али у симболичкој алгебри — посебно у дугим деривацијама — прави грешке у знаковима, избегавајући термине и лажна поједностављивања. СимПи, с друге стране, прецизно верификује сваки од ових корака јер ради по правилима, а не по глави. Најефикаснији ток посла комбинује то двоје: Узмите идеју и скелет деривације из АИ, обезбедите сваки алгебарски корак са СимПи.
Куест
Допринос АИ
Аутентификација помоћу СимПи-а
извођење
Подсећа ме на правило ланца
Тачан резултат са симпи.дифф
интеграција
метода сугерише
Верификација са симпи.интеграте
решавање једначина
Креира стратегију
Проналажење корена помоћу симпи.солве
Поједностављење
Показује моје име
Потврдите са симпи.симплифи
Лимит / лимит стате
Даје физичке коментаре
тачна граница са симпи.лимит
Проширење серије
предлаже приступ
Тејлорова експанзија са симпи.сериес
Корак по корак: проверено извођење
1. Појасните физичку полазну тачку. Из ког закона почиње извођење? Њутнов други закон, очување енергије, Максвелове једначине? Јасно наведите претпоставке (без трења, мали угао).
2. Питајте АИ за извођење корак по корак. Замолите га/њу да напише које је правило/закон коришћен у сваком кораку. Питајте за пут, а не само за коначну формулу.
3. Проверите сваки алгебарски корак са СимПи. Добити извод у СимПи, решити интеграл у СимПи, решити једначину у СимПи. Ако се корак АИ не поклапа са резултатом СимПи-а, грешка је у АИ.
4. Тест са граничним стањима. Да ли се изведена формула своди на познате посебне случајеве? На пример, формула релативности треба да се врати на класичну формулу када је брзина веома мала; Једначина за опругу мора се свести на познато осциловање када је трење нула.
5. Извршите димензиону анализу. Да ли важе јединице обе стране изведене формуле? Ово ћемо детаљно покрити у јединици 7, али и овде је то основна ревизија.
Савет: Најбржи начин да се верификује интеграл или извод који се изводи помоћу ИЗ је да се инверзни: диференцира резултат интеграла са СимПи; Ако се врати на почетни израз, интеграл је тачан. Овај „инверзни деривативни интеграл“ је једна од најмоћнијих провера која детектује симболичке грешке у секунди.
три мини кофера
Случај 1 — Промашен знак. Студент је тражио од АИ да изведе једначину кретања пригушеног хармонијског осцилатора. АИ је обрнуо предзнак члана пригушења у једном кораку и добио (физички немогућ) систем који добија енергију. Када је ученик укључио једначину у СимПи и решио је, видео је да решење расте експоненцијално — термин пригушења треба да се смањи, а не да расте. Када сам исправио знак, физика је дошла на своје место.
Случај 2 — Нетачан интеграл. Истраживач је од АИ тражио потенцијални енергетски интеграл. АИ је произвео резултат који се чинио разумним. Истраживач је извео резултат помоћу СимПи; није се вратио на првобитну изјаву. АИ је пропустио константан фактор у интегралу. Када сам узео интеграл директно са СимПи, добијен је тачан резултат.
Случај 3 — Граница је спасила ситуацију. Наставник је замолио АИ да изведе формулу за релативну кинетичку енергију и добио је израз. Да би тестирао тачност формуле, узео је границу где је брзина била веома мала са СимПи серијом; резултат се не своди на класичну ½мв². АИ је изгубио термин у деривацији. У исправном извођењу граница је сведена на класичну форму и формула је потврђена.
Четири шаблона за копирање
1) Деривација верификована помоћу СимПи:
Изведите следећу физичку величину КОРАК ПО КОРАК из закона [почетног закона]: [циљ]. Запишите правило које сте користили у сваком кораку. Затим напишите СимПи код који верификује сваки алгебарски корак деривације (деривација/интеграл/решење). Експлицитно наведите претпоставке (нпр. без трења, мали угао).
2) Дериват-интегрална провера преокрета:
Израчунајте резултат следећег интеграла са СимПи, затим узмите извод тог резултата помоћу СимПи и напишите код да бисте проверили да ли се враћа на почетни израз. Ако се не врати, наведите у ком кораку је проблем. Израз: [овде]
3) Гранично стање / контрола ограничења:
Напишите код који проверава са СимПи ограничењем/серијом да ли се следећа изведена формула [формула], [параметар] своди на познату [очекивана класична формула] у веома малој/превеликој граници. Ако није, означите могућу грешку у извођењу.
4) Провера решења једначине:
Реши ову једначину [једначину] помоћу СимПи решења. Додајте код који проверава да ли враћање сваког пронађеног корена у једначину (под) даје нулу. Означите физички бесмислене корене (нпр. негативна маса).
Слаби промпт / Јаки промпт
Слабо: „Изведи формулу за релативну кинетичку енергију.“
Резултат: Дуга деривација; међукораци нису означени, грешке у знаку/термину су скривене, нема провере граничних услова.
Снажан: „Изведите релативистичку кинетичку енергију из теореме радне енергије корак по корак, напишите правило у сваком кораку. Проверите сваки алгебарски корак помоћу СимПи кода. На крају, покажите са СимПи серијом да се формула смањује на ½мв² у граници в ≪ ц.“
Резултат: Поуздан, гранични случај тестиран деривација са скелетом од АИ и исправношћу из СимПи.
Уобичајене грешке
- Ослањајући се на АИ деривацију без СимПи-а. Грешке у знаку и терминологији су неизбежне у дугим симболичким деривацијама; сваки корак мора бити постигнут детерминистичким алатом.
- Само желим коначну формулу. Без средњих корака, грешка се не може пронаћи; Мора се тражити начин његовог извођења.
- Не проверава граничну ситуацију. Неуспех да се формула сведе на познати посебан случај је један од најпоузданијих знакова грешке.
- Поверење у име измишљеног закона/теореме. АИ може да генерише име за „принцип“ или „теорему“ која не постоји; Потврдите имена из поузданог извора.
- Избегавање елиминисања нефизичког корена. Ако математичко решење даје негативну масу или имагинарно време, тај корен није физички; мора бити елиминисан.
Опрез: Само зато што се извод чини „глатким и убедљивим“, то није тачно. АИ такође може да запише погрешан корак на изузетно безбедном језику. Пре него што унесете извод у лекцију, чланак или дизајн, проверите сваки корак помоћу СимПи-а и тестирајте га са најмање једним граничним случајем. Непроверено извођење није физички доказ.
Укратко
У извођењу симболичке физике, АИ успоставља стратегију и говори пут; али прави грешке у дугој алгебри. СимПи, с друге стране, стриктно проверава сваки корак у супротности са правилима. Најмоћнији ток посла комбинује ово двоје: узмите скелет деривације из АИ, изворите сваки корак помоћу СимПи-а, тестирајте резултат инверзијом изведеног интеграла, граничним стањем и димензионалном анализом. У следећој целини ћемо детаљно покрити најосновнију контролу било ког физичког резултата: анализу димензија и верификацију јединице.
Задатак апликације
Изаберите физичку деривацију коју познајете (на пример, однос брзина-време у слободном паду, период једноставног клатна или потенцијална енергија пронађена интегралом). Нека АИ изведе корак по корак помоћу шаблона 1. Затим проверите сваки алгебарски корак помоћу СимПи-а; Примените инверзни извод-интегр за најмање један интеграл/извод и извршите проверу граничног стања. Запишите у 5-6 реченица: Да ли је АИ погрешио у извођењу, на ком кораку би то СимПи открио?
контролна листа
- [ ] Одредио сам физички почетни закон и претпоставке деривације.
- [ ] Желео сам да изведем из АИ корак по корак, а не само резултат.
- [ ] Проверио сам сваки алгебарски корак са СимПи.
- [ ] Урадио сам најмање једну проверу преокрета извод-интегр.
- [ ] Тестирао сам формулу са граничним случајем.
- [ ] Потврдио сам поменути закон/теорему из поузданог извора.