← Back
Home › Systems › Energy, industry and public infrastructure

fab-mes

semiconductor fab manufacturing execution

Applied SmartFactory, Critical Manufacturing MES, Siemens Opcenter Semiconductor

SystemTechniques · 11Primitives · 29 fab-mes Discrete event simulationnumerics · medium: Simulation driven by a time-ordered event queue with deterministic, reproducible replayConstraint propagation (constraint…optimization · medium: Variables with finite domains, propagators that prune impossible values to a fixpoint, and backtracking search with trail undo between decisions.›Job-shop schedulingoptimization · medium: Model jobs as chains of operations, resource order as a choice of arc directions, and minimise the longest path; build with dispatching rules, improve by swapping critical neighbours or solve with CP.›Tamper-evident audit logsecurity · medium: An append-only log whose Merkle root, signed per batch, lets anyone verify an entry is present and history was never rewritten, with log-size proofs.›Control charts (Shewhart, CUSUM, EW…statistics · medium: Estimate normal behaviour from healthy data, then signal when values leave limits (Shewhart) or small deviations add up (CUSUM, EWMA); tune by average run length.›Time-series anomaly detectionstatistics · medium: Predict the expected value from a seasonal baseline, scale the residual by a robust spread (MAD), threshold at a chosen false-alarm rate, then merge flags into incidents.›MVCCstorage · medium: Keep timestamped versions of each row so readers see a consistent snapshot without blocking writers; the default concurrency control in modern databases.›Exponential smoothing (ETS, Holt-Wi…statistics · low: Forecast by keeping a few running states (level, trend, seasonal) updated by a fraction of each forecast error; O(1) memory per series and a strong baseline.›BFS and DFSgraphs · low: The two basic graph traversals; BFS gives hop distances and levels, DFS gives discovery/finish order for cycles, components and topological order.›Barcode symbologiesdata-structures · low: Encode/decode 1D and 2D barcodes (Code 128, DataMatrix, QR) with their error correctionEvent sourcingfinance · low: Persist state changes as an append-only stream of immutable events per entity; current state is a fold over them, guarded by expected-version appends.›PCA and SVDmachine-learning · low: Find orthogonal directions of maximum variance by an SVD of the centred data; randomized SVD gets the top k components in a few passes.›Secs gem equipment protocolnetworking · low: SECS-II message structures over HSMS or SECS-I with GEM state models for semiconductor tool control, events and recipesOptimistic concurrency controlstorage · low: Run transactions without locks, record what they read, and validate at commit that nothing changed; fastest when conflicts are rare.›Write-ahead logstorage · low: Append each change to a checksummed sequential log and fsync it before touching data pages; the basis of crash durability in nearly every database.›Hierarchical state machinesystems · low: Nest states so a substate inherits its parent's reactions and only overrides what differs, with ordered entry and exit actions along the path.›d-ary heapdata-structures · low: Array heap with d children per node (d = 4 typical): half the binary heap's depth, siblings in one cache line, faster priority queues.›PRNGs (PCG, xoshiro)numerics · low: Small, fast, statistically strong non-cryptographic generators: PCG32 and xoshiro256**, with seeding, parallel streams and unbiased ranges.›Interval arithmeticnumerics · low: Rigorous bounds with outward rounding; root isolation and robust geometric testsTwo watched literalsoptimization · low: Unit propagation for SAT that watches just two literals per clause, so backtracking costs nothing and long clauses are rarely touched.›Journaled state revertstorage · low: Undo journal of state writes enabling nested checkpoints and cheap revertInterval treedata-structures · low: Index of ranges that answers "which intervals overlap this point or range?" in O(log n + k); static sorted-array form is the compact, cache-friendly choice.›Merkle treedata-structures · low: Hash tree for verifying and diffing large datasets with logarithmic proofs+ 4 more techniques+ 13 more primitives

Similar systems

Share the most building blocks with this one.

mes 55 %lims 24 %ivd-analyzer 20 %container-terminal 19 %hospital-scheduling 15 %