發送短信 : Probabilistic network coding techniques for vehicular ad-hoc networks