维纳辛钦公式定义