Static vs. Dynamic Verification (IT)

G-code, formally known as RS-274, is the most prevalent programming language for controlling CNC machines. It consists of sequential commands that instruct the machine on positioning, speed, and specific actions. Commands begin with a letter address; 'G' denotes preparatory commands for motion (e.g., G01 for linear feed), while 'M' signifies miscellaneous functions (e.g., M03 for spindle start).

Automated theorem proving (ATP) is a subfield of computer science and mathematical logic dedicated to proving mathematical theorems using computer programs. ATP systems, or provers, use logical reasoning to deduce new theorems from a set of axioms and hypotheses. They are distinct from proof assistants, which require more human guidance, though the fields overlap significantly.

The Risk Priority Number (RPN) is a quantitative measure used in FMEA to prioritize risks. It is calculated as the product of three ranked factors: Severity (S), Occurrence (O), and Detection (D). The formula is \(RPN = S times O times D\). Each factor is typically rated on a scale from 1 to 10, allowing teams to focus on the highest-scoring risks first.

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.

A set of four decision rules for detecting non-random patterns on Shewhart control charts, indicating an out-of-control process even if no points are outside the 3-sigma limits. These rules identify unnatural runs, trends, or clustering of data points that signal the presence of a special cause of variation. They increase the sensitivity of control charts.

A regression model for a categorical, typically binary, dependent variable. Instead of modeling the outcome directly, it models the probability of the outcome using the logistic (sigmoid) function. The model predicts the log-odds of the event as a linear combination of the independent variables: \(\ln(\frac{p}{1-p}) = \beta_0 + \beta_1 x_1 + \dots + \beta_p x_p\), where p is the probability of the event.

The Metropolis-Hastings algorithm is a prominent MCMC method for obtaining a sequence of random samples from a probability distribution for which direct sampling is difficult. At each iteration, it generates a candidate for the next sample based on the current sample. This candidate is then accepted or rejected with a certain probability, ensuring the resulting chain converges to the desired distribution.

Abstraction in OOP is the concept of hiding complex implementation details and showing only the essential features of the object. It focuses on what an object does instead of how it does it. This is achieved through abstract classes and interfaces, which define a blueprint for other classes without providing a complete implementation, simplifying complex systems.

The Seven Basic Tools of Quality are a set of graphical techniques identified by Kaoru Ishikawa for troubleshooting quality-related issues. These tools are: Cause-and-effect diagram (fishbone), Check sheet, Control chart, Histogram, Pareto chart, Scatter diagram, and Stratification (often presented as a flowchart). They are considered 'basic' because they are simple to use and require little formal statistical training.

The Waterfall Model is a sequential, non-iterative software development process, where progress flows steadily downwards (like a waterfall) through distinct phases: conception, initiation, analysis, design, construction, testing, deployment and maintenance. Each phase must be fully completed before moving to the next. It is often contrasted with iterative models to highlight their flexibility.