enow.com Web Search

Search results

  1. Results from the WOW.Com Content Network
  2. PAT (model checker) - Wikipedia

    en.wikipedia.org/wiki/PAT_(model_checker)

    PAT (Process Analysis Toolkit) is a self-contained framework [1] for composing, simulating and reasoning of concurrent, real-time systems and other possible domains. It includes user interfaces, model editor and animated simulator.

  3. Hobbing - Wikipedia

    en.wikipedia.org/wiki/Hobbing

    Hobbing is a machining process for gear cutting, cutting splines, and cutting sprockets using a specialized milling machine. The teeth or splines of the gear are progressively cut into the material (such as a flat, cylindrical piece of metal or thermoset plastic) by a series of cuts made by a cutting tool .

  4. Gear manufacturing - Wikipedia

    en.wikipedia.org/wiki/Gear_manufacturing

    Gear hobbing is a machining process in which gear teeth are progressively generated by a series of cuts with a helical cutting tool. All motions in hobbing are rotary, and the hob and gear blank rotate continuously as in two gears meshing until all teeth are cut.

  5. Gear cutting - Wikipedia

    en.wikipedia.org/wiki/Gear_cutting

    Gear cutting is any machining process for creating a gear. The most common gear-cutting processes include hobbing , broaching , milling , grinding , and skiving . Such cutting operations may occur either after or instead of forming processes such as forging , extruding , investment casting , or sand casting .

  6. Gear shaper - Wikipedia

    en.wikipedia.org/wiki/Gear_shaper

    A gear shaper is a machine tool for cutting the teeth of internal or external gears, it is a specialised application of the more general shaper machine. The name shaper relates to the fact that the cutter engages the part on the forward stroke and pulls away from the part on the return stroke, just like the clapper box on a planer shaper.

  7. Communicating sequential processes - Wikipedia

    en.wikipedia.org/wiki/Communicating_sequential...

    The Process Analysis Toolkit (PAT) [24] [25] is a CSP analysis tool developed in the School of Computing at the National University of Singapore. PAT is able to perform refinement checking, LTL model-checking, and simulation of CSP and Timed CSP processes.

  8. Gear shaping - Wikipedia

    en.wikipedia.org/wiki/Gear_shaping

    The process of gear shaping uses a toothed disk cutter which reciprocates in axial rotations. The workpiece (or blank gear) rotates on a second shaft (spindle). The workpiece is aligned with the cutter and it gradually feeds into the cutter while rotating. If a two-step process is used, all tooth spaces are partially cut before finishing.

  9. Shaper - Wikipedia

    en.wikipedia.org/wiki/Shaper

    Keyways in the hub of a pulley or gear can be machined without resorting to a dedicated broaching setup. Dovetail slides; Internal splines and gear teeth. Keyway, spline, and gear tooth cutting in blind holes; Cam drums with toolpaths of the type that in CNC milling terms would require 4- or 5-axis contouring or turn-mill cylindrical interpolation