Machine Kinematics
solved, then drawn
Concept

Identifiable — where it appears

A parameter, or a combination of them, that a given set of measurements determines. Identifiability is a property of the mechanism, the instrument and the poses together rather than of the parameter alone, and a four-bar's four lengths are only three-quarters identifiable from its output angle.

Named by 40 essays across 18 fields — each of them below, with the objects they name alongside it.

The identification Jacobian of a four-bar, read by protractor. One row for every number the instrument reads and one column for every parameter that might be wrong. Each cell is the derivative of that reading with respect to that parameter, drawn to the right of its centre line when positive and to the left when negative, with the largest entry in the whole matrix at 4.09e-1. 14 rows against 4 columns: far more equations than unknowns, which is what makes an identification a least-squares problem rather than a solve, and what makes the question of which combinations of columns cancel a real one. These are the same derivatives the tolerance field computes one at a time — the same matrix read down instead of across.

A dimension is a measurement

Every library on this site takes the numbers on the drawing as given: chosen by a designer, cut by a machinist, and thereafter known. They are not known. This field runs the same kinematics with the parameters as the unknowns and the motion as the data, and the first thing that appears is a question with an exact answer — which of them can be recovered at all.

metrology · Parameter The identification Jacobian of a four-bar, read by protractor. One row for every number the instrument reads and one column for every parameter that might be wrong. Each cell is the derivative of that reading with respect to that parameter, drawn to the right of its centre line when positive and to the left when negative, with the largest entry in the whole matrix at 4.07e-1. 12 rows against 4 columns: far more equations than unknowns, which is what makes an identification a least-squares problem rather than a solve, and what makes the question of which combinations of columns cancel a real one. These are the same derivatives the tolerance field computes one at a time — the same matrix read down instead of across.

The matrix a calibration inverts

One row for every number an instrument reads, one column for every parameter that might be wrong. Every entry is a derivative the tolerance field has been computing since its first essay — so this field's central object arrived already built, and what is new is which way it is read.

metrology · Parameter Three machines a protractor cannot tell apart. The same four-bar at 0.60×, 1.00×, 1.50×, drawn one inside another at the same crank angle. Every one of them puts its output link at 102.914064°, and the three readings differ by 2.8e-14° — which is the solver's floor rather than a difference. A protractor on the output link is reading a function of the ratios of the lengths, so it is the same function for every member of this family, at every crank angle, exactly. Whatever such an instrument recovers, it is not the size of the machine.

The direction no protractor can see

A four-bar's output angle depends only on the ratios of its lengths. That is a sentence anybody would agree to, and it has a consequence with a number attached: the vector of the four lengths is annihilated by every row of the machine's own identification Jacobian, to 7.6 × 10⁻¹⁵, at every pose, for ever.

metrology · Parameter The coordinates that do not move. Above: the four link lengths as the whole machine is scaled from 0.4× to 2.5×, four straight lines through the origin. Below: Freudenstein's K₁ = g/a, K₂ = g/c and K₃ = (g² + a² + c² − b²)/2ac over the same range, three horizontal lines whose total variation is 1.8e-15. Each of them is homogeneous of degree zero in the lengths, so the scale ray is a level set of all three at once — and the map from a four-bar's shape to its three K's is invertible, so they are not merely invariant but complete. The identifiable quotient of a four-bar's parameter space is three-dimensional, and this site has had its coordinates since its first essay on synthesis.

The coordinates the site already had

Three of a four-bar's four parameters are recoverable, so there are three recoverable quantities. They are Freudenstein's K's, which this site has used to design function generators for as long as it has synthesised anything — and the same 3 × 3 linear system, read backwards, identifies a machine from three measured angle pairs.

metrology · Parameter What each instrument recovers. The same twenty poses of the same four-bar, read three ways. A protractor on the output link recovers 3 of the four lengths and leaves the fourth exactly invisible, because its readings are dimensionless in the lengths and scaling the machine does not move them. A coordinate machine on the tracing point recovers all six parameters — the four lengths and the two that say where the tracer sits — at a condition number of 162.3. Using both recovers the same six at 26.1, 6.2 times better, which is the case for putting two instruments on one machine: not more parameters, better-conditioned ones.

A ruler and a protractor

What a measurement recovers is decided by the units of its readings. An angle is dimensionless and cannot see a size; a position is not and can. And putting both instruments on one machine recovers no more parameters than the better of them alone — it recovers the same ones six times better conditioned.

metrology · Parameter What another measurement is worth. The smallest singular value of the identification Jacobian — the observability of the worst-recovered parameter — against how many poses were measured. The lower curve takes poses evenly round the crank; the upper one chooses each next pose to make this number as large as it can. Both rise steeply and then flatten: the 13 evenly-spaced poses already give four fifths of what 20 give. Chosen poses reach at 4 what even spacing needs 5 to reach. The flattening is not diminishing returns on accuracy — it is the information in a pose being a direction in a three-dimensional space, which a handful of well-spread poses already spans. Everything after that is averaging noise, which is a different gain and improves as the square root.

How many poses are enough

Three readings determine a four-bar's shape and the thousandth adds almost nothing. The rank is reached at three because there are three parameters, and everything after that is conditioning — which is a different quantity, improves for a different reason, and stops improving much sooner than anybody expects.

metrology · Parameter The order the poses are chosen in. Each next pose chosen to make the worst-recovered parameter as observable as possible, numbered in the order it was taken, on the crank's own dial. The first three land 150° apart at the widest — they have to, since three parameters need three independent rows and nearby poses give nearly the same row — and every one after that bisects a gap. Nothing told the routine to spread them; it maximises a singular value and spreading is what that turns out to mean. The eighth pose is worth 7.4% more observability than the seventh.

Where a calibration should measure

Choose each next pose to make the worst-recovered parameter as observable as it can be, and something happens that nobody asked for: the first three land as far apart as they can get, and every one after that bisects a gap. Nothing told the routine to spread them. It maximises a singular value, and spreading is what that turns out to mean.

metrology · Parameter A cycloidal cam at 60°. A 20-unit rise over 120°, a dwell, a return and a dwell. The dashed curve is the pitch curve — where the roller's centre travels — and the solid one is the surface that has to be cut, which is the pitch curve offset inward by the roller radius along its own normal. The pressure angle at this instant is 25.5°: the angle between the follower's direction of travel and the normal to the surface, and the number that decides whether the follower jams in its guide rather than sliding.

A lift is a size and a law is a shape

A cam's motion law is a dimensionless function of a dimensionless argument, so everything the cam field says about laws — which has the least acceleration, which has an impulsive jerk, which one costs least — transfers between cams of any size. What does not transfer is anything with the lift or the base circle in it.

cams · Cam What a platform's own sensors settle. One three-legged platform, measured at 75 poses, with three different sets of sensors on it. Reading every joint angle determines 12 of the 15 numbers that describe the machine and leaves three undetermined, and one of the three is the scaling of the whole machine — every reading is dimensionless, so multiplying every length by a constant changes nothing any sensor sees. Laying a rule across two base pivots once recovers exactly one more, and the one it recovers is the size. Legs that report their own extension need no rule: a reading with a length in it breaks the scaling direction outright, and 7 of 9 come back. What none of the three determines is where the frame's origin sits, which is a convention rather than a defect.

A platform that measures itself

A three-legged platform with every joint read can be calibrated from its own sensors with no instrument in the room. Left to itself it shrinks the machine to a fiftieth of a per cent of its size — and reports a residual five orders smaller than the right answer's for doing it.

parallel · Parallel What another measurement is worth. The smallest singular value of the identification Jacobian — the observability of the worst-recovered parameter — against how many poses were measured. The lower curve takes poses evenly round the crank; the upper one chooses each next pose to make this number as large as it can. Both rise steeply and then flatten: the 13 evenly-spaced poses already give four fifths of what 20 give. Chosen poses reach at 4 what even spacing needs 5 to reach. The flattening is not diminishing returns on accuracy — it is the information in a pose being a direction in a three-dimensional space, which a handful of well-spread poses already spans. Everything after that is averaging noise, which is a different gain and improves as the square root.

What another measurement is worth

The observability of a four-bar's worst-recovered parameter goes 0.118, 0.162, 0.188, 0.208 — and then keeps going up by less and less until adding a pose changes the fourth decimal place. The flattening is not diminishing returns on accuracy. It is a space of fixed dimension being filled.

metrology · Parameter Four indices, four answers. Four of the five observability indices in use, each divided by its own value at 18 poses so their shapes can be compared: their absolute sizes differ by ten orders and a shared axis would draw three flat lines. They are five different questions about one list of singular values — the geometric mean, the smallest alone, the reciprocal condition number, and two normalisations of the smallest — and at eight poses they disagree by a factor of 1.50 about how much of the job is done. A pose set chosen to maximise one is not the set that maximises another, and the literature quotes the choice as a preference.

Four indices, four answers

Five numbers are in use for scoring how well a set of poses determines a mechanism's parameters. They are five different questions about one list of singular values, they rank pose sets differently, and the literature quotes the choice between them as a matter of preference. It is a matter of what the report has to carry.

metrology · Parameter Grashof's classification, predicted and then swept. Four sets of link lengths. For each, Grashof's condition predicts from the lengths alone whether the input can rotate a full turn, and the solver then attempts all 180 positions and reports how many assembled. The prediction and the measurement agree in every case, which is what licenses quoting the classification for a mechanism nobody has swept.

Grashof is a shape test

The oldest classification in the subject compares sums of lengths, so it is unchanged by making the machine bigger — which means a protractor recovers it exactly without recovering a single length. What it does not recover is the margin, and the margin is what says whether the classification is safe.

linkages · Fourbar How much of Bennett's turn survives a bar being wrong. The same four bars and the same four twists, with one bar's length changed by the amount on the left and nothing else touched. The bar shows the fraction of 48 sampled positions of the first joint at which the loop closes to within 10⁻⁹. Two parts in a thousand already costs most of the travel. This is what it means for a mechanism to work only on a condition rather than approximately near one — and it is why Bennett's linkage was a curiosity for eighty years before anyone could machine to it.

Bennett's condition is a ratio

A spatial loop's parameters are lengths and angles together, so a scaling touches only half of them. Bennett's condition — a over sine alpha equals b over sine beta — is a relation between the two halves, and what it demands of a machine is a relation between its lengths and its twists rather than a property of either.

spatial · Spatial 20 teeth driving 32. Both flanks generated from the involute, not approximated, at a pressure angle of 20°. The orange line is the line of action — tangent to both base circles, and the only place contact happens. Its length between the two tip circles divided by the base pitch is the contact ratio, 1.612 here, which means that for 61% of the cycle two tooth pairs are carrying the load and for the rest just one. The velocity ratio is 0.6250, and it is constant because the common normal never moves. The dashed extension runs between the two base tangency points, which are 8.89 mm apart; the heavy part is where contact actually happens.

The module is a size, the ratio is a shape

A spur pair has exactly one length in it. Every quantity it produces is either proportional to that length or completely independent of it — centre distance, base pitch and contact length scale exactly; ratio and contact ratio do not move at all, not even by a part in ten to the fifteen.

gears · Tooth Two routes to the same derivative. How much the output angle moves when the coupler length moves, through one turn, computed twice. One route rebuilds the mechanism at b ± 10⁻⁶ and solves both from scratch; the other differentiates the constraint equations and solves one linear system against the analytic Jacobian. They lie on top of each other — the strip beneath plots the difference on a four-decade log scale, and its largest value anywhere in the turn is 2.9e-10 against a sensitivity of order 0.41. That is the only independent check there is of the Jacobian itself, whose coupler rows carried four wrong signs from the foundation phase to 2026-08-12 without ever drawing anything wrong.

A band with a direction in it

One whole direction of a four-bar's tolerance box does nothing. A machine made a quarter of a per cent too big all over has an output error of exactly zero — and an aluminium four-bar heated by a hundred degrees has an output error of exactly zero, while one with a steel frame has 0.076°.

practice · Tolerance The circle of points going straight, at 66°. Every point on this circle is, at this instant, travelling in a straight line: its path has zero curvature there. The circle passes through the pole — where the point is not moving at all — and its diameter is 47.64, which is the pole's own speed divided by the plane's angular rate. Nothing here was assumed to be a circle. The locus is the zero set of a quadratic whose |w|² coefficient is φ′³, a real number with no cross term and no difference between its two square terms, and a general conic fitted to the sampled locus returns those coefficients at 8.1e-15 and 6.4e-15. At this position the coupler is close to translating, the pole has run off the canvas and the circle with it — the figure is the size of the mechanism, and δ here is 13.6 coupler lengths. positioned by solving, not by drawing.

A curvature is a size with a minus sign

Everything in the curvature field is a similarity invariant in shape and a reciprocal length in value. Scale a moving plane and its inflection circle scales, its cubic of stationary curvature scales, and every curvature it computes is divided by the factor — so a bigger machine traces gentler paths than its drawing suggests.

curvature · Curvature The transmission angle through one turn. μ is the angle at B between coupler and rocker, computed from each solved position rather than from a formula. It runs from 54.3° to 100.3° for these lengths. The shaded band is the usual design rule — keep μ between 40° and 140° — and this linkage stays inside it throughout. The rule is about geometry alone: nothing here knows about friction, and a mechanism with a comfortable μ can still be a poor machine.

The transmission angle has no size

The geometric half of force transmission is an angle in a triangle whose three sides scale together, so it is the same at every size — 54.31° at its worst on this machine, whatever units the drawing is in. Which means a measurement that cannot recover a single length recovers the whole of what this field computes.

transmission · Transmission A joint with no way out in the plane it is drawn in. A dovetail. The tail is wider at its far end than at the mouth it went in through, so every direction out of the mouth is blocked by a slanted face and every direction further in is blocked by the floor. In the plane of this drawing the joint cannot be taken apart at all, and the direction it does come apart in is the one the drawing does not show. The moving part touches the rest at 3 faces, each contributing one inequality on the direction it may be translated in — the direction must not have a negative component along that face's inward normal — and the set of directions that satisfy all of them is a cone in two dimensions rather than three, because a translation has no moment term. That is why a removal cone can be drawn as an angle where a mobility cone cannot. Here it is empty: every direction is refused by one face or another, so the part cannot be taken out by any translation and cannot have been put in by one either. That is a statement about the assembly and not about the part, and the direction the joint does come apart in is perpendicular to this drawing. positioned by solving, not by drawing.

A cone has no size

What a set of contacts permits is a cone of twists, and a cone is closed under positive scaling by definition — so nothing about it changes when the part it holds is made bigger. Except that a twist is a screw, a screw has a pitch, and a pitch is a length.

holding · Restraint A rolling wheel, where it was driven to. The mechanism at a configuration nothing wrote down: it was reached by integrating permitted velocities from the start of the trail, and there is no equation here whose root it is. The barred line at each wheel is the direction that wheel forbids — the subject of the whole field, and the one thing a photograph of a car cannot show. The constraint residual along the drawn history is 0.0e+0.

A wheel that cannot report its radius

Rolling relates a wheel's turning to a vehicle's travelling, and the relation has a length in it. So a rolling constraint is the one place on this site where an angle measurement does carry a size — and the size it carries is the one thing a vehicle's own odometry can never separate from its wheelbase.

rolling · Rolling Three prescribed positions of a rigid body. The whole of the design problem, before any mechanism exists. A body has to occupy these three positions — each one a place and an angle, three numbers — and what carries it between them is not yet decided. A forward analysis starts from link lengths and finds the motion. This starts from the motion, and the lengths are what has to be found. The marked points are the poles: any planar displacement is a rotation about one point, so each pair of poses has one, and the arcs show the turn each represents through the body's own origin. A pole is a property of the displacement and not a mechanism — nothing has been chosen yet. 1 of the 3 poles lies outside this frame and is not drawn; near-parallel displacements push their pole a long way off.

What a synthesis assumes it knows

Every construction in this field is handed a demand in absolute coordinates — three positions of a coupler plane, at stated places — and returns a linkage in the same coordinates. Scale the demand and the answer scales, which means the construction's whole content is about shape and its answer carries a size it was given.

synthesis · Synthesis The output is a band, not an angle. The rocker's angle through one turn of the crank, for a four-bar whose four lengths are each specified to ±0.01. The line is the nominal mechanism; the band is where the output of an actual one lies, found by building all sixteen extreme combinations of the four lengths at every crank angle and solving each. The band is not a constant width: it is 0.73° at its widest, near 30°, and 0.36° at its narrowest — a factor of 2.0. Which of those a designer is told depends entirely on where the mechanism was measured.

Where the boundary moved again

The practice field's inventory ended by naming what the work after it should do first: take the feature positions as the variables and derive the lengths. That is done, and it turned out not to be an extension of the tolerance field but half of a different one — because where a length comes from and what a measurement determines are the same question.

practice · Practice A link, as a distance and as a body. The same two links every field before this one has drawn as lines, drawn as the material they are made of. A bar is a rectangle with its ends rounded off to the bosses that surround its pins, and it is convex; a bell crank is two arms meeting at a shared pin, and it is not — its inner corner turns the wrong way by 0.52, which is the single fact that puts it outside every separating-axis test here. The pins are marked because they are what has not changed: the constraint equations are the same, the solve is the same, and the positions are the same. What is new is everything between the pins.

A body is all size

Twenty-five of the fields before this one compute quantities that are mostly shapes, recoverable from an angle sensor and transferable between machines of any size. This one computes clearances, footprints and swept areas, and not one of them is a shape — which makes it the only field whose whole output needs a ruler.

bodies · Body An open belt, whose wraps make one turn. Two pulleys of radius 40 and 24 mm with their centres 160 mm apart, with the strand running the same way round both. The two tangency points on each pulley are marked; the run between them is computed from the signed radius difference and nothing else. The wrap angles are 191.48° and 168.52°, and they add to exactly one turn — the turning number of a simple loop. Length 522.6633 mm, against the textbook formula's 522.6633. positioned by solving, not by drawing.

A drum is a size, a wrap is a shape

A strand's whole behaviour is decided by where it leaves each body and how far round it goes, and both are angles. So a belt drive's velocity ratio, its wrap angles and its tackle's mechanical advantage transfer between drives of any size — and the one thing that does not is how much strand there is.

strands · Strand The machine compiled from a rectangular hyperbola. xy − 0.5, compiled: 20 bars and 20 joints, painted by what each part is for. The two-link arm at the pivot carries the tracing point; the reflectors and means build each term's angle; the rigid offsets fix the constant φₖ and the amplitude; the translators carry those directions out along the summing chain, whose last vertex is held on a line. That last constraint is the equation. Every joint drawn is the output of a Newton–Raphson solve on 36 equations, converged to 4.2e-16, and the polynomial at the tracing point is 2.2e-16.

A compiled machine and its own scale

A linkage compiled from a polynomial has bars whose lengths are the polynomial's coefficients and joints whose angles are its phases. Scale it and every coefficient scales — so the machine computes the same polynomial multiplied by a constant, which is a different polynomial with the same roots.

computing · Compute Watt chain: 7 pins, and nothing else. A kinematic chain drawn as what it is — a graph. Each disc is a link and carries its number; each line is a pin joining two links. There are no lengths here, no angles and no positions, and every quantity this field computes survives moving any disc anywhere: the picture is a way of reading the graph and not a picture of a machine. The fill says how many pins a link carries — 4 binary, 2 ternary — which is the coarsest thing that can tell two chains apart and the first column of every census table. The count reads two numbers off this picture and nothing else: 6 links and 7 pins give 3 × 5 − 2 × 7 = 1.

A graph has no numbers at all

Every other field on this site has parameters a measurement could try to recover. This one has none. A chain is a graph, a graph is a set of links and a set of joints, and there is nothing about it that a scaling touches, a tolerance perturbs or an instrument determines.

topology · Topology One set of lengths, two machines. Three measured input–output pairs, marked, and the linkage Freudenstein's relation returns from them — which is the truth's four lengths to fourteen figures. The relation is a statement about the two angles and it holds on both assembly branches, because it was derived by squaring and that is the step that forgets which one the mechanism is on. So the identified linkage assembled the way the data was taken passes through every reading, to 2.53e-14 radians, and assembled the other way misses them by up to 268° — at the first precision point it reads -111.6° where 98.8° was wanted. That is not a near miss and not a failure either. It is the other answer.

One set of lengths, two machines

Three measured input–output pairs return a four-bar's four lengths to fourteen figures. Assembled the way the data was taken, that linkage reproduces every reading to 2.5 × 10⁻¹⁴ radians. Assembled the other way — which the same four lengths permit — it misses them by 268°, and no equation in the identification knows the difference.

metrology · Parameter Three machines, one curve. The coupler curve of a four-bar, drawn three times by three different linkages. Roberts's theorem gives every coupler curve exactly three four-bars that trace it, and their proportions are not close: the cranks here are 1.600, 2.214, 2.558, a spread of 60%. Read as an identification problem this is a least-squares objective with three separate exact minima and nothing between them — so an instrument that records only where the tracing point went has three answers however good it is, and no amount of data chooses. What chooses is knowing where the ground pivots are, which is a different measurement rather than a better one.

Three machines, one curve

Roberts's theorem says every four-bar coupler curve is drawn by exactly three different four-bars. Read as an identification problem that is a least-squares objective with three separate exact minima, whose cranks differ by sixty per cent — so an instrument that records only where the tracing point went has three answers, and no amount of data chooses between them.

metrology · Parameter Reachable, and dexterous. A 3-link planar arm with links 1.6, 1.2, 0.7. The outer region is everywhere the tool can be put: an annulus from 0.00 to 3.50. The inner region is everywhere it can be put at every tool angle — from 1.10 to 2.10, which is 26% of the area. Both are measured by counting cells on a 260 × 260 grid and both agree with the area computed from the radii to 0.06%, which is what makes the picture a measurement.

An arm's parameters and its poses

A three-link planar arm has three lengths and a tool position that carries a length, so nothing about it is invisible to a measurement — and it is nevertheless the mechanism on this site where a calibration is hardest, because its parameter count is high, its poses are three-dimensional and its Jacobian is singular where a designer likes to work.

serial · Serial Nine parameters, two of them invisible. A Watt six-bar has seven lengths, a fraction that says where a point rides on its rocker, and a third ground pivot with two coordinates. Reading its output link with a protractor over 28 poses gives a matrix of rank 7: two directions are invisible, at 8.24e-10 and 5.06e-10 against a largest of 7.49e+0. One is scaling the whole machine, with a zero against the fraction, because a fraction is not a length. The other is scaling the second loop alone about O₄ — that loop is a four-bar in its own right and its own size does not reach the output angle. The two wrong guesses a reader would try, scaling those five parameters about O₂ or scaling the first loop alone, are refused at 1.5e-1 and 2.0e-1.

Nine parameters, two of them invisible

A Watt six-bar has seven lengths, a fraction and a ground pivot's two coordinates. Read by a protractor on its output link, its identification Jacobian has rank seven — and the second missing direction is not a scaling of the machine at all. It is a scaling of the second loop alone, about the pivot the two loops share.

metrology · Parameter A four-bar at 1°, solved. Ground 4, crank 1, coupler 3.5, rocker 3. Every joint position here is the output of a Newton–Raphson solve on the loop-closure equations, converged to 3.3e-14 — not a placement that looked right. Grashof's condition classifies these lengths as a crank rocker, and sweeping the crank through 360° confirms it: 120 of 120 positions assemble. The transmission angle at this instant is 54.3°.

Six things a measurement cannot tell you

A calibration with a perfect residual whose fourth number is a starting guess, a rank that says nothing about a second answer, an improvement that proves nothing about a parameter, a class with no margin, a plan scored on poses that were refused, and a model missing something no data can find. Six claims, each with the number that kills it.

wrong · Misconception A machine measuring its own shape. A four-bar with an encoder at each end of its one freedom. Every pose gives one scalar equation — Freudenstein's, which is linear in the three invariants — so 40 poses make a three-column least squares with a condition number of 8.758 and no instrument outside the machine anywhere in it. With perfect encoders the invariants come back to 8.64e-15; with encoders good to a milliradian they come back to 5.40e-3, an amplification of about 6.26. What comes back is a shape and only a shape: the same three numbers describe this machine and one a quarter of the size, and nothing an encoder can read separates them.

A machine that measures itself

Put an encoder at each end of a one-freedom loop and every pose gives one scalar equation. The equation is Freudenstein's, it is linear in three unknowns, forty poses make a three-column least squares at a condition number of 8.76 — and no instrument outside the machine is involved anywhere.

metrology · Parameter The common normal, and where it is. Two joint axes 1.0 unit apart, nominally parallel, 0.50° apart in one plane and 0.05° in the other. The Denavit–Hartenberg convention takes all four of its numbers from the one line that meets both at right angles, and for these two axes that line crosses the first 11.3 units from the joint — off this page by a factor of about 11, which is why the tilt here is drawn at 26° and not at a fraction of one. Along it, the "link length" of a link 1.0 unit long reads 0.9950, and the angle round the first axis reads 5.71°. Nothing has moved by more than 0.50°.

The common normal, and where it is

The Denavit–Hartenberg convention reads all four of its numbers off one line: the common normal between two joint axes. Two parallel axes do not have one — every perpendicular meets both at right angles — and two nearly parallel axes have one that is somewhere else entirely.

metrology · Parameter A number that runs away. The Denavit–Hartenberg offset of a pair of nominally parallel axes, against how far from parallel they actually are, for a fixed out-of-plane tilt of 0.05°. The marks are extracted from the geometry by finding the common normal; the line is the closed form −A cos α cos β sin β / (sin²α cos²β + sin²β), and the two agree to 2.4e-16 relative over three decades. At 30° of twist the offset is 0.0030 of a link length; at 0.01° it is 1102. The dashed line is the worst case over the tilt, which sits at β = α and is exactly A/2α. Nothing about the machine has changed by as much as a degree.

A number that runs away

A hundredth of a degree of unintended twist on a nominally parallel pair of joint axes puts the Denavit–Hartenberg offset at −1,102 link lengths. The extraction from the geometry and the closed form agree to 5 × 10⁻¹⁶ over three decades, and the worst case over the tilt is exactly A/2α.

metrology · Parameter The machine is fine; the description is not. Above: the offset the Denavit–Hartenberg chart assigns to a pair of nominally parallel axes, over three decades of twist, running from 0.0030 to 1102 link lengths. Below: the condition number of the identification Jacobian in a chart that describes the second axis by two small rotations from the first and never asks for a common normal, over the same range. It is 7.5501 at every one of them, flat to 2.4e-9. The machine is the same machine in both rows and it is perfectly well behaved. What breaks is a convention that locates its parameters on a line which, for two parallel axes, does not exist.

The chart breaks, the machine does not

The same two axes, over the same three and a half decades of twist. In one description a parameter runs from 0.003 to 1,102; in another the condition number is 7.5501 and does not move in the fifth figure. A quantity that diverges in one chart and is constant in another is a property of the chart.

metrology · Parameter Six per joint is two too many. The number of parameters a serial chain's model carries, against the number of revolute joints. The upper bar of each pair counts six for every joint transform and six for each of the base and tool frames, which is what a reader expects; the lower bar is the number a measurement can distinguish. At 6 joints they are 48 and 30. The difference is not a saving, it is a warning: a model with 48 parameters fitted to any amount of data has an 18-dimensional set of exactly equivalent answers, so the fit returns whichever one the damping happens to prefer and every one of its numbers is arbitrary. Four per revolute because a rotation about the joint's own axis changes nothing and a translation along it is the joint variable; six rather than twelve for the two frames for the same reason, one level out.

Six per joint is two too many

A joint transform is six numbers, and a six-joint arm with a base and tool frame is forty-eight. A measurement can distinguish thirty. The difference is not a saving — it is an eighteen-dimensional set of exactly equivalent answers, and a fit returns whichever member of it the damping prefers.

metrology · Parameter Which numbers have a size. Twelve quantities from eight fields of mechanism kinematics, each scaled by taking every length in its mechanism up and down together and fitting the power its value follows. A shape lands on zero, a length on one, a curvature on minus one, an area on two, and every row lands on an integer to 3.3e-11. The sorting is not a units argument — it is measured from each field's own library, by asking that library the same question. What it says is that most of what kinematics computes is a shape: a mobility, a Grashof class, a transmission angle, a contact ratio and a velocity ratio are all unchanged by making the machine bigger, so all of them are recoverable from a measurement that cannot recover a single length. The row worth stopping at is the tolerance band: held to a fixed ±0.01 it lands on minus one, because ±0.01 is a length and a bigger machine held to the same absolute tolerance is a better machine. Written as a percentage the same band lands on zero. One quantity, two drawing conventions, two different kinds of number.

Which numbers have a size

Take every length in a mechanism up and down together and fit the power each computed quantity follows. A transmission angle lands on zero, a coupler point's speed on one, a path curvature on minus one, an enclosed area on two — and a tolerance band held to a fixed ±0.01 lands on minus one, which nobody would guess.

metrology · Parameter Which numbers have a size. Twelve quantities from eight fields of mechanism kinematics, each scaled by taking every length in its mechanism up and down together and fitting the power its value follows. A shape lands on zero, a length on one, a curvature on minus one, an area on two, and every row lands on an integer to 3.3e-11. The sorting is not a units argument — it is measured from each field's own library, by asking that library the same question. What it says is that most of what kinematics computes is a shape: a mobility, a Grashof class, a transmission angle, a contact ratio and a velocity ratio are all unchanged by making the machine bigger, so all of them are recoverable from a measurement that cannot recover a single length. The row worth stopping at is the tolerance band: held to a fixed ±0.01 it lands on minus one, because ±0.01 is a length and a bigger machine held to the same absolute tolerance is a better machine. Written as a percentage the same band lands on zero. One quantity, two drawing conventions, two different kinds of number.

A count is neither

Every quantity in the scaling survey lands on an integer power — zero for a shape, one for a length, two for an area. A mobility lands nowhere. It has no dimension at all, it does not move under any perturbation, and the probe that sorts the rest of the site's numbers returns nothing for it.

metrology · Parameter What each instrument recovers. The same twenty poses of the same four-bar, read three ways. A protractor on the output link recovers 3 of the four lengths and leaves the fourth exactly invisible, because its readings are dimensionless in the lengths and scaling the machine does not move them. A coordinate machine on the tracing point recovers all six parameters — the four lengths and the two that say where the tracer sits — at a condition number of 162.3. Using both recovers the same six at 26.1, 6.2 times better, which is the case for putting two instruments on one machine: not more parameters, better-conditioned ones.

Two instruments disagree about the worst

A protractor recovers three of a four-bar's parameters at a condition number of 5.2. A coordinate machine recovers six at 162. Neither number says which parameter is worst recovered, and when both are asked, they name different ones — because a condition number is a summary of a list and the list is what a report needs.

metrology · Parameter The identification Jacobian of a four-bar, read by coordinate machine. One row for every number the instrument reads and one column for every parameter that might be wrong. Each cell is the derivative of that reading with respect to that parameter, drawn to the right of its centre line when positive and to the left when negative, with the largest entry in the whole matrix at 3.14e+0. 24 rows against 6 columns: far more equations than unknowns, which is what makes an identification a least-squares problem rather than a solve, and what makes the question of which combinations of columns cancel a real one. These are the same derivatives the tolerance field computes one at a time — the same matrix read down instead of across.

What a model is allowed to change

Before a calibration runs, somebody decides which numbers it may move. Leave one out and the fit absorbs it into the others; put one in that the instrument cannot see and the fit returns whatever the damping preferred. Both decisions are made before any measurement, both are checkable in advance, and neither is usually checked.

metrology · Parameter What each instrument recovers. The same twenty poses of the same four-bar, read three ways. A protractor on the output link recovers 3 of the four lengths and leaves the fourth exactly invisible, because its readings are dimensionless in the lengths and scaling the machine does not move them. A coordinate machine on the tracing point recovers all six parameters — the four lengths and the two that say where the tracer sits — at a condition number of 162.3. Using both recovers the same six at 26.1, 6.2 times better, which is the case for putting two instruments on one machine: not more parameters, better-conditioned ones.

What this field cannot measure

Every field on this site has a boundary and this one has three: a direction the readings cannot span, an alternative no derivative detects, and a model nobody thought of. The first is computable exactly, the second needs a search, and the third is not detectable from data by any method at all.

metrology · Parameter

Named alongside it

The objects these essays reach for when they reach for this one.

CalibrationScale invarianceIdentification jacobianSingular valueLeast-squaresUnidentifiable directionNoise amplificationObservability indexPose selectionStructural identifiabilityGrashof's conditionMeasurement residual

All concepts