Machine Kinematics
solved, then drawn
Concept

Convex hull — where it appears

The smallest convex region containing a set of points or discs, whose boundary is the path a taut loop takes round them. A body inside the hull of the others is not touched at all, and for equal discs the loop's length is the hull's perimeter plus exactly one circumference.

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

One routine, six strand systems. Every row is the same function: a list of bodies, each with a sense, handed to a routine that returns the tangent runs between them, the arcs on them, and the total. Nothing in it knows what a belt is, what a tackle is or what a tendon is. The right-hand column is what each row was checked against — a textbook formula, an integer, a convex hull's perimeter, a second route to the same length — and it is the reason the middle column can stay the same all the way down. positioned by solving, not by drawing.

A member with no length of its own

Every link of a pin-jointed machine holds two points at a distance, in both directions, and a configuration is the root of an equation. A belt, a rope and a tendon do neither: a strand's path is decided by the bodies it touches, and its constraint is an inequality that does nothing at all until it is taut.

strands · Strand 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 Four tangents, and the two signs that choose between them. Two circles admit four common tangents, and a strand takes whichever one its two wrap senses name. Same sense at both ends — both centres on the same side of the strand — gives the two outer tangents, each 169.0444 mm long. Opposite senses give the two that cross between the circles, each 154.9193 mm. There is no search and no case analysis anywhere in this: the run's length is √(D² − Δ²) with Δ the signed radius difference, and changing one sense changes Δ from -18 to 70. positioned by solving, not by drawing.

Where a strand leaves a body

A taut strand meets the surface it lies on at a right angle, and every book draws it that way. It is not a rule about strands: it is what being shortest looks like, and a family of paths that were never told about tangency has its minimum exactly there — 200.64346 mm against the construction's 200.64346.

strands · Strand 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 6 contacts, and the box lifts straight off. 3-2-1, six contacts. Each pad is a contact and each arrow the direction the box is free to move there — the inward normal, and the whole of what the contact contributes. The rank is 6, which is full: these 6 contacts are 6 independent constraints and a bilateral version of them would fix the box completely. The margin is nought, so the box is free to leave, and no amount of tightening the tolerances on where the pads are would change that. Rank and hold are different questions and this is the pair of pictures that separates them. positioned by solving, not by drawing.

Four in the plane and seven in space

Six independent constraints fix a body in space and six contacts fix nothing, because d vectors can span d dimensions and can never positively span them. The minimum is one more than the dimension — and it is a floor rather than an answer: six contacts on a box held it in none of four thousand random arrangements and seven held it in twenty-one.

holding · Restraint What the wraps add up to, and what decides it. Four runs this field draws, with every wrap angle signed by the way the strand goes round its body. The right-hand column is their sum divided by a full turn, and it is a whole number every time — the turning number of a closed plane curve, arrived at by adding up a handful of angles that were computed one at a time from tangent lines. It is 1 for a loop that goes round its pulleys once and 0 for a crossed belt, whose two wraps are equal and opposite whatever the two radii are. The serpentine's idler contributes -25.3°, and the total is still exactly one turn: a tensioner lengthens the path without changing what the path is.

The wraps add up to a turn

Every wrap angle in a closed run is computed on its own, from a pair of tangent lines that knows nothing about the others. Signed by which way the strand goes round, they add to exactly one turn — or to exactly nothing, for a crossed belt — and the integer is decided by the route rather than by any of the geometry.

strands · Strand How far inside the hull the origin actually is. The same seven arrangements with their margins drawn rather than tabulated, because the shape of this chart is the argument: the quantity is not a probability and not a percentage, it is a distance — how far the origin sits from the nearest face of the hull of the contact rows, with every row a unit vector so the number is comparable across arrangements. The two that hold come in at 0.211 and 0.091; the five that do not come in at exactly nought, and they are drawn at nought rather than left off. A margin that falls smoothly to nothing is what makes this a measurement: an arrangement approaching one that lets go says so before it does.

The test is a program, not a rank

Three independent routes to one yes-or-no: enumerate the escape cone's extreme rays by cross products, take the convex hull of the contact rows and ask where the origin is, or hand the whole thing to a simplex. They agree on every arrangement — and the first version of the third one reported a disc as held, which is the one part in the field that no number of contacts holds.

holding · Restraint 4 contacts, and the centres they still allow. The same four, placed pinwheel. The same square, the same four edges, the same distance along each — and taken the same way round rather than alternately. Every row's moment then has the same sign, so no positive combination can cancel it, and the part turns. Each contact contributes one half-plane of permitted centres per sense, and the shaded regions are what survives all 4 of them: the darker one is where an anticlockwise rotation is still permitted and the lighter one where a clockwise one is. What is left is the escape, and it is a region rather than a direction: any point inside it will do as a centre. The enumeration finds 4 extreme rays, of which 4 are rotations and the rest are translations — the corners of the region and its unbounded directions respectively. positioned by solving, not by drawing.

The escape is a place

A part that is not held escapes, and the useful thing is not that it escapes but where. The extreme rays of the cone are the corners of a region of the plane and its unbounded directions are translations — so the answer to 'this does not hold' is a picture with a shape, and the shape says where the next contact has to go.

holding · Restraint Free in every direction, and it cannot get out. A disc of radius 1 among 3 point obstacles on a circle of radius 1.100. The shaded discs are the obstacles grown by the part's own radius, which is what the part's centre may not enter — the configuration space, and for a round part it is the plane itself. The part is caged when those grown discs overlap enough to close a ring around it, which happens below R = 1/sin(π/3) = 1.154701, and here it does. At every configuration inside the cage the part is free. The three normals all point at its centre, the rank of its rows is two, the escape cone is a whole line, and none of that has anything to do with whether it can leave. A hold is a statement about velocities at one configuration; a cage is a statement about where a finite motion can go, and the second does not follow from the first in either direction. positioned by solving, not by drawing.

Free at every instant and going nowhere

Three points on a circle of 1.1 radii around a unit disc leave it free in every direction at every configuration — rank two, margin nought, the whole plane of centres shaded — and it cannot get out. The threshold is 1/sin(π/n), which is 1.154701 for three, and a flood fill of the free space agrees with the formula at every radius sampled.

holding · Restraint A flat face on a base circle of 30, where the profile bends tightest. The cycloidal programme — rise 10 over 120°, return over 120° — cut for a flat-faced follower on a base circle of 30, turned to 212.4°, where the profile's radius of curvature is smallest. The contact sits −5.37 from the follower's axis, which is ds/dθ, and the dashed circle is the one that fits the profile there: R₀ + s + s″ = 24.668, and 24.668 fitted through the drawn curve. The face's pressure angle is zero at every angle. What it needs instead is for that radius to stay positive, and it does so on every base circle above 5.332.

A flat face asks for a convex cam

A flat-faced follower is pushed at right angles to its face, so its pressure angle is zero at every angle and the constraint that sizes a roller's cam disappears. What replaces it is convexity: the profile's radius at the contact is R₀ + s + s″, and a base circle below 5.332 leaves a cycloidal cam with a hollow the face cannot reach — held 0.446 high on a base of 2.

cams · Cam What a tensioner can take up, and where it stops being one. The run's length as the arm swings, over the whole interval in which the idler is actually touching the strand: 4.123 to 4.774 radians, and 1013.37 to 1030.99 mm — a range of 17.62 mm on a strand of a metre. Outside that interval the geometry still returns tangent lines and a length; what it returns is not a strand, because the path it describes cuts through the pulleys. The curve is flat at the left-hand end and steep at the right, which is the whole of a tensioner's design problem: its authority is proportional to the sine of half its own wrap, so an idler set near the edge of contact travels a long way and takes up nothing.

Where a strand stops touching

A body joining a run costs length as the square of how far it intrudes — exponent 2.0000, measured over four decades — so at the moment contact begins the strand's length is stationary. That is why a tensioner set at the edge of its own contact takes up 0.000245 mm of belt per millimetre it travels.

strands · Strand A flat face on a swinging arm, and the cam it asks for. The cam a flat-faced follower needs when its face is carried on an arm pivoted 300 from the cam's centre, with a base circle of 20 and a lift of 20, drawn in the cam's own frame at three cam angles. The heavy line is the face, the dashed line is the perpendicular from the cam's centre to it, and the dot is the contact. Its distance from the foot of that perpendicular is the offset, which for a sliding face would be the programme's own velocity and here is a quantity with the arm in it. Over the turn it runs from -20.41 to 17.95, so the face must be 38.4 wide.

A flat face on an arm is worse

Carry a cam's roller on a swinging arm instead of a slide and the pressure angle improves — a long arm beats an offset. Carry a flat face on one and the opposite happens. The cam sees the sine of the follower's rotation rather than the rotation, and the distortion costs convexity: the smallest workable base circle rises from 10.66 on a slide to 28.68 at a pivot three base circles out, and below a certain arm length no base circle works at all.

cams · Cam The best four contacts on six regular polygons. The largest-margin placement of four frictionless contacts on regular polygons of 3, 4, 5, 6, 8, 12 sides, each found by exhaustive search over edge ends and refinement along the edges. 3 sides: margin 0.231 against a half-edge of 0.866; 4 sides: margin 0.333 against a half-edge of 0.707; 5 sides: margin 0.235 against a half-edge of 0.588; 6 sides: margin 0.293 against a half-edge of 0.500; 8 sides: margin 0.284 against a half-edge of 0.383; 12 sides: margin 0.223 against a half-edge of 0.259. From six sides up every contact sits at an end of its edge; on the triangle and the pentagon two of the four settle near the middles of edges instead. On the square and the even polygons the corner contacts take alternate ends of four edges a quarter-turn apart; an odd polygon has no edge exactly a quarter-turn round and holds less than either even neighbour.

The hold is in the corners

A disc cannot be held by frictionless contacts and a regular polygon can, so a polygon with more and more sides has to lose its hold somewhere. Searched exhaustively, the best four contacts sit at alternate ends of four edges a quarter-turn apart, and their margin is the half-edge sin(π/n) less a correction that falls as 1/n² — 74% of it at eight sides, 99.4% at sixty-four. The hold is lost as the side shrinks, not as its square, and it is carried entirely by how far a contact sits from its edge's middle.

holding · Restraint 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.

Form closureUnilateral constraintStrandWrap angleBelt driveDesign ruleEscape coneFixtureInterferenceLink bodyPositive spanSigned clearance

All concepts