Ž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
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 ilgisNejudanč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šsiskyrimuKai 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 modelyjeKai 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 signalaiPasyvieji 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šujeNurodyto „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 ribosLandsat š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 santykisSuderinamoms 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 DEMMonostatinio 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 nustatymasVandenyno 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 konstrukcijaTegu Σ 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ūžiaisAndersono idealizacijoje viena pagrindinio įtempio ašis yra vertikali, o dvi – horizontalios.
ModelisŽemė ir kosmosasTrapiojo plyšio plitimo energijos balansasKvazistatiniame 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 anomalijaSilpno 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.
MetodasMatematika 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ėžimasMatematika ir logikaNetiesinė egzistavimo teorema: subkritinė NLSLygties 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 teiginysInformacijaDiferencinis privatumas ir saugomas vienetasRandomizuotas 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ėžimasInformacijaJautrumas, Laplaso triukšmas ir kompozicijaVektorinei 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šį.
MetodasInformacijaRényi privatumo apskaita ir konversijaKai eilė alpha>1, RDP apriboja Rényi divergenciją tarp mechanizmo išvesčių kiekvienai gretimų duomenų rinkinių porai dydžiu epsilon-alpha.
Matematinis teiginysInformacijaAtsparumui priešiškoms atakoms būtinas grėsmių modelisVertinant 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į.
MetodasInformacijaAtsitiktinis glodinimas: ribotas L2 sertifikatasGauso glodinimas apibrėžia klasifikatorių pagal labiausiai tikėtiną bazinio klasifikatoriaus prognozę, veikiant N(0,sigma²I) triukšmui.
Matematinis teiginysInformacijaTransformer dėmesio mechanizmas ir jo modeliavimo tikslasSkaliarinė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.
ModelisInformacijaDifuzinis modeliavimas ir išmoktas atvirkštinis triukšmo šalinimasDDPM prideda Gauso triukšmo tiesioginėje Markovo grandinėje ir išmoksta parametrizuotą atvirkštinį procesą imtims generuoti.
ModelisInformacijaAutoregresinių ir difuzinių modelių palyginimasAutoregresinis 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ėžimasInformacija2025 duomenų užterštumo aptikimo tyrimas ir vertinimo ribosSamuel, 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 rezultatasInformacijaTikslus kvantinės būsenos atkūrimas: Knill–Laflamme sąlygosKodo 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 teiginysInformacijaStabilizatorių kodai, CSS struktūra ir kodo atstumasStabilizatoriaus kodas yra bendras visų abelinio Pauli pogrupio operatorių fiksuojamas poerdvis; pogrupyje negali būti minus vienetinis operatorius.
ApibrėžimasInformacijaPaviršinio kodo slenkstis ir fizinio triukšmo prielaidosPaviršiniai ir toriniai kodai matuoja vietines stabilizatoriaus patikras ir pagal sindromus sprendžia apie galimas klaidų grandines.
ModelisInformacijaKlaidoms atsparios operacijos ir loginių išteklių biudžetaiKlaidoms 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ų.
MetodasInformacijaPavirš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