Machine Kinematics
solved, then drawn
Concept

Witness pair — where it appears

The two points, one on each part, that realise the gap between them. Its identity changes discretely as a mechanism moves while the distance changes continuously, so it is what puts the corners in a swept clearance, and it says which single change would improve the worst instant.

Named by 7 essays across one field — each of them below, with the objects they name alongside it.

a crank rocker with a post: the closest pair at one position. The same four-bar with a post bolted to the frame, just clear of the coupler's path. Every joint is where the solver put it, exactly as in the linkage field; the material is the only thing added. The heavy segment joins the two closest points over every pair of parts that is tested — which excludes pairs sharing a pin, since their material surrounds that pin by construction — and its length is the gap: 0.2561 here, between rocker · post. A negative value is a penetration depth, the distance the pair would have to be moved apart, and it is drawn in the warning colour.

A link that takes up room

For twenty-three fields a link on this site has been a distance between two points, and a distance cannot collide with anything, because it is not anywhere. Give every link a body and a question arrives that none of the constraint equations can ask.

bodies · Body Peaucellier's cell: the closest pair at one position. Eight links, ten pins and an exact straight line — the site's densest planar loop. Every joint is where the solver put it, exactly as in the linkage field; the material is the only thing added. The heavy segment joins the two closest points over every pair of parts that is tested — which excludes pairs sharing a pin, since their material surrounds that pin by construction — and its length is the gap: 0.1983 here, between long arm A · crank. A negative value is a penetration depth, the distance the pair would have to be moved apart, and it is drawn in the warning colour.

A gap is a number

A collision test that answers yes or no cannot say by how much, and therefore cannot say what would fix it. The quantity this field is built on is one signed number: positive is a gap, negative is how far the parts would have to be moved to stop overlapping.

bodies · Body The gap is a function, and it has corners. The smallest gap over every tested pair, at each of 360 solved positions of the crank. Two things are visible that a check at the ends could not report. The minimum, 0.1041, is in the middle of the travel and not at either end. And the curve has 4 corners, each one a change in which pair is closest — the colours — so the function is piecewise smooth rather than smooth, and its minimum is not where a derivative vanishes. Refining off the sample grid by golden section moves the answer by 1.4e-5, which is what a corner rather than a smooth minimum looks like.

A gap with corners in it

The clearance between two parts is a function of the crank angle, and it is not a smooth one. It has a corner wherever the closest pair of features changes hands, so its minimum is not where a derivative vanishes and is not at either end of the travel.

bodies · Body 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 The gap is a straight line in the width. Three machines, four widths each, every width a fraction of that machine's own limit. Each set of points is collinear to the last bit of a double — the slopes wander by less than 10⁻¹³ across the range — because a feature-to-feature distance is linear in the corners of the two bodies and a bar's corners are linear in its width. The slope reads the contact: Chebyshev's linkage at -2.692, a crank rocker with a post at -1.350, a crank passing a stud at -1.350. A bar's boss grows 1.35 times as fast as its side, so −1.35 is a boss against something that is not growing and −2.70 is boss against boss. Extending each line to zero gives the widest link the machine will take, and the bisection that finds it the hard way agrees — 0.30113 against 0.30112, inside the bisection's own residual.

The gap is a straight line in the metal

Thickening every link by the same amount subtracts the same amount from every clearance, exactly, and moves the angle at which the worst one occurs by nothing at all. So a whole swept check can be done once on bars of any width and every other width read off by subtraction — until the closest pair changes hands, and never past zero.

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 One link, five bodies. Five bars with the same two pins, offset by -0.24, -0.12, 0, 0.12, 0.24 of the link's length, drawn to a common scale. Every one of them holds its two pins exactly the same distance apart, so every one of them is the same link: put any of them into a mechanism and the mechanism solves to the same joint positions at every configuration. Nothing in the kinematics of this collection — no loop equation, no velocity, no coupler curve, no mobility count — can tell them apart. What they do not have in common is which ground they occupy on the way from one pin to the other.

A link may be bent

A link is two pins at a fixed distance and the metal between them is a free choice. Bending it moves no joint of the mechanism by more than 10⁻¹³ and moves the clearance by a tenth of a link length — enough to build a machine that a straight bar refuses, and worth exactly nothing against a bearing pedestal the link sweeps over.

bodies · Body

Named alongside it

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

InterferenceSigned clearanceLink bodyClearanceDesign ruleLipschitz boundPenetration depthSweep certificateApproximationBearing pedestalBossConfiguration space

All concepts