discrete martingale在概率统计中是指什么啊?