Hagnaður:
- Skilja hið illa setta og fjölþætta eðli inversions og jafnvægið á milli gagnasamhæfingar og reglusetningar.
- Geta til að sannreyna gervigreindarhröðun (staðgöngulíkan, lærð áður) með sannri framlíkan og viðurkenna álagða jarðfræði
- Geta til að tilkynna niðurstöðuna sem óvissudreifingu frekar en eitt líkan og sýna upplausn/næmni og aðskilnað gagna og forsenda
Dýpsta spurningin í jarðeðlisfræðinni er: hvaða neðanjarðarlíkan framleiðir gögnin sem ég mæli á yfirborðinu? Að svara þessari spurningu kallast inversion. Á meðan framlíkan reiknar út væntanleg gögn úr þekktu neðanjarðarlíkani, gerir öfug líkan hið gagnstæða: það metur neðanjarðarlíkanið út frá gögnum sem hafa sést. Í þessari einingu muntu læra hvernig gervigreind (AI) flýtir fyrir snúningi, tekur sekúndur í stað klukkustunda með staðgöngulíkönum; en við munum sjá hvers vegna AI framleiðslan er aldrei hægt að lesa sem „eina sanna líkanið“ vegna eðlislægrar fjölsemd og tvíræðni invertingarinnar.
Grundvallarspenna öfuglausnar
Inversion er ekki góðkynja vandamál; Þetta er illa sett vandamál: það kann að hafa enga lausn, það getur verið fleiri en ein eða lítill hávaði í gögnunum getur valdið mikilli breytingu á líkaninu. Þess vegna kemur viðsnúningur í jafnvægi milli tveggja krafta: mishæfni gagna (hversu nálæg gögnin sem líkanið framleiðir eru þeim gögnum sem sést) og reglusetningar (bætir „líkanleika“ þvingun við líkanið, t.d. sléttleiki eða nálægð við viðmiðunarlíkanið). Of mikil gagnasöfnun kynnir einnig hávaða inn í líkanið; of mikil reglusetning eyðir raunverulegri uppbyggingu. Stilling þessa jafnvægis (t.d. regularization weight lambda) hefur áhrif á alla túlkunina.
Hvernig flýtir gervigreind fyrir snúning?
Klassísk inversion uppfærir líkanið ítrekað með því að keyra fram líkanagerð hundruðum til þúsunda sinnum; Í 3D rafsegulsnúningu eða fullbylgjulögun getur þetta tekið klukkustundir til daga. AI hraðar á þrjá vegu:
- Staðgöngumódel (staðgöngumódel/hermi): Stytting hringrásarinnar með því að nálgast þunga framreikninginn með hröðu forþjálfuðu tauganeti.
- Lærði áður: Notkun "trúverðugleika" þvingunar sem lærð er af raunhæfum jarðfræðilegum líkönum í stað reglusetningar.
- Bein ályktun (enda til enda): Augnabliksspá með netkerfum sem læra beina kortlagningu frá gögnum til líkans (t.d. í sumum 1D snúningum).
Hver bætir við hraða, en hver kynnir nýja áhættu: staðgöngulíkanið mun skekkast utan þjálfunarsviðsins; hinn lærði fyrri getur lagt jarðfræði þjálfunarsettsins á gögnin (framleiðir enga uppbyggingu sem "líklega"); bein ályktun gæti ofmetið sjálfstraust þess.
Ábending: Áður en þú samþykkir niðurstöðu AI-hraðaðrar öfugsnúningar skaltu setja líkanið sem myndast í gegnum raunverulegt (líkan) framvirkt líkan og bera saman gögnin sem það framleiðir við gögnin sem mælst hefur. Ef lausn sem staðgöngulíkanið segir „passa“ geymir ekki gögnin sem sjást í raunverulegri eðlisfræði er sú lausn ógild.
Mæling á óvissu: dreifing, ekki eitt líkan
Framleiðsla góðrar öfugsnúnings er ekki ein gerð, heldur fjölskylda mögulegra gerða. Leiðir til að mæla óvissu: margar keyrslur með mismunandi upphafslíkönum, mismunandi reglusetningarvægi og líkindaaðferðum (t.d. Bayesian inversion - nálgun sem gefur niðurstöðuna sem líkindadreifingu; posterior dreifing). AI getur flýtt fyrir sýnatöku þessarar dreifingar (t.d. búið til mikinn fjölda mögulegra gerða). Markmiðið er ekki að segja "neðanjarðarinn er svona", heldur "neðanjarðarinn er svona á þessu sviði og á þessum svæðum með þetta sjálfstraust".
Varúð: Því „skarpara og ítarlegra“ sem öfugkort lítur út, því háðara getur það verið ákvörðuninni um reglusetningu og forsendu. Skerpa er ekki nákvæmni. Gerðu greinarmun á því hvaða svæði líkansins ræðst af gögnunum og hvaða af fyrri/reglusetningu (upplausnargreiningu).
Upplausn og næmi
Ekki er sérhver fruma í hverju öfugsnúningslíkani jafn áreiðanleg. Næmi er hversu móttækileg gögnin eru fyrir það svæði líkansins; Svæði sem gögnin geta ekki "séð" (lítið næmi) eru fullkomlega fyllt af forsendu og bera ekki raunverulegar upplýsingar. AI getur hylja þennan aðgreining á meðan það framleiðir skjótar lausnir. Þess vegna verður að fylgja upplausn/næmiskorti við hlið líkansins sem myndast.
þrjú smámál
Tilfelli 1 - Frá klukkustundum til sekúndna. Í magnetotelluric (MT — aðferð til að mæla viðnám neðanjarðar með náttúrulegu rafsegulsviði) verkefni, tók þrívíddarsnúningshlaupið 9 klukkustundir. Teymið skipti út framvirka reikningnum fyrir proxy-net, sem minnkaði atburðarásarskönnun í mínútur. En þeir endurkeyrðu lokalíkanið með raunverulegri eðlisfræði og staðfestu að gögn passa; Þeir leiðréttu handvirkt djúpt svæði þar sem umboðið var slökkt um 3%.
Mál 2 - Álögð jarðfræði. Forsenda sem lærð var af sandsteinsskálum var notuð í karbónatsviði og viðsnúningurinn framkallaði slétt lagskipt uppbyggingu, þó að gögnin studdu það ekki. Viðhorfskortið sýndi að þessi uppbygging var nákvæmlega á djúpa svæðinu þar sem gögnin gátu ekki séð: uppbyggingin kom frá forsendu, ekki gögnunum. Þegar forsendu var breytt varð fyrirmyndin raunhæf.
Tilfelli 3 - Rökvilla í skerpu. Tvö lið leystu sömu þyngdarafl gögnin öfugt. Lausnin með litla reglusetningu kom skörp út, lausnin með mikilli reglusetningu kom oddhvass út; Bæði passa við gögnin jafnt. Ákvörðunin var að samþykkja fjölsemi og taka bæði líkönin inn í lónútreikninginn; Að læsa einni gerð myndi fela áhættuna.
Fjögur afritanleg sniðmát
1) Samráð um uppsetningu á öfugri lausn:
Þitt hlutverk: sérfræðingur í viðsnúningi. Vandamál: [1D/2D/3D, aðferð: MT /seismic / þyngdarafl]. Útskýrðu fyrir mér illa stellingu hinnar öfugu lausnar; Hvernig jafna ég gagnasamsetningu og reglusetningu, með hvaða forsendum (L-ferill, krossgilding) vel ég regluvægið? Skrifaðu skref fyrir skref.
2) Staðfestingarlíkan:
Ég hraðaði framvirkri líkangerð með gervigreind staðgöngulíkani. Hvernig get ég ákvarðað færibreytusviðið sem þetta umboð er áreiðanlegt innan? Hvernig staðfesti ég niðurstöðuna með raunverulegri eðlisfræði, hvernig fanga ég svæðið þar sem umboðið víkur? Leggðu til sannvottunarsamskiptareglur.
3) Óvissuleit:
Andhverfa lausnin mín gaf eitt mynstur. Hvernig nota ég mismunandi upphafslíkön, mismunandi reglusetningarvægi og líkindaúrtak til að kynna óvissu? Hvernig tilkynni ég niðurstöðuna sem „fjölskyldu líkana + öryggisbil“ í stað „stök líkan“?
4) Aðskilnaður upplausnar:
Ég vil aðgreina hvaða svæði af inversion líkaninu mínu ræðst af gögnunum og hver ræðst af forsendu/reglusetningu. Hvernig set ég upp næmni/upplausnargreiningu og merkja lágnæm svæði í skýrslunni?
Veik kvaðning / Sterk kvaðning
Veik kvaðning:
Leysið þessi gögn til baka og gefðu neðanjarðarlíkanið.
Ein módel bíður; Það leynir tvíræðni og tvíræðni, sem leiðir af sér grófa en óviðunandi niðurstöðu.
Öflug tilvitnun:
Þitt hlutverk: sérfræðingur í viðsnúningi. Gögn: [þyngdarafl + þéttleiki 2 brunna]. Verkefni: (1) búa til viðmiðunarlíkan með því að koma jafnvægi á gagnapassa-reglusetningu; (2) breyta vægi reglusetningar til að fá að minnsta kosti þrjú önnur líkön og sýna að þau passa öll við gögnin; (3) hvaða svæði hvers líkans ræðst af gögnunum og hvaða af forsendu. Ekki setja niðurstöðuna fram sem eitt rétt líkan; Gefðu með óvissusviði.
Krafan um aðrar gerðir, gagnapassun og upplausnaraðskilnað gerir andhverfu lausnina heiðarlega.
Inversion nálgast
Nálgun
hraða
Aðaláhætta
sannprófun
Klassísk endurtekning
hægur
staðbundið lágmark
margföld byrjun
staðgöngumódel
mjög hratt
frávik utan sviðs
Staðfest af alvöru eðlisfræði
lærðar forsendur
hratt
jarðfræðiálagningu
Næmni kort
Bayesískt/líkindalegt
miðlungs
Reikningskostnaður
Dreifing að aftan
Algeng mistök
- Að hugsa um að eina fyrirmyndin sé raunveruleg. Andhverfa lausnin er mjög skynsamleg; Búðu til valkosti.
- Að tileinka sér staðgöngumódelið í blindni. Ekki klára án þess að staðfesta niðurstöðuna með raunverulegri framvirkri líkangerð.
- Ekki efast um forsendu. Hin lærða forsenda getur framleitt uppbyggingu sem er ekki studd af gögnunum.
- Misvísandi skerpa fyrir nákvæmni. Smáatriðin eru háð reglugerðarákvörðuninni.
- Að fela ályktunina. Ekki setja fram svæði sem eru lítil viðkvæm sem staðreyndarupplýsingar.
Í stuttu máli
Viðsnúningur er umbreytingarskref jarðeðlisfræðinnar frá gögnum til líkans og er í eðli sínu illa sett, fjölkynja vandamál. gervigreind; Staðgöngulíkön hraða þessu ferli verulega með lærðum forskriftum og beinni ályktun. En hverri hröðun fylgir ný áhætta: rek utan sviðs, þvinguð jarðfræði, ýkt sjálfstraust. Rétt notkun; búa til önnur líkön, staðfesta með raunverulegri eðlisfræði, tilkynna um óvissu sem dreifingu og einangra upplausn. Framleiðsla andhverfu lausnarinnar er ekki einn sannleikur heldur fjölskylda af öruggum afmörkuðum líkönum.
Umsóknarverkefni
Veldu snúningsvandamál (1D viðnám, þyngdaraflssnið osfrv.). Skipuleggðu fyrir gagnasamræmi og reglusetningu málamiðlun með sniðmátinu „Samráði um uppsetningu við uppsetningu um öfug lausn“. Búðu síðan til aðferð til að búa til að minnsta kosti þrjú önnur líkön með „Óvissurannsókn“ sniðmátinu og bera þau saman við hæfni við gögnin. Skrifaðu hvernig þú myndir greina hvaða svæði ræðst af gögnunum og hver ræðst af forsendu.
gátlisti
- [ ] Ég náði meðvitað jafnvægi á milli gagnafylgni og reglusetningar.
- [ ] Ég framleiddi að minnsta kosti þrjár aðrar gerðir og bar saman passa þeirra við gögnin.
- [ ] Ég staðfesti staðgöngu/AI hröðunina með alvöru eðlisfræði.
- [ ] Ég sýndi aðskilnað gagna og forsenda með upplausn/næmiskortinu.
- [ ] Ég tilkynnti niðurstöðuna með óvissusviðinu, ekki einu líkani.