Theoretical And Numerical Analysis Of High-Explosive Channel Detonation Using Real-Gas Models