Abstract: Systems and methods are disclosed for quantum verification and validation of cyber-physical systems that include a quantum allegory generator that maps a specification for the system undergoing verification and validation testing to a thermodynamical allegory. A hybrid classical-quantum processing system in which a quantum processing system serves as the oracle of the classical processing system and uses the thermodynamical allegory to determine whether there is a set of variable settings that satisfy the thermodynamical allegory. The presence and location of faults can be determined based on characteristics of the set of variables that satisfy the thermodynamical allegory, if the variables exist.

Abstract: Systems and methods are disclosed for quantum verification and validation of cyber-physical systems that include a quantum allegory generator that maps a specification for the system undergoing verification and validation testing to a thermodynamical allegory. A hybrid classical-quantum processing system in which a quantum processing system serves as the oracle of the classical processing system and uses the thermodynamical allegory to determine whether there is a set of variable settings that satisfy the thermodynamical allegory. The presence and location of faults can be determined based on characteristics of the set of variables that satisfy the thermodynamical allegory, if the variables exist.

Abstract: Methods of, and systems for, simultaneously compensating for external-magnetic-field inhomogeneity as well as radiofrequency magnetic-field inhomogeneity in an MRI system. In one method embodiment, a pulse sequence is applied when the transmitter-reference frequency is delivered on resonance. The pulse sequence includes radiofrequency pulses which may be applied at arbitrary-excitation-flip angles that are not necessarily 90° degrees. The pulse sequence also includes spin-locking pulses applied in concert with a refocusing-composite pulse. In another method embodiment, a pulse sequence is applied when the transmitter-reference frequency is delivered off resonance. This off-resonance-pulse sequence includes radiofrequency pulses which may be applied at arbitrary-excitation-flip angles that are not necessarily 90° degrees. Sandwiched between the excitation-flip angles are at least two off-resonance-spin-lock pulses applied at an inverse phase and frequency from each other.

Abstract: Methods of, and systems for, simultaneously compensating for external-magnetic-field inhomogeneity as well as radiofrequency magnetic-field inhomogeneity in an MRI system. In one method embodiment, a pulse sequence is applied when the transmitter-reference frequency is delivered on resonance. The pulse sequence includes radiofrequency pulses which may be applied at arbitrary-excitation-flip angles that are not necessarily 90° degrees. The pulse sequence also includes spin-locking pulses applied in concert with a refocusing-composite pulse. In another method embodiment, a pulse sequence is applied when the transmitter-reference frequency is delivered off resonance. This off-resonance-pulse sequence includes radiofrequency pulses which may be applied at arbitrary-excitation-flip angles that are not necessarily 90° degrees. Sandwiched between the excitation-flip angles are at least two off-resonance-spin-lock pulses applied at an inverse phase and frequency from each other.