Wiener process
维纳过程的强马尔可夫性质，说明即便给定的时间不是定时而是一个停时，维纳过程在停时之后的走势仍然与之前无关。所以，将停时之后的维纳过程上下反转，仍然会是一个维纳过程。用数学语言来说，就是：给定一个停时formula_54之后，随机变量：formula_60也是一个维纳过程。这个性质也称为维纳过程的反射原理。