Abstract: Breathable residual-limb system that admits air and allows sweat to evaporate from the surface of the residual limb. In an embodiment, the system comprises a liner sock to be worn on the residual limb, and comprising air-permeable textile forming a substantially cylindrical portion that is closed on a distal end and open on a proximal end and comprising an internal surface and an external surface. The liner sock further comprises a friction-interface material that covers only a portion of the internal surface of the air-permeable textile, such that, when worn on the residual limb, the friction-interface material contacts a surface of the residual limb, and an uncovered portion of the air-permeable textile which the friction-interface material does not cover allows air to pass between an external environment of the liner sock and the surface of the residual limb.

Abstract: A microphone jammer includes an ultrasonic transducer for emitting an ultrasonic jamming signal to jam a microphone of an external electronic device. The apparatus includes a sound chamber that is shaped to direct the ultrasonic jamming signal towards an area for placement of an external electronic device that includes the microphone. The apparatus may include a base and a top portion connected to the base, with the ultrasonic transducer being in the top portion and the sound chamber being shaped to direct the ultrasonic jamming signal towards the base.

Abstract: A design verification method, including (a) providing in a design a design electrically conducting line and a design contact region being in direct physical contact with the design electrically conducting line; (b) modeling a simulated electrically conducting line of the design electrically conducting line; (c) simulating a possible contact region of the design contact region, wherein the design contact region and the possible contact region are not identical; and (d) determining that the design electrically conducting line and the design contact region are potentially defective if an interfacing surface area of the simulated electrically conducting line and the possible contact region is less than a pre-specified value.

Abstract: A method using a generate-and-verify computer program product to generate by repetitive passes a design rules checking computer program, wherein the design rules are described in a file called a runset. The design rules checking program is used for exhaustive testing of VLSI chips for compliance to the design rules of a given VLSI fabrication process. The runset is repeatedly iterated in loop fashion with respect to a testcase file containing groups of layout structures or shapes used for verifying the correctness of the runset. A general purpose shapes processing program creates an error shapes file for storing geometrical errors found in each said layout structure. Two additional shapes are used in the verification process: user boundary shapes for defining areas in which errors are not to be detected for a given design rule, and automated boundary shapes created to surround each said layout structure with a boundary that defines regions where error shapes can occur.

Abstract: An apparatus for continuously cutting thin trim strips from a moving printed web so as to form uniform web products and removing the trim strips from the cutting area is provided, for in-line operation with a web press. The gapping of the web is effected by a cutting cylinder with a hollow bore, which carries at least two pairs of spaced cutting knives that act against a stationary shear blade. The space between each pair of blades connects with the cylinder bore, which in turn is connected to a low-pressure source. As a printed web is fed to the cutting cylinder, the spaced knives cut trim strips in the web and these strips are removed through the space and the cylinder bore by air flow caused by the low-pressure source. The circumferential speed of the knives acting on the web is greater than the speed of the web itself, this reducing any bubbling of the web, and the width of the space between knives is greater than the width of the trim strip.

Abstract: An apparatus for continuously cutting thin trim strips from a moving printed web so as to form uniform web products and removing the trim strips from the cutting area is provided, for in-line operation with a web press. The gapping of the web is effected by a cutting cylinder with a hollow bore, which carries at least two pairs of spaced cutting knives that act against a stationary shear blade. The space between each pair of blades connects with the cylinder bore, which in turn is connected to a low-pressure source. As a printed web is fed to the cutting cylinder, the spaced knives cut trim strips in the web and these strips are removed through the space and the cylinder bore by air flow caused by the low-pressure source. The circumferential speed of the knives acting on the web is greater than the speed of the web itself, this reducing any bubbling of the web, and the width of the space between knives is greater than the width of the trim strip.