Modellbasiertes Testen

Damit eine Fourierreihe gegen den Funktionswert konvergiert, muss die Funktion über eine Periode die Dirichlet-Bedingungen erfüllen. Diese lauten: (1) Die Funktion muss absolut integrierbar sein, (2) sie muss eine endliche Anzahl von Extrema (Maxima und Minima) besitzen und (3) sie muss eine endliche Anzahl von Unstetigkeitsstellen aufweisen.

Die Gesetze von De Morgan sind zwei Transformationsregeln der Booleschen Algebra, die für die Entwicklung digitaler Schaltungen von grundlegender Bedeutung sind. Das erste Gesetz besagt, dass die Negation einer Konjunktion die Disjunktion der Negationen ist: [latex]\neg(P \land Q) \iff (\neg P) \lor (\neg Q)[/latex]. Die zweite besagt, dass die Negation einer Disjunktion die Konjunktion der Negationen ist: [latex]\neg(P \lor Q) \iff (\neg P) \land (\neg Q)[/latex].

Eine differenzierbare Mannigfaltigkeit ist ein topologischer Raum, der dem euklidischen Raum lokal ähnlich ist und die Anwendung der Infinitesimalrechnung ermöglicht. Jeder Punkt hat eine Nachbarschaft, die homöomorph zu einer offenen Teilmenge von [latex]\mathbb{R}^n[/latex] ist. Diese lokalen Koordinatensysteme, Diagramme genannt, sind durch glatte Übergangsfunktionen miteinander verbunden und bilden einen Atlas, der die differenzierbare Struktur der Mannigfaltigkeit definiert.

Die digitale Elektronik basiert auf der Booleschen Algebra, einem von George Boole eingeführten mathematischen Logiksystem. Sie verwendet zwei Werte, typischerweise 0 und 1 (oder falsch und wahr), und drei grundlegende Operationen: UND (Konjunktion), ODER (Disjunktion) und NICHT (Negation). Diese Operationen entsprechen direkt den Logikgattern, die die Bausteine ​​aller digitalen Schaltungen bilden.

Ein Homöomorphismus ist eine stetige Funktion zwischen zwei topologischen Räumen, die eine stetige Umkehrfunktion besitzt. Zwei topologische Räume heißen homöomorph, wenn eine solche Funktion existiert. Aus topologischer Sicht sind homöomorphe Räume identisch. Dieses Konzept verdeutlicht die Idee, dass ein Objekt gedehnt, gebogen oder verformt werden kann, ohne zu reißen oder zu verkleben – wie beispielsweise eine Kaffeetasse zu einem Donut.

Das Gibbs-Phänomen beschreibt das Verhalten einer Fourier-Reihe an einer Sprungstelle. Die Partialsummen der Reihe weisen in der Nähe des Sprungs einen Überschwinger auf, der auch bei Hinzunahme weiterer Terme nicht verschwindet. Dieser Überschwinger konvergiert unabhängig von der Anzahl der Terme in der Reihe gegen einen konstanten Wert von etwa 9 % der Sprunghöhe.

Dieser Satz besagt, dass in einem linearen Regressionsmodell, in dem die Fehler einen Mittelwert von null aufweisen, unkorreliert sind und eine konstante Varianz (Homoskedastizität) besitzen, der OLS-Schätzer (Ordinary Least Squares) der beste lineare erwartungstreue Schätzer (BLUE) ist. „Bester“ bedeutet, dass er unter allen linearen erwartungstreuen Schätzern der Regressionskoeffizienten die geringste Varianz aufweist und somit die höchste Präzision besitzt.

Eine fundamentale Lösung eines linearen partiellen Differentialoperators [latex]L[/latex] ist eine Lösung der Gleichung [latex]Lu = delta(x)[/latex], wobei [latex]delta(x)[/latex] die Dirac-Delta-Funktion ist. Sie stellt die Reaktion des Systems auf eine Punktquelle oder einen Impuls dar. Ist die Lösung der inhomogenen Gleichung [latex]Lu = f(x)[/latex] bekannt, kann sie durch Faltung gefunden werden: [latex]u(x) = (G * f)(x)[/latex], wobei [latex]G[/latex] die Grundlösung ist.

Das Gauß-Bonnet-Theorem verbindet die Geometrie einer kompakten zweidimensionalen Oberfläche mit ihrer Topologie. Er besagt, dass das Integral der Gaußschen Krümmung [latex]K[/latex] über die gesamte Fläche [latex]M[/latex] gleich [latex]2\pi[/latex] mal der Euler-Charakteristik [latex]\chi(M)[/latex] der Fläche ist. Die Formel lautet [latex]\int_M K \, dA = 2\pi \chi(M)[/latex].

Genauigkeit bezeichnet die Übereinstimmung eines Messwerts mit einem Sollwert oder einem bekannten wahren Wert. Präzision hingegen bezeichnet die Übereinstimmung zweier oder mehrerer Messwerte. Ein Messsystem kann präzise, ​​aber nicht genau, genau, aber nicht präzise, ​​keines von beidem oder beides sein. Diese beiden Konzepte sind in der Messtheorie unabhängig voneinander.

Die Riemannsche Geometrie ist der Zweig der Differentialgeometrie, der sich mit Riemannschen Mannigfaltigkeiten befasst – glatten Mannigfaltigkeiten mit einer Riemannschen Metrik. Diese Metrik ist eine Sammlung von inneren Produkten auf den Tangentialräumen, die von Punkt zu Punkt gleichmäßig variieren. Sie ermöglicht die Definition lokaler geometrischer Begriffe wie Winkel, Kurvenlänge, Oberfläche und Volumen, was zu einem verallgemeinerten Krümmungsbegriff führt.

In der linearen Algebra besagt der Rang-Nullitäts-Satz, dass für jede lineare Abbildung [latex]T: V \to W[/latex] zwischen endlichdimensionalen Vektorräumen die Dimension ihres Definitionsbereichs [latex]V[/latex] die Summe ihres Rangs (der Dimension ihres Bildes) und ihrer Nullität (der Dimension ihres Kerns) ist. Die Formel lautet [latex]\dim(V) = \text{Rang}(T) + \text{Nullität}(T)[/latex].

Das Primzahltheorem beschreibt die asymptotische Verteilung der Primzahlen unter den ganzen Zahlen. Es besagt, dass die Primzahlzählfunktion [latex]\pi(x)[/latex], die die Anzahl der Primzahlen kleiner oder gleich [latex]x[/latex] angibt, asymptotisch äquivalent zu [latex]x / \ln(x)[/latex] ist. Formal ist [latex]\lim_{x \bis \infty} \frac{\pi(x)}{x/\ln(x)} = 1[/latex]. Dies stellt eine grundlegende Verbindung zwischen Primzahlen und dem natürlichen Logarithmus her.

Eine Statistik, die die Anpassungsgüte eines Modells angibt und den Anteil der Varianz in der abhängigen Variablen darstellt, der durch die unabhängige(n) Variable(n) vorhersagbar ist. Ein R² von 1 bedeutet eine perfekte Anpassung, während 0 keine lineare Beziehung anzeigt. Es wird berechnet als [latex]R^2 \equiv 1 - \frac{SS_{res}}{SS_{tot}}[/latex], wobei [latex]SS_{res}[/latex] die Summe der Restquadrate ist.

Der Fredholm-Index verallgemeinert den Rang-Nullitäts-Satz auf unendliche Dimensionen wie Banach-Räume. Für einen Fredholm-Operator [latex]T: X \to Y[/latex] ist sein Index definiert als [latex]\text{ind}(T) = \dim(\ker(T)) - \dim(\text{coker}(T))[/latex], wobei die Dimension des Cokernels misst, wie weit das Bild vom gesamten Raum entfernt ist. Dieser Index ist ein stabiler ganzzahliger Wert unter kleinen Störungen des Operators.