El código tiene ciertos problemas en la lógica del ordenamiento, adjunto la corrección al mismo.

     int FomraDes(int mat[], int a)
    {
        int i,j;
        a=0;
        for (i=0;i<a;i++)
        {
            for (j=0;j<a;j++)
            {
                //numero actual menor a numero siguiente para imprimir de forma des
                if (mat[j] < mat[j+1])
                {
                    //algoritmo de ordenamiento para mover el numero actual
                    a=mat[j];
                    mat[j]=mat[j+1];
                    mat[j+1]=a;
                }
            }
        }
    }
El método de ordenamiento "burbujeo optimizado" que estas utilizando consta de verificar si numero actual (mat[j]) es menor a numero siguiente (mat[j+1]), si eso mismo se cumple se necesita un intercambio de los valores realizado de la siguiente manera.
 

     auxiliar=mat[numeroactual(j)]
     mat[numeroactual(j)]=mat[numerosiguiente(j+1)]
     mat[numerosiguiente(j+1)]=auxiliar;

Espero haber contestado tu pregunta.
Suerte!