A method for automatically detecting a sensor coupled to an electronic computer including steps of detecting said sensor and steps of configuring a hardware interface.

This verification processing device is provided with: an inspection unit that performs model inspection on an inspection target model including a plurality of elements; a selection unit that selects at least one of the plurality of elements included in a counterexample outputted as a result of the model inspection; and an exclusion history generation unit that generates exclusion history information indicating an exclusion frequency for each of the plurality of elements. The inspection unit further performs another model inspection on the inspection target model obtained by excluding the selected element. When another counterexample has been outputted as a result of another model inspection, the exclusion history generation unit increases the exclusion frequency of the selected element and updates the exclusion history information. The selection unit selects an element that is high in the exclusion frequency, on the basis of the exclusion history information.

A device for detecting a secondary battery of an uninterruptible power system contains: a main battery module and at least one sub battery module. The main battery module includes a first power storage unit, a first detection unit, a first processing unit, a communication unit, and a first data transmission unit. The first power storage unit includes multiple first battery assemblies connected in series, and a respective first battery assembly has at least one secondary battery. The first detection unit includes multiple first detectors. The first data transmission unit includes a first one-way transmit port and a first two-way transmit port. The sub battery module includes a second power storage unit, a second detection unit, a second processing unit, and a second data transmission unit. The second power storage unit includes multiple second battery assemblies connected in series. The second detection unit includes multiple second detectors.

The invention relates to a method for detecting events by reflectometry in an electrical line of an avionic system, said line being fed with an AC voltage at a first frequency (f1), said AC voltage being sinusoidal and composed of a succession of alternate half-periods, said method comprising a step of injecting a reflectometry signal into the network, the reflectometry signal having a second frequency (f2) higher than the first frequency (f1); wherein the injecting step is synchronized with the AC voltage, the injecting step being carried out by injecting the reflectometry signal into the network during an injection duration (ti) comprised between the start and end of a half-period (t1) of the AC feed voltage.

A power conversion device includes a power converter, a relay, and a welding detector. The welding detector includes a first resistor connected to a terminal of the relay on a first side, a capacitor and a second resistor, both of which are connected to a terminal of the relay on a second side, an application unit to apply an inspection signal to the relay via the capacitor and the second resistor, and a determiner connected between the capacitor and the second resistor, the determiner detecting a signal based on application of the inspection signal by the application unit to determine whether or not the relay is welded.

Devices, systems, and methods for constant and reliable power distribution, using a redundant power bridge battery architecture, in autonomous vehicles are described. An example method includes determining that each of a plurality of sensors is operating within in a nominal range for the respective sensor, and distributing, based on the determining, power from at least one alternating current (AC) power source or at least one direct current (DC) power source to at least one power distribution unit (PDU), wherein a first power bridge is coupled to the at least one AC power source and the at least one DC power source and a second power bridge is coupled to the at least one DC power source and the at least one PDU, and wherein the plurality of sensors is used to monitor a health of the vehicle and any single point failure is detectable.

A method of testing a semiconductor package is provided. The method includes forming a first metallization layer, wherein the first metallization layer includes a first conductive pad electrically connected to a charge measurement unit and a charge receiving unit; performing a first test against the charge measurement unit through the first conductive pad to determine whether breakdown occurs in the charge measurement unit; and in response to determining that no breakdown occurs in the charge measurement unit, forming a second dielectric layer over the first metallization layer, wherein a portion of the first conductive pad is exposed from the second dielectric layer.

A method and an apparatus are described for monitoring the wear of a long stator linear motor system comprising at least one motor train with stators and at least one transport vehicle that is driven electromagnetically thereby. Due to the fact that a force exerted electromagnetically and/or mechanically upon said motor train by the transport vehicle transverse to the latter's direction of transport or a differential force exerted in such manner by the transport vehicle upon two oppositely disposed motor trains is measured using sensors, changes in the forces between the motor train and the vehicle caused by dimensional tolerances and/or wear can be detected in order to prevent a malfunction of the track switch.

A jump starter device can include sensors to measure data of a vehicle coupled to the jump starter device. The jump starter device can include a controller configured to process the load data to determine the status of the load, such as the conditions of the vehicle connected to the jump starter.

An apparatus and methods for testing a trailer light system including a trailer connector for coupling a first voltage to a first trailer light and a second voltage to a second trailer light, a transmission state detector for determining a vehicle transmission state, and a trailer interface module for detecting an electrical connection to a trailer at the trailer connection, and for applying the first voltage to the trailer connector and the second voltage to the trailer connector in response to the detection of the electrical connection and the vehicle transmission state being in a park state.