Добивки:
- Способност да се добие скелет на физичка деривација од ВИ и прецизно да се потврди секој алгебарски чекор со SymPy
- Способност да се тестира изведена формула со дериват-интегрална инверзна и проверка на граничната состојба/гранична состојба
- Способност да се потврдат измислените имиња на закони и теореми и да се елиминираат нефизичките корени
Моќта на физиката доаѓа од нејзината способност да ги сумира сложените настани со неколку равенки. Изведување брзина од равенка на движење, изведување закон за зачувување од израз на енергија, имплицитно решавање на интеграл - тоа се симболични (со букви, а не со бројки) операции. Во оваа единица, ќе научите како да ја користите вештачката интелигенција (ВИ) како план и партнер за размислување во процесот на изведување физички модел и аналитичко решение; и ќе научите како да ја потврдите секоја изведба со SymPy (симболична математичка библиотека на Python; таа прави деривати, интеграли и решавање равенки со букви, во точна форма). Основниот принцип овде е: AI го покажува начинот на изведување, SymPy ја докажува исправноста на изведбата.
AI и SymPy поделба на трудот во симболична деривација
Вештачката интелигенција е многу добра во поставувањето на општата стратегија на изведба („во овој проблем започнете со зачувување на енергијата, потоа правете делумна диференцијација“) и објаснување на средните чекори. Но, во симболичката алгебра - особено во долгите изводи - прави грешки во знакот, избегнати термини и лажни поедноставувања. SymPy, од друга страна, прецизно го потврдува секој од овие чекори затоа што работи според правила, а не по глава. Најефикасниот работен тек ги комбинира двете: Земете ја идејата и скелетот на изведбата од вештачката интелигенција, обезбедете го секој алгебарски чекор со SymPy.
Потрага
Придонес на ВИ
Автентикација со SymPy
изведување
Ме потсетува на правилото на синџирот
Точен резултат со sympy.diff
интеграција
метод сугерира
Верификација со sympy.интегрира
решавање на равенки
Создава стратегија
Наоѓање корен со sympy.реши
Поедноставување
Го покажува моето име
Потврди со sympy.поедностави
Лимит / гранична состојба
Прави физички коментари
точна граница со sympy.limit
Проширување на серијата
предлага пристап
Тејлор експанзија со sympy.серија
Чекор по чекор: проверена деривација
1. Разјаснете ја физичката почетна точка. Од кој закон започнува изведбата? Вториот Њутнов закон, зачувување на енергијата, Максвеловите равенки? Јасно наведете ги претпоставките (без триење, мал агол).
2. Прашајте ја вештачката интелигенција за чекор-по-чекор деривација. Побарајте од него/неа да запише кое правило/закон е користено во секој чекор. Побарајте ја патеката, а не само конечната формула.
3. Потврдете го секој алгебарски чекор со SymPy. Добијте го изводот во SymPy, решете го интегралот во SymPy, решете ја равенката во SymPy. Ако чекорот на вештачката интелигенција не се совпаѓа со резултатот на SymPy, грешката е во вештачката интелигенција.
4. Тест со гранични состојби. Дали изведената формула се сведува на познати посебни случаи? На пример, формулата за релативност треба да се врати на класичната формула кога брзината е многу мала; Равенката за пружина мора да се намали до познатата осцилација кога триењето е нула.
5. Изведете димензионална анализа. Дали важат единиците од двете страни на изведената формула? Ќе го покриеме ова во длабочина во единицата 7, но тоа е основна ревизија и овде.
Совет: Најбрзиот начин да се потврди интеграл или извод изведен од YZ е инверзна: да се разликува резултатот од интеграл со SymPy; Ако се врати на почетниот израз, интегралот е точно. Овој „инверзен дериват-интегрален“ е една од најмоќните проверки што открива симболични грешки за неколку секунди.
три мини футроли
Случај 1 - Пропуштен знак. Еден студент побара од вештачката интелигенција да ја изведе равенката на движење на придушен хармоничен осцилатор. Вештачката интелигенција го смени знакот на терминот за амортизација во еден чекор и доби (физички невозможен) систем кој добива енергија. Кога студентот ја вклучил равенката во SymPy и ја решил, видел дека решението расте експоненцијално - терминот за амортизација треба да се намалува, а не да расте. Откако го поправив знакот, физиката дојде на свое место.
Случај 2 - Неточен интеграл. Истражувач побара од вештачката интелигенција за потенцијален енергетски интеграл. Вештачката интелигенција произведе резултат кој изгледаше разумен. Истражувачот го изведе резултатот со SymPy; не се врати на првичната изјава. ВИ пропушти постојан фактор во интегралот. Кога го земав интегралот директно со SymPy, беше добиен точниот резултат.
Случај 3 - Границата ја спаси ситуацијата. Еден наставник побара од вештачката интелигенција да ја изведе формулата за релативна кинетичка енергија и доби израз. За да ја тестира точноста на формулата, тој ја зеде границата каде што брзината беше многу мала со серијата SymPy; резултатот не се намалува на класичната ½mv². Вештачката интелигенција изгубила термин во деривација. Во правилното изведување, границата беше намалена на класичната форма и формулата беше потврдена.
Четири шаблони за копирање
1) Изведувањето потврдено со SymPy:
Изведете ја следната физичка големина ЧЕКОР ПО ЧЕКОР од законот [почетен закон]: [целна]. Запишете го правилото што го користевте во секој чекор. Потоа напишете SymPy код кој го потврдува секој алгебарски чекор од изведбата (дериват/интеграл/решение). Наведете ги претпоставките (на пр. без триење, мал агол) експлицитно.
2) Проверка на пресврт на дериват-интегрален:
Пресметајте го резултатот од следниот интеграл со SymPy, потоа земете го изводот на тој резултат со SymPy и напишете код за да проверите дали се враќа на почетниот израз. Ако не се врати, наведете во кој чекор е проблемот. Израз: [тука]
3) Ограничувачка состојба / гранична контрола:
Напишете код кој проверува со ограничување/серија на SymPy дали следнава изведена формула [формула], [параметар] се намалува на познатата [очекувана класична формула] во многу малата/преголемата граница. Ако не, означете можна грешка во изведувањето.
4) Потврда за решение на равенката:
Решете ја оваа равенка [равенка] со SymPy solve. Додадете код кој проверува дали ставањето на секој пронајден корен назад во равенката (под) дава нула. Обележете ги физички бесмислените корени (на пр. негативна маса).
Слаб промпт / Силен промпт
Слаб: „Изведете ја формулата за релативна кинетичка енергија“.
Резултат: Долга изведба; средните чекори не се штиклирани, грешките во знакот/поимот скриени, без проверка на граничната состојба.
Strong: "Изведете ја релативистичката кинетичка енергија од теоремата за работа-енергија чекор по чекор, напишете го правилото на секој чекор. Потврдете го секој алгебарски чекор со SymPy код. На крајот, покажете со серијата SymPy дека формулата се намалува на ½mv² во границата v ≪ c."
Резултат: Сигурна деривација тестирана со гранични случаи со скелет од ВИ и исправност од SymPy.
Вообичаени грешки
- Потпирајќи се на изведување на вештачка интелигенција без SymPy. Знаковните и терминолошките грешки се неизбежни во долгите симболички деривации; секој чекор мора да се постигне со детерминистичка алатка.
- Сакајќи ја само конечната формула. Без средни чекори, грешката не може да се најде; Мора да се побара начин како да се изведе.
- Не проверување на граничната ситуација. Неуспехот да се намали формулата на познат посебен случај е еден од најсигурните знаци на грешка.
- Доверба во име на измислен закон/теорема. ВИ може да генерира име за „принцип“ или „теорема“ што не постои; Потврдете ги имињата од сигурен извор.
- Избегнување на елиминирање на нефизичкиот корен. Ако математичкото решение дава негативна маса или имагинарно време, тој корен не е физички; мора да се елиминираат.
Внимание: Само затоа што изведбата изгледа „мазна и убедлива“, тоа не е точно. ВИ може да запише и погрешен чекор на исклучително безбеден јазик. Пред да внесете изведба во лекција, статија или дизајн, потврдете го секој чекор со SymPy и тестирајте го со најмалку еден граничен случај. Непроверената изведба не е физички доказ.
Сумирано
Во деривациите на симболичката физика, вештачката интелигенција ја утврдува стратегијата и ја кажува патеката; но прави грешки во долгата алгебра. SymPy, од друга страна, строго го проверува секој чекор спротивно на правилата. Најмоќниот работен тек ги комбинира двете: земете го скелетот на изведбата од вештачката интелигенција, изворете го секој чекор со SymPy, тестирајте го резултатот со деривативно-интегрална инверзија, гранична состојба и димензионална анализа. Во следната единица детално ќе ја опфатиме најосновната контрола на секој физички резултат: димензионална анализа и верификација на единицата.
Задача за апликација
Изберете физичка деривација што ја знаете (на пример, врската брзина-време при слободен пад, периодот на едноставно нишало или потенцијалната енергија пронајдена од интеграл). Направете ја вештачката интелигенција чекор по чекор со шаблон 1. Потоа проверете го секој алгебарски чекор со SymPy; Примени го инверзниот дериват-интеграл за најмалку еден интеграл/дериват и изврши проверка на граничната состојба. Запишете го во 5-6 реченици: Дали вештачката интелигенција направи грешка при изведувањето, на кој чекор би ја открил SymPy?
листа за проверка
- [ ] Го утврдив физичкиот почетен закон и претпоставките на изведбата.
- [ ] Сакав да извлечам од вештачката интелигенција чекор по чекор, а не само од резултатот.
- [ ] Го потврдив секој алгебарски чекор со SymPy.
- [ ] Направив барем една проверка на пресврт на дериват-интегрален.
- [ ] Ја тестирав формулата со граничен случај.
- [ ] Споменатиот закон/теорема го потврдив од сигурен извор.