Discrete Velocity Model and Implicit Scheme for the BGK Equation of Rarefied Gas Dynamics | Synapse