Metropolis-Hastings-Algorithmus

Ein Regressionsmodell für eine kategoriale, in der Regel binäre, abhängige Variable. Anstatt das Ergebnis direkt zu modellieren, wird die Wahrscheinlichkeit des Ergebnisses mithilfe der logistischen (sigmoiden) Funktion modelliert. Das Modell sagt die Log-Wahrscheinlichkeit des Ereignisses als lineare Kombination der unabhängigen Variablen voraus: [latex]\ln(\frac{p}{1-p}) = \beta_0 + \beta_1 x_1 + \dots + \beta_p x_p[/latex], wobei p die Wahrscheinlichkeit des Ereignisses ist.

Abstraktion in der OOP ist das Konzept, komplexe Implementierungsdetails zu verbergen und nur die wesentlichen Merkmale des Objekts anzuzeigen. Der Fokus liegt auf der Funktion eines Objekts, nicht auf der Art und Weise, wie es diese Funktion ausführt. Dies wird durch abstrakte Klassen und Schnittstellen erreicht, die einen Entwurf für andere Klassen definieren, ohne eine vollständige Implementierung bereitzustellen, wodurch komplexe Systeme vereinfacht werden.

Die sieben grundlegenden Werkzeuge der Qualität sind eine Reihe grafischer Techniken, die von Kaoru Ishikawa zur Behebung qualitätsrelevanter Probleme entwickelt wurden. Diese Werkzeuge sind: Ursache-Wirkungs-Diagramm (Fischgrätendiagramm), Prüfblatt, Kontrolldiagramm, Histogramm, Pareto-Diagramm, Streudiagramm und Schichtung (oft als Flussdiagramm dargestellt). Sie gelten als „grundlegend“, da sie einfach anzuwenden sind und nur wenig Statistikkenntnisse erfordern.

Das Wasserfallmodell ist ein sequenzieller, nicht-iterativer Softwareentwicklungsprozess, bei dem der Fortschritt (wie ein Wasserfall) stetig nach unten fließt und verschiedene Phasen durchläuft: Konzeption, Initiierung, Analyse, Design, Konstruktion, Test, Bereitstellung und Wartung. Jede Phase muss vollständig abgeschlossen sein, bevor mit der nächsten fortgefahren werden kann. Es wird oft iterativen Modellen gegenübergestellt, um deren Flexibilität hervorzuheben.

G-Code, früher bekannt als RS-274, ist die am weitesten verbreitete Programmiersprache zur Steuerung von CNC-Maschinen. Er besteht aus sequentiellen Befehlen, die der Maschine Anweisungen zu Positionierung, Geschwindigkeit und bestimmten Aktionen geben. Befehle beginnen mit einer Buchstabenadresse; „G“ steht für vorbereitende Befehle für die Bewegung (z. B. G01 für linearen Vorschub), während „M“ für verschiedene Funktionen steht (z. B. M03 für den Spindelstart).

Automatisiertes Beweisen (ATP) ist ein Teilgebiet der Informatik und mathematischen Logik, das sich mit dem Beweisen mathematischer Theoreme mithilfe von Computerprogrammen befasst. ATP-Systeme, auch Beweiser genannt, nutzen logisches Schließen, um neue Theoreme aus Axiomen und Hypothesen abzuleiten. Sie unterscheiden sich von Beweisassistenten, die mehr menschliche Unterstützung benötigen, obwohl es erhebliche Überschneidungen zwischen den beiden Bereichen gibt.

Die Verifizierungstechniken werden allgemein als statisch oder dynamisch klassifiziert. Bei der statischen Überprüfung (oder statischen Analyse) wird der Code oder das Design des Systems untersucht, ohne es auszuführen. Beispiele hierfür sind Code-Reviews, Inspektionen und automatische statische Analysetools. Bei der dynamischen Überprüfung (oder dem Testen) wird das System mit einer Reihe von Eingaben ausgeführt und sein Verhalten beobachtet, um Fehler zu finden. Beide Verfahren ergänzen sich für eine umfassende Qualitätssicherung.

Die Risikoprioritätszahl (RPZ) ist ein quantitatives Maß, das in der FMEA zur Priorisierung von Risiken verwendet wird. Sie wird als das Produkt aus drei Faktoren berechnet: Schwere (S), Auftreten (O) und Entdeckung (D). Die Formel lautet [latex]RPN = S mal O mal D[/latex]. Jeder Faktor wird in der Regel auf einer Skala von 1 bis 10 bewertet, so dass sich die Teams zunächst auf die Risiken mit der höchsten Punktzahl konzentrieren können.

Real-time systems are classified as "hard" or "soft" based on the consequence of missing a deadline. In a hard real-time system, missing a deadline is a total system failure, such as in an anti-lock braking system. In a soft real-time system, missing a deadline leads to degraded performance but not catastrophic failure, such as in live audio-video streaming.

Rate-Monotonic Scheduling (RMS) is a static-priority scheduling algorithm for periodic tasks in a real-time system. It assigns priorities based on task frequency: the shorter a task's period (the higher its rate), the higher its priority. RMS is an optimal static-priority algorithm, meaning if any static-priority algorithm can schedule a task set, RMS can too. Schedulability can be checked using a utilization-based test.