Machine Kinematics
solved, then drawn
Concept

Lipschitz bound — where it appears

A bound on how fast a quantity can change with its argument, used here for what a swept clearance can do between two samples. Every corner of a body is an affine function of its link's two joints, so its speed is the same combination of the joint velocities the mechanism already solves for.

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

Also named here as sweep certificate — the same set of essays touches all of them, so they are one junction rather than several.

The bound that says the sweep missed nothing. Every corner of every body is an affine function of its link's two joints, so its speed is the same combination of the joint velocities the mechanism already solves for — and the largest corner speed anywhere on this drive is V = 1.255 per radian. A distance between point sets is 1-Lipschitz in those points, so from each sample the gap can fall no faster than V: the fine lines are those cones. Where two cones cross is the least the gap can be between the samples, and at 60 samples that is 0.0383 — positive, so nothing was missed. The same bound refuses the twelve-sample sweep of the stud machine, where the bound is -0.281.

A sweep that missed nothing

A swept clearance check looks at finitely many positions of a machine that has infinitely many, and cannot report what it did not look at. Here is a twelve-sample sweep declaring a machine clear by 0.007 while it is 0.010 inside a stud — and the bound that refuses to certify it.

bodies · Body 36% shared, and they never touch. The region left arm visits over a whole drive, the region right arm visits, and — in the third colour — the part of the plane both of them visit. The shared area is 4.652 square units, 35.9 per cent of the smaller of the two regions. The two parts are drawn at the configuration where they come closest, and at that configuration the gap between them is 0.3799 — more than twice a link's width, and positive everywhere else on the drive. A test that asks whether the regions intersect has reported a collision between two parts that are never in the same place at the same time.

The regions overlap and the parts never meet

A swept region is a projection along time, and a projection cannot be undone. Chebyshev's two arms share thirty-six per cent of the ground the smaller of them covers and never come within twice a link's width of each other — a false alarm the region test cannot avoid, and one it cannot make at all against anything that stands still.

bodies · Body What a sweep at the wrong resolution reports. One machine — a crank passing a stud a tenth of a unit across — swept at six sample counts. At eight samples the smallest gap found is 0.0809 and the machine reads as clear; at twelve it is 0.0067 and still clear; from sixteen on it is negative and the crank is inside the stud by 0.0099. Nothing about the twelve-sample answer looks wrong: the curve it draws is smooth, its minimum is interior, its margin is small and positive. A sweep cannot report what it did not look at, and the repair is not more samples but a bound on what happens between them.

Six things a body is not

A verdict read as a measurement, a hull read as a part, a sweep read as a proof, a drawing read as a configuration, a geometry read as a force, and a plane read as a place. Six claims, each of them what a careful person would say, each answered with a number.

wrong · Misconception

Named alongside it

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

InterferenceSigned clearanceSweep certificateLink bodyWitness pairConfiguration spaceConvex hullDesign ruleFinite differenceFree spaceLayer assignmentMisconception

All concepts