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šų: 31–60 iš 1709

Fizika · MatavimasCezio-133 apibrėžiamasis dažnis

ΔνCs žymi netrikdomo cezio-133 atomo pagrindinės būsenos hipersmulkiosios sandaros šuolio dažnį. Jo skaitinė vertė SI vienetais yra tiksliai fiksuota.

Apibrėžimas
Matematika ir logika · InformacijaKlasikiniai teiginiai ir loginės jungtys

Klasikinė logika jungia tiesos vertes turinčius teiginius apibrėžtomis loginėmis jungtimis.

Apibrėžimas
Matematika ir logikaAksiomos, dedukcija ir matematinis įrodymas

Matematiniu įrodymu išvada išvedama remiantis nurodytomis prielaidomis ir taisyklėmis.

Metodas
Matematika ir logika · InformacijaAibės, priklausymas ir pagrindinės operacijos

Aibė nusako elementų priklausymą, neatsižvelgiant į pakartotinį tų pačių elementų išvardijimą.

Apibrėžimas
Matematika ir logika · InformacijaFunkcijos, apibrėžimo sritis ir kodomenas

Funkcija kiekvienam savo apibrėžimo srities elementui priskiria lygiai vieną reikšmę.

Apibrėžimas
Matematika ir logika · InformacijaMatematinė indukcija

Indukcijos bazė ir bendrasis indukcijos žingsnis leidžia įrodyti, kad predikatas teisingas visiems neneigiamiems sveikiesiems skaičiams.

Metodas
Matematika ir logika · MatavimasEuklidiniai statieji trikampiai ir Pitagoro teorema

Euklidinio stačiojo trikampio statinių ilgių kvadratų suma lygi įžambinės ilgio kvadratui.

Matematinis teiginys
Matematika ir logika · FizikaSinusas, kosinusas ir vienetinis apskritimas

Sinusas ir kosinusas yra vienetinio apskritimo taško koordinatės, kurių kvadratų suma lygi vienetui.

Matematinis teiginys
Matematika ir logika · InformacijaKompleksiniai skaičiai

Kompleksinis skaičius turi realiąsias koordinates a ir b bei menamąjį vienetą, tenkinantį lygybę i²=−1.

Apibrėžimas
Matematika ir logika · Informacija · FizikaTiesiniai atvaizdžiai ir jų matricinis vaizdavimas

Tiesinis atvaizdis išsaugo tiesinius darinius ir, pasirinkus bazes, turi matricą.

Apibrėžimas
Matematika ir logikaRealiųjų reikšmių funkcijos riba

Baigtinė riba leidžia kontroliuoti funkcijos reikšmės paklaidą, kai argumento atstumas yra pakankamai mažas.

Apibrėžimas
Matematika ir logika · FizikaIšvestinė taške

Išvestinė yra baigtinė vietinių skirtuminių santykių riba.

Apibrėžimas
Matematika ir logika · FizikaApibrėžtinis integralas ir kaupimas su ženklu

Apibrėžtinis integralas yra mažų įnašų kaupimo su ženklu ribinė vertė.

Apibrėžimas
Matematika ir logika · FizikaPagrindinė matematinės analizės teorema

Tolydumas susieja diferencijavimą ir integravimą.

Matematinis teiginys
Matematika ir logika · InformacijaTikimybinė erdvė ir aksiomos

Tikimybė įvykiams priskiria neneigiamus, normuotus svorius; poromis nesutaikomų įvykių skaičiosios sąjungos svoris yra tų įvykių svorių suma.

Apibrėžimas
Matematika ir logika · InformacijaSąlyginė tikimybė ir nepriklausomumas

Sąlygojant apsiribojama teigiamos tikimybės įvykiu.

Apibrėžimas
Matematika ir logika · InformacijaDiskrečiojo atsitiktinio dydžio matematinė viltis

Matematinė viltis – tai galimų reikšmių suma, kurioje kiekvienos reikšmės svoris yra jos tikimybė.

Apibrėžimas
Matematika ir logika · MatavimasPopuliacijos vidurkio pasikliautinasis intervalas

Pasikliovimo lygmuo nusako, kokia dalis pakartotinai sudaromų imčių intervalų, gautų taikant intervalų sudarymo procedūrą, apima parametrą.

Metodas
Informacija · Matematika ir logikaBitai ir dvejetainis kodavimas be ženklo

Bitas turi dvi galimas būsenas; fiksuoto ilgio dvejetainis žodis be ženklo koduoja sveikąjį skaičių.

Apibrėžimas
Informacija · Matematika ir logikaDiskrečiojo skirstinio Šenono entropija

Šenono entropija matuoja neapibrėžtį nurodytame tikimybių skirstinyje.

Apibrėžimas
InformacijaAlgoritmas ir sprendimo procedūra

Algoritmas nusako efektyviai įvykdomus žingsnius; sprendimo procedūra turi baigti darbą su kiekviena leistina įvestimi.

Metodas
Informacija · Matematika ir logikaSustojimo problemos neišsprendžiamumas

Bendrajame skaičiavimo modelyje nėra visur apibrėžto algoritmo, kuris nustatytų, ar programa sustos, kiekvienai programai ir įvesčiai.

Matematinis teiginys
Informacija · Matematika ir logikaAsimptotiniai viršutiniai rėžiai ir didysis O

Didysis O nusako augimo viršutinį rėžį: nuo tam tikro įvesties dydžio nagrinėjama funkcija neviršija pastoviu daugikliu padaugintos palyginamosios funkcijos.

Apibrėžimas
MatavimasPagrindiniai SI vienetai

Septyni pavadinimus turintys pagrindiniai vienetai sudaro SI dydžių sistemos pagrindą.

Apibrėžimas
MatavimasSI dešimtainiai priešdėliai

Priešdėlių simboliai nurodo dešimtainius mastelio daugiklius.

Apibrėžimas
MatavimasMetrologinė sietis

Susieti rezultatą su atskaitos pagrindu per dokumentuotus kalibravimus.

Apibrėžimas
Matavimas · Matematika ir logikaPirmosios eilės neapibrėžties sklidimas

Sujungti įėjimo dydžių neapibrėžtis taikant matavimo modelį.

Metodas
Matavimas · Fizika · Matematika ir logikaDimensijų suderinamumas

Naudokite dimensijas neįmanomoms fizikinių dydžių lygtims aptikti.

Metodas
Fizika · Žemė ir kosmosasNiutono gravitacija

Taškinių masių trauką modeliuoja jėga, atvirkščiai proporcinga atstumo kvadratui.

Modelis
FizikaDažnis, bangos ilgis ir fazinis greitis

Susieti periodinės bangos pasikartojimą erdvėje ir laike.

Apibrėžimas
MetodasPatikrinta pagal šaltinius

Pirmosios eilės neapibrėžties sklidimas

MatavimasMatematika ir logika

Sujungti įėjimo dydžių neapibrėžtis taikant matavimo modelį.

Esminės žinios

Kai y = f(x₁,…,xₙ), taikant pirmosios eilės neapibrėžties sklidimą, įėjimo dydžių dispersijos ir kovariacijos sveriamos modelio jautrumo koeficientais. Kai įėjimo dydžių įverčiai koreliuoja, būtina išlaikyti koreliacijas.

Vertės ir lygtys

u_c²(y) ≈ Σᵢ cᵢ²u²(xᵢ) + 2Σᵢ<ⱼ cᵢcⱼcov(xᵢ,xⱼ); cᵢ = ∂f/∂xᵢ

y
Išėjimo dydžio įvertis, gautas iš įėjimo dydžių įverčių taikant matavimo modelį f unit of the output quantity
xᵢ
Įėjimo dydžio i įvertis declared unit of input quantity i
xⱼ
Įėjimo dydžio j įvertis declared unit of input quantity j
n
Teigiamas sveikasis įėjimo dydžių skaičius 1
i,j
Įėjimo dydžių indeksai nuo 1 iki n; kiekvienai kovariacijos porai antrojoje sumoje galioja i<j 1
u_c(y)
Išėjimo dydžio įverčio sudėtinė standartinė neapibrėžtis unit of y
u(xᵢ)
Įėjimo dydžio įverčio xᵢ standartinė neapibrėžtis unit of xᵢ
cᵢ
Jautrio koeficientas ∂f/∂xᵢ, apskaičiuotas pagal įėjimo dydžių įverčius unit of y divided by unit of xᵢ
cov(xᵢ,xⱼ)
Įėjimo dydžių įverčių xᵢ ir xⱼ kovariacijos įvertis unit of xᵢ multiplied by unit of xⱼ
f
Matavimo modelio funkcija, susiejanti nurodytus įėjimo dydžius su išėjimo dydžiu output unit when evaluated on the declared input units

Sąlygos ir taikymo ribos

  • Pirmosios eilės Teiloro aproksimacija turi tinkamai atvaizduoti f atitinkamame neapibrėžties intervale.
  • Į matavimo modelį įtraukite reikšmingas pataisas ir įtakos dydžius; nepriklausomumo negalima laikyti savaime suprantamu be pagrindimo.
Šaltiniai · 2

Šaltiniai

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

  1. Technical Note 1297, Appendix A: Law of Propagation of UncertaintyBarry N. Taylor and Chris E. Kuyatt / NISTŽinynasnist.govSkaityti šaltinį
  2. Uncertainty Evaluation · NPL Report MS6M. G. Cox and P. M. Harris · NPLŽinynas · PDFeprintspublications.npl.co.ukSkaityti šaltinį

Pagrindimas ir peržiūra

NIST TN1297 priedo A.1–A.3 skyriai, A-3 lygtis.

Įėjimo ir išėjimo dydžių įverčiai, standartinės neapibrėžtys, jautrio koeficientai ir kovariacijos turi nurodytas dimensijas; kiekvieno pirmosios eilės dėmens, prisidedančio prie dispersijos, vienetai yra išėjimo dydžio vienetų kvadratas.

2026-10-10 · Nepriklausomas chemijos, biologijos ir Žemės bei kosmoso temų redaktorius (DI redakcinė peržiūra). Šaltinių patikros ir nepriklausoma DI atliekama glaustos informacinės medžiagos teiginių, lygčių, vienetų, sąlygų ir sąvokų sąsajų redakcinė peržiūra. Tai nėra žmogaus specialisto sertifikavimas, laboratorijos akreditacija, visos knygos patikra ar teiginys, kad pateiktos visos įmanomos pamatinės žinios.

Pagrindinių žinių peržiūra

2026-10-10 · Fresh primary-source inspection of the complete compact record, including every statement, equation, quantity and material condition, followed by independent AI editorial review. This check does not certify all linked lessons or every passage of every cited publication.

Šaltiniai iš kitų vietų

Sutampa nurodytose ribose

Adequate first-order linearization propagates input covariance through model sensitivities.

Correlated inputs require covariance terms; strongly nonlinear cases need further evaluation.

Įrašo informacijaNuolatinė nuoroda į šį įrašą ↗
Įrašo identifikatorius
measurement-uncertainty-propagation
Versija
foundations-audit.1
Struktūruotas žinyno įrašas
Esminiai pagrindai · pirmasis rinkinys · Universitetinių pagrindų plėtra