Abstract: One example of an internet protocol (IP) keyboard, video, mouse (KVM) device includes a universal serial bus, a display port, a network port, and a processor. The USB port is to be communicatively coupled to a host device. The display port is to be communicatively coupled to the host device. The network port is to be communicatively coupled to a network. The processor is communicatively coupled to the USB port, the display port, and the network port. The processor is to receive, via the display port, a multi-stream transport (MST) DisplayPort signal; demux the MST DisplayPort signal to provide a plurality of individual video streams; and output, via the network port, each individual video stream.

Abstract: Devices, methods, computer readable media, and other embodiments are described for automated formal analysis and verification of a circuit design. One embodiment involves accessing a circuit design and a set of default verification targets for the circuit design. A plurality of partitions for the circuit design are then automatically generated, and a first partition is analyzed to generate a first set of verification targets for the first partition based on the set of default verification targets and a set of partition and schedule values for the first partition. A first formal verification analysis is performed on the first partition, the first set of verification targets, and the set of partition and schedule values, and a formal verification output is generated based on the first formal verification analysis. Various embodiments can additionally involve stagnation analysis and additional automation to customize the analysis for each partition.

Abstract: The present disclosure relates to a method for electronic design verification. Embodiments may include receiving, using a processor, an electronic design and providing at least a portion of the electronic design to a machine learning engine. Embodiments may further include automatically determining, based upon, at least in part, an output of the machine learning engine whether or not the at least a portion of the electronic design is amenable to formal verification.

Abstract: A system for protecting electrical power distribution circuits and loads electrically connected thereto comprises a circuit breaker or fuse in series with an over current protection device, for example a virtual circuit breaker. The circuit breaker or fuse provides protection against a short circuit condition, and the virtual circuit breaker provides against excess current. Separating the two protection means enables providing a higher current allowance for loads connected to outlets on a branch circuit.

Abstract: A power distribution unit (PDU) is disclosed wherein the PDU includes an interactive display and communications capability. The display is interactive. A touch screen allows a user to make selections of data, commands, and modes to view, as well as enter commands. Some versions include audio and video capability, allowing two people from distant locations to interact. Ports for USB, Ethernet, wifi, Bluetooth provide for various methods of interconnectivity. An energy metering and control board controls each PDU outlet and measures many parameters related to the power of each outlet. The data obtained is used to calculate the power of a three phase power source using no other hardware resources.

Abstract: A current protection apparatus (200) and current protection method (1000) that may include programmable current protection characteristics has been disclosed. A current protection apparatus (200) may include a power distribution unit (230) with power distribution outlets (PDO-1 to PDO-8), each having a corresponding circuit breaker unit (CB1 to CB8). Each circuit breaker unit (CB1 to CB8) may operate in response to a processing unit (236) that can sample current values flowing between a respective power distribution outlet (PDO-1 to PDO-8) and a load device (LD1 to LD8). Processing unit 236 may operate under control of software stored on a memory (238) to control a switching circuit (320). Current protection characteristics for each circuit breaker unit may be independently programmed and/or altered by a user, for example by way of a computer (250).

Abstract: A current protection apparatus (200) and current protection method (1000) that may include programmable current protection characteristics has been disclosed. A current protection apparatus (200) may include a power distribution unit (230) with power distribution outlets (PDO-1 to PDO-8), each having a corresponding circuit breaker unit (CB1 to CB8). Each circuit breaker unit (CB1 to CB8) may operate in response to a processing unit (236) that can sample current values flowing between a respective power distribution outlet (PDO-1 to PDO-8) and a load device (LD1 to LD8). Processing unit 236 may operate under control of software stored on a memory (238) to control a switching circuit (320). Current protection characteristics for each circuit breaker unit may be independently programmed and/or altered by a user, for example by way of a computer (250).

Abstract: A current protection apparatus (200) and current protection method (1000) that may include programmable current protection characteristics has been disclosed. A current protection apparatus (200) may include a power distribution unit (230) with power distribution outlets (PDO-1 to PDO-8), each having a corresponding circuit breaker unit (CB1 to CB8). Each circuit breaker unit (CB1 to CB8) may operate in response to a processing unit (236) that can sample current values flowing between a respective power distribution outlet (PDO-1 to PDO-8) and a load device (LD1 to LD8). Processing unit 236 may operate under control of software stored on a memory (238) to control a switching circuit (320). Current protection characteristics for each circuit breaker unit may be independently programmed and/or altered by a user, for example by way of a computer (250).

Abstract: A current protection apparatus (200) and current protection method (1000) that may include programmable current protection characteristics has been disclosed. A current protection apparatus (200) may include a power distribution unit (230) with power distribution outlets (PDO-1 to PDO-8), each having a corresponding circuit breaker unit (CB1 to CB8). Each circuit breaker unit (CB1 to CB8) may operate in response to a processing unit (236) that can sample current values flowing between a respective power distribution outlet (PDO-1 to PDO-8) and a load device (LD1 to LD8). Processing unit 236 may operate under control of software stored on a memory (238) to control a switching circuit (320). Current protection characteristics for each circuit breaker unit may be independently programmed and/or altered by a user, for example by way of a computer (250).

Abstract: A current protection apparatus (200) and current protection method (1000) that may include programmable current protection characteristics has been disclosed. A current protection apparatus (200) may include a power distribution unit (230) with power distribution outlets (PDO-1 to PDO-8), each having a corresponding circuit breaker unit (CB1 to CB8). Each circuit breaker unit (CB1 to CB8) may operate in response to a processing unit (236) that can sample current values flowing between a respective power distribution outlet (PDO-1 to PDO-8) and a load device (LD1 to LD8). Processing unit 236 may operate under control of software stored on a memory (238) to control a switching circuit (320). Current protection characteristics for each circuit breaker unit may be independently programmed and/or altered by a user, for example by way of a computer (250).

Abstract: A method of automatically focusing a microscope having a light source, an objective lens or lens system, a means to direct incident light through the objective lens or lens system to be reflected by the object, an aperture to limit the spatial extent of the incident light and serve as an illumination pupil, a means to direct at least some of the reflected light to an imaging system, and an imaging system to image the reflected light so directed is described.

Abstract: A current protection apparatus (200) and current protection method (1000) that may include programmable current protection characteristics has been disclosed. A current protection apparatus (200) may include a power distribution unit (230) with power distribution outlets (PDO-1 to PDO-8), each having a corresponding circuit breaker unit (CB1 to CB8). Each circuit breaker unit (CB1 to CB8) may operate in response to a processing unit (236) that can sample current values flowing between a respective power distribution outlet (PDO-1 to PDO-8) and a load device (LD1 to LD8). Processing unit 236 may operate under control of software stored on a memory (238) to control a switching circuit (320). Current protection characteristics for each circuit breaker unit may be independently programmed and/or altered by a user, for example by way of a computer (250).

Abstract: A current protection apparatus (200) and current protection method (1000) that may include programmable current protection characteristics has been disclosed. A current protection apparatus (200) may include a power distribution unit (230) with power distribution outlets (PDO-1 to PDO-8), each having a corresponding circuit breaker unit (CB1 to CB8). Each circuit breaker unit (CB1 to CB8) may operate in response to a processing unit (236) that can sample current values flowing between a respective power distribution outlet (PDO-1 to PDO-8) and a load device (LD1 to LD8). Processing unit 236 may operate under control of software stored on a memory (238) to control a switching circuit (320). Current protection characteristics for each circuit breaker unit may be independently programmed and/or altered by a user, for example by way of a computer (250).

Abstract: A fall arrest system for a worker connected to a horizontal lifeline supported by at least one intermediate support having a pair of rotatable star wheels for supporting the lifeline. A glider connector connects a worker to the lifeline so that the glider connector slides along the lifeline as the worker walks parallel thereto. The glider connector which is supported by rails as it passes near the intermediate support rotates the star wheels as it passes through spaces between their projections to allow the glider connector to pass through the intermediate support without having to disconnect it from the lifeline.

Abstract: An ultrasound probe for diagnostic medical ultrasound imaging, including an ultrasound transducer and a circuit having a plurality of states to limit the use of the ultrasound probe. Ultrasound probe use can be limited based on a unique identification number (e.g., selected by means of electrically programmable fuses) assigned to each ultrasound probe. Alternatively, the ultrasound system software monitors and updates the number of times that the ultrasound probe has been used. Another aspect of the invention is directed to an ultrasound system, including an ultrasound probe with multiple states, a circuit to program and to receive state data from the ultrasound probe and interpret the state data, and a cable to communicate state data between the ultrasound probe and the processor.

Abstract: A motorized safety system which protects the open side of a mezzanine, loading dock or other elevated work area when in use. The safety system is easy to use while requiring only minimal floor space. The safety system comprises two posts, each post having a motor mounted on the top of the post, a control unit for controlling and sychronizing motor operation mounted on the side of one post, a movable arm having a safety net and associated hardware such that when the safety system is in a first position the opening of the mezzanine or loading dock is substantially covered by the net. When the safety system is in a second position, the arm and net are out of the way, allowing access by workers and machinery to and from the open side. The operation of the safety system from the first position to the second position or vice versa is performed remotely using a wireless hand held device that transmits instructions to the control unit, thus further reducing the risk of falling.

Abstract: A safety system which protects the open side of a mezzanine, loading dock or other elevated work area when in use. The safety system is easy to use while requiring only minimal floor space. The safety system comprises two posts, a movable arm having a safety net and associated hardware such that when the safety system is in a first position the opening of the mezzanine or loading dock is substantially covered by the net. When the safety system is in a second position, the arm and net are out of the way, allowing access by workers and machinery to and from the open side. The operation of the safety system from the first position to the second position or vice versa is performed remotely from the open side, thus further reducing the risk of falling.