Efektivní implementace semi-implicitní nespojit é Galerkinovy methody pro simulaci stlačitelného proudění