Abstract: A computer implemented method for generating a representation of relationships between variables in a program employing Symbolic Range Constraints (SRCs) wherein the SRCs are of the form ?:^i=1nli?xi?ui where for each i ?[l,n], the linear expressions li,ui are made up of variables in the set{xi+1, . . . ,xn} and wherein the SRCs comprise linear, convex, and triangulated constraints for a given variable order.

Abstract: A system and method is disclosed for formal verification of software programs that advantageously improves performance of an abstraction-refinement loop in the verification system.

Abstract: Solid-state laser(s) pumped by incoherent, monochromatic light from sources such as LED arrays and integrating technologies such as high power LED arrays and solid-state laser materials in conjunction with efficient and uniform absorption of pumping energies through a diffusing pump chamber. The resulting laser(s) are compact, robust, low-cost, and able to produce high power output for practical applications. It may efficiently operate over wide temperature and performance ranges, at CW or pulse modes, even with ultra short pulse width and/or extremely high repetition rates. Our inventive structure(s) is/are highly flexible and applicable to a large group of lasing media including those with very short upper state life times. Advantageously, they may be applied to a plethora of laser systems at wavelengths that have important applications and unavailable to other direct pumping technologies.

Abstract: A powder coating method that provides enhanced finish characteristics to a powder coated object. The object to be powder coated is vibrated such that the powder readily flows on the surface of the object. The improved flow of the applied powder results in a powder coated object having enhanced, or otherwise superior finish characteristics. The method works with existing powder coating methods, systems, and materials and the vibration may be applied before, during, and/or after the powder is applied, i.e., during heating and/or curing. Additionally, the vibrations may be produced by a variety of means and/or methods including direct mechanical contact (i.e., a vibrating plate), indirect mechanical contact (i.e., a vibrating hang wire), and/or indirect non-contact (i.e., acoustic) methods.

Abstract: A personal massaging method and apparatus constructed from a wireless cellular telephone, preferably provisioned for extended ring/vibrate, having either an attachable/removable, fixed, or integral stimulator on a surface of the telephone. When the telephone is called, the wearer or user receives a desirable level of stimulation when the stimulators are applied to a sensitive portion of the user's body. A variety of shapes, sizes and materials may be used for the stimulators to provide a wide array of stimulation or massage.

Abstract: An optical spectral filtering device and associated method for selectively directing a portion of a wavelength multiplexed input signal, entering through an optical fiber, into one or more output signals provided to one or more optical fibers and/or electronic outputs. The optical filtering is accomplished using free-space diffractive wavelength demultiplexing optics combined with a fixed (permanent) patterned structure located in the spectrally dispersed image plane. The structure can block or direct a selected spectral portion of the optical signal to one or more separate outputs, such as an optical fiber or power detector. A single active element in the optical path is used to spatially shift, or steer, the entire input spectrum at the dispersed spectral image plane, to control the portion of the input spectrum illuminating specific features on the permanent patterned structure.

Abstract: An optical switch includes a plurality of first optical fibers, a plurality of second optical fibers, a first MEMS array, and a second MEMS array. The first MEMS array is optically coupled with the first optical fibers to receive optical signals from the first optical fibers and to direct the optical signals, wherein the first MEMS array defines a first array incidence angle between a normal direction to the first MEMS array and a direction of the received optical signals. The second MEMS array is optically coupled with the first MEMS array to receive the directed optical signals and to re-direct the directed optical signals with the second optical fibers wherein the second MEMS array defines a second array incidence angle between a normal direction to second MEMS array and a direction of the re-directed optical signals. The configuration of the components is provided to provide reduced optical losses.

Abstract: An optical network element uses steerable mirrors in an optical switch to couple optical inputs and optical outputs. An optical switch has at least one array of the steerable mirrors, which can be oriented so as to reflect an optical signal between an input and an output. A shorter optical path between the input and the output reduces optical losses because optical losses in an optical switch using mirrors are directly proportional to the total length of the optical path. Reducing the optical path depends upon the switching tilt angle used in steering the mirrors. But tilting the micro-mirrors near their critical tilt angle or repeatedly across large tilt angles will degrade reliability or control. However, the total optical path can be shortened and the reliability of steerable mirrors can be maintained or increased if at least some of the micro-mirrors in an array are offset angled.

Abstract: An optical network element using arrays of mirrors in an optical switch. A lens system is placed in between the mirror arrays and optical signals are passed through the lens system in an off-axis manner in order to increase switching capacity so that larger arrays of mirrors can be used, shorten the optical path through the switch or a combination of both.

Abstract: An optical network element using steerable mirrors in an optical switch. A steerable mirror in the switch is connected to a potential bias having a magnitude greater than zero in order to reduce the operating potential of the integrated control system that steers the mirror.

Abstract: An optical switch having a fiber/lens array and a switching substrate may be properly aligned using one or more grating(s) provided on the switching substrate. The grating(s) may be designed to have a predetermined response when the fiber/lens array and switching substrate are properly aligned. For example, the grating(s) may reflect incident light back into an input fiber, where the back-reflected light may be detected. Accordingly, the position of the switching substrate and/or fiber/lens array may be adjusted until back reflected light having predetermined power is detected.

Abstract: The position of a micro-mirror, for example, in an optical switch, may be monitored using an optical position control signals that are detected by a detector arrangement. The position of the micro-mirror may be adjusted by detecting the position of the beam spot and comparing the detected position to a desired position.

Abstract: An optical switch having a fiber/lens array and a switching substrate may be properly aligned using one or more static mirrors or photodetectors provided on the switching substrate. The static mirrors may be designed to reflect incident light back into an input fiber, where the back reflected light may be detected, or to a detector provided at a predetermined position. Accordingly, the position of the switching substrate and/or fiber/lens array may be adjusted until reflected light having predetermined power is detected. In another embodiment, the position of the switching substrate and/or fiber/lens array may be adjusted until predetermined power is detected by the photodetectors provided on the switching substrate.

Abstract: A wavelength converter with a monolithically integrated delay loop in a delayed interference configuration that needs only one SOA, only one in and one output fiber. Unlike prior-art hybrid wavelength converters, our inventive device has a monolithically integrated delay loop utilizing an asymmetric splitting ratio.

Abstract: By urging an ordinary single-mode (usually dispersion-shifted) fiber into an external, long period mechanical grating, a highly wavelength-selective coupling between the fiber's guiding mode and a cladding mode is induced. A sequence of such induced gratings, all on the same fiber, can be used to create a many tens of nm wide loss band of arbitrary shape, with resolution of 3 nm or better, whose strength at any wavelength can be continuously adjusted from zero to −17 dB or more. With its simplicity, nearly zero background loss, and especially, with its potential for continual readjustment, the device is ideal for dynamic gain equalization of optical amplifiers.

Abstract: A method of delivering highly-reliable, fault-tolerant communications services in a telecommunications network of distributed call processing systems. The method advantageously identifies a set of objects within the telecommunications network requiring checkpointing; checkpoints the objects; and subsequently restores the checkpointed objects in the event of a failure. Various aspects of the method are disclosed, including restoration strategies.

Abstract: A bin based method for determining a group size estimate for applications utilizing connectionless networks. The method places an indicator of group participants who match the key under a mask into bins, where each bin corresponding to the number of bits in the mask used to determine the match. When the number of bits in the mask is increased from m to m+1, all of the participant indicators in bin m are moved into bin m+1. When the number of bits in the mask decreases from m+1 to m, however, no participant indicators are moved. When a refresh packet is received from a particular participant whose indicator is in bin k, but the current mask is m bits, for k>m., the indicator for that particular participant is moved from bin k to bin m.

Abstract: A method of fabricating oxide-apertured vertical cavity surface emitting lasers involving the steps of: i) defining, during the fabrication of one or more VCSELs on an electronic chip, a number of mesa structures of different sizes; ii) selectively oxidizing the chip and mesa structures to produce an oxide-aperture for each structure; iii) inspecting the chip to determine which one of the mesas is desired or optimal; iv) choosing an appropriate metalization mask that serves to metalize and electrically connect only that desired mesa structure; and v) depositing, a dielectric top mirror on that electrically connected mesa. Advantageously, the method may be practiced using a variety of fabrication techniques and apparatus that are compatible with conventional devices. A distinguishing characteristic of our inventive method, is that only a desired or optimal mesa is completed while the remaining mesas on a particular chip remain unprocessed.

Abstract: A two-wavelength WDM analog CATV transmission system which utilizes wavelength channel spacing of about 2.2 nm and laser-dithering. The system includes a pair of optical transmitters (DBF lasers), a pair of modulators, a dithering device, a polarization controller, a 3-dB combiner, an optical amplifier (EDFA), an attenuator, a length of optical fiber, a filter and a CATV receiver. The two lasers have wavelengths of .lambda.1 and .lambda.2, where the difference between .lambda.1 and .lambda.2 is approximately 2.2 nm. The modulators are driven with analog signals comprising 77 NTSC channels between 55.25 and 535.25 MHz A 2-GHz dithering tone is applied to the .lambda.1 laser and the output of the .lambda.2 laser is passed through the polarization controller to align the polarization of the two transmitters.

Abstract: A method and apparatus for substantially reducing OBI on optical networks in which a number of source lasers operate simultaneously and the output from the lasers is subsequently combined in the network. The method involves operating the laser in burst mode such that the laser is operational only during transmission periods.