Electronics, sensors & data acquisition
Digital logic, timing, ADCs, sensors, diagnostics and the signal chain that feeds the controller. 243 pages
Run one predict-update cycle of a scalar Kalman filter, computing the gain that optimally blends prediction and measurement.
Digitization trades continuous voltage for discrete counts; the fabric sizes bit depth and range so quantization noise never limits a physics inference.
A multi-pattern string matcher that builds an automaton over a trie with failure links to scan text in linear time.
Frequencies above half the sampling rate masquerade as lower ones; an analog filter before the sampler is the only way to prevent this corruption.
Assimilate one noisy observation into a small ensemble, computing the Kalman gain from sample statistics and nudging each member.
Between raw sensor and digital sample sits the analog front end; its interface defines conditioning, ADC quantization, and the calibration chain.
An ADC samples an analog signal and encodes it as a number; its architecture sets the trade-off between speed, resolution, and latency.
The AND gate outputs 1 only when all of its inputs are 1, implementing logical conjunction.
Flagging diagnostic signals that depart from normal behavior, often without labeled examples of every fault.
Excitations of topological codes behave as anyons whose braiding statistics underlie both the robustness of the code and its logical operations.
The processor component that performs arithmetic and logical operations on binary data.
An ALU is the combinational core of a processor that performs arithmetic and logic operations selected by control lines.
Four ways to run computation trade flexibility against efficiency: general processors, parallel GPUs, reconfigurable FPGAs, and fixed ASICs.
Making the two junctions of a SQUID unequal reduces the tuning range but adds a lower sweet spot and limits the qubit's exposure to flux noise.
Asynchronous circuits coordinate through local handshakes instead of a global clock, trading design complexity for potential efficiency.
Compressing high-dimensional diagnostic data into a low-dimensional latent space for detection, denoising, and analysis.
The crescent-shaped guiding-center paths of trapped particles that dominate neoclassical transport.
Basis encoding stores classical bitstrings directly as computational basis states, the simplest and most transparent way to load discrete data into a circuit.
Recover an n-bit secret string with a single oracle query where classical methods need n.
The Broyden-Fletcher-Goldfarb-Shanno update maintains a positive-definite inverse-Hessian approximation for fast, robust unconstrained optimization.
An estimator's error splits into bias, variance, and irreducible noise, and reducing one often raises another.
A bit mask selects, sets, or clears specific bits of a value using bitwise operations.
Shifting moves the bits of a value left or right, multiplying or dividing by powers of two.
Bitwise operations apply logic gates to each bit of an integer independently and in parallel.
Block diagrams represent interconnected transfer functions; algebra on them reduces complex loops to a single input-output relation.
A space-efficient probabilistic set that answers membership with no false negatives and a tunable false-positive rate.
Build a small Bloom filter, insert a few keys, and compute the probability of a false positive from its parameters.
The algebra of true/false values and the logical operations that combine them, the mathematical basis of digital design.
The identity, complement, distributive, absorption, and other Boolean laws let logic expressions be simplified and rearranged safely.
Hyperion's 60+ diagnostic ports are mapped to flux coordinates so every reading lands at a known plasma location for the twin.
Compose a one-bit full adder entirely from NAND gates, showing how a single universal gate builds arithmetic.
The burner's ports are organized along the machine axis - central cell, throat, plug, expander - because confinement is axial, not toroidal.
A bus is a shared set of wires that carries data, addresses, or control signals between components in a digital system.
Caches hold recently used data close to the core; programs that exhibit temporal and spatial locality run far faster than those that do not.
Provable robustness to sensor spoofing and adversarial inputs, beyond network zero-trust.
Two competing quantities govern superconducting qubit design: anharmonicity, which lets you address one transition, and charge dispersion, which invites noise.
Clock gating stops the clock to idle logic to cut switching power; power gating cuts supply to idle blocks to remove leakage.
A single low-jitter time reference is fanned out across the control plane so every FPGA, driver, and diagnostic shares one deterministic clock.
A clock divider produces a slower clock from a faster one by counting edges, supplying different parts of a system with different rates.
A flip-flop clocked while its input is changing can enter metastability, hovering between 0 and 1 for an unbounded time.
Every digital system runs on clocks; their stability, and safe crossing between independent clock domains, underpin correct real-time timing.
Clock-domain crossing techniques move signals safely between circuits on unrelated clocks despite the risk of metastability.
A clock is the periodic signal that synchronizes a digital system, defining the moments when all storage elements update.
Collaborative filtering recommends items by finding patterns in the preferences of many users, without item content.
Digital logic whose outputs depend only on the current inputs, with no memory of the past.
Combinational logic produces outputs that depend only on the present inputs, with no memory of the past.
Combinational logic depends only on present inputs; sequential logic adds memory, so its outputs also depend on past inputs.
The core predicates and primitives - orientation, intersection, and distance - underlying geometric algorithms.
Turning raw diagnostic signals into physical plasma quantities fast enough to inform control during a discharge.
A cyclic redundancy check appends bits computed by polynomial division so hardware can detect errors in transmitted or stored data.
Cross-coupled gates create the feedback loop that lets a circuit remember a bit, the principle behind every latch and static memory cell.
Hold out part of the data to test a fitted model on cases it did not see, guarding against fitting noise instead of signal.
Every analog channel crosses the vacuum and cryogenic boundary through a hermetic, cryo-rated feedthrough that must preserve signal integrity without leaking heat or vacuum.
Signal lines into a cryostat must be attenuated and filtered stage by stage to strip room-temperature thermal noise before it reaches the qubits.
Placing signal generation and readout electronics at cold stages, near the qubits, reduces the cable count that must run from room temperature and eases the wiring bottleneck.
Measuring temperature at millikelvin requires specialized sensors, since ordinary thermometers freeze out or lose sensitivity in the cold.
Control and readout signals travel down carefully attenuated, filtered coaxial lines so room-temperature noise never reaches the qubits.
Trapped-ion qubits do not need millikelvin cooling, but modest cryogenic operation improves vacuum and reduces the electric-field noise that heats ion motion.
The fastest loops run as fixed-depth FPGA pipelines where latency is an exact cycle count, not a statistic, making the reflex tier certifiable by construction.
A CRC treats data as a polynomial and uses its remainder under division to detect errors robustly.
A D flip-flop captures its data input on a clock edge and holds it until the next edge, the standard storage element of synchronous logic.
A D latch stores the value on its data input while enabled and holds the last value when disabled, with no forbidden state.
DBSCAN finds clusters as dense regions separated by sparse ones, discovering their number and flagging outliers as noise.
A failed, saturated, or silent channel is masked and its value imputed from the sensor-topology graph, so the loop degrades gracefully instead of ingesting garbage.
Every practical decoder sits on a curve trading correction quality against runtime, and the right choice depends on the hardware's error rate and clock.
Sampling many candidate designs to map how performance changes with parameters, before committing to any single point.
The architecture's core trade-off, resolved by separation: determinism where timing must be guaranteed, intelligence where compute and judgment pay off.
Sensors drift, and a drifting diagnostic silently corrupts every model that reads it, so Kronos tracks and models sensor calibration as part of the MLOps loop.
Fusion plants carry magnetic, optical, neutron, and thermal diagnostics; fusing them reconstructs plasma and machine states no one diagnostic sees.
A single glanceable map of the 60+ diagnostic ports — which are healthy, degraded, dead, or imputed — because everything the operator trusts rests on this.
When the instruments that watch the plasma fail, the control stack can be blinded - so sensors get their own failure analysis.
Thomson, interferometry, Mirnov, flux loops, ECE, fast-ion, and neutron channels are time-aligned so the control state is a single coherent snapshot.
Data acquisition converts physical signals from plasma diagnostics into digital records with known timing, scaling, and uncertainty.
Diagnostics turn physical signals into measurements; visualization must respect their geometry, timing, and inversion assumptions.
A digital comparator determines whether one binary number is equal to, greater than, or less than another, bit by bit.
DSP transforms sampled signals numerically to filter, measure, and extract information, and in real-time control it must complete within each sample period.
Compressing many correlated diagnostic channels into a few informative coordinates.
A DRAM cell stores a bit as charge on a tiny capacitor, achieving high density but requiring periodic refresh.
Dynamical decoupling applies timed control pulses to average away slow environmental noise, extending a qubit's usable coherence.
The fabric tracks how many bits of real information each diagnostic contributes, so sampling, storage, and trust are matched to content.
Error mitigation extracts better answers from noisy quantum runs at a steep sampling cost, extending NISQ usefulness but not solving the noise problem.
The extended Kalman filter applies the Kalman update to nonlinear systems by linearizing the dynamics around the current estimate.
False color maps measured intensity, often outside visible light, to a color scale so the eye can read what it could not otherwise see.
Turning raw diagnostics into physically meaningful inputs that make models more accurate and portable.
Feedback compares a measurement to a target and drives the difference toward zero; good design balances responsiveness against stability and noise.
Solve u_t = alpha u_xx on a rod with an explicit forward-time centered-space scheme, and watch the stability limit bite.
Fixed-point numbers store fractions by placing an implied radix point at a fixed bit position.
A one-bit memory element that holds its state until a clock edge tells it to update.
Flux noise is the random fluctuation of magnetic flux through a SQUID loop, and it is the dominant dephasing source for flux-tunable qubits away from their sweet spots.
Mapping breeder diagnostics onto normalized poloidal flux makes profiles shot-invariant and gives the equilibrium PINN its natural coordinate.
A field-programmable gate array is a chip of configurable logic blocks and interconnect that can be programmed to implement arbitrary digital circuits.
Control-loop bitstreams are both encrypted and authenticated, so an attacker can neither read the design nor load a modified one onto a Kronos control FPGA.
An FPGA implements arbitrary logic on a fabric of programmable lookup tables, flip-flops, and configurable routing set after manufacture.
Choosing the control-plane FPGA is a determinism and radiation problem: clocking, I/O, resources, and tolerance to the machine's neutron and EM environment.
FPGAs implement control logic as parallel hardware, giving nanosecond, jitter-free timing that software on a CPU cannot match for the fastest loops.
One trace up the stack: how a raw diagnostic sample becomes a validated feature, a twin state, a prediction, and a bounded action.
A full adder adds three bits, two operands and a carry in, producing a sum and a carry out for chaining into multi-bit adders.
A set of logic operations is functionally complete if every Boolean function can be expressed using only that set.
L3 turns 60+ heterogeneous diagnostic channels into one coherent physics state, weighting each by what it measures and how much it can be trusted.
How arbitrary unitaries are broken into the small fixed set of gates a machine can actually execute.
A two-qubit rotation in the single-excitation subspace, the primitive for orbital rotations in fermionic simulation.
When a diagnostic channel drops out or saturates, the sensor-topology GNN reconstructs it from physically neighboring sensors so control never runs blind.
Kronos represents its diagnostic constellation as a dynamic graph so a GNN can reason over the physical relationships between sensors rather than treating channels as independent.
Gray is the only non-functional color: legends, boundaries, and annotation that structure the diagram without carrying signal or authority.
The certified operating envelope is the arbiter of every proposed action; membership is recomputed over the full state, never clipped or assumed.
A half adder adds two single bits, producing a sum bit and a carry bit, but accepts no carry in.
Hardware multithreading keeps a core busy by running several instruction streams, filling stalls from one thread with work from another.
Digital filtering removes out-of-band pickup and electromagnetic noise from each channel while preserving the fast physics the control loop needs.
A practical primer on reading gate symbols, signal lines, bubbles, and truth tables so schematics become legible at a glance.
Applying convolutional networks to fast cameras, tomography, and other imaging diagnostics.
Which diagnostics to trust, place, or prioritize is an information question; entropy and mutual information quantify how much each sensor tells the twin.
Information theory sets the fabric's limits: how fast to sample, how much to compress, and how much a diagnostic actually tells you.
The statistics of a filter's innovations reveal whether the twin is healthy, overconfident, or missing physics.
An instruction set architecture is the contract between software and hardware, defining the instructions, registers, and behavior a processor exposes.
Interferometry measures line-integrated electron density fast and robustly, the fabric's most dependable density diagnostic across multiple chords.
A JK flip-flop extends the SR flip-flop by defining the once-forbidden input combination as a toggle.
Fusing noisy diagnostics over time into a best estimate of the plasma state with quantified uncertainty.
How classical model-based filtering relates to and combines with data-driven state estimation.
Fuse a noisy model prediction with a noisy measurement to track a hidden state optimally, step by step.
60+ port telemetry, signal validation, feature engineering, the archive, feature store, and vector DB.
Latin hypercube sampling stratifies every input dimension so a modest sample covers the space evenly, improving on plain random sampling.
Lattice surgery performs logical two-qubit operations on surface-code patches by merging and splitting them, using only local operations.
Limit cycles are isolated periodic orbits of nonlinear systems; bifurcations are qualitative changes in behavior as a parameter varies.
Line integral convolution smears a noise texture along a vector field, producing a dense image where every pixel shows flow direction.
A linear-feedback shift register cycles through a long pseudo-random sequence of states using only a shift register and XOR gates.
A physical device implementing a basic Boolean operation, the hardware atom of digital computation.
A reference to the standard distinctive-shape symbols for the basic gates and the bubble convention that ties them together.
Logic levels map continuous voltages onto 0 and 1 with noise margins, and CMOS is the transistor style that realizes them efficiently.
Logic synthesis transforms a register-transfer HDL description into an optimized network of real gates from a technology library.
The logical error rate is the probability an encoded qubit fails per operation, and below threshold it falls exponentially with code distance.
Operating on encoded qubits without decoding them requires gate methods that keep errors correctable, from transversal gates to surgery and injection.
LTR tunes an LQG design so the observer-based loop recovers the robustness margins of the ideal full-state feedback loop.
The direct method proves stability by exhibiting a positive-definite function whose derivative along trajectories is negative.
Stray and time-varying magnetic fields disturb qubits and cryogenic sensors, so cold assemblies are wrapped in high-permeability and superconducting shields.
Majorana zero modes are their own antiparticle excitations predicted at the ends of topological superconductors, the basis for one topological qubit proposal.
The optimal decoder picks the logical class with the highest total probability, correcting the equivalence class of errors rather than one error.
Correcting readout errors by characterizing and inverting the confusion between prepared and measured bitstrings.
The mathematics of how Kronos propagates information between physically related sensors, and why attention weights track the plasma state.
Metastability is the unstable, undefined state a flip-flop can enter when its timing rules are violated, resolving only after an unpredictable delay.
When tasks of different importance share one platform, the architecture must ensure low-criticality work can never compromise high-criticality timing.
Learned tomographic inversion reconstructs 2D radiated-power maps from sparse bolometer lines of sight, aiding impurity and radiation control.
Across diagnostics, machine learning inverts sensor signals into plasma quantities, fuses multiple instruments, and flags faults faster than manual analysis.
Learned inversions turn line-integrated interferometer phase measurements into density profiles, handling fringe ambiguity and limited views.
How gate behavior, timing, and unknown states are represented in digital logic simulators used to verify designs before fabrication.
In a Moore machine the outputs depend only on the current state, giving glitch-free outputs synchronized to the clock.
L3's model-predictive control produces optimized trajectories; L1 validates and executes them, so the intelligent target is realized within hard timing.
Broadcast sends one process's data to every other process in the communicator in a single coordinated operation.
The fabric fuses complementary diagnostics into a single state estimate, so the whole constellation constrains one coherent picture with honest uncertainty.
Mutual information quantifies how many bits one variable reveals about another.
Mutual information ranks how much each diagnostic tells the fabric about the plasma state, guiding redundancy, fusion weights, and constellation design.
Machine-learning decoders learn to map syndromes to corrections from data, capturing correlated noise that hand-built decoders assume away.
Quantum information cannot be deleted against a copy, nor broadcast to independent parties; these complement the no-cloning theorem.
The NOT gate, or inverter, outputs the logical complement of its single input, turning 1 into 0 and 0 into 1.
One's complement represents a negative number by inverting all the bits of its positive form.
The OR gate outputs 1 when at least one input is 1, implementing inclusive logical disjunction.
A parity bit is a single extra bit that makes the number of 1s in a group even or odd for error detection.
A parity circuit adds or checks a single bit that makes the number of ones in a word even or odd, catching single-bit errors.
Particle filters represent any probability distribution with weighted samples, handling nonlinearity and multiple competing hypotheses.
Deposition depth is a timing problem: the injector's launch trigger must be phased to plasma state within a tight window, so timing is an L1-owned interface.
Persistent excitation is the richness condition on input signals that guarantees adaptive and identification algorithms converge to true parameters.
A phase-locked loop generates a clock locked in phase and frequency to a reference, and can multiply frequency for on-chip clocking.
By treating unknown coefficients as trainable parameters, a PINN reconstructs the breeder's hidden profiles and the burner's potential directly from diagnostics.
Pipelining overlaps the stages of instruction execution so several instructions are in progress at once, raising throughput.
Place and route assigns each gate a physical location on the chip and draws the wires that connect them, meeting timing and space limits.
Power capping bounds how much a system may draw; dynamic voltage and frequency scaling adjusts clock speed to trade performance for power.
Inverting the hardware noise channel by sampling from a quasi-probability representation of its inverse.
The program counter is the register that holds the address of the next instruction, advancing each cycle and redirected by branches.
Latent failures are the enemy of protection systems; automatic diagnostics plus scheduled proof tests keep the probability of failure on demand inside its target.
Propagation delay is the time from an input change to the resulting output change; it sets the speed limit of a logic path.
Converting an analog value to a finite number of levels introduces quantization error, and resolution in bits sets the floor on measurement precision.
A race condition arises when the result of concurrent operations depends on their timing, producing intermittent, hard-to-reproduce bugs.
A random forest averages many decorrelated decision trees, cutting variance for strong, robust tabular predictions.
A small, fast storage element inside a processor that holds data being actively worked on.
A register is a group of flip-flops that stores a multi-bit word and updates all its bits together on a clock edge.
A register file is a small, fast multi-ported memory holding a processor's working registers, read and written every cycle.
Drawing a uniform random sample of fixed size from a stream of unknown length in a single pass.
Reset logic drives a chip's sequential elements into a known starting state; how reset is applied and released is a design decision with subtle hazards.
A ripple counter chains toggle flip-flops so each stage clocks the next, giving simple hardware but a staggered count.
Integrate a circular two-body orbit with the fourth-order Runge-Kutta method and check energy drift over one period.
Robust MPC guarantees constraint satisfaction and stability for every disturbance in a bounded set, not just for the nominal prediction.
The Nyquist-Shannon theorem sets the minimum sampling rate to represent a signal without loss; violating it corrupts data irreversibly.
Scan chains stitch a chip's flip-flops into shift registers so manufacturing defects can be detected after fabrication.
Every edge FPGA that closes a control loop boots only cryptographically verified firmware, from an immutable root of trust to the running bitstream.
The sensitivity and complementary sensitivity functions summarize disturbance rejection, tracking, robustness, and noise attenuation in one algebraic identity.
The sensitivity and complementary sensitivity functions quantify disturbance rejection and noise sensitivity, bound by the constraint that they sum to one.
Calibration data maps raw sensor output to physical units; it must be versioned and stored beside measurements to keep them meaningful.
Combining many imperfect sensors into a single estimate that is more accurate and reliable than any one of them alone.
Sensor fusion combines many imperfect, partial measurements into one estimate more accurate and complete than any single sensor.
Combining many imperfect measurements and the twin's prediction into one trustworthy health estimate, robust to any single sensor failing.
Combining multiple imperfect sensors yields an estimate more accurate and robust than any single one, and lets control proceed when a sensor fails.
Sensors convert physical quantities into signals; the interface must condition, protect, and digitize them without corrupting the measurement.
Digital logic whose outputs depend on both current inputs and stored past state.
Setup and hold times define a window around the clock edge during which a flip-flop's data input must stay stable.
A shift register moves its stored bits one position each clock edge, converting between serial and parallel data.
Sign-magnitude stores a number as a sign bit plus an ordinary magnitude, mirroring how people write negatives.
Before digitization, each channel passes an analog front end that amplifies, buffers, and band-limits the signal to match its diagnostic and the sampler.
The analysis, filtering, and transformation of signals to extract information or improve quality.
Validation is the gate that decides which samples are trustworthy, cleaning noise, masking dead sensors, and flagging drift before any feature is computed.
A SIMD unit applies one instruction to many data elements at once, packing several values into a wide register and processing them in lockstep.
The organizational practices, roles, and standards that decide when a simulation may be relied on, keeping trust a process rather than a habit.
Filtering estimates the state now from data up to now; smoothing improves past estimates using data that arrived later.
SMOTE balances classes by creating synthetic minority examples along lines between real minority neighbors.
Raw channels live at physical sensor positions; normalization maps them into the flux and field coordinates the twin reasons in, common across both machines.
The SR latch is the simplest memory element, holding one bit using two cross-coupled gates with set and reset inputs.
An SRAM cell stores one bit in cross-coupled inverters, holding data as long as power is applied with no refresh needed.
State encoding is the choice of binary patterns assigned to a state machine's states, affecting logic size and speed.
State estimation infers the hidden internal condition of a system from partial, noisy measurements of its outputs.
Static timing analysis verifies that every path in a chip meets its timing without simulating any specific input pattern.
Strain, vibration, and thermal sensors across the vessel and cocoon feed L1 and L3 so structural limits are respected in real time and over the machine's life.
A synchronous counter clocks all its flip-flops from the same edge, so every bit updates simultaneously without ripple delay.
Synthetic diagnostics compute what a real instrument would measure from a simulation, enabling apples-to-apples comparison between code and experiment.
On-chip interconnect standards like ARM's AMBA and its AXI protocol define how processors, memory, and peripherals exchange data.
A T flip-flop toggles its output on each clock edge when its input is high, making it a natural frequency divider.
Secrets can leak not through the data itself but through physical byproducts of computation: emissions, timing, power, and sound.
Low-collisionality neoclassical transport set by the wide banana orbits of trapped particles.
Bernstein-Vazirani recovers a hidden string in a single query - a compact proof that interference beats bit-by-bit probing, and a training ground for Kronos's quantum team.
The bit and the nat are units of information, differing only by the logarithm base used to measure it.
The delta-f method evolves only the perturbation away from a known background distribution, sharply reducing particle noise in kinetic simulations.
Eight diagnostic families — from Thomson scattering to neutron flux — form the constellation the Data Fabric fuses into a single coherent picture of each machine.
The sensor suite the whole stack sees through: Thomson scattering, interferometry, Mirnov coils, flux loops, REBCO strain, ECE, fast-ion trackers, and neutron flux.
Raw diagnostic signals become usable knowledge only after a pipeline synchronizes, calibrates, labels, and routes them reliably.
The path a signal travels from a diagnostic feedthrough at the machine to the offline archive and back as a refined model.
For high-dimensional field states the twin uses an ensemble of members to represent uncertainty, making Kalman updating tractable at plant scale.
A gatekeeper continuously decides whether to keep pushing performance, hold, or abandon the discharge, arbitrating avoidance and mitigation.
The Kalman filter is the optimal linear state estimator; it fuses the twin's model prediction with noisy diagnostics into a best estimate and its uncertainty.
The Kalman filter is the optimal recursive estimator for a linear system with Gaussian noise, and the ancestor of most twin assimilation.
Memory is organized as a hierarchy from fast, small registers to slow, large storage, and performance depends on keeping data close to the processor.
A workflow where any published result can be rebuilt bit-for-bit from recorded inputs, code, and environment.
Thompson sampling explores by acting greedily with respect to a randomly sampled belief about the world.
Falsified diagnostics could deceive the control loop or the digital twin; integrity checks, sensor fusion, and independent safety sensing bound the damage.
Time-series forecasting predicts future values of a temporally ordered signal from its own past and covariates.
A single disciplined time base lets sensors, actuators, and the twin agree on when everything happened; this interface distributes and audits that clock.
A shared, precise clock lets distributed control nodes act together and lets measurements be fused correctly across the system.
A timing budget allocates a control period among its stages so that the sum, in the worst case, provably fits within the deadline with margin.
Beyond a shared clock, the fabric aligns for cable, filter, and feedthrough delays so all 60+ ports report on a truly common timeline.
A shared timing system tells every diagnostic when to start and provides the common clock that makes cross-channel comparison meaningful.
Trust in an AI system rests on properties that must be engineered and evidenced: reliability, transparency, robustness, fairness, and accountability.
A table listing a logic function's output for every possible combination of its inputs.
U-Net pairs a downsampling encoder with an upsampling decoder and skip connections, producing precise dense predictions like segmentation maps.
The unscented Kalman filter captures nonlinearity by propagating a small deterministic set of sample points instead of linearizing.
An unsigned integer uses all its bits for magnitude, representing whole numbers from zero upward.
The XOR gate outputs 1 when its inputs differ, implementing exclusive-OR and modulo-2 addition of bits.
Deliberately amplifying noise, measuring the result at several noise levels, and extrapolating back to the zero-noise limit.