GLOBAL KNOWLEDGE ARK

Žinynas

Žinių pagrindai

Tyrinėkite sąvokas, dėsnius, lygtis ir metodus, jų taikymą ir šaltinius. Pasirinkite pažinimo sritį arba raskite konkretų žinyno įrašą.

Daugiau filtrų

Žinyno įrašai

Rodoma įrašų: 1111–1140 iš 1709

Žemė ir kosmosasNevienareikšmiškumas ir skiriamoji geba darant išvadas iš gravitacijos duomenų

Skirtingos požeminės tankio struktūros gali sukurti tą patį išorinį gravitacinį lauką.

Metodas
Žemė ir kosmosasŠilumos difuzija dėl laidumo ir būdingasis šiluminis ilgis

Nejudančioje vienalytėje medžiagoje, kai ρ, c_p ir k yra pastovūs ir teigiami, nėra vidinių šilumos šaltinių, o šilumos laidumas yra vienmatis, galioja ρc_pT_t=kT_zz, kur temperatūrinis laidis κ=k/(ρc_p).

Modelis
Žemė ir kosmosasStacionari geoterma su vidiniu šilumos išsiskyrimu

Kai gylis z teigiamas žemyn, šilumos laidumas k pastovus, o tūrinis šilumos išsiskyrimas H vienodas, stacionarus šilumą laidantis sluoksnis tenkina kT_zz+H=0.

Modelis
Žemė ir kosmosasIdealios litosferos vėsimas pusės erdvės modelyje

Kai z>0, pradinė temperatūra visur yra T_i, o paviršiaus temperatūra palaikoma lygi T_s, kai t>0, šilumos laidumo lygties sprendinys esant pastoviam κ yra T(z,t)=T_s+(T_i−T_s)erf[z/(2√(κt))].

Modelis
Žemė ir kosmosasPasyvieji ir aktyvieji Žemės stebėjimo signalai

Pasyvieji jutikliai priima iš išorės sklindančią arba natūraliai išspinduliuotą spinduliuotę; aktyvusis radaras ar lidaras pats apšviečia objektą ir matuoja grįžtamąjį signalą.

Metodas
Žemė ir kosmosasSkaitinės vertės, energinis skaistis ir atspindžio faktorius atmosferos viršuje

Nurodyto „Landsat“ 1 lygio produkto metaduomenyse pateikiamas konkrečiai spektrinei juostai skirtas perskaičiavimas L_λ=M_LQ_cal+A_L ir nekoreguotas planetinis atspindžio faktorius ρ′=M_ρQ_cal+A_ρ.

Metodas
Žemė ir kosmosasŠiluminės spinduliuotės skaistinė temperatūra ir paviršiaus temperatūros nustatymo ribos

Landsat šiluminės juostos spinduliuotės skaistis ties atmosferos viršutine riba (TOA) L_λ>0 perskaičiuojamas į produkto skaistinę temperatūrą T_B=K₂/ln(K₁/L_λ+1), naudojant tos juostos metaduomenų konstantas.

Metodas
Žemė ir kosmosasNDVI kaip kalibruotas spektrinis santykis

Suderinamoms artimosios infraraudonosios ir raudonosios spektro sričių paviršiaus atspindžio koeficiento juostoms NDVI=(ρ_NIR−ρ_R)/(ρ_NIR+ρ_R).

Metodas
Žemė ir kosmosasImpulsinis nuotolio matavimas, aukščio geometrija ir DEM

Monostatinio impulso atveju, kai pataisyta pirmyn ir atgal sklidimo delsa yra τ, o pastovus grupinis sklidimo greitis yra v_g, vienkryptis įstrižasis atstumas yra R=v_gτ/2.

Metodas
Žemė ir kosmosasVandenyno spalva ir empirinis chlorofilo nustatymas

Vandenyno spalvos spektrinių juostų santykio modeliai leidžia įvertinti paviršinio sluoksnio chlorofilo a koncentraciją pagal iš vandens išeinančios spinduliuotės nuotolinio stebėjimo atspindžio rodiklius.

Metodas
Žemė ir kosmosasĮtempiai lūžio plokštumoje ir Mohro konstrukcija

Tegu Σ yra simetrinis įtempių tenzorius, kuriame gniuždymas laikomas teigiamu; jis yra priešingo ženklo nei Cauchy įtempių tenzorius, kuriame tempimas laikomas teigiamu.

Metodas
Žemė ir kosmosasAndersono įtempių režimai ir deformacija lūžiais

Andersono idealizacijoje viena pagrindinio įtempio ašis yra vertikali, o dvi – horizontalios.

Modelis
Žemė ir kosmosasTrapiojo plyšio plitimo energijos balansas

Kvazistatiniame tampriojo irimo modelyje plintant plyšiui išlaisvinama mechaninė potencinė energija; išlaisvinamos energijos kiekį projektuoto plyšio ploto prieaugio vienetui nusako G=−∂Π/∂A.

Modelis
Žemė ir kosmosasIndukuotasis ir liekamasis įmagnetėjimas bei bendrojo lauko anomalija

Silpno lauko tiesinis izotropinis uolienos modelis išskaido įmagnetėjimą M=M_r+χH į išlikusį liekamąjį įmagnetėjimą ir indukuotąjį atsaką į vietinį H.

Metodas
Matematika ir logikaAukštesniosios kategorijos per nervus ir vidinius ragus

Įprastos kategorijos nervo n-simpleksai yra n komponuojamų rodyklių grandinės; vidiniai ragai turi vienintelius užpildus, koduojančius kompoziciją.

Apibrėžimas
Matematika ir logikaNetiesinė egzistavimo teorema: subkritinė NLS

Lygties i u-t=−Delta-u−lambda|u|^alpha u erdvėje R-n, kai lambda realusis ir 0<alpha<4/n, kiekvieniems pradiniams duomenims iš L2 egzistuoja vienintelis lokalus mild tipo sprendinys erdvių C([0,T];L2) ir L-q(0,T;L^(alpha+2)) sankirtoje, kur q=4(alpha+2)/(n alpha).

Matematinis teiginys
InformacijaDiferencinis privatumas ir saugomas vienetas

Randomizuotas mechanizmas užtikrina (epsilon,delta)-diferencialųjį privatumą, jei kiekvienai gretimų duomenų rinkinių porai ir kiekvienam išvesties įvykiui galioja Pr[M(D) in S]≤exp(epsilon)Pr[M(D-prime) in S]+delta.

Apibrėžimas
InformacijaJautrumas, Laplaso triukšmas ir kompozicija

Vektorinei užklausai, kurios globalusis L1 jautrumas yra Delta-1, prie kiekvienos koordinatės pridėjus nepriklausomą Laplaso triukšmą, kurio mastelio parametras yra Delta-1/epsilon, užtikrinamas epsilon diferencinis privatumas pagal pasirinktą gretimumo sąryšį.

Metodas
InformacijaRényi privatumo apskaita ir konversija

Kai eilė alpha>1, RDP apriboja Rényi divergenciją tarp mechanizmo išvesčių kiekvienai gretimų duomenų rinkinių porai dydžiu epsilon-alpha.

Matematinis teiginys
InformacijaAtsparumui priešiškoms atakoms būtinas grėsmių modelis

Vertinant atsparumą priešiškoms atakoms su norma apribotais trikdžiais, klausiama, ar užpuolikas gali pakeisti modelio prognozę, naudodamas trikdžius iš nurodytos aibės aplink įvestį.

Metodas
InformacijaAtsitiktinis glodinimas: ribotas L2 sertifikatas

Gauso glodinimas apibrėžia klasifikatorių pagal labiausiai tikėtiną bazinio klasifikatoriaus prognozę, veikiant N(0,sigma²I) triukšmui.

Matematinis teiginys
InformacijaTransformer dėmesio mechanizmas ir jo modeliavimo tikslas

Skaliarinės sandaugos dėmesio mechanizmas su mastelio korekcija apskaičiuoja softmax(QK-transpose/sqrt(d-k))V, todėl teksto vienetų reprezentacijos gali apjungti kontekstą per išmoktas užklausų, raktų ir reikšmių projekcijas.

Modelis
InformacijaDifuzinis modeliavimas ir išmoktas atvirkštinis triukšmo šalinimas

DDPM prideda Gauso triukšmo tiesioginėje Markovo grandinėje ir išmoksta parametrizuotą atvirkštinį procesą imtims generuoti.

Modelis
InformacijaAutoregresinių ir difuzinių modelių palyginimas

Autoregresinis modelis išskaido sekos tikimybinį dėsnį į sąlyginius kito elemento skirstinius, o difuzinis modelis generuoja taikydamas išmoktą atvirkštinį triukšmo procesą.

Apibrėžimas
Informacija2025 duomenų užterštumo aptikimo tyrimas ir vertinimo ribos

Samuel, Zhou ir Zou COLING 2025 tyrime lyginami penki duomenų užterštumo aptikimo metodai, taikomi keturiems kalbos modeliams ir aštuoniems etaloniniams testams, įskaitant kontroliuojamą tiksliojo derinimo aplinką su orakulu.

Empirinis rezultatas
InformacijaTikslus kvantinės būsenos atkūrimas: Knill–Laflamme sąlygos

Kodo poerdvis su projektoriumi P tiksliai ištaiso nurodyto klaidų E-a tiesinio apvalkalo klaidas tada ir tik tada, kai kiekvienai klaidų porai galioja P E-a† E-b P=c-ab P.

Matematinis teiginys
InformacijaStabilizatorių kodai, CSS struktūra ir kodo atstumas

Stabilizatoriaus kodas yra bendras visų abelinio Pauli pogrupio operatorių fiksuojamas poerdvis; pogrupyje negali būti minus vienetinis operatorius.

Apibrėžimas
InformacijaPaviršinio kodo slenkstis ir fizinio triukšmo prielaidos

Paviršiniai ir toriniai kodai matuoja vietines stabilizatoriaus patikras ir pagal sindromus sprendžia apie galimas klaidų grandines.

Modelis
InformacijaKlaidoms atsparios operacijos ir loginių išteklių biudžetai

Klaidoms atspariuose skaičiavimuose būtina valdyti klaidas išgaunant sindromą, atkuriant būseną ir vykdant užkoduotus loginius vartus, taip pat saugant būseną be operacijų.

Metodas
InformacijaPaviršiaus kodo atmintis žemiau slenksčio: matavimų duomenys

„Google Quantum AI“ tyrime, paskelbtame žurnale Nature internete 2024 m. gruodžio 9 d. ir 2025 m. tome, aprašoma paviršiaus kodo atmintis, kurios kodo atstumas yra septyni ir kuri naudoja 101 fizinį kubitą, kurios loginės klaidos tikimybė per ciklą yra 0.143%±0.003%.

Empirinis rezultatas
ApibrėžimasPatikrinta pagal šaltinius

Stabilizatorių kodai, CSS struktūra ir kodo atstumas

Informacija

Tyrimų kontekstas

postgraduate concept · established · Patikros data 2026-10-10

Stabilizatoriaus kodas yra bendras visų abelinio Pauli pogrupio operatorių fiksuojamas poerdvis; pogrupyje negali būti minus vienetinis operatorius.

Esminės žinios

Stabilizatoriaus kodas yra bendras visų abelinio Pauli pogrupio operatorių fiksuojamas poerdvis; pogrupyje negali būti minus vienetinis operatorius. [[n,k,d]] kode n fizinių kubitų koduoja k loginių kubitų, o atstumas d lemia galimybę idealiame atkūrimo modelyje ištaisyti iki floor((d−1)/2) savavališkų klaidų nežinomose vietose. CSS kodai naudoja suderintas klasikines lyginumo patikros struktūras; suderinamumas yra komutavimo sąlyga, o ne tiesiog du savavališki klasikiniai kodai.

Sąlygos ir taikymo ribos

  • Kodo atstumas susijęs su netrivialiais loginiais operatoriais; degeneruotos klaidos gali turėti tą patį sindromą.
  • Pataisomų klaidų skaičiaus riba remiasi idealiu sindromo nustatymu ir atkūrimu; ji neapima klaidingai veikiančių vartų ar kartotinių matavimų sąnaudų.
Šaltiniai · 1

Šaltiniai

Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.

  1. Quantum Information, chapter 7 (March 2026): quantum error correctionJohn Preskill / CaltechPaskaitų medžiaga · PDFpreskill.caltech.eduSkaityti šaltinį

Pagrindimas ir peržiūra

Autorius patikrino šį anglišką teiginį, pateiktą lygtį, jei ji yra, ir nurodytas prielaidas pagal šias šaltinio vietas: §7.2 lygtis 7.17, CSS ir stabilizatoriaus kodai, atstumas, §7.18 paviršinių kodų slenksčiai ir išteklių apribojimai; vadovėlio skyriaus juodraštis. Patikra apsiriboja užrašytais teiginiais; neteigiama, kad visiškai atkurtas įrodymas, programine įranga pakartota įrodymo patikra ar išsamiai apžvelgta visa literatūra.

2026-10-10 · Autoriaus atlikta šaltinio teksto, teiginio, lygties ir taikymo srities patikra; kiekvienos grafo sąsajos taikymo ribos apibrėžtos atskirai. Prieš užbaigiant šaką būtina atskira nepriklausoma turinio, šaltinių ir turimos medžiagos peržiūra.

Įrašo informacijaNuolatinė nuoroda į šį įrašą ↗
Įrašo identifikatorius
research-info-stabilizer-distance
Versija
research.1
Struktūruotas žinyno įrašas
Podiplominis ir tyrimų žinynas