Controlabilidade exata local a trajetórias para um modelo de solidificação com convecção