The invention relates to a method for assisting with the navigation of a first vehicle (1) that is stationary in relation to a second vehicle (2) which is mobile within a reference frame, said method involving acquiring (112) movement data on the first vehicle (1) by at least one proprioceptive sensor (6), and estimating a navigation status (X 1) of the first vehicle (1) by an invariant Kalman filter using a navigation status (X 2) of the second vehicle (2) as an observation, the navigation status of the first vehicle (1) comprising variables that represent a rigid transformation (T 1) linking a first location mark associated with the first vehicle (1) to the reference frame, and variables that represent a rigid transformation (T 21) linking a location mark associated with the second vehicle (2) to the first location mark, the invariant Kalman filter using, as an internal composition taw, a law comprising a term-by-term composition of the two rigid transformations.

The invention relates to a method for assisting with the navigation of a fleet of vehicles comprising a main vehicle (1) and a secondary vehicle (2) that is mobile in relation to the main vehicle (1), said method involving the steps of: •receiving relative movement data (Y1, Y2), acquired by at least one sensor (2, 12), between the main vehicle (1) and the secondary vehicle (2); •estimating (100, 200) a navigation status of the fleet of vehicles by an invariant Kalman filter using the received data (Y1, Y2) as observations, the navigation status comprising •first variables representing a first rigid transformation linking a location mark associated with the main vehicle (1) to a reference point, and •second variables representing a second rigid transformation linking a location mark associated with the main vehicle (1) to a location mark associated with the secondary vehicle (2), the invariant Kalman filter using, as an internal composition law, a law comprising a term-by term composition of the first rigid transformation and the second rigid transformation.

Various embodiments of the invention provide systems and methods for accurately determining temperatures in harsh environments such as, for example, in a steam autoclave chamber during a sterilization cycle. In certain embodiments, temperature data accuracy is increased by utilizing an IC-based temperature logging device that monitors and compensates for inherent thermal delays that would otherwise cause a discrepancy between temperature as measured by a temperature sensor and the actual ambient gas temperature. By properly correcting for the thermal delay, the data accuracy of the measured gas temperature is thus greatly enhanced.

A processor includes a carry save array multiplier. The carry save array multiplier includes an array of cascaded partial product generators. The array of cascaded partial product generators is configured to generate an output value as a product of two operands presented at inputs of the multiplier. The array of cascaded partial product generators is also configured to generate an output value as a sum of two operands presented at inputs of the multiplier.

A processor includes a carry save array multiplier. The carry save array multiplier includes an array of cascaded partial product generators. The array of cascaded partial product generators is configured to generate an output value as a product of two operands presented at inputs of the multiplier. The array of cascaded partial product generators is also configured to generate an output value as a sum of two operands presented at inputs of the multiplier.

A method for assisting the navigation of a fleet of vehicles including main vehicle and a secondary vehicle movable relative to the main vehicle includes receiving data acquired by one or more sensors, the received data including relative kinematic data between the main vehicle and the secondary vehicle, and estimating a navigation state of the fleet of vehicles by an invariant Kalman filter using the received data as observations. The navigation state includes first variables representative of a first rigid transformation linking a frame attached to the main vehicle to a reference frame, and second variables representative of a second rigid transformation linking the frame attached to the main vehicle to a frame attached to the secondary vehicle. The invariant Kalman filter uses as binary operation an operation including a term-by-term composition of the first rigid transformation and of the second rigid transformation.

A method for assisting the navigation of a fleet of vehicles including main vehicle and a secondary vehicle movable relative to the main vehicle includes receiving data acquired by one or more sensors, the received data including relative kinematic data between the main vehicle and the secondary vehicle, and estimating a navigation state of the fleet of vehicles by an invariant Kalman filter using the received data as observations. The navigation state includes first variables representative of a first rigid transformation linking a frame attached to the main vehicle to a reference frame, and second variables representative of a second rigid transformation linking the frame attached to the main vehicle to a frame attached to the secondary vehicle. The invariant Kalman filter uses as binary operation an operation including a term-by-term composition of the first rigid transformation and of the second rigid transformation.

A data sensing device and a data sensing method thereof are provided. The data sensing device includes a compensation signal generator, a weighting operator and an arithmetic operator. The compensation signal generator receives a basic input signal and a plurality of reference weighting values, and generates a compensation signal according to the basic input signal and the reference weighting values. The weighting operator has a plurality of memory cells, performs a writing operation on the memory cells according to the weighting values based on address information, and the weighting operator generates an output signal by the memory cells by receiving a plurality of input signals. The arithmetic operator performs an operation on the output signal and the compensation signal to generate a compensated output signal.

A data sensing device and a data sensing method thereof are provided. The data sensing device includes a compensation signal generator, a weighting operator and an arithmetic operator. The compensation signal generator receives a basic input signal and a plurality of reference weighting values, and generates a compensation signal according to the basic input signal and the reference weighting values. The weighting operator has a plurality of memory cells, performs a writing operation on the memory cells according to the weighting values based on address information, and the weighting operator generates an output signal by the memory cells by receiving a plurality of input signals. The arithmetic operator performs an operation on the output signal and the compensation signal to generate a compensated output signal.

A matrix processing method includes: determining a quantity of non-zero elements in a to-be-processed matrix, where the to-be-processed matrix is a one-dimensional matrix; generating a distribution matrix of the to-be-processed matrix, where the distribution matrix is used to indicate a position of a non-zero element in the to-be-processed matrix; combining the quantity of non-zero elements, values of all non-zero elements in the to-be-processed matrix arranged sequentially, and the distribution matrix, to obtain a compressed matrix of the to-be-processed matrix.