cambiar nombre a un archivo

[elcapitolio]

Tengo este script para subir varios archivos al mismo tiempo....

Código PHP:

if (isset ($_FILES["archivos"])) {
         
         $a = $_FILES['archivos']['tmp_name']; // variable A
         $b = $_FILES['archivos']['name']; // variable B
        
            move_uploaded_file($a, $b);
         //de se asi, para procesar los archivos subidos al servidor solo debemos recorrerlo
         //obtenemos la cantidad de elementos que tiene el arreglo archivos
         $tot = count($_FILES["archivos"]["name"]);
         //este for recorre el arreglo
         for ($i = 0; $i < $tot; $i++){
         //con el indice $i, poemos obtener la propiedad que desemos de cada archivo
         //para trabajar con este
            $tmp_name = $_FILES["archivos"]["tmp_name"][$i]; 
            $name = $_FILES["archivos"]["name"][$i];  
 
            move_uploaded_file($tmp_name, $ruta . $name); 
                      
            }
      }
 

como puedo hacer para que al primero archivo de la lista.. me le cambia el nombre por "portada.jpg"