Machine Kinematics
solved, then drawn
Concept

Link body — where it appears

The material a link is made of, given as a polygon in the link's own coordinates and placed by its two solved joints. It is what a distance constraint does not have: a distance cannot collide with anything, because it is not anywhere, so every question about what a mechanism is in the way of needs one.

Named by 27 essays across 8 fields — 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 in these essays 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 A dented shape, cut into 2 convex pieces. Ear clipping cuts the outline into triangles and Hertel–Mehlhorn then deletes every diagonal whose removal leaves both sides convex, which takes this crank to 2 pieces rather than the 4 the triangulation produced. The pieces tile the polygon to 1.8e-16 of its area, and — the part the areas cannot check — a point is inside the pieces exactly when it is inside the polygon, tested at 4,000 random points per shape with 0 disagreements. The gap between two parts is then the best answer over the pairs of pieces, which is why the decomposition has to be right rather than merely plausible.

A shape with a dent in it

The separating-axis theorem is not approximately right about a non-convex shape; it is wrong, and it returns a confident number while being wrong. The repair is to cut the shape into convex pieces — and the shortcut everybody takes instead adds a hundred per cent more material.

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 crank rocker: the closest pair at one position. The site's standard four-bar: ground 4, crank 1, coupler 3.5, rocker 3. 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.5438 here, between coupler · frame. 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.

Two bars that have to cross

The site's own four-bar has its coupler inside its frame by a full link width for the whole of a turn. It is not an impossible mechanism; it is a mechanism that cannot be built in one plane — and the plane it has been drawn in for twenty-three fields was a convenience nobody had to pay for.

bodies · Body A flat follower needs a face, and how wide is not a matter of taste. The cam profile the cycloidal programme produces on a base circle of 30, at 70° of rotation, with the follower's face across the top and the contact marked. The contact is not on the follower's axis: it sits at ds/dθ from it, so it wanders sideways as the cam turns and the face has to reach from the most negative value of that to the most positive. Here that is 19.099 — measured off the drawn profile as 19.099, the two routes agreeing to 1.0e-16. A face cut to the lift, or to the base circle, or to whatever looked right, is a face the cam runs off.

A follower needs a face

A flat-faced follower does not touch the cam on its own axis. The contact wanders sideways as the cam turns, by exactly ds/dθ, and a face cut to the lift or to the base circle or to whatever looked right is a face the cam runs off.

cams · Cam A colouring is not an assignment. A pin joining links in planes 1 and 3 has to pass through plane 2, and anything in plane 2 whose material covers that pin is pierced by it. That condition involves three links at once where a colouring's conditions involve two, and it is invisible to a colouring because permuting colours preserves a colouring and destroys betweenness. It does not change the number of planes on any machine here. What it removes is arrangements: of the 6 three-plane colourings of a crank rocker, 2 can be built, and of Peaucellier's 192 exactly 96 can.

A plane is a colour

Assigning links to parallel planes so that no two conflicting parts share one is a graph colouring, and the answer for a four-bar is three. Then the pins have to get through, and the problem stops being a colouring: of the six proper three-plane colourings, two can be built.

bodies · Body The room crank rocker needs. The shaded region is every point any part of this machine occupies at some position of its drive, computed as an occupancy grid over 150 solved configurations and outlined by marching squares — so the outline drawn is the boundary of the set the area was counted from rather than a second object that agrees with it. Its area is 12.78 square units, filling 54% of the box that contains it. The dashed rectangle is the box the joints need, which is what every figure that treats links as lines could have told you; the material needs a box 20% larger in area.

The room a machine sweeps

Every point any part of a machine occupies at some position of its drive. It is a region rather than a curve, its area is an integral computed two ways, and the one shape in the field with a closed form is what the grid is calibrated against.

bodies · Body The box the joints need, and the box the machine needs. Every machine in the catalogue, measured twice over the same drive: the extent of its joint positions, which is what a site drawing links as lines can report, and the extent of its material, which is what has to fit in something. The ratio runs from 1.13 to 1.36 — between thirteen and 36 per cent more area than the skeleton suggests, on machines whose links are a twentieth of their length wide. The last column is how much of the material's box the swept region actually fills, and it is where the packaging argument really is: a machine at 50% is a machine with a great deal of room inside its own envelope that nothing may be put in.

The hole the machine needs

A four-bar's joints fit in a box five units by four. Its material needs a box twenty per cent larger in area, and fills barely half of it. Both numbers are design quantities, and until a link had a width neither could be stated.

bodies · Body Turning all the way round, against being made of something. Seven four-bars, classified by Grashof's inequality on their four lengths and then asked a question Grashof cannot answer: with a bearing pedestal at each ground pivot, how wide may the links be? The two instruments have nothing in common — one is an inequality on four numbers, the other counts sign changes of (B − A) × (G − A) over a sweep — and they agree about something Grashof was not for. Every four-bar that turns all the way round sweeps a link straight over a ground pivot, so its closest approach is exactly zero and no positive width is admissible; not one of the rockers does, and they take widths up to 0.20 of their shortest link.

The crank that cannot turn all the way

Grashof's inequality says which four-bars turn fully. Ask instead how wide their links may be with a bearing at each ground pivot, and the same inequality answers the opposite question: every four-bar that turns all the way round sweeps a link straight over one of its own pivots.

bodies · Body Free space, in pieces. The driving angle round the circle, with the arcs at which the machine is both assembled and clear drawn heavy. One stud in the way takes a bite out of the turn and leaves 1 arc: the crank can still reach every remaining angle by going the other way. Two studs leave 2, covering 74% of the turn — and every configuration in both arcs is a perfectly good solution of the same constraint equations, on the same assembly branch, at the same mobility. Nothing a solver computes distinguishes an angle in one arc from an angle in the other; what separates them is that the machine cannot be driven from one to the other.

Free space comes in pieces

Every arc in these essays has ended at a configuration the mechanism cannot reach. Put two studs in a four-bar's way and its drive falls into two arcs whose ends are configurations it reaches perfectly well and cannot occupy — and no quantity the solver computes tells one arc from the other.

bodies · Body How close a synthesis puts two pins. The distribution of the smallest pin-to-pin distance on any one link, over all 1,176 exact syntheses. Burmester's construction returns points, and points can be arbitrarily close together: the shortest here is 0.103, on a mechanism whose poses span more than two units. The shaded band is what a boss of radius 0.25 forbids — 148 of them, 12.6%. The link that is worst is most often the crank, which is not where a designer looks: the frame's two ground pivots are the pair everybody checks by eye.

A pin is not a point

A joint in the fields before this one is a name and two coordinates. A pin is a cylinder with material round it, a length through the stack of plates, and a head — and every one of those turns some construction that returns points into a construction that may return nothing buildable.

bodies · Body What a pin's size costs a synthesis. Every one of the 1,176 exactly correct three-position syntheses the synthesis field's survey produces, asked a question its three verdicts cannot ask: are any two of its pins closer together than the material round them? The poses span about two units, so the horizontal axis is a pin as a fraction of the mechanism. At a boss radius of 0.05 nothing is lost; at 0.4 — a pin nearly a fifth of the pose span — 27% of the exact solutions cannot be built, and 15% of the ones that had already passed the branch, circuit and order tests go with them. The defect is real, it is rarer than the kinematic ones, and it is not correlated with them.

A defect that is not kinematic

The synthesis field's survey ends in three verdicts and all three are about which solutions a sweep visits. Here is a fourth, found by asking how much room two pins need — and it is the first defect here that a simulation cannot find, because in the equations a pin is a point.

synthesis · Synthesis A 4-stage scissor, open and as flat as it goes. On paper a scissor stack's height is n·L·sin φ and goes to nothing as the bars lie down. The bars are made of something: the two colours are the two planes the stack needs — two, at any number of stages, which is why a scissor folds at all — and the bars that share a plane are the ones two stages apart. They meet at φ = 0.0951, leaving each stage 0.0949 high, which is exactly the two bosses that touch: 2 × 0.0473. The stowed height of the whole stack is 0.380 rather than zero, and it grows with the stage count in the way a stowed lift's does.

A stack that has to fit

A scissor stack's height is n·L·sin φ and goes to nothing as the bars lie down — on paper. The bars are made of something, and what stops the fold is two bosses meeting: every stage keeps 0.0949 whatever the stack does, which is exactly twice the boss radius.

networks · Network 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 slider crank: the closest pair at one position. Crank 1, connecting rod 3, the block sliding on the frame's own line. 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.1400 here, between rod · guide, upper. 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.

The block in the guide has a length

A prismatic pair is a point constrained to a line, and a point on a line of length G has a stroke of G. A block of length ℓ has a stroke of G − ℓ, because both its ends have to stay on the rails — so a guide is as long as the stroke plus the block, and a third of a short one is not stroke at all.

pairs · Pair 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 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 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 The drive in 2 arcs. Chebyshev's two arms, whose regions over the whole drive overlap though the parts never come within 0.380 of each other. The outlines are each part's region over the whole drive. The filled ground is what a test that sweeps the drive in 2 equal arcs still flags: the points some arc's sweep of one part shares with the same arc's sweep of the other. With 2 arcs that is 0.859 square units. The parts are drawn at their closest approach.

Four arcs and the false alarm is gone

A swept region forgets when, so two parts whose regions overlap may never meet: Chebyshev's two arms share 4.66 square units of ground and never come within 0.38. Cut the drive into arcs, sweep each part over each arc, and compare regions only arc against the same arc. The test stays sound and costs the same sweep, and it forgets less with every cut. Four arcs clear Chebyshev's arms and eight clear Peaucellier's worst pair. A certificate that needs no grid asks for three times as many, and the same arms made wide enough to touch are refused at every number of arcs.

bodies · Body The joint space an arm's own material forbids. A three-link planar arm, at every pair of relative joint angles on a 101 × 101 grid, with the pairs at which its first and third links are inside each other shaded. It is 21.4% of the arm's own joint space, and it is a two-dimensional picture of a three-dimensional space because the first joint does not enter it: turning the whole arm about its base carries every link with it, so a collision at one base angle is a collision at all of them — checked at forty pairs of relative angles with 0 disagreements. Only the first and third links can meet; consecutive links share a pin and are excluded, exactly as in the closed-loop machines.

The arm that hits itself

A three-link arm's joint space is a cube of angles and it may not use a fifth of it, because its own material is in the way. The forbidden set does not depend on where the arm is pointing — which is why it can be drawn as a picture rather than described as a volume.

serial · Serial Every shared cell asks for a cut between two visits; 2 cuts answer all of them. Chebyshev's two arms: each of the 5,510 cells of ground both parts occupy at some point of the drive, as the stretch of drive angle between one part's last visit to it and the other part's first — every such cell is visited by each part in one unbroken stretch, so each gives exactly one interval. Sorted by where they end, one in 21 drawn. A partition of the drive clears the pair exactly when every interval holds a cut. The vertical lines are the fewest cuts that do, placed greedily at the earliest unstabbed end: 1.072 and 1.428, making 3 arcs of 0.360, 0.356, 0.274 radians. The thicker intervals are the ones the rule cut at; they do not overlap, so no partition clears the pair with fewer cuts.

Three arcs, cut in the right places

Equal arcs clear Chebyshev's two arms at four and Peaucellier's long arm and rhombus bar at eight. Each cell of ground the two parts share is visited by each part in one unbroken stretch of the drive, so each asks for exactly one cut, somewhere between the two visits — and the fewest cuts that answer every cell are found greedily from one sweep and proved least by the intervals that forced them. Three arcs clear Chebyshev's arms and five clear Peaucellier's pair, and halving only the arcs that still flag finds four and five at three and four times the sweeping.

bodies · Body 6 pairs, 16 cuts if each is cut alone, 4 for all of them together. Peaucellier's cell's pairs of parts that never touch but whose whole-drive regions share ground, each in its own lane: its intervals between visits to shared cells (thin, one in several drawn) and the fewest cuts that pair needs alone (solid ticks). long arm A / rhombus QB: 5 arcs; long arm A / rhombus PB: 3 arcs; long arm B / rhombus AQ: 5 arcs; long arm B / rhombus AP: 3 arcs; rhombus AQ / rhombus PB: 3 arcs; rhombus QB / rhombus AP: 3 arcs. Cut separately they need 16 cuts. The dashed lines are the fewest cuts for every pair at once, 4, at −1.132, −0.290, 0.658, 1.360 radians — as few as the worst pair alone needs — and the intervals they were placed at do not overlap, so no partition does with fewer.

Four cuts serve the whole cell

A region test between moving parts needs its drive cut where each pair's two visits to shared ground separate, and one pair of Peaucellier's arms needs four cuts. The cell has six such pairs, and cut one at a time they would need sixteen. Cut together they need four, the same four moments, because every pair crosses its shared ground on either side of them. Built from a whole-drive region test the cell would take six planes; the four cuts give back the true four, where equal arcs need eight to do it.

bodies · Body 3 handovers, and 3 cuts where the shared ground stands empty. Four in turn: each tool's lift against the cam angle, from its own cam, with a thick bar under it while its front is inside the shared ground. The dashed lines are the fewest cuts that clear every pair of tools at once, 3, at 114.5°, 204.5°, 294.5°, and the shaded bands are the windows each may move in, 65° to 115°, 155° to 205°, 245° to 295°: the times when no tool is inside the shared ground. The pairs need 1 cut at worst and 6 between them; the station changes hands 3 times after the turn's seam.

A cam machine is cut at its handovers

In one symmetric linkage, every pair of parts crosses its shared ground on either side of the same few moments, so the whole machine needs no more cuts of its drive than its worst pair. Four tools driven by four cams into one work station do not share their moments. Each pair needs one cut, the pairs need six between them, and the machine needs three: one for each time the station changes hands. Each cut can move only within the time the station stands empty, which is the cam diagram's own timing margin, and when a schedule is squeezed until that margin closes, the tools collide.

bodies · Body 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.1809 here, between coupler · 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.

Where the boundary moved

An earlier essay drew a line around what the essays here compute and listed one thing on the far side as a gap rather than a boundary: interference between links, which needed no new physics, only a body and a test. Here is what that turned out to cost and what it turned out to open.

practice · Practice A clearance that has a sign, over a tolerance box. The same machine at each of the sixteen corners of a ±0.02 band on its four lengths, with the smallest gap over a whole drive computed at each. The nominal machine clears by 0.1041; the worst corner clears by 0.0763 and the best by 0.1321, a band 0.0558 wide from a tolerance of 0.02 on each length. Every other quantity computed from the lengths becomes an interval when the lengths do. This one has a sign, and an interval that reaches zero is not a wider answer to the same question — it is a different answer, because on that side of it the parts do not go together. 24 random draws inside the box beat no corner, which is the check that the extremes are where they are assumed to be.

A clearance inside a tolerance box

Every quantity derived from the lengths becomes an interval when the lengths become ranges. This one has a sign, and an interval that reaches zero is not a wider answer to the same question — it is a different answer, because on that side of it the parts do not go together.

practice · Tolerance

Named alongside it

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

InterferenceSigned clearanceClearanceLayer assignmentBossConfiguration spaceWitness pairFree spaceSwept volumeSwept regionBearing pedestalConflict graph

All concepts