statistical mechanics, nonequilibrium, driven hard disk