A system and method for monitoring the health of a heater connected to a power supply by first and second power leads which conduct an inlet and outlet current, respectively. The system includes an injection transformer with a number of primary turns that are inductively coupled to the first power lead, a signal generator configured to generate and supply a time-varying injection signal to the primary turns thereby imposing the time-varying injection signal on the inlet current, and a signal reader configured to receive a diagnostic signal from the heater, filter the diagnostic signal to pass a frequency associated with the time-varying injection signal, and produce a heater capacitance signal that is indicative of a capacitance value of the heater, where the heater capacitance signal is indicative of the health of the heater.

The present invention discloses an in-situ monitoring method and apparatus for a power electronic device explosion. A power electronic device is excited to produce an explosion failure by using a fault excitation module. An electrical signal of the power electronic device is monitored in real time by using an electrical signal monitoring module. Gas information of a test cavity is monitored in real time by using a gas monitoring module. External pictures of the power electronic device are captured by using a high-speed image capturing module. Internal pictures of the power electronic device are captured by using a high-speed X-ray imaging module. Each module in the apparatus is triggered to work according to a predetermined time sequence and time interval by using a time sequence control module. The entire apparatus is controlled and data is acquired, stored, and displayed by using a main control module.

Disclosed is a method for operating a rotational speed sensor comprising a sensor element in a vehicle, wherein the sensor element interacts with a magnet wheel on a wheel of the vehicle and an effective parameter generated by the interaction of the magnet wheel with the sensor element is evaluated in the form of a measurand in an evaluation module and, depending on the measurand, an output variable characterizing the rotational speed of the wheel is output, wherein the sensor element is supplied via the evaluation module with a sensor voltage influencing the measurand. A sensor assembly is also disclosed.

Methods and systems for verifying, via formal verification, a hardware design for a data transformation pipeline comprising one or more data transformation elements that perform a data transformation on one or more inputs, wherein the formal verification is performed under conditions that simplify the data transformations calculations that the formal verification tool has to perform. In one embodiment the hardware design for the data transformation pipeline is verified by replacing one or more of the data transformation elements in the hardware design with a function element which is treated as an unevaluated function of its combinational inputs by a formal verification tool such that during formal verification the function element will produce the same output for the same inputs, and formally verifying that for each transaction of a set of transactions an instantiation of the modified hardware design for the data transformation pipeline produces a set of one or more outputs that matches a reference set of one or more outputs for that transaction.

A method of diagnosing a load port includes identifying a plurality of entities for a plurality of substrate storage containers by a plurality of load ports capable of transferring a substrate into and out of the plurality of substrate storage containers; detecting directly or indirectly a plurality of states of the plurality of substrate storage containers by a plurality of sensors provided at the plurality of load ports; associating the plurality of load ports, the plurality of entities and a plurality of sensor values, with each other; accumulating, in a database, data associated in the act of associating the plurality of load ports, the plurality of entities, and the plurality of sensor values; and analyzing the data in the database and determining a state of each of the plurality of load ports.

An integrated circuit (IC) device and a method for communicating test data utilizes test control circuitry, and a test controller. The test controller is coupled with the test control circuitry and decodes packetized test pattern data to identify configuration data for the test controller and test data for the test control circuitry. The test controller further communicates the test data to the test control circuitry, and packetizes resulting data received from the test control circuitry. The resulting data corresponds to errors identified by a test performed based on the test pattern data.

A power receiving apparatus includes a determination unit and a display unit. The determination unit determines whether or not each of a power transmitting apparatus and a cable connected to the power receiving apparatus meets a predetermined condition relating to safety of power transmission. The display unit displays first information indicating that the power transmitting apparatus does not meet the predetermined condition in a case where the power transmitting apparatus does not meet the predetermined condition. The display unit displays second information indicating that the cable does not meet the predetermined condition in a case where the cable does not meet the predetermined condition.

A power receiving apparatus includes a determination unit and a display unit. The determination unit determines whether or not each of a power transmitting apparatus and a cable connected to the power receiving apparatus meets a predetermined condition relating to safety of power transmission. The display unit displays first information indicating that the power transmitting apparatus does not meet the predetermined condition in a case where the power transmitting apparatus does not meet the predetermined condition. The display unit displays second information indicating that the cable does not meet the predetermined condition in a case where the cable does not meet the predetermined condition.

A detection circuit for the on-board direct current/direct current (DC/DC) ground wire and an on-board device are provided. The circuit includes a digital signal process (DSP) controller, a detection circuit, a standby circuit for an on-board DC/DC converter, and a power-supply negative wire for the on-board DC/DC converter. The detection circuit includes a comparator, a first conductive branch, a second conductive branch, a third conductive branch. In this way, the detection circuit is connected between the DSP controller and the standby circuit for the on-board DC/DC converter, and the detection circuit is connected between the DSP controller and the power-supply negative wire for the on-board DC/DC converter.

A system for testing antenna-in-package (AiP) modules and a method for using the same is disclosed. Firstly, AiP modules respectively receive RF signals from a testing transmitting antenna. Then, at least one of the power and the phase of each of the RF signals is adjusted to generate modulated RF amplified signals as recognition tags with difference. The RF amplified signals are received from each control integrated circuit (IC) and the power of the modulated RF amplified signals is summed to generate a net mixed test signal. Finally, the test signal is received and RF properties corresponding to at least one of the power and the phase of each of the RF amplified signals as recognition tags are obtained. The method can simultaneously test a plurality of AiP modules to shorten the test time.