Ž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šų: 151–180 iš 204
Juodosios dėžės šifravimo ar parašų žaidimo įrodyme paprastai atskleidžiami nurodyti išėjimai ir orakulai, bet ne nuo paslapties priklausantis vykdymo laikas, galios vartojimas, podėlio pėdsakai ar gedimų atsakai.
MetodasInformacijaPAC mokymasis: realizuojamojo ir agnostinio atvejų garantijosPAC mokymasis, remdamasis nepriklausomomis ir vienodai pasiskirsčiusiomis imtimis, apriboja populiacijos riziką su bent 1−delta tikimybe.
Matematinis teiginysInformacijaBaigtinės klasės tolygaus konvergavimo ribaBaigtinei hipotezių klasei H, nepriklausomiems ir vienodai pasiskirsčiusiems stebėjimams bei nuostoliams intervale [0,1], Hoeffding nelygybė ir sąjungos tikimybės riba rodo, kad tikimybė, jog bent viena empirinė rizika nuo populiacijos rizikos skirsis daugiau nei epsilon, yra ne didesnė kaip 2|H|exp(−2n epsilon²).
Matematinis teiginysInformacijaVC dimensija ir išmokstamumas nepriklausomai nuo skirstinioVC dimensija yra didžiausias taškų aibės dydis, kuriam dvejetainė hipotezių klasė gali realizuoti kiekvieną žymų priskyrimą.
Matematinis teiginysInformacijaPosteriorinis vertinimas, priorai ir identifikuojamumasBayesinis vertinimas sujungia tikėtinumo funkciją ir priorinį skirstinį į posteriorinį skirstinį, sąlygotą stebėtų duomenų.
ApibrėžimasInformacijaKubitai, tankio būsenos ir matavimo tikimybėsGrynoji kubito būsena yra normuotas vektorius erdvėje C², apibrėžtas iki bendrosios fazės; mišrioji būsena yra teigiamai pusapibrėžtas vienetinio pėdsako tankio operatorius.
ApibrėžimasInformacijaKvantiniai kanalai ir visiškas teigiamumasFizikinis posistemės kanalas modeliuojamas visiškai teigiamu, pėdsaką išsaugančiu atvaizdžiu.
ApibrėžimasInformacijaKvantinės grandinės, vartai ir išteklių apskaitaKvantinė grandinė jungia unitarinius vartus, pagalbines sistemas, kanalus ir matavimus pagal nurodytą vartų rinkinį.
ApibrėžimasInformacijaGrover paieška ir jos juodosios dėžės apatinė ribaNestruktūruotai paieškai tarp N alternatyvų, turint koherentinį žymėjimo orakulą ir vieną pažymėtą elementą, amplitudės stiprinimas naudoja O(sqrt(N)) orakulo užklausų, kad sėkmės tikimybė būtų atskirta nuo nulio.
Matematinis teiginysInformacijaShor periodo paieška ir skaidymo daugikliais prielaidosShor skaidymo daugikliais algoritmas redukuoja skaidymą į periodo paiešką ir naudoja modulinį kėlimą laipsniu, kvantinį fazės bei Fourier apdorojimą ir klasikines grandinines trupmenas.
MetodasInformacijaKvantinė entropija ir Holevo ribaVon Neumann entropija yra −tr rho log2 rho ir lygi tankio operatoriaus tikrinių verčių Shannon entropijai.
Matematinis teiginysInformacijaReliacinė algebra ir užklausos prasmėSantykis yra kortežų aibė, apibrėžta pagal schemą.
ApibrėžimasInformacijaRaktai ir reliacinio vientisumo apribojimaiRaktas kandidatas yra minimali atributų aibė, vienareikšmiškai identifikuojanti kortežą; superraktas neprivalo būti minimalus.
ApibrėžimasInformacijaTransakcijos ir serializuojami rezultataiTransakcija sujungia operacijas, kurios atomiškai patvirtinamos arba atšaukiamos.
MetodasInformacijaMomentinių kopijų izoliacijos ir serializuojamumo palyginimasPostgreSQL 18 repeatable read naudoja momentinių kopijų izoliaciją: kiekviena transakcija skaito stabilią momentinę kopiją, tačiau lygiagretūs skirtingų eilučių įrašymai gali sukelti write skew anomaliją ir neserializuojamą bendrą rezultatą.
ApibrėžimasInformacijaSmulkių žingsnių semantika ir stebimas vykdymasOperacinė semantika apibrėžia perėjimo sąryšį tarp programos konfigūracijų, prireikus apimdama ir būseną.
ApibrėžimasInformacijaProgresas ir tipo išsaugojimas kaip tipų saugumo reikalavimaiNurodytai paprastai tipizuotai kalbai progresas reiškia, kad uždaras tinkamai tipizuotas termas yra reikšmė arba gali atlikti žingsnį; tipo išsaugojimas reiškia, kad vertinant jo tipas nesikeičia.
Matematinis teiginysInformacijaLygiagretumas, happens-before sąryšis ir duomenų lenktynių nebuvimasNuoseklusis suderinamumas pateikia operacijas viena tvarka, išsaugančia kiekvienos gijos programos tvarką.
ApibrėžimasInformacijaPatikrintas kompiliavimas ir jo pasitikėjimo ribaPagrindinė CompCert semantikos išsaugojimo teorema susieja priimtą C abstrakčiąją sintaksę su sugeneruota asemblerio abstrakčiąja sintakse: esant teoremos prielaidoms, sugeneruota elgsena patikslina leidžiamą pradinės programos elgseną.
MetodasInformacijaCompCert 3.18: datuotas formalios patikros pokytisOficiali CompCert 3.18 laida, išleista 2026 m. rugpjūtį, pakeičia formalų alignment/free tvarkymą ir prideda Rocq 9.2 palaikymą.
MetodasInformacijaPopuliacijos rizika ir empiriniai mokymosi tikslaiPrognozuotojui h populiacijos rizika yra nuostolio matematinis vidurkis pagal nurodytą duomenų skirstinį; empirinė rizika yra imties nuostolio vidurkis.
ApibrėžimasInformacijaReguliarizavimas ir optimizavimas yra atskiros valdymo priemonėsReguliarizuotas empirinis minimizavimas prie imties nuostolio prideda sudėtingumo baudą, padaugintą iš lambda.
MetodasInformacijaStochastinis gradientas ir konvergavimo prielaidosStochastinio gradiento metodas atnaujina parametrus pagal imtimi įvertintą gradientą arba subgradientą.
MetodasInformacijaPagrindinės komponentės ir reprezentacijos prielaidosPCA randa ortogonalią mažo rango poerdvio projekciją, minimizuojančią centruotų stebėjimų kvadratinę atkūrimo paklaidą.
MetodasInformacijaValidavimas, testo nepriklausomumas ir informacijos nutekėjimasMokymas pritaiko parametrus, validavimas parenka modelius ir jų derinimą, o galutinis atskirtas testas įvertina pasirinktos procedūros veikimą populiacijoje, iš kurios imama jo imtis.
MetodasInformacijaBayesiniai tinklai, d-atskyrimas ir vertinimasBayesinis tinklas naudoja orientuotą aciklinį grafą ir vietinius sąlyginius skirstinius jungtiniam skirstiniui faktorizuoti.
ApibrėžimasInformacijaVariacinis vertinimas ir duomenų tikimybės logaritmo apatinė ribaVariacinis vertinimas aproksimuoja posteriorinį skirstinį, iš nurodytos šeimos parinkdamas q, kuris minimizuoja KL(q||posterior).
MetodasInformacijaMCMC ir variacinis vertinimas: įrodymai ir kompromisaiMCMC sudaro Markovo grandinę su norimu stacionariu posterioriniu skirstiniu ir vertina integralus pagal koreliuotus generuotus stebėjimus; reikia tikrinti konvergavimą, maišymąsi ir efektyvųjį imties dydį.
ApibrėžimasInformacijaPrognozavimas, priežastinė intervencija ir identifikuojamumasSąlygojimas pagal stebėjimą p(Y|X=x) ir intervencija p(Y|do(X=x)) apibūdina skirtingas operacijas.
ApibrėžimasInformacijaGedimų ir laiko prielaidos paskirstytosiose sistemoseSustojimo gedimas sustabdo procesą; bizantiniai gedimai leidžia bet kokią elgseną, įskaitant nenuoseklius pranešimus.
Apibrėžimas