Design and Verification of Reduced Redundancy Ultrasonic MIMO Arrays Using Simulated Annealing & Genetic Algorithms | IEEE Journals & Magazine | IEEE Xplore