Abstract: A system and method for projecting an image with predetermined characteristics includes a projector configured to project light on a surface, and a photo sensor configured to analyze light reflected from the surface. A controller is configured to compare the reflected light with a selected characteristic. The controller is configured to control the projector to adjust the projected light such that the reflected light substantially matches the selected characteristic to make the surface appear to be of the selected characteristic.

Abstract: A system and method for bounded model checking of computer programs includes providing a program having at least one reachable property node. The program is decomposed for bounded model checking (BMC) into subproblems by creating a tunnel based on disjunctive control paths through the program. A reduced BMC sub-problem obtained using BMC unrolling, while using path constraints imposed by the at least one tunnel. For the reachable property node, determining a quantifier-free formula (QFP) in a decidable subset of first order logic. Satisfiability of the QFP is checked, independently and individually, to determine whether the QFP is satisfiable for the subproblem. The decomposing is continued until the a BMC bound is reached.

Abstract: Disclosed is a coded orthogonal frequency-division multiplexing (OFDM) system and method for reducing a peak-to-average power ratio (PAPR). The system and method include a modulator configured to modulate (e.g., using quadrature amplitude modulation (QAM)) coded bits into symbols. The system and method also include an inverse discrete fourier transform (IDFT) module to perform an IDFT on the symbols to produce an OFDM signal. The system and method measure the PAPR of the OFDM signal and transmit the signal to a receiver if the PAPR of the signal is less than a threshold PAPR.

Abstract: An apparatus for clamping and aligning an object to a cylinder includes a retainer for attaching to the object. The retainer includes an attachment device for detachably receiving a flexible retaining member, and a collar disposed on an opposite side of the retainer. A threaded rod includes a first end portion. The first end portion is adapted to receive a first end of the flexible retaining member. The threaded rod is attached to and is transversely disposed to a spindle such that the first end portion extends beyond the spindle. The spindle is received in the collar to provide a hinged connection between the retainer and the threaded rod. A knob is included for threadedly engaging a second end portion of the threaded rod.

Abstract: A system for aligning two plates, in accordance with the present invention, includes a first plate having a lithographically patterned structure formed on a first surface. A second plate also has a lithographically patterned structure formed on a second surface, the first and second surfaces being disposed to face each other. The patterned structures of the plates have corresponding and opposing edges to provide an interference fit between the patterned structures of the first and second plates wherein self-alignment between the first and second plates is realized by engaging the corresponding and opposing edges in the interference fit.

Abstract: An apparatus for drying cable, in accordance with the present invention includes a trench formed longitudinally on a plate for receiving a cable whereby a plurality of openings formed in the trench permit fluid communication therethrough such that water present on the cable is removed through the openings by evacuation. A water separator is coupled to the bottom portion for receiving the evacuated water and separating out the water by gravity.